This paper is a fresh attempt to articulate the role of a theory of truthmakers. We argue that truthmaker theory constitutes a cornerstone of good methodology in metaphysics, but that a conflation of truthmaker theory with the theory of truth has been responsible for certain excesses associated with truthmaker-based approaches in the recent literature. If truthmaker theory is not a component of a theory of truth, then truthmaker maximalism – the view that every truth has a truthmaker – loses its (...) primary motivation. More generally, if the task of truthmaker theory is not to provide a definition or account of truth in truthmaker terms, there is no pressing need for hard, a priori principles stating which truths have truthmakers and which do not. (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)

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)

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

The collaboration of Language and Computing nv (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is guided by the hypothesis that quality constraints on ontologies for software ap-plication purposes closely parallel the constraints salient to the design of sound philosophical theories. The extent of this parallel has been poorly appreciated in the informatics community, and it turns out that importing the benefits of phi-losophical insight and methodology into application domains yields a variety of improvements. L&C’s LinKBase® (...) is one of the world’s largest medical domain ontologies. Its current primary use pertains to natural language processing ap-plications, but it also supports intelligent navigation through a range of struc-tured medical and bioinformatics information resources, such as SNOMED-CT, Swiss-Prot, and the Gene Ontology (GO). In this report we discuss how and why philosophical methods improve both the internal coherence of LinKBase®, and its capacity to serve as a translation hub, improving the interoperability of the ontologies through which it navigates. (shrink)

Le présent article est une tentative nouvelle d’articuler le rôle d’une théorie des vérifacteurs. Nous soutenons que la théorie de la vérifaction constitue une pierre angulaire dans une bonne méthodologie en métaphysique, mais que l’amalgame entre la théorie de la vérifaction et la théorie de la vérité a été responsable de certains excès associés aux approches vérifactionnistes dans la littérature récente. Nous montrons que la théorie de la vérifaction conserve son attrait comme instrument d’investigation métaphysique, et ce, malgré notre accord (...) avec les doctrines déflationnistes telles que celles défendues par Ayer, Quine, Field et Horwich (ou, du moins, malgré notre neutralité à leur égard). Nous soutenons en outre que les intuitions sous-jacentes à la théorie de la vérifaction s’éclairent quand nous les dissocions d’une théorie de la vérité et, par-dessus tout, de la tentative de fournir une définition de la vérité. (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)

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)

Batı’da teorik felsefe; Analitik Felsefe (AF), Kıta Felsefesi (KF) ve Felsefe Tarihi (FT) olmak üzere üçe ayrılır. Fakat üçünde de işler yolunda değildir. AF, felsefenin bir bilim olabileceği iddiasından kuşku duyduğu için gerçek dünyayla ilgilenmiyorken başından beri uygun bir teorik yöntem izlemeyen Kıta Felsefesinin uygulanışı, belirli politik ve etik yargılara hizmet edecek şekilde özelleştirilmiştir. FT çalışmalarının gidişatı ise eldeki eserin nesnel değerinden daha çok ilgili filozofun ait olduğu ulus veya kültüre göre bölgesel bir temelde gelişmiştir. Felsefede ilerleme sağlanacaksa bu ancak (...) bahsi geçen tuzaklardan kaçınılarak gerçekleşebilir. (shrink)

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)

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)

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)

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)

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.

