A collection of ten previously published essays on existence, nonexistence, empty names, fiction and myth, and free logic.

The conception of truth-making, albeit in a rudimentary form, could already be discerned in the writings of G. E. Moore and E. Husserl in the early 1900s. A few years later it was more extensively exploited by William James. It was Wittgenstein, however, who gave the concept a precise meaning. In 1913/1914 Wittgenstein advanced a theory of possible worlds, only one of which was real. Every proposition suggests a part of a possible world which does or does not correspond to (...) parts of the real world. In the first case the proposition is true, in the second case false. Moreover, the part of the real world makes the sentence true. This part is a truth-maker, and the sentence is a truth-bearer. Surprisingly enough, Wittgenstein’s concept of truth-making had its family resemblance with William James’s conception of truth. In 1915 Wittgenstein stopped using the concept of truth-making—it was also not men-tioned in the Tractatus. Unfortunately, Russell did not notice this and in 1918 he adopted the concept of truth-making. In the 1930s, it was used by some second generation analytic philosophers (Schlick, Stebbing, and Wisdom). However, it became rather popular among analytic philosophers only in the 1980s. (shrink)

Several philosophers including Kripke have contended that fictional entities do exist as abstract objects, and fictional names refer to such abstract entities. Kripke and Thomasson compare fictional entities to existing social entities. Kripke also reflects on fictions inside fictions to support his view. Many philosophers appeal to the apparent fact that we quantify over fictional entities. Such arguments in favor of the existence of fictional entities are critically scrutinized. It is argued that they are much less compelling than their proponents (...) suggest and involve various obscurities. (shrink)

From 1901 till, at least, 1919, Russell persistently maintained that there are two kinds of logic, between which he sharply discriminated: mathematical logic and philosophical logic. In this paper, we discuss the concept of philosophical logic, as used by Russell. This was only a tentative program that Russell did not clarify in detail, so our task will be to make it explicit. We shall show that there are three (-and-a-half) kinds of Russellian philosophical logic: (i) “pure logic”; (ii) philosophical logic (...) investigating the logical forms of propositions; (iii) philosophical logic exploring the logical forms of facts: in epistemology; and in the external world. In particular, Russell’s program or philosophical logic of the facts of the external world remained less than sketchily outlined. We shall discuss it in some detail in the hope that it can start a new life. (shrink)

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For naturalists of all (...) stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

Boethius identifies God both with esse ipsum and esse suum. This paper explains Boethius's general semantic use of "esse" and the application of this use to God. It questions the helpfulness of attributing to Boethius "existence" words and argues for a more robust role in Boethius’s thought for Hilary of Poitiers’s and Augustine’s exegeses of Exodus 3:14-15 than has been acknowledged in recent scholarship.

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification holism (...) due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

