Although the relationship of part to whole is one of the most fundamental there is, this is the first full-length study of this key concept. Showing that mereology, or the formal theory of part and whole, is essential to ontology, Simons surveys and critiques previous theories--especially the standard extensional view--and proposes a new account that encompasses both temporal and modal considerations. Simons's revised theory not only allows him to offer fresh solutions to long-standing problems, but also has far-reaching (...) consequences for our understanding of a host of classical philosophical concepts. (shrink)

The three young philosophers Kevin Mulligan, Peter Simons and Barry Smith have become well-known in the last few years especially in German-speaking analytical philosophy and phenomenology circles. This is on the one hand as a result of their historical and systematic philosophical work; but it is also because of the provocative way in which they represent their philosophy. Because they often appear in threes, they have become known as the "gang of three" or "three musketeers" or even – (...) and this in an admiring sense – "mafiosi" (Rescher). They are known primarily for the small workshops they have been organizing in uncomplicated Anglo-Saxon manner all over Europe. Their goal has been to show that analytic philosophy as it has been pursued up to now is in need of reform and also that the history of scientific philosophizing is not identical to the history of Anglo-Saxon analytic philosophy. Above all, they have tried to make more well known the Austrian tradition of scientific philosophy, and they can be given credit for having done much to promote the current interest in this tradition, which means: the history of Austrian philosophy of the 19th and early 20th centuries and its historical context in the Austro-Hungarian Empire. (shrink)

A letter to The Times of London, May 9, 1992 protesting the Cambridge University proposal to award an honorary degree to M. Jacques Derrida.

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology will greatly benefit software application ontologies. To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this, we aim to move beyond the level (...) of controlled vocabularies to yield an ontology with the ability to support reasoning applications. (shrink)

'Chance' is defined as an event on the time scale withour any cause before it appears. That means, that cause and effect is identical. This is the only way to integrate chance into a consistent theory of causality. The identity of cause and effect is called AHK theorem (Aristotle-Hegel-Kaiser).

This article answers the question of whether the study of theology and metaphysics can be classified currently, or ever qualify in the future, as a scientific endeavor. Rather than choose a particular theology or metaphysics as the subject of inquiry, this essay argues that it is not only necessary to recognize the role of hermeneutics within different fields of study, but that it is also necessary to begin a human hermeneutic with human experience. Changes in our global context, whether social, (...) economic, political, or environmental, are important drivers of hermeneutical evolution. We should expect no less change in the areas of theology, metaphysics, and science. The question of truth, whether subjective or objective, is a hermeneutical one. (shrink)

A distorted representation of one's own body is a diagnostic criterion and core psychopathology of both anorexia nervosa (AN) and bulimia nervosa (BN). Despite recent technical advances in research, it is still unknown whether this body image disturbance is characterized by body dissatisfaction and a low ideal weight and/or includes a distorted perception or processing of body size. In this article, we provide an update and meta-analysis of 42 articles summarizing measures and results for body size estimation (BSE) from 926 (...) individuals with AN, 536 individuals with BN and 1920 controls. We replicate findings that individuals with AN and BN overestimate their body size as compared to controls (ES= 0.63). Our meta-regression shows that metric methods (BSE by direct or indirect spatial measures) yield larger effect sizes than depictive methods (BSE by evaluating distorted pictures), and that effect sizes are larger for patients with BN than for patients with AN. To interpret these results, we suggest a revised theoretical framework for BSE that accounts for differences between depictive and metric BSE methods regarding the underlying body representations (conceptual vs. perceptual, implicit vs. explicit). We also discuss clinical implications and argue for the importance of multimethod approaches to investigate body image disturbance. (shrink)

The book presents the first comprehensive survey of limits of the intentional control of action from an interdisciplinary perspective. It brings together leading scholars from philosophy, psychology, and the law to elucidate this theoretically and practically important topic from a variety of theoretical and disciplinary approaches. It provides reflections on conceptual foundations as well as a wealth of empirical data and will be a valuable resource for students and researchers alike. Among the authors: Clancy Blair, Todd S. Braver, Michael W. (...) Cole, Anika Fäsche, Maayan Davidov, Peter Gollwitzer, Kai Robin Grzyb, Tobias Heikamp, Gabriele Oettingen, Rachel McKinnon, Nachschon Meiran, Hans Christian Röhl, Michael Schmitz, John R. Searle, Gottfried Seebaß, Gisela Trommsdorff, Felix Thiede, J. Lukas Thürmer, Frank Wieber. (shrink)