This book is a survey of the most important developments in Austrian philosophy in its classical period from the 1870s to the Anschluss in 1938. Thus it is intended as a contribution to the history of philosophy. But I hope that it will be seen also as a contribution to philosophy in its own right as an attempt to philosophize in the spirit of those, above all Roderick Chisholm, Rudolf Haller, Kevin Mulligan and Peter Simons, who have done so much (...) to demonstrate the continued fertility of the ideas and methods of the Austrian philosophers in our own day. For some time now, historians of philosophy have been gradually coming to terms with the idea that post-Kantian philosophy in the German-speaking world ought properly to be divided into two distinct traditions which we might refer to as the German and Austrian traditions, respectively. The main line of the first consists in a list of personages beginning with Kant, Fichte, Hegel and Schelling and ending with Heidegger, Adorno and Bloch. The main line of the second may be picked out similarly by means of a list beginning with Bolzano, Mach and Meinong, and ending with Wittgenstein, Neurath and Popper. As should be clear, it is the Austrian tradition that has contributed most to the contemporary mainstream of philosophical thinking in the Anglo-Saxon world. For while there are of course German thinkers who have made crucial contributions to the development of exact or analytic philosophy, such thinkers were outsiders when seen from the perspective of native German philosophical culture, and in fact a number of them found their philosophical home precisely in Vienna. When, in contrast, we examine the influence of the Austrian line, we encounter a whole series of familiar and unfamiliar links to the characteristic concerns of more recent philosophy of the analytic sort. As Michael Dummett points out in his Origins of Analytic Philosophy, the newly fashionable habit of referring to analytic philosophy as "Anglo-American" is in this light a "grave historical distortion". If, he says, we take into account the historical context in which analytic philosophy developed, then such philosophy "could at least as well be called "Anglo-Austrian" (1988, p. 7). Much valuable scholarly work has been done on the thinking of Husserl and Wittgenstein, Mach and the Vienna Circle. The central axis of Austrian philosophy, however, which as I hope to show in what follows is constituted by the work of Brentano and his school, is still rather poorly understood. Work on Meinong or Twardowski by contemporary philosophers still standardly rests upon simplified and often confused renderings of a few favoured theses taken out of context. Little attention is paid to original sources, and little effort is devoted to establishing what the problems were by which the Austrian philosophers in general were exercised -- in spite of the fact that many of these same problems have once more become important as a result of the contemporary burgeoning of interest on the part of philosophers in problems in the field of cognitive science. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

Of all twentieth century philosophers, it is Gilles Deleuze whose work agitates most forcefully for a worldview privileging becoming over being, difference over sameness; the world as a complex, open set of multiplicities. Nevertheless, Deleuze remains singular in enlisting mathematical resources to underpin and inform such a position, refusing the hackneyed opposition between ‘static’ mathematical logic versus ‘dynamic’ physical world. This is an international collection of work commissioned from foremost philosophers, mathematicians and philosophers of science, to address the wide range (...) of problematics and influences in this most important strand of Deleuze’s thinking. Contributors are Charles Alunni, Alain Badiou, Gilles Châtelet, Manuel DeLanda, Simon Duffy, Robin Durie, Aden Evens, Arkady Plotnitsky, Jean-Michel Salanskis, Daniel Smith and David Webb. (shrink)

In 1890 Christian von Ehrenfels published his classic paper "Über 'Gestaltqualitäten'", the first systematic investigation of the philosophy and psychology of Gestalt. Ehrenfels thereby issued an important challenge to the psychological atomism that was still predominant in his day. His paper not only exerted a powerful influence on the philosophy of the Meinong school, it also marked the beginning of the Gestalt tradition in psychology, later associated with the work of Wertheimer, Köhler and Koffka in Berlin. Includes papers by C. (...) Von Ehrenfels, Kurt Grelling and Paul Oppenheim and contributions by K. Mulligan, P.M. Simons and Barry Smith. (shrink)

Is the brain really a computer? In particular, is our intelligence a computational achievement: is it because our brains are computers that we get on in the world as well as we do? In this paper I will evaluate an ambitious new argument to the contrary, developed in Landgrebe and Smith (2021a, 2022). Landgrebe and Smith begin with the fact that many dynamical systems in the world are difficult or impossible to model accurately (inter alia, because it is (...) intractable to find exact solutions to the differential equations that describe them—meaning we have to approximate—but at the same time they are such that small differences in starting conditions lead to big differences in final conditions, thwarting accurate approximation). Yet we manage to survive and thrive in a world full of such systems. Landgrebe and Smith argue from these premises that it is not because our brains are computers that we get on as well as we do: instead it is because of the various ways that we dynamically couple with such systems, these couplings themselves impossible to model well enough to emulate in silico. Landgrebe and Smith thus defend a dynamical systems model in the lineage of Gibson (1979), Van Gelder (1995), and Thompson (2007), though their focus is on decisively refuting the computationalist alternatives rather than developing the positive account. Here I will defend the claim that human intelligence is genuinely computational (and that whole brain emulation and others forms of AGI may be possible) against this argument. (shrink)