This fourteenth volume of Collected Papers is an eclectic tome of 87 papers in Neutrosophics and other fields, such as mathematics, fuzzy sets, intuitionistic fuzzy sets, picture fuzzy sets, information fusion, robotics, statistics, or extenics, comprising 936 pages, published between 2008-2022 in different scientific journals or currently in press, by the author alone or in collaboration with the following 99 co-authors (alphabetically ordered) from 26 countries: Ahmed B. Al-Nafee, Adesina Abdul Akeem Agboola, Akbar Rezaei, Shariful Alam, Marina Alonso, Fran Andujar, (...) Toshinori Asai, Assia Bakali, Azmat Hussain, Daniela Baran, Bijan Davvaz, Bilal Hadjadji, Carlos Díaz Bohorquez, Robert N. Boyd, M. Caldas, Cenap Özel, Pankaj Chauhan, Victor Christianto, Salvador Coll, Shyamal Dalapati, Irfan Deli, Balasubramanian Elavarasan, Fahad Alsharari, Yonfei Feng, Daniela Gîfu, Rafael Rojas Gualdrón, Haipeng Wang, Hemant Kumar Gianey, Noel Batista Hernández, Abdel-Nasser Hussein, Ibrahim M. Hezam, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Muthusamy Karthika, Nour Eldeen M. Khalifa, Madad Khan, Kifayat Ullah, Valeri Kroumov, Tapan Kumar Roy, Deepesh Kunwar, Le Thi Nhung, Pedro López, Mai Mohamed, Manh Van Vu, Miguel A. Quiroz-Martínez, Marcel Migdalovici, Kritika Mishra, Mohamed Abdel-Basset, Mohamed Talea, Mohammad Hamidi, Mohammed Alshumrani, Mohamed Loey, Muhammad Akram, Muhammad Shabir, Mumtaz Ali, Nassim Abbas, Munazza Naz, Ngan Thi Roan, Nguyen Xuan Thao, Rishwanth Mani Parimala, Ion Pătrașcu, Surapati Pramanik, Quek Shio Gai, Qiang Guo, Rajab Ali Borzooei, Nimitha Rajesh, Jesús Estupiñan Ricardo, Juan Miguel Martínez Rubio, Saeed Mirvakili, Arsham Borumand Saeid, Saeid Jafari, Said Broumi, Ahmed A. Salama, Nirmala Sawan, Gheorghe Săvoiu, Ganeshsree Selvachandran, Seok-Zun Song, Shahzaib Ashraf, Jayant Singh, Rajesh Singh, Son Hoang Le, Tahir Mahmood, Kenta Takaya, Mirela Teodorescu, Ramalingam Udhayakumar, Maikel Y. Leyva Vázquez, V. Venkateswara Rao, Luige Vlădăreanu, Victor Vlădăreanu, Gabriela Vlădeanu, Michael Voskoglou, Yaser Saber, Yong Deng, You He, Youcef Chibani, Young Bae Jun, Wadei F. Al-Omeri, Hongbo Wang, Zayen Azzouz Omar. (shrink)

We articulate a distinction between ontology, understood as involving existence questions, and metaphysics, understood as either providing for metaphysical profiles of entities or else as dealing with fundamentality and/or grounding and dependence questions. The distinction, we argue, allows a better understanding of the roles of metaontology and metametaphysics when it comes to discussing the relations between ontology and science on the one hand, and metaphysics and science on the other. We argue that while ontology, as understood in this paper, may (...) have reasonable perspectives for naturalization, given its relation to science, the same cannot be said for metaphysics, given that it is typically understood as an additional theoretical layer over science, not participating in the scientific investigation. That may result either in skepticism over metaphysics, or else on accepting that metaphysics is an autonomous branch of investigation, depending on one’s concern for metaphysics. (shrink)

The primary argument against mereological singularism—the view that definite plural noun phrases like ‘the students’ refer to “set-like entities”—is that it is ultimately incoherent. The most forceful form of this charge is due to Barry Schein, who argues that singularists must accept a certain comprehension principle which entails the existence of things having the contradictory property of being both atomic and non-atomic. The purpose of this paper is to defuse Schein’s argument, by noting three necessary and independently motivated restrictions on (...) the metalinguistic predicates ‘atom’ and ‘non-atom’: both are sort, property, and context-relative. With these restrictions in place, Schein’s problematic assumption becomes evident: his presumed singularist analysis of ‘non-atom’ conflates the metalanguage with the meta-metalanguage, i.e. the language used to talk about the metalanguage. (shrink)

In many different ontological debates, anti-arbitrariness considerations push one towards two opposing extremes. For example, in debates about mereology, one may be pushed towards a maximal ontology (mereological universalism) or a minimal ontology (mereological nihilism), because any intermediate view seems objectionably arbitrary. However, it is usually thought that anti-arbitrariness considerations on their own cannot decide between these maximal or minimal views. I will argue that this is a mistake. Anti-arbitrariness arguments may be used to motivate a certain popular thesis in (...) the philosophy of mathematics that rules out the maximalist view in many different ontological debates. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

It seems that the most common strategy to solve the liar paradox is to argue that liar sentences are meaningless and, consequently, truth-valueless. The other main option that has grown in recent years is the dialetheist view that treats liar sentences as meaningful, truth-apt and true. In this paper I will offer a new approach that does not belong in either camp. I hope to show that liar sentences can be interpreted as meaningful, truth-apt and false, but without engendering any (...) contradiction. This seemingly impossible task can be accomplished once the semantic structure of the liar sentence is unpacked by a quantified analysis. The paper will be divided in two sections. In the first section, I present the independent reasons that motivate the quantificational strategy and how it works in the liar sentence. In the second section, I explain how this quantificational analysis allows us to explain the truth teller sentence and a counter-example advanced against truthmaker maximalism, and deal with some potential objections. (shrink)