During the realist revival in the early years of this century, philosophers of various persuasions were concerned to investigate the ontology of truth. That is, whether or not they viewed truth as a correspondence, they were interested in the extent to which one needed to assume the existence of entities serving some role in accounting for the truth of sentences. Certain of these entities, such as the Sätze an sich of Bolzano, the Gedanken of Frege, or the propositions of Russell (...) and Moore, were conceived as the bearers of the properties of truth and falsehood. Some thinkers however, such as Russell, Wittgenstein in the Tractatus, and Husserl in the Logische Untersuchungen, argued that instead of, or in addition to, truth-bearers, one must assume the existence of certain entities in virtue of which sentences and/or propositions are true. Various names were used for these entities, notably 'fact', 'Sachverhalt', and 'state of affairs'. (1) In order not to prejudge the suitability of these words we shall initially employ a more neutral terminology, calling any entities which are candidates for this role truth-makers. (shrink)

Social scientists have paid insufficient attention to the role of law in constituting the economic institutions of capitalism. Part of this neglect emanates from inadequate conceptions of the nature of law itself. Spontaneous conceptions of law and property rights that downplay the role of the state are criticized here, because they typically assume relatively small numbers of agents and underplay the complexity and uncertainty in developed capitalist systems. In developed capitalist economies, law is sustained through interaction between private agents, courts (...) and the legislative apparatus. Law is also a key institution for overcoming contracting uncertainties. It is furthermore a part of the power structure of society, and a major means by which power is exercised. This argument is illustrated by considering institutions such as property and the firm. Complex systems of law have played a crucial role in capitalist development and are also vital for developing economies. (shrink)

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

I defend the following version of the ought-implies-can principle: (OIC) by virtue of conceptual necessity, an agent at a given time has an (objective, pro tanto) obligation to do only what the agent at that time has the ability and opportunity to do. In short, obligations correspond to ability plus opportunity. My argument has three premises: (1) obligations correspond to reasons for action; (2) reasons for action correspond to potential actions; (3) potential actions correspond to ability plus opportunity. In the (...) bulk of the paper I address six objections to OIC: three objections based on putative counterexamples, and three objections based on arguments to the effect that OIC conflicts with the is/ought thesis, the possibility of hard determinism, and the denial of the Principle of Alternate Possibilities. (shrink)

Philosophy in the West divides into three parts: Analytic Philosophy (AP), Continental Philosophy (CP), and History of Philosophy (HP). But all three parts are in a bad way. AP is sceptical about the claim that philosophy can be a science, and hence is uninterested in the real world. CP is never pursued in a properly theoretical way, and its practice is tailor-made for particular political and ethical conclusions. HP is mostly developed on a regionalist basis: what is studied is determined (...) by the nation or culture to which a philosopher belongs, rather than by the objective value of that philosopher’s work. Progress in philosophy can only be attained by avoiding these pitfalls. (shrink)

Autobiographical survey of interactions between the author and Barry Smith, especially as concerns the background and influence of the Seminar for Austro-German Philosophy and work on the relevance of Adolf Reinach, Roman Ingarden and other Central-European thinkers to contemporary analytic philosophy.

Some experts have argued that patients should routinely be told the specific magnitude and absolute probability of potential risks and benefits of screening tests. This position is motivated by the idea that framing risk information in ways that are less precise violates the ethical principle of respect for autonomy and its application in informed consent or shared decisionmaking. In this Perspective, we consider a number of problems with this view that have not been adequately addressed. The most important challenges stem (...) from the danger that patients will misunderstand the information or have irrational responses to it. Any initiative in this area should take such factors into account and should consider carefully how to apply the ethical principles of respect for autonomy and beneficence. (shrink)