A preliminary statement of the formal theory of the truthmaker relation advanced in the paper “Truth-makers” (Mulligan, Simons and Smith) in 1984. Correspondence theories of truth have. I give a brief account of some more or less obvious formal characteristics of this almost forgotten basic truthmaker relation. I then attempt to show how this account may be extended to provide elements of a theory of truth which is in keeping with the spirit of Wittgenstein’s Tractatus.

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)

Attempts to trace a unifying thread of ontological realism extending through 1. my early writings on Frege, Brentano, Husserl, Wittgenstein, Ingarden and (with Kevin Mulligan and Peter Simons) on truthmakers; 2. work on formal theories of the common-sense world, and on mereotopology, fiat objects, geographical categories, and environments (with David Mark, Roberto Casati, Achille Varzi), to 3. current work on applied ontology in biology and medicine, and on the theory of document acts and on the ontology of information artifacts.

This volume brings together a range of influential essays by distinguished philosophers and political theorists on the issue of global justice. Global justice concerns the search for ethical norms that should govern interactions between people, states, corporations and other agents acting in the global arena, as well as the design of social institutions that link them together. The volume includes articles that engage with major theoretical questions such as the applicability of the ideals of social and economic equality to the (...) global sphere, the degree of justified partiality to compatriots, and the nature and extent of the responsibilities of the affluent to address global poverty and other hardships abroad. It also features articles that bring the theoretical insights of global justice thinkers to bear on matters of practical concern to contemporary societies, such policies associated with immigration, international trade, and climate change. -/- Contents: Introduction; Part I Standards of Global Justice: (i) Assistance-Based Responsibilities to the Global Poor: Famine, affluence and mortality, Peter Singer; We don't owe them a thing! A tough-minded but soft-hearted view of aid to the faraway needy, Jan Narveson; Does distance matter morally to the duty to rescue? Frances Myrna Kamm. (ii) Contribution-Based Responsibilities to the Global Poor: 'Assisting' the global poor, Thomas Pogge; Should we stop thinking about poverty in terms of helping the poor?, Alan Patten; Poverty and the moral significance of contribution, Gerhard Øverland. (iii)Cosmopolitans, Global Egalitarians, and its Critics: The one and the many faces of cosmopolitanism, Catherine Lu; Cosmopolitan justice and equalizing opportunities, Simon Caney; The problem of global justice, Thomas Nagel; Against global egalitarianism, David Miller; Egalitarian challenges to global egalitarianism: a critique, Christian Barry and Laura Valentini. Part II Pressing Global Socioeconomic Issues: (i) Governing the Flow of People: Immigration and freedom of association, Christopher Wellman; Democratic theory and border coercion: no right to unilaterally control your own borders, Arash Abizadeh; Justice in migration: a closed borders utopia?, Lea Ypi. (ii) Climate Change: Global environment and international inequality, Henry Shue; Valuing policies in response to climate change: some ethical issues, John Broome; Saved by disaster? Abrupt climate change, political inertia, and the possibility of an intergenerational arms race, Stephen M. Gardiner; Polycentric systems for coping with collective action and global environmental change, Elinor Ostrom. (iii) International Trade: Responsibility and global labor justice, Iris Marion Young; Property rights and the resource curse, Leif Wenar; Fairness in trade I: obligations arising from trading and the pauper-labor argument, Mathias Risse; Name index. -/- See: www.ashgate.com/default.aspx?page=637&calctitle=1&pageSubject=483&sort=pubdate&forthcoming=1&title_i d=9958&edition_id=13385. (shrink)

Dieser Band stellt die erste Fortsetzung der 2013 begonnenen Publikation zur „Wirtlichen Ökonomie“ dar. Er dient der sich fortsetzenden Frage nach der Wirtlichkeit. Zu dieser Frage gehört es, das Ökonomische aus einer notwendig gewordenen Zurückhaltung gegenüber dem methodischen Vorgriff der modernen Wirtschaftswissenschaften zu denken. Die Zurückhaltung verleiht, indem sie den Fragebereich der Wirtlichkeit eröffnet, den hier versammelten Beiträgen ihren wahren Zusammenhang.