According to what has long been the dominant school of thought in analytic meta-ontology––defended not only by W. V. O. Quine, but also by Bertrand Russell, Alvin Plantinga, Peter van Inwagen, and many others––the meaning of ‘there is’ is identical to the meaning of ‘there exists.’ The most (in)famous aberration from this view is advanced by Alexius Meinong, whose ontological picture has endured extensive criticism (and borderline abuse) from several subscribers to the majority view. Meinong denies the identity of being (...) and existence. That is, he denies that ‘there is’ and ‘there exists’ are semantically equivalent, and espouses a theory according to which there are things that do not exist. Here I defend a revised version of this view, which I call “Noncontradictory Neo-Meinongianism.” Focusing primarily on van Inwagen’s arguments in “Meta-Ontology” (1998), I argue that Noncontradictory Neo-Meinongianism is, on commonsensical grounds, preferable to the meta-ontological theories of van Inwagen and Meinong. (shrink)

The book is a philosophical refection on the possibility of mathematical history. Are poosible models of historical phenomena so exact as those of physical ones? Mathematical models borrowed from quantum mechanics by the meditation of its interpretations are accomodated to history. The conjecture of many-variant history, alternative history, or counterfactual history is necessary for mathematical history. Conclusions about philosophy of history are inferred.

Semantic theories of fictional names generally presuppose, either explicitly or implicitly, that fictional predicates are guaranteed a referent. I argue that this presupposition is inconsistent with anti-realist theories of fictional characters and that it cannot be taken for granted by realist theories of fictional characters. The question of whether a fictional name refers to a fictional character cannot be addressed independently of the much-neglected question of whether a fictional predicate refers to a fictional property.

Russell’s role in the controversy about the paradoxes of material implication is usually presented as a tale of how even the greatest minds can fall prey to basic conceptual confusions. Quine accused him of making a silly mistake in Principia Mathematica. He interpreted “if- then” as a version of “implies” and called it material implication. Quine’s accusation is that this decision involved a use-mention fallacy because the antecedent and consequent of “if-then” are used instead of being mentioned as the premise (...) and the conclusion of an implication relation. It was his opinion that the criticisms and alternatives to the material implication presented by C. I. Lewis and others would never be made in the first place if Russell simply called the Philonian construction “material conditional” instead of “material implication”. Quine’s interpretation of the topic became hugely influential if not universally accepted. This paper will present the following criticisms against this interpretation: (1) the notion of material implication does not involve a use-mention fallacy, since the components of “if-then” are mentioned and not used; (2) Quine’s belief that the components of “if-then” are used was motivated by a conditional-assertion view of conditionals that is widely controversial and faces numerous difficulties; (3) if anything, it was Quine who could be accused of fallacious reasoning: he ignored that in the assertion of a conditional is the whole proposition that is asserted and not its constituents; (4) the Philonian construction remains counter-intuitive even if it is called “material conditional”; (5) the Philonian construction is more plausible when it is interpreted as a material implication. (shrink)

Previous discussions of the origins of writing in the Ancient Near East have not incorporated the neuroscience of literacy, which suggests that when southern Mesopotamians wrote marks on clay in the late-fourth millennium, they inadvertently reorganized their neural activity, a factor in manipulating the writing system to reflect language, yielding literacy through a combination of neurofunctional change and increased script fidelity to language. Such a development appears to take place only with a sufficient demand for writing and reading, such as (...) that posed by a state-level bureaucracy; the use of a material with suitable characteristics; and the production of marks that are conventionalized, handwritten, simple, and non-numerical. From the perspective of Material Engagement Theory, writing and reading represent the interactivity of bodies, materiality, and brains: movements of hands, arms, and eyes; clay and the implements used to mark it and form characters; and vision, motor planning, object recognition, and language. Literacy is a cognitive change that emerges from and depends upon the nexus of interactivity of the components. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

