At some step in proving the Liar Paradox in natural language, a sentence is derived that seems overdetermined with respect to its semantic value. This is complemented by Tarski’s Theorem that a formal language cannot consistently contain a naive truth predicate given the laws of logic used in proving the Liar paradox. I argue that proofs of the Eubulidean Liar either use a principle of truth with non-canonical names in a fallacious way or make a fallacious use of substitution of (...) identicals. Tarski never committed the first fallacy and may have himself considered it fallacious. Nevertheless, I clarify that it is fallacious. I then argue substitution of identicals needs to be restricted within the scope of the truth predicate. A logic for truth implementing this restriction is a monotonic extension of a classical first order logic, or indeed a formalizable fragment of natural language. Proofs of Tarski’s Indefinability of Truth theorem are invalid in this logic. This approach generalizes to invalidate proofs of Liar-like paradoxes, particularly the predicate form of the Knower paradox. Consequently, such a logic can be further extended in a way that avoids Montague’s theorem for such a system. Yet, the semantic status of a Liar sentence is not fully resolved. It is no longer overdetermined; it is now underdetermined. (shrink)

In recent analytic philosophy, there is a growing interest in the project of conceptual engineering. This paper examines two ways this project might be applied to scientific research, specifically anthropological research. It argues that both of them are harmful to this research. Specifically, it argues that a reliance on the axiological standards of analytic philosophy conflicts with the goal of empirical adequacy. Section one proffers two forms that the engineering project might take when applied to the science. Section two proffers (...) a case study drawn from anthropology. Specifically, it lays out Evans-Pritchard’s Witchcraft, Oracles, and Magic Among the Azande, paying particular attention to the inconsistency he discovered in Azande witchcraft. Sections three and four argue that attempting to remove this inconsistency via the two forms of engineering disable critical features of emic research and discard empirical findings. Finally, I close by noting how the conflict between axiological standards and empirical adequacy might generalize beyond anthropology. (shrink)

The sciences occasionally generate discoveries that undermine their own assumptions. Two such discoveries are characterized here: the discovery of apophenia by cognitive psychology and the discovery that physical systems cannot be locally bounded within quantum theory. It is shown that such discoveries have a common structure and that this common structure is an instance of Priest’s well-known Inclosure Schema. This demonstrates that science itself is dialetheic: it generates limit paradoxes. How science proceeds despite this fact is briefly discussed, as is (...) the connection between our results and the realism-antirealism debate. We conclude by suggesting a position of epistemic modesty. (shrink)

The book offers a proposal on how to define truth in all its complexity, without reductionism, showing at the same time which questions a theory of truth has to answer and which questions, although related to truth, do not belong within the scope of such a theory. Just like any other theory, a theory of truth has its structure and limits. The semantic core of the position is that truth-ascriptions are pro-forms, i.e. natural language propositional variables. The book also offers (...) an explanation of the syntactic behaviour of truth-terms, and the pragmatic roles of truth-acts. The theory of truth we present is a technical proposal, relatively uncontaminated by radical philosophical discussion. It makes indeed philosophical points, but it is intended to be a conceptual analysis, as neutral as possible, of the aspects that may serve as a point of departure for more philosophically-laden destinations. Like the Fregean account of quantifiers, which is prior to and, to a large extent, independent of the metaphysical debate about existence and its forms, or the Kaplanian view on demonstratives, that is neutral regarding the debate about individuals and the possibilities we have to actually “reach” them in a referring act, we intend our proposal about truth to be a sophisticated and explicative setting that helps to situate other debates about truth accurately, far from the distorted and sometimes strongly ideological discussions that have turned the topic into a paradigm of philosophical impasse. (shrink)

True contradictions are taken increasingly seriously by philosophers and logicians. Yet, the belief that contradictions are always false remains deeply intuitive. This paper confronts this belief head-on by explaining in detail how one specific contradiction is true. The contradiction in question derives from Priest's reworking of Berkeley's argument for idealism. However, technical aspects of the explanation offered here differ considerably from Priest's derivation. The explanation uses novel formal and epistemological tools to guide the reader through a valid argument with, not (...) just true, but eminently acceptable premises, to an admittedly unusual conclusion: a true contradiction. The novel formal and epistemological tools concern points of view and changes in points of view. The result is an understanding of why the contradiction is true. (shrink)