Simon Blackburn has not shied away from the use of vivid imagery in developing, over a long and prolific career, a large-scale philosophical vision. Here one might think, for instance, of ‘Practical Tortoise Raising’ or ‘Ramsey's Ladder’ or ‘Frege's Abyss’. Blackburn develops a ‘quasi-realist’ account of many of our philosophical and everyday commitments, both theoretical (e.g., modality and causation) and practical (e.g., moral judgement and normative reasons). Quasi-realism aims to provide a naturalistic treatment of its targeted phenomena while earning (...) the right to deploy all of the ‘trappings’ of realism—i.e., while eschewing any idea that our normal thought and talk about such phenomena are pervasively in error. The quasi-realist project is that of explaining how (as Huw Price puts it here) ‘the folk come to “talk the realist talk” without committing ourselves—us theorists, as it were—to “walking the metaphysical walk”’ (p. 136). Quasi-realism, too, can speak of truth, facts, properties, belief, knowledge, and so on. The imagery in this collection also abounds, though, in capturing a different view of quasi-realism: No fewer than three of the contributors picture Blackburn as wanting to have his cake and eat it too (Louise Antony asking, in addition, ‘Who doesn't? It's cake’ [p. 19]). (shrink)

Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf Lüthe, Luc Schneider, Peter Simons, Wojciech Żełaniec, and Jan Woleński.

John Smith was among the first of the Cambridge Platonists. He was therefore in a position to influence not only his contemporaries but all those who followed after him well into the twentieth century and beyond. Well established lines of influence both to and from Whichcote, Cudworth, and More are explored first before moving on to less well-known connections to Bishop Simon Patrick and mathematician Isaac Barrow. Smith’s continued significance for eighteenth century theology is demonstrated through discussion (...) of his inspiration of the doctrines of spiritual sensation developed by Jonathan Edwards and John Wesley. Special notice is also given to Smith’s authority as an interpreter of Biblical prophecy through the eighteenth and nineteenth centuries. The chapter concludes with looks at Smith’s influence on Samuel Taylor Coleridge, Ralph Waldo Emerson, William Ralph Inge, Rufus Jones, Pierre Hadot, and others. This chapter, offers a broad, but highly selective, overview of the reception and influence of Smith’s life and work. It is intended, however, as a call for future research more than as an authoritative presentation of Smith’s legacy. For, if the Cambridge Platonists have been underappreciated until recently, none of them have been unjustly ignored as consistently as Smith. (shrink)

The idea that women qua women can be dehumanized has been dismissed by feminist philosophers, like Kate Manne, and by philosophers of dehumanization, like David Livingstone Smith. Against these skeptics, I argue that we can and should use dehumanization to explain an important strand of misogyny. When they are dehumanized, women are represented simultaneously as human and as inhuman embodiments of the natural world. They therefore appear as magical, contaminating, sexualized threats towards whom violence is acceptable or even necessary. (...) Misogynistic dehumanization is important to understanding atrocities like the early modern European witch-hunts, but also contemporary phenomena like incel violence. (shrink)

This paper seeks to clarify and defend the proposition that moral realism is best elaborated as a moral doctrine. I begin by upholding Ronald Dworkin’s anti-Archimedean critique of the error theory against some strictures by Michael Smith, and I then briefly suggest how a proponent of moral realism as a moral doctrine would respond to Smith’s defense of the Archimedeanism of expressivism. Thereafter, this paper moves to its chief endeavor. By differentiating clearly between expressivism and quasi-realism, the paper (...) highlights both their distinctness and their compatibility. In so doing, it underscores the affinities between Blackburnian quasi-realism and moral realism as a moral doctrine. Finally, this paper contends—in line with my earlier work on these matters—that moral realism as a moral doctrine points to the need for some reorienting of meta-ethical enquiries rather than for the abandoning of them. (shrink)

There is something puzzling about statistical evidence. One place this manifests is in the law, where courts are reluctant to base affirmative verdicts on evidence that is purely statistical, in spite of the fact that it is perfectly capable of meeting the standards of proof enshrined in legal doctrine. After surveying some proposed explanations for this, I shall outline a new approach – one that makes use of a notion of normalcy that is distinct from the idea of statistical frequency. (...) The puzzle is not, however, merely a legal one. Our unwillingness to base beliefs on statistical evidence is by no means limited to the courtroom, and is at odds with almost every general principle that epistemologists have proposed as to how we ought to manage our beliefs. (shrink)