Both Carnap and Quine made significant contributions to the philosophy of mathematics despite their diversed views. Carnap endorsed the dichotomy between analytic and synthetic knowledge and classified certain mathematical questions as internal questions appealing to logic and convention. On the contrary, Quine was opposed to the analytic-synthetic distinction and promoted a holistic view of scientific inquiry. The purpose of this paper is to argue that in light of the recent advancement of experimental mathematics such as Monte Carlo simulations, limiting mathematical (...) inquiry to the domain of logic is unjustified. Robustness studies implemented in Monte Carlo Studies demonstrate that mathematics is on par with other experimental-based sciences. (shrink)

It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without qualification.” And Stalnaker writes, “we can agree (...) with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense.” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it. (shrink)

This paper challenges a standard interpretation according to which Frege’s conception of logic (early and late) is at odds with the contemporary one, because on the latter’s view logic is formal, while on Frege’s view it is not, given that logic’s subject matter is reality’s most general features. I argue that Frege – in Begriffsschrift – retained the idea that logic is formal; Frege sees logic as providing the ‘logical cement’ that ties up together the contentful concepts of specific sciences, (...) not the most general truths. Finally, I discuss how Frege conceives of the application of Begriffsschrift, and of its status as a ‘lingua characteristica’. (shrink)

The object of this paper is to sketch an approach to propositions, meaning and names. The key ingredients are a Twin-Earth-inspired distinction between internal and external meaning, and a middle-Wittgenstein-inspired conception of internal meaning as role in language system. I show how the approach offers a promising solution to the problem of the meaning of proper names. This is a plea for a neglected way of thinking about these topics.

Mereological entities often seem to violate ‘ordinary’ ideas of what a concrete object can be like, behaving more like sets than like Aristotelian substances. However, the mereological notions of ‘part’, ‘composition’, and ‘sum’ or ‘fusion’ appear to find concrete realisation in the actual semantics of mass nouns. Quine notes that ‘any sum of parts which are water is water’; and the wine from a single barrel can be distributed around the globe without affecting its identity. Is there here, as some (...) have claimed, a ‘natural’ or ‘innocent’ form of mereology? The claim rests on the assumption that what a mass noun such as ‘wine’ denotes — the wine from a single barrel, for example — is indeed a unit of a special type, the sum or fusion of its many ‘parts’. The assumption is, however, open to question on semantic grounds. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

This paper concerns the three great modal dichotomies: (i) the necessary/contingent dichotomy; (ii) the a priori/empirical dichotomy; and (iii) the analytic/synthetic dichotomy. These can be combined to produce a tri-dichotomy of eight modal categories. The question as to which of the eight categories house statements and which do not is a pivotal battleground in the history of analytic philosophy, with key protagonists including Descartes, Hume, Kant, Kripke, Putnam and Kaplan. All parties to the debate have accepted that some categories are (...) void. This paper defends the contrary view that all eight categories house statements—a position I dub ‘octopropositionalism’. Examples of statements belonging to all eight categories are given. (shrink)

Le parole “metafisica” e “ontologia” si dicono in molti modi diversi nella filosofia del XX secolo, tanto all’interno della filosofia analitica quanto altrove. Sono spesso usate per parlare della teoria o dell’analisi di ciò che c’è, delle specie principali di ciò che c’è e dei loro rapporti. Ma i positivisti viennesi, per esempio, chiamavano “metafisiche” le filosofie che non amavano (Carnap, 1985; Campbell, 1976, cap. 2); e se Quine parla dell’impegno ontologico o ontico di una teoria, non intende con ciò (...) un qualsivoglia impegno metafisico o esistenziale. (shrink)

The ontological argument for the existence of God has enjoyed a recent renaissance among philosophers of religion. Alvin Plantinga's modal version is perhaps the most notable example. This essay critically examines Plantinga's rendition, uncovering both its strengths and weaknesses. The author concludes that while the argument is probably formally valid, it is ultimately unsound. Nonetheless, Plantinga's version has generated much interest and discussion. The author spends some time uncovering the reasons for the argument's powerful intuitive appeal. He concludes his essay (...) by appraising Pruss's recent defence of Plantinga's argument. (shrink)

