In the early 1960s A. N. Prior was commissioned to write a review of J. L. Austin’s S ense and Sensibilia. The review was never published. The present article presents a transcription of the review from the material available in the Virtual Lab For Prior Studies maintained at Aalborg University, together with an edited version of the transcription of a longer commentary on Sense and Sensibilia from which the review was condensed.

While having a breast reconstruction, women have certain expectations about their future breasted bodies. The aim of this paper is to describe and analyze these expectations in the process of reconstruction. By applying a qualitative, phenomenological study within a longitudinal research design, this paper acknowledges the temporarily complex, contextualized, embodied, and subjective nature of the phenomenon of expectations. The analysis identified expectations regarding three different aspects of women’s embodiment: their gazed body, their capable/practical body, and their felt body. After reconstruction, (...) these women try to reconfigure—adjust, level or retrospectively rewrite—their expectations. Further, some women face what apparently arrives totally unexpected, namely a strange feeling breast or a failed reconstruction. The development of these women’s expectations can be understood as an active, continuously evolving, difficult and sometimes impossible dynamic of expecting the surprise that is a breast reconstruction. Within this dynamic, women formulate and reconfigure—by definition—unrealistic expectations and validate and try to achieve unexpected futures. We suggest that medical professionals can facilitate this dynamic in various ways. (shrink)

Background Genuine uncertainty on superiority of one intervention over the other is called equipoise. Physician-investigators in randomized controlled trials need equipoise at least in studies with more than minimal risks. Ideally, this equipoise is also present in patient-participants. In pediatrics, data on equipoise are lacking. We hypothesize that 1) lack of equipoise at enrolment among parents may reduce recruitment; 2) lack of equipoise during participation may reduce retention in patients assigned to a less favoured treatment-strategy. Methods We compared preferences of (...) parents/patients at enrolment, documented by a questionnaire, with preferences developed during follow-up by an interview-study to investigate equipoise of child-participants and parents in the BeSt-for-Kids-study. This trial in new-onset Juvenile Idiopathic Arthritis-patients consists of three strategies. One strategy comprises initial treatment with a biological disease-modifying-antirheumatic-drug, currently not standard-of-care. Semi-structured interviews were conducted with 23 parents and 7 patients, median 11 months after enrolment. Results Initially most parents and children were not in equipoise. Parents/patients who refused participation, regularly declined due to specific preferences. Many participating families preferred the biological-first-strategy. They participated to have a chance for this initial treatment, and would even consider stopping trial-participation when not randomized for it. Their conviction of superiority of the biological-first strategy was based on knowledge from internet and close relations. According to four parents, the physician-investigator preferred the biological-first-strategy, but the majority stated that she had no preferred strategy. In phase 2, preferences tended to change to the treatment actually received. Conclusions Lack of equipoise during enrolment did not reduce study recruitment, mainly due to the fact that preferred treatment was only available within the study. Still, when developing a trial it is important to evaluate whether the physicians’ research question is in line with preferences of the patient-group. By exploring so-called ‘informed patient-group’-equipoise, successful recruitment may be enhanced and bias avoided. In our study, lack of equipoise during trial-participation did not reduce retention in those assigned to a less favoured option. We observed a change for preference towards treatment actually received, possibly explained by comparable outcomes in all three arms. (shrink)

In this paper, we introduce a new approach to independent quantifiers, as originally introduced in Informational independence as a semantic phenomenon by Hintikka and Sandu [9] under the header of independence-friendly languages. Unlike other approaches, which rely heavily on compositional methods, we shall analyze independent quantifiers via equilibriums in strategic games. In this approach, coined equilibrium semantics, the value of an IF sentence on a particular structure is determined by the expected utility of the existential player in any of the (...) game’s equilibriums. This approach was suggested in Henkin quantifiers and complete problems by Blass and Gurevich [2] but has not been taken up before. We prove that each rational number can be realized by an IF sentence. We also give a lower and upper bound on the expressive power of IF logic under equilibrium semantics. (shrink)

We study the expressive power of independence-friendly quantifier prefixes composed of universal$\left$, existential$\left$, and majority quantifiers$\left$. We provide four quantifier prefixes that can express NP hard properties and show that all quantifier prefixes capable of expressing NP-hard properties embed at least one of these four quantifier prefixes. As for the quantifier prefixes that do not embed any of these four quantifier prefixes, we show that they are equivalent to a first-order quantifier prefix composed of$\forall x$,$\exists x$, and Mx. In unison, (...) our results imply a dichotomy result: every independence-friendly quantifier prefix is either decidable in LOGSPACE or NP hard. (shrink)