According to a captivating picture, epistemic justification is essentially a matter of epistemic or evidential likelihood. While certain problems for this view are well known, it is motivated by a very natural thought—if justification can fall short of epistemic certainty, then what else could it possibly be? In this paper I shall develop an alternative way of thinking about epistemic justification. On this conception, the difference between justification and likelihood turns out to be akin to the more widely recognised difference (...) between ceteris paribus laws and brute statistical generalisations. I go on to discuss, in light of this suggestion, issues such as classical and lottery-driven scepticism as well as the lottery and preface paradoxes. (shrink)

Formal models of appearance and reality have proved fruitful for investigating structural properties of perceptual knowledge. This paper applies the same approach to epistemic justification. Our central goal is to give a simple account of The Preface, in which justified belief fails to agglomerate. Following recent work by a number of authors, we understand knowledge in terms of normality. An agent knows p iff p is true throughout all relevant normal worlds. To model The Preface, we appeal to the normality (...) of error. Sometimes, it is more normal for reality and appearance to diverge than to match. We show that this simple idea has dramatic consequences for the theory of knowledge and justification. Among other things, we argue that a proper treatment of The Preface requires a departure from the internalist idea that epistemic justification supervenes on the appearances and the widespread idea that one knows most when free from error. (shrink)

În această lucrare analizez posibilitatea călătoriei în timp pe baza mai multor lucrări de specialitate, printre care cele ale lui Nicholas J.J. Smith ("Time Travel", The Stanford Encyclopedia of Philosophy”), William Grey (”Troubles with Time Travel”), Ulrich Meyer (”Explaining causal loops”), Simon Keller și Michael Nelson (”Presentists should believe in time-travel”), Frank Arntzenius și Tim Maudlin ("Time Travel and Modern Physics") și David Lewis (“The Paradoxes of Time Travel”). Lucrarea începe cu o Introducere în care fac o scurtă (...) prezentare a călătoriei în timp, și continuă cu o Istoria conceptului de călătorie în timp, prezentarea principalelor Aspecte fizice ale călătoriei în timp, inclusiv călătoria în timp în trecut în relativitatea generală și în fizica cuantică și călătoria în timp în viitor, apoi o prezentare a Paradoxul bunicului care este abordat în aproape toate lucrările de specialitate, urmat de o secțiune dedicată Filosofiei călătoriei în timp, și o secțiune în care analizez Buclele cauzale pentru călătoria în timp. Finalizez lucrarea cu Concluzii, în care expun opiniile personale privind călătoria în timp, și Bibliografia pe care se bazează lucrarea. (shrink)

Our understanding of subjunctive conditionals has been greatly enhanced through the use of possible world semantics and, more precisely, by the idea that they involve variably strict quantification over possible worlds. I propose to extend this treatment to ceteris paribus conditionals – that is, conditionals that incorporate a ceteris paribus or ‘other things being equal’ clause. Although such conditionals are commonly invoked in scientific theorising, they traditionally arouse suspicion and apprehensiveness amongst philosophers. By treating ceteris paribus conditionals as a species (...) of variably strict conditional I hope to shed new light upon their content and their logic. (shrink)

We often claim to know what might be—or probably is—the case. Modal knowledge along these lines creates a puzzle for information-sensitive semantics for epistemic modals. This paper develops a solution. We start with the idea that knowledge requires safe belief: a belief amounts to knowledge only if it could not easily have been held falsely. We then develop an interpretation of the modal operator in safety that allows it to non-trivially embed information-sensitive contents. The resulting theory avoids various paradoxes that (...) arise from other accounts of modal knowledge. It also delivers plausible predictions about modal Gettier cases. (shrink)