A version of the permutation argument in the philosophy of mathematics leads to the thesis that mathematical terms, contrary to appearances, are not genuine singular terms referring to individual objects; they are purely schematic or variables. By postulating ‘ante-rem structures’, the ante-rem structuralist aims to defuse the permutation argument and retain the referentiality of mathematical terms. This paper presents two semantic problems for the ante- rem view: (1) ante-rem structures are themselves subject to the permutation argument; (2) the ante-rem structuralist (...) fails to explain reference in a way that makes her account different to, and privileged over, that of her eliminativist rivals. Both problems undercut the motivation behind ante-rem structuralism. (shrink)

Perhaps there has been no greater opportunity than in this “VOLUME FIFTEEN of our Death And Anti-Death set of anthologies” to write about how might think about life and how to avoid death. There are two reasons to discuss “life”, the first being enhancing our understanding of who we are and why we may be here in the Universe. The second is more practical: how humans meet the physical challenges brought about by the way they have interacted with their environment. (...) Many persons discussing “life” beg the question about what “life” is. Surely, when one discusses how to overcome its opposite, death, they are not referring to another “living” thing such as a plant. There seems to be a commonality, though, and it is this commonality is one needing elaboration. It ostensibly seems to be the boundary condition separating what is completely passive (inert) from what attempts to maintain its integrity, as well as fulfilling other conditions we think “life” has. In our present discussion, there will be a reminder that it by no means has been unequivocally established what life really is by placing quotes around the word, namely, “life”. Consider it a tag representing a bundle of philosophical ideas that will be unpacked in this paper. (shrink)

The paper seeks to answer two new questions about truth and scientific change: What lessons does the phenomenon of scientific change teach us about the nature of truth? What light do recent developments in the theory of truth, incorporating these lessons, throw on problems arising from the prevalence of scientific change, specifically, the problem of pessimistic meta-induction?

Previous theorists have claimed that Russell’s theory of definite descriptions gives the wrong truth conditions to sentences in which definite descriptions are embedded under certain other operators; but the other operators used, such as conditionals and propositional attitude verbs, have introduced intensional and hyperintensional complications that might be thought to obscure the point against Russell. This paper shows that the same kind of problem arises when the operator in question allows the context to be extensional. It is further argued that (...) presuppositional theories of definite descriptions give intuitively satisfying analyses of the novel data. (shrink)

In this paper, I provide a new reading of Wittgenstein’s N operator, and of its significance within his early logical philosophy. I thereby aim to resolve a longstanding scholarly controversy concerning the expressive completeness of N. Within the debate between Fogelin and Geach in particular, an apparent dilemma emerged to the effect that we must either concede Fogelin’s claim that N is expressively incomplete, or reject certain fundamental tenets within Wittgenstein’s logical philosophy. Despite their various points of disagreement, however, Fogelin (...) and Geach nevertheless share several common and problematic assumptions regarding Wittgenstein’s logical philosophy, and it is these mistaken assumptions which are the source of the dilemma. Once we recognize and correct these, and other, associated expository errors, it will become clear how to reconcile the expressive completeness of Wittgenstein’s N operator, with several commonly recognized features of, and fundamental theses within, the Tractarian logical system. (shrink)

I examine the reasons Aristotle presents in Physics VIII 8 for denying a crucial assumption of Zeno’s dichotomy paradox: that every motion is composed of sub-motions. Aristotle claims that a unified motion is divisible into motions only in potentiality (δυνάμει). If it were actually divided at some point, the mobile would need to have arrived at and then have departed from this point, and that would require some interval of rest. Commentators have generally found Aristotle’s reasoning unconvincing. Against David Bostock (...) and Richard Sorabji, inter alia, I argue that Aristotle offers a plausible and internally consistent response to Zeno. I defend Aristotle’s reasoning by using his discussion of what to say about the mobile at boundary instants, transitions between change and rest. There Aristotle articulates what I call the Changes are Open, Rests are Closed Rule: what is true of something at a boundary instant is what is true of it over the time of its rest. By contrast, predications true of something over its period of change are not true of the thing at either of the boundary instants of that change. I argue that this rule issues from Aristotle’s general understanding of change, as laid out in Phys. III. It also fits well with Phys. VI, where Aristotle maintains that there is a first boundary instant included in the time of rest, but not a “first in which the mobile began to change.” I then show how this rule underlies Aristotle’s argument that a continuous motion cannot be composed of actual sub-motions. Aristotle distinguishes potential middles, points passed through en route to a terminus, from actual middles. The Changes are Open, Rests are Closed Rule only applies to actual middles, because only they are boundaries of change that the mobile must arrive at and then depart from. On my reading, Aristotle argues that the instant of arrival, the first instant at which the mobile has come to be at the actual middle, cannot belong to the time of the subsequent motion. If it did, the mobile would already be moving towards the next terminus and thus, per Phys. VI 6, would have already left. But it cannot have moved away from the midpoint at the very same moment it has arrived there. This means that the instant of arrival must be separated from the time of departure by an interval of rest. I show how Aristotle’s reasoning applies generally to rule out any continuous reflexive motion or continuous complex rectilinear motion. On my interpretation, however, the argument does not apply to every change of direction. When, as in the case of projectile motion, multiple movers and their relative powers explain why the mobile changes directions, distinct sub-motions are not involved. Aristotle holds that such motions cannot be continuous, not because they involve intervals of rest, but because they involve multiple causes of motion. My interpretation of the Changes are Open, Rests are Closed Rule allows us to make better sense of Aristotle’s argument than any previous interpretation. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