You may not know me well enough to evaluate me in terms of my moral character, but I take it you believe I can be evaluated: it sounds strange to say that I am indeterminate, neither good nor bad nor intermediate. Yet I argue that the claim that most people are indeterminate is the conclusion of a sound argument—the indeterminacy paradox—with two premises: (1) most people are fragmented (they would behave deplorably in many and admirably in many other situations); (2) (...) fragmentation entails indeterminacy. I support (1) by examining psychological experiments in which most participants behave deplorably (e.g., by maltreating “prisoners” in a simulated prison) or admirably (e.g., by intervening in a simulated theft). I support (2) by arguing that, according to certain plausible conceptions, character evaluations presuppose behavioral consistency (lack of fragmentation). Possible reactions to the paradox include: (a) denying that the experiments are relevant to character; (b) upholding conceptions according to which character evaluations do not presuppose consistency; (c) granting that most people are indeterminate and explaining why it appears otherwise. I defend (c) against (a) and (b). (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

Why does classical equilibrium statistical mechanics work? Malament and Zabell (1980) noticed that, for ergodic dynamical systems, the unique absolutely continuous invariant probability measure is the microcanonical. Earman and Rédei (1996) replied that systems of interest are very probably not ergodic, so that absolutely continuous invariant probability measures very distant from the microcanonical exist. In response I define the generalized properties of epsilon-ergodicity and epsilon-continuity, I review computational evidence indicating that systems of interest are epsilon-ergodic, I adapt Malament and Zabell’s (...) defense of absolute continuity to support epsilon-continuity, and I prove that, for epsilon-ergodic systems, every epsilon-continuous invariant probability measure is very close to the microcanonical. (shrink)

"Surrender; therefore, surrender or fight" is apparently an argument corresponding to an inference from an imperative to an imperative. Several philosophers, however (Williams 1963; Wedeking 1970; Harrison 1991; Hansen 2008), have denied that imperative inferences exist, arguing that (1) no such inferences occur in everyday life, (2) imperatives cannot be premises or conclusions of inferences because it makes no sense to say, for example, "since surrender" or "it follows that surrender or fight", and (3) distinct imperatives have conflicting permissive presuppositions (...) ("surrender or fight" permits you to fight without surrendering, but "surrender" does not), so issuing distinct imperatives amounts to changing one's mind and thus cannot be construed as making an inference. In response I argue inter alia that, on a reasonable understanding of 'inference', some everyday-life inferences do have imperatives as premises and conclusions, and that issuing imperatives with conflicting permissive presuppositions does not amount to changing one's mind. (shrink)

Als zu Beginn des Jahrhunderts der Realismus wieder ernst genommen wurde, gab es viele Philosophen, die sich mit der Ontologie der Wahrheit befaßten. Unabhängig von der Bestimmung der Wahrheit als Korrespondenzbeziehung wollten sie herausfinden, inwieweit zur Erklärung der Wahrheit von Sätzen besondere Entitäten herangezogen werden müssen. Einige dieser Entitäten, so zum Beispiel Bolzanos ‘Sätze an sich’, Freges ‘Gedanken’ oder die ‘propositions’ von Russell und Moore, wurden als Träger der Eigenschaften Wahrheit und Falschheit aufgefaßt. Einige Philosophen jedoch, wie Russell, Wittgenstein im (...) ›Tractatus‹ und Husserl in den ›Logischen Untersuchungen‹, argumentierten, zusätzlich zu den Wahrheitsträgern bzw. an ihrer Stelle müßten Entitäten angenommen werden, auf Grund deren Sätze und/oder ‘Propositionen’ wahr sind. Solchen Entitäten gab man verschiedene Namen, insbesondere ‘fact’, ‘Tatsache’, ‘state of affairs’ und ‘Sachverhalt’. 1 Wir wollen einer Entscheidung über die Angebrachtheit dieser Ausdrücke nicht vorgreifen und daher zunächst eine neutralere Terminologie verwenden: Alle Entitäten, die für diese zweite Rolle in Frage kommen, wollen wir ‘Wahrmacher’ nennen. (shrink)

According to Hempel's paradox, evidence (E) that an object is a nonblack nonraven confirms the hypothesis (H) that every raven is black. According to the standard Bayesian solution, E does confirm H but only to a minute degree. This solution relies on the almost never explicitly defended assumption that the probability of H should not be affected by evidence that an object is nonblack. I argue that this assumption is implausible, and I propose a way out for Bayesians. Introduction Hempel's (...) paradox, the standard Bayesian solution, and the disputed assumption Attempts to defend the disputed assumption Attempts to refute the disputed assumption A way out for Bayesians Conclusion. (shrink)

Als zu Beginn des Jahrhunderts der Realismus wieder ernst genommen wurde, gab es viele Philosophen, die sich mit der Ontologie der Wahrheit befaßten. Unabhängig von der Bestimmung der Wahrheit als Korrespondenzbeziehung wollten sie herausfinden, inwieweit zur Erklärung der Wahrheit von Sätzen besondere Entitäten herangezogen werden müssen. Einige dieser Entitäten, so zum Beispiel Bolzanos ‘Sätze an sich’, Freges ‘Gedanken’ oder die ‘propositions’ von Russell und Moore, wurden als Träger der Eigenschaften Wahrheit und Falschheit aufgefaßt. Einige Philosophen jedoch, wie Russell, Wittgenstein im (...) ›Tractatus‹ und Husserl in den ›Logischen Untersuchungen‹, argumentierten, zusätzlich zu den Wahrheitsträgern bzw. an ihrer Stelle müßten Entitäten angenommen werden, auf Grund deren Sätze und/oder ‘Propositionen’ wahr sind. Solchen Entitäten gab man verschiedene Namen, insbesondere ‘fact’, ‘Tatsache’, ‘state of affairs’ und ‘Sachverhalt’. 1 Wir wollen einer Entscheidung über die Angebrachtheit dieser Ausdrücke nicht vorgreifen und daher zunächst eine neutralere Terminologie verwenden: Alle Entitäten, die für diese zweite Rolle in Frage kommen, wollen wir ‘Wahrmacher’ nennen. (shrink)

A case could be made that the practice of philosophy demands a certain humility, or at least intellectual humility, requiring such traits as inquisitiveness, openness to new ideas, and a shared interest in pursuing truth. In the positive psychology movement, the study of both humility and intellectual humility has been grounded in the methods and approach of personality psychology, specifically the examination of these virtues as traits. Consistent with this approach, the chapter begins with a discussion of the examination of (...) intellectual humility as a “character trait,” comparing intellectual humility to various well-known traits in the personality psychology literature (e.g the “Big 5” and the “Big 2”) as well as other key traits such as the need for cognition and the need for closure. The chapter then turns to the proverbial issue of whether virtues in general, and intellectual humility in particular, are a matter of “nature”- that is, an innate trait determined by heritability, or “nurture” – a trait mostly shaped by situation and environment. While the chapter does not resolve the issue, it provides occasion for an examination of the role of situations in the expression of intellectual humility, and for the interaction of “situation” and “trait.” The chapter concludes with a discussion of how the interaction of trait with situation provides the most robust understanding of the psychology of any character virtue, including humility and intellectual humility. (shrink)

Kadri Vihvelin, in "What time travelers cannot do" (Philos Stud 81: 315-330, 1996), argued that "no time traveler can kill the baby who in fact is her younger self, because (V1) "if someone would fail to do something, no matter how hard or how many times she tried, then she cannot do it", and (V2) if a time traveler tried to kill her baby self, she would always fail. Theodore Sider (Philos Stud 110: 115-138, 2002) criticized Vihvelin's argument, and Ira (...) Kiourti (Philos Stud 139: 343-352, 2008) criticized both Vihvelin's argument and Sider's critique. I present a critique of Vihvelin's argument different from both Sider's and Kiourti's critiques: I argue in a novel way that both V1 and V2 are false. Since Vihvelin's argument might be understood as providing a challenge to the possibility of time travel, if my critique succeeds then time travel survives such a challenge unscathed. (shrink)

The Principal Principle (PP) says that, for any proposition A, given any admissible evidence and the proposition that the chance of A is x%, one's conditional credence in A should be x%. Humean Supervenience (HS) claims that, among possible worlds like ours, no two differ without differing in the spacetime-point-by-spacetime-point arrangement of local properties. David Lewis (1986b, 1994a) has argued that PP contradicts HS, and the validity of his argument has been endorsed by Bigelow et al. (1993), Thau (1994), Hall (...) (1994), Strevens (1995), Ismael (1996), Hoefer (1997), and Black (1998). Against this consensus, I argue that PP might not contradict HS: Lewis's argument is invalid, and every attempt – within a broad class of attempts – to amend the argument fails. (shrink)

Understanding recreational experiences is a longstanding research tradition and key to effective management. Given the complexities of human experience, many approaches have been applied to study recreational experience. Two such approaches are the experiential approach (based in a positivistic paradigm) and emergent experience (based in an interpretive paradigm). While viewed as being complementary, researchers have not offered guidance for incorporating the approaches into a common model of recreational experience. This study utilized longitudinal, qualitative data to examine aspects of recreational experience (...) posited by these two approaches. Results provided a framework for synthesizing across the two approaches. Respondents had clear pre-activity expectations, and most respondents realized their expected outcomes. This supports the experiential approach. Of the 48 activity narratives, 27 experienced something unexpected, and 45 described process-oriented, intrinsic motivation, suggesting evidence of emergent and unique characteristics specific to an individual’s realization of recreational experience. This supports the application of the emergent experience approach to understand how individuals create meaning from recreational engagements. The paper proposes a model for integrating results of the two approaches. While not advocating for any specific approach, the findings can serve as an example of building a holistic model of the outdoor recreation experience. The purpose of the model is to allow for a more complete understanding of how individuals create recreation experiences, more complete documentation of the benefits of outdoor recreation for both researchers and managers, and better synthesis across studies. (shrink)

This paper is a study about Philadelphia’s comprehensive user engagement sites (CUESs) as the authors address and examine issues related to the upcoming implementation of a CUES while seeking solutions for its disputed questions and plans. Beginning with the federal drug schedules, the authors visit some of the medical and public health issues vis-à-vis safe injection facilities (SIFs). Insite, a successful Canadian SIF, has been thoroughly researched as it represents a paradigm for which a Philadelphia CUES can expand upon. Also, (...) the existing criticisms against SIFs are revisited while critically unpackaged and responded to in favor of the establishment. In the main section, the authors propose the layout and services of the upcoming CUES, much of which would be in congruent to Vancouver’s Insite. On the other hand, the CUES would be distinct from Insite, as the authors emphasize, in that it will offer an information center run by individuals in recovery and place additional emphasis on early education for young healthcare professionals by providing them a platform to work at the site. The paper will also briefly investigate the implementation of a CUES site under an ethical scope of the Harm Reduction Theory. Lastly, the authors recommend some strategic plans that the Philadelphia City government may consider employing at this crucial stage. (shrink)

Suppose that a sign at the entrance of a hotel reads: “Don’t enter these premises unless you are accompanied by a registered guest”. You see someone who is about to enter, and you tell her: “Don’t enter these premises if you are an unaccompanied registered guest”. She asks why, and you reply: “It follows from what the sign says”. It seems that you made a valid inference from an imperative premise to an imperative conclusion. But it also seems that imperatives (...) cannot be true or false, so what does it mean to say that your inference is valid? It cannot mean that the truth of its premise guarantees the truth of its conclusion. One is thus faced with what is known as “Jørgensen’s dilemma” (Ross 1941: 55-6): it seems that imperative logic cannot exist because logic deals only with entities that, unlike imperatives, can be true or false, but it also seems that imperative logic must exist. It must exist not only because inferences with imperatives can be valid, but also because imperatives (like “Enter” and “Don’t enter”) can be inconsistent with each other, and also because one can apply logical operations to imperatives: “Don’t enter” is the negation of “Enter”, and “Sing or dance” is the disjunction of “Sing” and “Dance”. A standard reaction to this dilemma consists in basing imperative logic on analogues of truth and falsity. For example, the imperative “Don’t enter” is satisfied if you don’t enter and is violated if you enter, and one might say that an inference from an imperative premise to an imperative conclusion is valid exactly if the satisfaction (rather than the truth) of the premise guarantees the satisfaction of the conclusion. But before getting into the details, more needs to be said on what exactly imperatives are. (shrink)

Russell wrote in 1918 in The Philosophy of Logical Atomism: -/- When I speak of a fact ... I mean the kind of thing that makes a proposition true or false. If I say 'It is raining', what I say is true in a certain condition of weather and is false in other conditions of the weather. The condition of weather that makes my state­ment true (or false as the case may be), is what I should call a 'fact'. If (...) I say, 'Socrates is dead', my statement will be true owing to a certain physiological occurrence which happened in Athens long ago. -/- This classic statement of Russell's version of the correspondence theory of truth is defective on one point only: Russell was unwise to use the word 'fact'. Objects which perform the semantic role Russell accords to facts I shall call simply truth-makers. (shrink)

David Lewis (1980) proposed the Principal Principle (PP) and a “reformulation” which later on he called ‘OP’ (Old Principle). Reacting to his belief that these principles run into trouble, Lewis (1994) concluded that they should be replaced with the New Principle (NP). This conclusion left Lewis uneasy, because he thought that an inverse form of NP is “quite messy”, whereas an inverse form of OP, namely the simple and intuitive PP, is “the key to our concept of chance”. I argue (...) that, even if OP should be discarded, PP need not be. Moreover, far from being messy, an inverse form of NP is a simple and intuitive Conditional Principle (CP). Finally, both PP and CP are special cases of a General Principle (GP); it follows that so are PP and NP, which are thus compatible rather than competing. (shrink)

According to typical ought-implies-can principles, if you have an obligation to vaccinate me tomorrow, then you can vaccinate me tomorrow. Such principles are uninformative about conditional obligations: what if you only have an obligation to vaccinate me tomorrow if you synthesize a vaccine today? Then maybe you cannot vaccinate me tomorrow ; what you can do instead, I propose, is make it the case that the conditional obligation is not violated. More generally, I propose the ought-implies-can-obey principle: an agent has (...) an obligation only at times at which the agent can obey the obligation. I also propose another principle, which captures the idea that ‘ought’ implies ‘can avoid’. I defend both principles mainly by arguing that they help explain why agents lose obligations, including conditional ones. (shrink)

While several tests and strategies are recommended for colorectal cancer (CRC) screening, studies suggest that primary care providers often recommend colonoscopy without providing information about its risks or alternatives. These observations raise concerns about the quality of informed consent for screening colonoscopy.

French translation of "Truth-Makers" (1984). A realist theory of truth for a class of sentence holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core (...) of our theory is the account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. The authors uphold the mutual independence of logical and ontological complexity. The theory is compared with that of Wittgenstein’s Tractatus, and the authors outline formal principles of truthmaking taking account of both kinds of complexity and suggesting how to overcome Wittgenstein’s problem of negation. (shrink)

I defend the epistemic thesis that evaluations of people in terms of their moral character as good, bad, or intermediate are almost always epistemically unjustified. (1) Because most people are fragmented (they would behave deplorably in many and admirably in many other situations), one's prior probability that any given person is fragmented should be high. (2) Because one's information about specific people does not reliably distinguish those who are fragmented from those who are not, one's posterior probability that any given (...) person is fragmented should be close to one's prior—and thus should also be high. (3) Because being fragmented entails being indeterminate (neither good nor bad nor intermediate), one's posterior probability that any given person is indeterminate should also be high—and the epistemic thesis follows. (1) and (3) rely on previous work; here I support (2) by using a mathematical result together with empirical evidence from personality psychology. (shrink)

Grenon and Smith (2004) propose a framework for the ontology of things in space and time involving and invoking the distinction between continuants and occurrents, which has become a key element of Basic Formal Ontology (BFO). The terminology of SNAP (from “snapshot:” state of a continuant at a time) and SPAN (how an occurrent develops over an interval or timespan) occurs in that paper’s title. While any commonsense ontology will have a place for both continuants and occurrents, there is much (...) room for philosophical debate on whether one of them is more basic than the other, or can be reduced to the other, or whether they are equally fundamental, or whether they are two different perspectives on the same reality. Grenon and Smith opt for the last of these. They call the accounts of continuants (SNAP) and occurrents (SPAN) both “ontologies.” They do not have a single ontology of all that is in space and time. This dialog throws a few of the common arguments around a bit and comes to no sure conclusion. But one of the characters bears a faint resemblance to a certain Buffalonian philosopher. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond the level of (...) controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny. LinKBase® is one of the world’s largest applications-oriented medical domain ontologies, and BFO is one of the world’s first philosophically driven reference ontologies. The collaboration of the two thus initiates a new phase in the quest to solve the so-called “Tower of Babel”. (shrink)

If time travel is possible, presumably so is my shooting my younger self ; then apparently I can kill him – I can commit retrosuicide. But if I were to kill him I would not exist to shoot him, so how can I kill him? The standard solution to this paradox understands ability as compossibility with the relevant facts and points to an equivocation about which facts are relevant: my killing YS is compossible with his proximity but not with his (...) survival, so I can kill him if facts like his survival are irrelevant but I cannot if they are relevant. I identify a lacuna in this solution, namely its reliance without argument on the hidden assumption that my killing YS is possible: if it is impossible, it is not compossible with anything. I argue that this lacuna is important, and I sketch a different solution to the paradox. (shrink)

This review article offers a discussion of some aspects of the historical and conceptual context when the term “ontology” (Lat. ontologia) was first introduced in the scholarly circles of the early 17th century. In particular, Barry Smith's (2022) analysis of the birth of ontology provides a springboard for some further remarks on the author of the work with the first known occurrence of the word “ontologia”, Jacob Lorhard, including an analysis of his relationship with earlier philosophers Petrus Ramus and Clemens (...) Timpler. (shrink)

There is widespread agreement, even among those who accept the possibility of backward causation, that it is impossible to change the past. I argue that this agreement corresponds to a relatively uninteresting understanding of what changing the past amounts to. In one sense it is indeed impossible to change the past: in no possible world is an action performed which makes the past in that world different from the past in that world. In another sense, however, it may be possible (...) to change the past: maybe in some possible world an action is performed which makes the past in that world different from the actual past. I argue that those who accept the possibility of backward causation are committed to accepting the possibility that the past changes in the latter sense. (shrink)

Social norms – rules governing which behaviours are deemed appropriate or inappropriate within a given community – are typically taken to be uniquely human. Recently, this position has been challenged by a number of philosophers, cognitive scientists, and ethologists, who have suggested that social norms may also be found in certain non-human animal communities. Such claims have elicited considerable scepticism from norm cognition researchers, who doubt that any non-human animals possess the psychological capacities necessary for normative cognition. However, there is (...) little agreement among these researchers about what these psychological prerequisites are. This makes empirical study of animal social norms difficult, since it is not clear what we are looking for and thus what should count as behavioural evidence for the presence (or absence) of social norms in animals. To break this impasse, we offer an approach that moves beyond contested psychological criteria for social norms. This approach is inspired by the animal culture research program, which has made a similar shift away from heavily psychological definitions of ‘culture’ and to become organized around a cluster of more empirically tractable concepts of culture. Here, we propose an analogous set of constructs built around the core notion of a normative regularity, which we define as a socially maintained pattern of behavioural conformity within a community. We suggest methods for studying potential normative regularities in wild and captive primates. We also discuss the broader scientific and philosophical implications of this research program with respect to questions of human uniqueness, animal welfare and conservation. (shrink)

In medical settings, machines are in close proximity with human beings: with patients who are in vulnerable states of health, who have disabilities of various kinds, with the very young or very old, and with medical professionals. Machines in these contexts are undertaking important medical tasks that require emotional sensitivity, knowledge of medical codes, human dignity, and privacy. -/- As machine technology advances, ethical concerns become more urgent: should medical machines be programmed to follow a code of medical ethics? What (...) theory or theories should constrain medical machine conduct? What design features are required? Should machines share responsibility with humans for the ethical consequences of medical actions? How ought clinical relationships involving machines to be modeled? Is a capacity for empathy and emotion detection necessary? What about consciousness? -/- The essays in this collection by researchers from both humanities and science describe various theoretical and experimental approaches to adding medical ethics to a machine, what design features are necessary in order to achieve this, philosophical and practical questions concerning justice, rights, decision-making and responsibility, and accurately modeling essential physician-machine-patient relationships. -/- This collection is the first book to address these 21st-century concerns. (shrink)

I was quite excited when I first read Restall and Russell’s (2010) paper. For two reasons. First, because the paper provides rigorous formulations and formal proofs of implication barrier the- ses, namely “theses [which] deny that one can derive sentences of one type from sentences of another”. Second (and primarily), because the paper proves a general theorem, the Barrier Con- struction Theorem, which unifies implication barrier theses concerning four topics: generality, necessity, time, and normativity. After thinking about the paper, I (...) am satisfied with its treatment of the first three topics, namely generality, necessity, and time. But I am not satisfied with its treatment of normativity, so my comments are exclusively on that topic. (shrink)