Many epistemologists have responded to the lottery paradox by proposing formal rules according to which high probability defeasibly warrants acceptance. Douven and Williamson present an ingenious argument purporting to show that such rules invariably trivialise, in that they reduce to the claim that a probability of 1 warrants acceptance. Douven and Williamson’s argument does, however, rest upon significant assumptions – amongst them a relatively strong structural assumption to the effect that the underlying probability space is both finite and uniform. In (...) this paper, I will show that something very like Douven and Williamson’s argument can in fact survive with much weaker structural assumptions – and, in particular, can apply to infinite probability spaces. (shrink)

This paper develops a question-sensitive theory of intention. We show that this theory explains some puzzling closure properties of intention. In particular, it can be used to explain why one is rationally required to intend the means to one’s ends, even though one is not rationally required to intend all the foreseen consequences of one’s intended actions. It also explains why rational intention is not always closed under logical implication, and why one can only intend outcomes that one believes to (...) be under one’s control. (shrink)

As conceived by analytic philosophers ontology consists in the application of the methods of mathematical logic to the analysis of ontological discourse. As conceived by realist philosophers such as Meinong and the early Husserl, Reinach and Ingarden, it consists in the investigation of the forms of entities of various types. The suggestion is that formal methods be employed by phenomenological ontologists, and that phenomenological insights may contribute to the construction of adequate formal-ontological languages. The paper sketches an account of what (...) might be involved in this new discipline, an account which is illustrated in application to the formal-ontological problems raised by negative states of affairs. (shrink)

The rapidly increasing wealth of genomic data has driven the development of tools to assist in the task of representing and processing information about genes, their products and their functions. One of the most important of these tools is the Gene Ontology (GO), which is being developed in tandem with work on a variety of bioinformatics databases. An examination of the structure of GO, however, reveals a number of problems, which we believe can be resolved by taking account of certain (...) organizing principles drawn from philosophical ontology. We shall explore the results of applying such principles to GO with a view to improving GO’s consistency and coherence and thus its future applicability in the automated processing of biological data. (shrink)

Performative accounts of personhood argue that group agents are persons, fit to be held responsible within the social sphere. Nonetheless, these accounts want to retain a moral distinction between group and individual persons. That: Group-persons can be responsible for their actions qua persons, but that group-persons might nonetheless not have rights equivalent to those of human persons. I present an argument which makes sense of this disanalogy, without recourse to normative claims or additional ontological commitments. I instead ground rights in (...) the different relations in which performative persons stand in relation to one another. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. We consider (...) and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

In his latest book, Michael Devitt rejects Chomsky’s mentalist conception of linguistics. The case against Chomsky is based on two principal claims. First, that we can separate the study of linguistic competence from the study of its outputs: only the latter belongs to linguistic inquiry. Second, Chomsky’s account of a speaker’s competence as consisiting in the mental representation of rules of a grammar for his language is mistaken. I shall argue, first, that Devitt fails to make a case for separating (...) the study of outputs from the study of competence, and second, that Devitt mis-characterises Chomsky’s account of competence, and so his objections miss their target. Chomsky’s own views come close to a denial that speaker’s have knowledge of their language. But a satisfactory account of what speakers are able to do will need to ascribe them linguistic knowledge that they use to speak and understand. I shall explore a conception of speaker’s knowledge of language that confirrns Chomsky’s mentalist view of linguistics but which is immune to Devitt’s criticism. (shrink)

Philosophy and Phenomenological Research, EarlyView.

Since the release of ChatGPT, there has been a lot of debate about whether AI systems pose an existential risk to humanity. This paper develops a general framework for thinking about the existential risk of AI systems. We analyze a two-premise argument that AI systems pose a threat to humanity. Premise one: AI systems will become extremely powerful. Premise two: if AI systems become extremely powerful, they will destroy humanity. We use these two premises to construct a taxonomy of ‘survival (...) stories’, in which humanity survives into the far future. In each survival story, one of the two premises fails. Either scientific barriers prevent AI systems from becoming extremely powerful; or humanity bans research into AI systems, thereby preventing them from becoming extremely powerful; or extremely powerful AI systems do not destroy humanity, because their goals prevent them from doing so; or extremely powerful AI systems do not destroy humanity, because we can reliably detect and disable systems that have the goal of doing so. We argue that different survival stories face different challenges. We also argue that different survival stories motivate different responses to the threats from AI. Finally, we use our taxonomy to produce rough estimates of ‘P(doom)’, the probability that humanity will be destroyed by AI. (shrink)