Suppose that X and Y can’t possibly exist apart in reality; then—by definition—there’s no real distinction between them, only a conceptual distinction. There’s a conceptual distinction between a rectilinear figure’s triangularity and its trilaterality, for example, but no real distinction. In fundamental metaphysics there is no real distinction between an object’s categorical properties and its dispositional properties. So too there is no real distinction between an object and its properties. And in fundamental metaphysics, for X and Y to be such (...) that there is no real distinction between them is for them to be identical. (shrink)

Discussions of the relation between pragmatism and logical empiricism tend to focus on the period when the logical empiricists found themselves in exile, mostly in the United States, and then attempt to gauge the actual extent of their convergence. My concern lies with the period before that and the question whether pragmatism had an earlier influence on the development of logical empiricism, especially on the thought of the former members of the “first” Vienna Circle. I argue for a substantially qualified (...) affirmative answer. (shrink)

Ortega y Gasset is known for his philosophy of life and his effort to propose an alternative to both realism and idealism. The goal of this article is to focus on an unfamiliar aspect of his thought. The focus will be given to Ortega’s interpretation of the advancements in modern mathematics in general and Cantor’s theory of transfinite numbers in particular. The main argument is that Ortega acknowledged the historical importance of the Cantor’s Set Theory, analyzed it and articulated a (...) response to it. In his writings he referred many times to the advancements in modern mathematics and argued that mathematics should be based on the intuition of counting. In response to Cantor’s mathematics Ortega presented what he defined as an ‘absolute positivism’. In this theory he did not mean to naturalize cognition or to follow the guidelines of the Comte’s positivism, on the contrary. His aim was to present an alternative to Cantor’s mathematics by claiming that mathematicians are allowed to deal only with objects that are immediately present and observable to intuition. Ortega argued that the infinite set cannot be present to the intuition and therefore there is no use to differentiate between cardinals of different infinite sets. (shrink)

Walter Dubislav (1895–1937) was a leading member of the Berlin Group for scientific philosophy. This “sister group” of the more famous Vienna Circle emerged around Hans Reichenbach’s seminars at the University of Berlin in 1927 and 1928. Dubislav was to collaborate with Reichenbach, an association that eventuated in their conjointly conducting university colloquia. Dubislav produced original work in philosophy of mathematics, logic, and science, consequently following David Hilbert’s axiomatic method. This brought him to defend formalism in these disciplines as well (...) as to explore the problems of substantiating (Begründung) human knowledge. Dubislav also developed elements of general philosophy of science. Sadly, the political changes in Germany in 1933 proved ruinous to Dubislav. He published scarcely anything after Hitler came to power and in 1937 committed suicide under tragic circumstances. The intent here is to pass in review Dubislav’s philosophy of logic, mathematics, and science and so to shed light on some seminal yet hitherto largely neglected currents in the history of philosophy of science. (shrink)