Sandu and Pietarinen [Partiality and Games: Propositional Logic. Logic J. IGPL 9 (2001) 101] study independence friendly propositional logics. That is, traditional propositional logic extended by means of syntax that allow connectives to be independent of each other, although the one may be subordinate to the other. Sandu and Pietarinen observe that the IF propositional logics have exotic properties, like functional completeness for three-valued functions. In this paper we focus on one of their IF propositional logics and study its properties, (...) by means of notions from computational complexity. This approach enables us to compare propositional logic before and after the IF make-over. We observe that all but one of the best-known decision problems experience a complexity jump, provided that the complexity classes at hand are not equal. Our results concern every discipline that incorporates some notion of independence such as computer science, natural language semantics, and game theory. A corollary of one of our theorems illustrates this claim with respect to the latter discipline. (shrink)

In this paper we consider an independence-friendly modal logic, IFML. It follows from results in the literature that qua expressive power, IFML is a fragment of second-order existential logic, , that cannot be translated into first-order logic. It is also known that IFML lacks the tree structure property. We show that IFML has the , a weaker version of the tree structure property, and that its satisfiability problem is solvable in 2NEXP. This implies that this paper reveals a new decidable (...) fragment of . We also show that IFML becomes undecidable if we add the identity symbol to its vocabulary by means of a reduction from the tiling problem. (shrink)

In recent work, semantic games of independence-friendly logic were studied in strategic form in terms of Nash equilibria. The class of strategic games of independence-friendly logic is contained in the class of win-loss, zero-sum two-player games. In this note we draw on the theory of linear programming to develop tools to analyze the value of such games. We give two applications of these tools to independence-friendly logic under the so-called equilibrium semantics.

Gödel once offered an argument for the general reflection principle in set theory that took the form of an analogy with Leibniz' Monadology. I discuss the mathematical and philosophical background to Gödel's argument, reconstruct the proposed analogy in detail, and argue that it has no justificatory force.

While 4E approaches to cognition are increasingly introduced in educational contexts, little has been said about how 4E commitments can inform pedagogy aimed at fostering ethical competencies. Here, we evaluate a 4E-inspired ethics exercise that we developed at a technical university to enliven the moral imagination of engineering students. Our students participated in an interactive tinkering workshop, during which they materially redesigned a healthcare artifact. The aim of the workshop was twofold. Firstly, we wanted students to experience how material choices (...) at the levels of design and functionality can enable morally significant reimaginings of the affordances commonly associated with existing artifacts. We term this type of reimagining world-directed moral imagination. Secondly, through the design process, we wanted students to robustly place themselves in the lived embodied perspectives of (potential) users of their selected artifacts. We term this person-directed moral imagination. While student testimonies about the exercise indicate that both their world-directed and person-directed moral imagination were enlivened, we note that the fostering of robust person-directed moral imagination proved challenging. Using 4E insights, we diagnose this challenge and ask how it might be overcome. To this end, we engage extensively with a recent 4E-informed critique of person-directed moral imagination, raised by Clavel Vázquez and Clavel-Vázquez (2023). They argue that person-directed moral imagination is profoundly limited, if not fundamentally misguided, particularly when exercised in contexts marked by emphatic embodied situated difference between the imaginer and the imagined. Building upon insights from both the 4E field and testimonies from critical disability studies, we argue that, while their critique is valuable, it ultimately goes too far. We conclude that a 4E approach can take on board recent 4E warnings regarding the limits of person-directed moral imagination while contributing positively to the development of moral imagination in engineering ethics education. (shrink)

Motivated by constraint satisfaction problems, Feder and Vardi (SIAM Journal of Computing, 28, 57–104, 1998) set out to search for fragments of satisfying the dichotomy property: every problem definable in is either in P or else NP-complete. Feder and Vardi considered in this connection two logics, strict NP (or SNP) and monadic, monotone, strict NP without inequalities (or MMSNP). The former consists of formulas of the form , where is a quantifier-free formula in a relational vocabulary; and the latter is (...) the fragment of SNP whose formulas involve only negative occurrences of relation symbols, only monadic second-order quantifiers, and no occurrences of the equality symbol. It remains an open problem whether MMSNP enjoys the dichotomy property. In the present paper, SNP and MMSNP are characterized in terms of partially ordered connectives. More specifically, SNP is characterized using the logic D of partially ordered connectives introduced in Blass and Gurevich (Annals of Pure and Applied Logic, 32, 1–16, 1986), Sandu and Väänänen (Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 38, 361–372 1992), and MMSNP employing a generalization C of D introduced in the present paper. (shrink)

In this paper I address the current debate on ontic versus epistemic conceptualizations of mechanistic explanation in the mechanisms literature. Illari recently argued that good explanations are subject to both ontic and epistemic constraints: they must describe mechanisms in the world in such fashion that they provide understanding of their workings. Elaborating upon Illari’s ‘integration’ account, I argue that causal role function discovery of mechanisms and their components is an epistemic prerequisite for achieving these two aims. This analysis extends Illari’s (...) account in important ways, putting more pressure on ontic readings of mechanistic explanation and providing an answer to the question how ontic and epistemic constraints on mechanistic explanation are related. I argue these point in terms of cases on memory research drawn from neuroscience and research on extinct neurogenetic mechanisms from early nervous systems biology. (shrink)