The question of ontological foundation has undergone a noteworthy revival in recent years: metaphysicians today quarrel about how exactly to understand the asymmetrical and hyperintensional relationship of grounding. One of the reasons for this revival is that the old quantificationalist meta-ontology inherited from Quine has been effectively criticised by leading philosophers favourable to a meta-ontology, the aim of which is to come to know “which facts/items ground (constitute the base of) which other facts/items”, thus to examine the relation of ontological (...) dependence between beings (e.g. chemical properties depend on physical properties, the economic situation on the behaviour of individuals etc.), i.e. to explore the hierarchical structure of reality. I shall not discuss here the relationship of grounding in itself, but make some historical-formal remarks on the properties of the ultimate ontological foundational item itself and its aporetic nature. To do so I explore various more or less exotic philosophical ecosystems in the following order: Heidegger (Seyn), Plato (ἕν), Wáng Bi (道, dào). On the way I shall propose a new interpretation both of certain hypotheses in the Parmenides and of the nature of the opposition between Wáng Bì and Guō Xiàng in regard to the logical grammar of the expression “nothing (無, wú)” (transl. J. Dudley). (shrink)

While the contemporary problem of the criterion raises similar epistemological issues as Agrippa’s Trilemma in ancient Pyrrhonian skepticism, the consideration of such epistemological questions has served two different purposes. On one hand, there is the purely practical purpose of Pyrrhonism, in which such questions are a means to reach suspension of judgment, and on the other hand, there is the theoretical purpose of contemporary epistemologists, in which these issues raise theoretical problems that drive the search for theoretical resolution. In classical (...) India, similar issues arise in Nāgārjuna’s Vigrahavyāvartanī, but it is not entirely clear what Nāgārjuna’s purpose is. Contrary to the theoretical interpretations of several recent scholars such as Jan Westerhoff according to which Nāgārjuna is proffering a contextualist epistemological theory, I argue that Nāgārjuna as well as the later Madhyamaka Candrakīrti, much like Pyrrhonian skeptics, employed concerns about epistemic criteria in service of purely practical purposes. There is no positive epistemological theory to be found in Nāgārjuna’s Vigrahavyāvartanī and Candrakīrti’s Prasannapadā; furthermore a putative thesis of universal emptiness is self-undermining, a conclusion which itself can be seen as part of a therapeutic program. Nonetheless, the historical persistence of these epistemological issues shows that they ought to continue to be areas of theoretical inquiry for epistemologists today. I end with reflections on the wider relevance of my conclusions, particularly with regard to demonstrating the value of philosophy. (shrink)

I have two main objectives. The first is to get a better understanding of what is at issue between friends and foes of higher-order quantification, and of what it would mean to extend a Boolos-style treatment of second-order quantification to third- and higherorder quantification. The second objective is to argue that in the presence of absolutely general quantification, proper semantic theorizing is essentially unstable: it is impossible to provide a suitably general semantics for a given language in a language of (...) the same logical type. I claim that this leads to a trilemma: one must choose between giving up absolutely general quantification, settling for the view that adequate semantic theorizing about certain languages is essentially beyond our reach, and countenancing an open-ended hierarchy of languages of ever ascending logical type. I conclude by suggesting that the hierarchy may be the least unattractive of the options on the table. (shrink)

This dissertation is on infinite regress arguments in philosophy. Its main goals are to explain what such arguments from many distinct philosophical debates have in common, and to provide guidelines for using and evaluating them. Two theories are reviewed: the Paradox Theory and the Failure Theory. According to the Paradox Theory, infinite regress arguments can be used to refute an existentially or universally quantified statement (e.g. to refute the statement that at least one discussion is settled, or the statement that (...) discussions are settled only if there is an agreed-upon criterion to settle them). According to the Failure Theory, infinite regress arguments can be used to demonstrate that a certain solution fails to solve an existentially or universally quantified problem (e.g. to demonstrate that a certain solution fails to settle all discussions, or that it fails to settle even one discussion). In the literature, the Paradox Theory is fairly well-developed, and this dissertation provides the Failure Theory with the same tools. (shrink)

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)