Most scientific models are not physical objects, and this raises important questions. What sort of entity are models, what is truth in a model, and how do we learn about models? In this paper I argue that models share important aspects in common with literary fiction, and that therefore theories of fiction can be brought to bear on these questions. In particular, I argue that the pretence theory as developed by Walton (1990, Mimesis as make-believe: on the foundations of the (...) representational arts. Harvard University Press, Cambridge/MA) has the resources to answer these questions. I introduce this account, outline the answers that it offers, and develop a general picture of scientific modelling based on it. (shrink)

In early analytic philosophy, one of the most central questions concerned the status of arithmetical objects. Frege argued against the popular conception that we arrive at natural numbers with a psychological process of abstraction. Instead, he wanted to show that arithmetical truths can be derived from the truths of logic, thus eliminating all psychological components. Meanwhile, Dedekind and Peano developed axiomatic systems of arithmetic. The differences between the logicist and axiomatic approaches turned out to be philosophical as well as mathematical. (...) In this paper, I will argue that Dedekind’s approach can be seen as a precursor to modern structuralism and as such, it enjoys many advantages over Frege’s logicism. I also show that from a modern perspective, Frege’s criticism of abstraction and psychologism is one-sided and fails against the psychological processes that modern research suggests to be at the heart of numerical cognition. The approach here is twofold. First, through historical analysis, I will try to build a clear image of what Frege’s and Dedekind’s views on arithmetic were. Then, I will consider those views from the perspective of modern philosophy of mathematics, and in particular, the empirical study of arithmetical cognition. I aim to show that there is nothing to suggest that the axiomatic Dedekind approach could not provide a perfectly adequate basis for philosophy of arithmetic. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

In this paper, I examine Quine's views on the epistemology of logic. According to Quine's influential holistic account, logic is central in the “web of belief” that comprises our overall theory of the world. Because of this, revisions to logic would have devastating systematic consequences, and this explains why we are loath to make such revisions. In section1, I clarify this idea and thereby show that Quine actually takes the web of belief to have asymmetrical internal structure. This raises two (...) puzzles. First, as I show in section 2, Quine's mature thoroughly naturalized view has it that logic is simply obvious, and this is explains why we do not typically consider revising it. While Quine presents this naturalized view as a way to make good on his earlier metaphor of centrality in a web of belief, I argue that the resources of Quine's naturalized epistemology cannot adequately explain why we are reluctant to revise logic. And, Quine seems to recognize this point himself. In light of this, I explain in section 3 how Quine can allow that our overall scientific theory has systematic structure in a way that is consistent with his naturalistic strictures. Second, the asymmetrical internal structure of the web of belief seems to be inconsistent with its being a holistic web at all. I defuse this problem in section 4 by showing how Quine distinguishes between structural and confirmational considerations. I close by using this distinction to show how Quine's view can evade Michael Friedman’s criticisms, and allow for important methodological distinctions between areas of the web of belief. (shrink)

This article discusses various dangers that accompany the supposedly benign methods in behavioral evoltutionary biology and evolutionary psychology that fall under the framework of "methodological adaptationism." A "Logic of Research Questions" is proposed that aids in clarifying the reasoning problems that arise due to the framework under critique. The live, and widely practiced, " evolutionary factors" framework is offered as the key comparison and alternative. The article goes beyond the traditional critique of Stephen Jay Gould and Richard C. Lewontin, to (...) present problems such as the disappearance of evidence, the mishandling of the null hypothesis, and failures in scientific reasoning, exemplified by a case from human behavioral ecology. In conclusion the paper shows that "methodological adaptationism" does not deserve its benign reputation. (shrink)

Mathematical apriorists usually defend their view by contending that axioms are knowable a priori, and that the rules of inference in mathematics preserve this apriority for derived statements—so that by following the proof of a statement, we can trace the apriority being inherited. The empiricist Philip Kitcher attacked this claim by arguing there is no satisfactory theory that explains how mathematical axioms could be known a priori. I propose that in analyzing Ernest Sosa’s model of intuition as an intellectual virtue, (...) we can construct an “intuition–virtue” that could supply the missing explanation for the apriority of axioms. I first argue that this intuition–virtue qualifies as an a priori warrant according to Kitcher’s account, and then show that it could produce beliefs about mathematical axioms independent of experience. If my argument stands, this paper could provide insight on how virtue epistemology could help defend mathematical apriorism on a larger scale. (shrink)