This paper examines an ancient debate over the rationality of perception. What leads the Stoics to affirm, and the Epicureans to deny, that to form a sense-impression is an activity of reason? The answer, we argue, lies in a disagreement over what is required for epistemic success. For the Stoics, epistemic success consists in believing the right propositions, and only rational states, in virtue of their predicational structure, put us in touch with propositions. Since they identify some sense-impressions as criteria (...) of truth and thus as the basis for epistemic success, the Stoics maintain that sense-impressions must be rational. The Epicureans agree with the Stoics that sense-impressions function as criteria of truth, and also agree broadly on what it means for a state to be rational, but deny that sense-impressions are rational because (1) they think that epistemic success must be supported by a state that is necessarily error-free and (2) accept that rational states can be false. In reconstructing this debate, we refine the standard interpretation of the fundamental difference between Epicurean and Stoic epistemology and also develop parallels with epistemological debates today. One upshot is a more nuanced appreciation of the merits of Epicurean epistemology vis-à-vis the Stoics. (shrink)

About the possibility of time traveling based on several specialized works, including those of Nicholas J. J. Smith ("Time Travel"), William Grey (”Troubles with Time Travel”), Ulrich Meyer (”Explaining causal loops”), Simon Keller and Michael Nelson (”Presentists should believe in time-travel”), Frank Arntzenius and Tim Maudlin ("Time Travel and Modern Physics"), and David Lewis (“The Paradoxes of Time Travel”). The article begins with an Introduction in which I make a short presentation of the time travel, and continues with (...) a History of the concept of time travel, main physical aspects of time travel, including backward time travel in the past in general relativity and quantum physics, and time travel in the future, then a presentation of the Grandfather paradox that is approached in almost all specialized works, followed by a section dedicated to the Philosophy of time travel, and a section in which I analyze Causal loops for time travel. I finish my work with Conclusions, in which I sustain my personal opinions on the time travel, and the Bibliography on which the work is based. -/- ISSN 978-606-033-195-7, DOI: 10.58679/TW82554. (shrink)

The last two decades have seen considerable efforts directed towards making Electronic Health Records interoperable through improvements in medical ontologies, terminologies and coding systems. Unfortunately, these efforts have been hampered by a number of influential ideas inherited from the work of Eugen Wüster, the father of terminology standardization and the founder of ISO TC 37. We here survey Wüster’s ideas – which see terminology work as being focused on the classification of concepts in people’s minds – and we argue that (...) they serve still as the basis for a series of influential confusions. We argue further that an ontology based unambiguously, not on concepts, but on the classification of entities in reality can, by removing these confusions, make a vital contribution to ensuring the interoperability of coding systems and healthcare records in the future. (shrink)

Recent studies indicate that indicative conditionals like "If people wear masks, the spread of Covid-19 will be diminished" require a probabilistic dependency between their antecedents and consequents to be acceptable (Skovgaard-Olsen et al., 2016). But it is easy to make the slip from this claim to the thesis that indicative conditionals are acceptable only if this probabilistic dependency results from a causal relation between antecedent and consequent. According to Pearl (2009), understanding a causal relation involves multiple, hierarchically organized conceptual dimensions: (...) prediction, intervention, and counterfactual dependence. In a series of experiments, we test the hypothesis that these conceptual dimensions are differentially encoded in indicative and counterfactual conditionals. If this hypothesis holds, then there are limits as to how much of a causal relation is captured by indicative conditionals alone. Our results show that the acceptance of indicative and counterfactual conditionals can become dissociated. Furthermore, it is found that the acceptance of both is needed for accepting a causal relation between two co-occurring events. The implications that these findings have for the hypothesis above, and for recent debates at the intersection of the psychology of reasoning and causal judgment, are critically discussed. Our findings are consistent with viewing indicative conditionals as answering predictive queries requiring evidential relevance (even in the absence of direct causal relations). Counterfactual conditionals in contrast target causal relevance, specifically. Finally, we discuss the implications our results have for the yet unsolved question of how reasoners succeed in constructing causal models from verbal descriptions. (shrink)