This paper investigates conceptions of explanation, teleology, and analogy in the works of Immanuel Kant (1724-1804) and Georges Cuvier (1769-1832). Richards (2000, 2002) and Zammito (2006, 2012, 2018) have argued that Kant’s philosophy provided an obstacle for the project of establishing biology as a proper science around 1800. By contrast, Russell (1916), Outram (1986), and Huneman (2006, 2008) have argued, similar to suggestions from Lenoir (1989), that Kant’s philosophy influenced the influential naturalist Georges Cuvier. In this article, I wish to (...) expand on and further the work of Russell, Outram, and Huneman by adopting a novel perspective on Cuvier and considering (a) the similar conceptions of proper science and explanation of Kant and Cuvier, and (b) the similar conceptions of the role of teleology and analogy in the works of Kant and Cuvier. The similarities between Kant and Cuvier show, contrary to the interpretation of Richards and Zammito, that some of Kant’s philosophical ideas, whether they derived from him or not, were fruitfully applied by some life scientists who wished to transform life sciences into proper sciences around 1800. However, I also show that Cuvier, in contrast to Kant, had a workable strategy for transforming the life sciences into proper sciences, and that he departed from Kant’s philosophy of science in crucial respects. (shrink)

The Russian invasion of Ukraine on February 24, 2022, has already caused large amounts of greenhouse gas (GHG) emissions and will continue to do so for manyyears after hostilities have ceased mainly because of the emissions linked to the rebuilding of destroyed or damaged housing, public buildings, infrastructure, factories, and the like. My aim in this paper is to discuss how in a time of climate emergency such emissions of war should impact the political morality of states initiating, continuing, and (...) ending war (through a just and enduring peace) as understood by just war theory (JWT). My point of departure is a study by Lennard de Klerk and six co-authors detailing the emissions of the first year of the Russo-Ukrainian war. (shrink)

Decentralized clinical trials (DCTs) have the potential to advance the conduct of clinical trials, but raise several ethical issues, including obtaining valid informed consent. The debate on the ethical issues resulting from digitalization is predominantly focused on direct risks relating to for example data protection, safety, and data quality. We submit however, that a broader view on ethical aspects of DCTs is needed to touch upon the new challenges that come with the DCT practice. Digitalization has impacts that go beyond (...) its direct purposes, by shaping behaviors, experiences, social relations, and values. We examine four elements of the informed consent procedure that are affected by DCTs, while taking these soft impacts of technologies into account: (i) informing participants and testing understanding, (ii) freedoms in relation to responsibilities and burdens, (iii) trust in participant-researcher relations, and (iv) impacts on the concept of privacy. Our analysis reveals that a broad view is key for optimal conduct of DCTs. In addition, it provides insight into the ethical impacts of DCTs on informed consent. Technologies such as DCTs potentially have profound impacts which are not immediately addressed by the existing regulatory frameworks, but nonetheless important to recognize. These findings can guide future practices of DCTs to foster the important values of clinical research in this novel approach for conducting clinical trials. (shrink)

Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →.

This book is about the interrelationship between nature, semiosis, metarepresentation and (self-)consciousness, and the role played by metarepresentation in ...

Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →.

Jill de Villiers has argued that children's mastery of sentential complements plays a crucial role in enabling them to succeed at false-belief tasks. Josef Perner has disputed that and has argued that mastery of false-belief tasks requires an understanding of the multiplicity of perspectives. This paper attempts to resolve the debate by explicating attributions of desires and beliefs as extensions of the linguistic practices of making commands and assertions, respectively. In terms of these linguistic practices one can explain why desire-talk (...) will precede belief-talk and why even older children will have difficulty attributing incompatible desires. (shrink)

According to the traditional view in the philosophy of logic facts of logic bear normative authority regarding how one ought to reason. Usually this is to mean that the relation of logical consequence between statements has some special relevance for how one’s beliefs should cohere. However, as I will argue in this article, this is just one way in which logic is normative for reasoning. For one thing, belief is not the only kind of mental state involved in reasoning. Besides (...) adopting and revising beliefs, rational agents pose and resolve questions. For another thing, the consequence relation of classical logic can be conservatively extended such that it includes logical relations between questions as well. Therefore, there is an argument to be made that not only the inference of new beliefs from extant beliefs but also the process of raising additional questions falls under the normative authority of logic. Accordingly, a nuanced account of the normativity of logic presents itself, which convincingly deals with problems such as clutter-avoidance and the paradox of the preface. (shrink)

Masters Thesis -- Stellenbosch University, 2019.