There was a time when both Rudolf Carnap and Jc Beall were thought to be arch logical pluralists. Beall has since renounced his pluralistic views, but Carnap is still largely regarded as a pluralist. In this paper, I will show that there is good reason to think that Carnap is not a logical pluralist, at least in the way he is presented in the literature. Instead, I argue, he can be seen as a Beall-style logical monist at the meta-level, in (...) line with the views expressed in Beall (APHI 14:1–29, 2017 and NOUS 28:30–54, 2018). (shrink)

In this paper, we critically discuss the idea of a ‘philosophical interpretation’ of paraconsistent logics. We do so by considering the epistemic approach to paraconsistency, by Carnielli and Rodrigues, according to which paraconsistent logics should be interpreted exclusively in terms of non-conclusive evidence, and also, by considering counter-arguments by Barrio and Barrio and Da Re, according to whom paraconsistent logics are not specially tied to any specific interpretation. We begin by presenting the positions involved, and by arguing that the debate (...) may be profitably understood in terms of the distinction between pure and applied logics. We argue that dialetheism is not an interpretation of paraconsistent logics, but rather a view on truth and negation which requires use of paraconsistent logics. Something similar may be said about the epistemic approach itself. The result is that there is nothing distinctive to be called a philosophical interpretation of paraconsistent logics, but rather what we have are distinct applications of paraconsistent logics. Arguments by Barrio and Barrio and Da Re may be then re-framed more effectively. (shrink)

Logical anti‐exceptionalism is the view that logic is not special, it is continuous with science. This continuity is typically understood in terms of the use of the abductive method in logical theory choice, with logical knowledge resulting from our choice of the theory best accounting for the data. In this paper, we argue for two related claims: (i) that this understanding of the continuity between logic and science faces considerable challenges; and (ii) that such challenges may be avoided by elaborating (...) the continuity of logic with science in terms of the “logic‐as‐models” approach. More specifically, we defend that logical theories should be seen in the lights of the “models‐as‐epistemic‐tools” approach, an approach to the nature of models in empirical science more closely connected with current scientific practice. The result is a version of logical anti‐exceptionalism opening new perspectives for the philosophical understanding of logic. (shrink)

According to Fogelin’s account of deep disagreements, disputes caused by a clash in framework propositions are necessarily rationally irresolvable. Fogelin’s thesis is a claim about real-life, and not purely hypothetical, arguments: there are such disagreements, and they are incapable of rational resolution. Surprisingly then, few attempts have been made to find such disputes in order to test Fogelin’s thesis. This paper aims to rectify that failure. Firstly, it clarifies Fogelin’s concept of deep disagreement and shows there are several different breeds (...) of such disagreements. Thus, to fully assess Fogelin’s thesis, it will be necessary to seek out cases of each breed to evaluate their rational irresolvability. Secondly, it begins this task by looking at a significant debate within the logical literature over the truth of contradictions. We demonstrate that, while the debate exemplifies a breed of deep disagreement, the parties involved can supply one another with rationally compelling reasons. (shrink)

Saul Kripke proposed a skeptical challenge that Romina Padró defended and popularized by the name of the Adoption Problem. The challenge is that, given a certain definition of adoption, there are some logical principles that cannot be adopted—paradigmatic cases being Universal Instantiation and Modus Ponens. Kripke has used the Adoption Problem to argue that there is an important sense in which logic is not revisable. In this essay, I defend two independent claims. First, that the Adoption Problem does not entail (...) that logic is never revisable in the sense that Kripke addresses. Second, that, to assess whether an agent can revise their logic in the sense that Kripke addresses, it is best to consider a different definition of adoption, according to which Universal Instantiation and Modus Ponens are sometimes adoptable. (shrink)

In Pragmatism, James promised his readers a theory of truth. However, many of his readers (even those sympathetic with other parts of James’s work) have concluded that James’s “theory” was little more than a tangle of mistakes. In this chapter, I offer an interpretation and defence of James’s theory of truth. I emphasize James’s truth pluralism.

Metaphilosophy, Volume 53, Issue 2-3, Page 267-283, April 2022.

The subject of this article is the Principle of Characterization—the most controversial principle of Alexius Meinong’s Theory of Objects. The aim of this text is twofold. First of all, to show that Bertrand Russell’s well-known objection to the Principle of Characterization can be reformulated against contemporary unrestricted interpretations of it. Second, to propose an alternative formulation of this principle. This refers to the methodology of metaphysics and is based on the distinction between pre-theoretical and theoretical languages. The proposed formulation fits (...) well with every type of contemporary interpretation of the Theory of Objects and helps to overcome Russell’s criticism. (shrink)

In this paper, Graham Priest’s understanding of dialetheism, the view that there exist true contradictions, is discussed, and various kinds of metaphysical dialetheism are distinguished between. An alternative to dialetheism is presented, namely a thesis called ‘dimathematism’. It is pointed out that dimathematism enables one to escape a slippery slope argument for dialetheism that has been put forward by Priest. Moreover, dimathematism is presented as a thesis that is helpful in rejecting the claim that logic is a normative discipline.

Logic is about reasoning, or so the story goes. This thesis looks at the concept of logic, what it is, and what claims of correctness of logics amount to. The concept of logic is not a settled matter, and has not been throughout the history of it as a notion. Tools from conceptual analysis aid in this historical venture. Once the unsettledness of logic is established we see the repercussions in current debates in the philosophy of logic. Much of the (...) battle over the ‘one true logic’ is conceptually talking past each other. The theory of logics-as-formalizations is presented as a conceptually open theory of logic which is Carnapian in flavour and grounding. Rudolf Carnap’s notions surrounding ‘external’ and ‘pseudo-questions’ about linguistic frameworks apply to formalizations, thus logics, as well. An account of what formalizations are, a more structured sub-set of modelling, is given to ground the claim that logics are formalizations. Finally, a novel account of correctness, the COFE framework, is developed which allows the notions of logical monism, pluralism and nihilism to be more precisely formulated than they currently are in the discourse. (shrink)

The subject of this article is the Principle of Characterization—the most controversial principle of Alexius Meinong’s Theory of Objects. The aim of this text is twofold. First of all, to show that Bertrand Russell’s well-known objection to the Principle of Characterization can be reformulated against contemporary unrestricted interpretations of it. Second, to propose an alternative formulation of this principle. This refers to the methodology of metaphysics and is based on the distinction between pre-theoretical and theoretical languages. The proposed formulation fits (...) well with every type of contemporary interpretation of the Theory of Objects and helps to overcome Russell’s criticism. (shrink)

Logical pluralism is commonly described as the view that there is more than one correct logic. It has been claimed that, in order for that view to be interesting, there has to be at least a potential for rivalry between the correct logics. This paper offers a detailed assessment of this suggestion. I argue that an interesting version of logical pluralism is hard, if not impossible, to achieve. I first outline an intuitive understanding of the notions of rivalry and correctness. (...) I then discuss a natural account of rivalry in terms of disagreement about validity claims and the argument from meaning variance that has been raised against it. I explore a more refined picture of the meaning of validity claims that makes use of the character-content distinction of classical two dimensional semantics. There are three ways in which pluralists can use that framework to argue for the view that different logics may be rivals but could nevertheless be equally correct. I argue that none of them is convincing. (shrink)

The fundamental problem of Christology is the apparent contradiction of Christ as recorded at Chalcedon. Christ is human and Christ is divine. Being divine entails being immutable. Being human entails being mutable. Were Christ two different persons there’d be no apparent contradiction. But Chalcedon rules as much out. Were Christ only partly human or only partly divine there’d be no apparent contradiction. But Chalcedon rules as much out. Were the very meaning of ‘mutable’ and/or ‘immutable’ other than what they are, (...) there’d be no apparent contradiction. But the meaning is what it is, and changing the meaning of our terms to avoid the apparent contradiction of Christ is an apparent flight from reality. What, in the end, is the explanation of the apparent contradiction of Christ? Theologians and philosophers have long advanced many consistency-seeking answers, all of which increase the metaphysical or semantical complexity of the otherwise strikingly simple but radical core of Christianity’s GodMan. In this paper, I put the simplest explanation on the theological table: namely, Christ appears to be contradictory because Christ is contradictory. This explanation may sound complicated to the many who are steeped in the mainstream account of logic according to which logic precludes the possibility of true contradictions. But the mainstream account of logic can and should be rejected. Ridding theology of the dogma of mainstream logic illuminates the simple though striking explanation of the apparent contradiction of Christ — namely, that Christ is a contradictory being. Just as the simplest explanation to the apparent roundness of the earth has earned due acceptance, so too should the simplest explanation of the apparent contradiction of Christ. (shrink)

Logic is widely held to be a normative discipline. Various claims have been offered in support of this view, but they all revolve around the idea that logic is concerned with how one ought to reason. I argue that most of these claims—while perhaps correct—only entail that logic is normative in a way that many, if not all, intellectual disciplines are normative. I also identify some claims whose correctness would make logic normative in a way that sets it apart from (...) other disciplines. I argue that we have no reason think that these claims are correct. In other words, logic is not a distinctively normative discipline. (shrink)

First-order formalisations are often preferred to propositional ones because they are thought to underwrite the validity of more arguments. We compare and contrast the ability of some well-known logics—these two in particular—to formally capture valid and invalid arguments. We show that there is a precise and important sense in which first-order logic does not improve on propositional logic in this respect. We also prove some generalisations and related results of philosophical interest. The rest of the article investigates the results’ philosophical (...) significance. A first moral is that the correct way to state the oft-cited superiority of first-order logic vis-`a-vis propositional logic is more nuanced than often thought. The second moral concerns semantic theory; the third logic’s use as a tool for discovery. A fourth and final moral is that second-order logic’s transcendence of first-order logic is greater than first-order logic’s transcendence of propositional logic. (shrink)

Logical pluralists are committed to the idea of a neutral metalanguage, which serves as a framework for debates in logic. Two versions of this neutrality can be found in the literature: an agreed upon collection of inferences, and a metalanguage that is neutral as such. I discuss both versions and show that they are not immune to Quinean criticism, which builds on the notion of meaning. In particular, I show that the first version of neutrality is sub-optimal, and hard to (...) reconcile with the theories of meaning for logical constants, and the second version collapses mathematically, if rival logics, as object languages, are treated with charity in the metalanguage. I substantiate by proving a collapse theorem that generalizes familiar results. Thus, the existence of a neutral metalanguage cannot be taken for granted, and meaning-invariant logical pluralism might turn out to be dubious. (shrink)

Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...) to a logical calculus is not as straightforward as it may seem. We show that these facts are problematic for the proof-theoretic project but the problems can be solved. Our thesis is that the consequence relation relevant for proof-theoretic semantics is the one given by the sequent-to-sequent derivability relation in Gentzen systems. (shrink)

Abstract‘Logical Realism’ is taken to mean many different things. I argue that if reality has a privileged structure, then a view I call metaphysical logical realism is true. The view says that, first, there is ‘One True Logic’; second, that the One True Logic is made true by the mind‐and‐language‐independent world; and third, that the mind‐and‐language‐independent world makes it the case that the One True Logic is better than any other logic at capturing the structure of reality. Along the way, (...) I discuss a few alternatives, and clarify two distinct kinds of metaphysical logical realism. (shrink)

Logical monists and pluralists disagree about how many correct logics there are; the monists say there is just one, the pluralists that there are more. Could it turn out that both are wrong, and that there is no logic at all?

Scientific pluralism is the view according to which there is a plurality of scientific domains and of scientific theories, and these theories are empirically adequate relative to their own respective domains. Scientific monism is the view according to which there is a single domain to which all scientific theories apply. How are these views impacted by the presence of inconsistent scientific theories? There are consistency-preservation strategies and inconsistency-toleration strategies. Among the former, two prominent strategies can be articulated: Compartmentalization and Information (...) restriction. Among the inconsistency-toleration strategies, we have: Paraconsistent compartmentalization and Dialetheism. In this paper, I critically assess the adequacy of each of these four views. (shrink)

This paper is about the putative theoretical virtue of strength, as it might be used in abductive arguments to the correct logic in the epistemology of logic. It argues for three theses. The first is that the well-defined property of logical strength is neither a virtue nor a vice, so that logically weaker theories are not—all other things being equal—worse or better theories than logically stronger ones. The second thesis is that logical strength does not entail the looser characteristic of (...) scientific strength, and the third is that many modern logics are on a par—or can be made to be on a par—with respect to scientific strength. (shrink)

The concept of information has well-known difficulties. Among the many issues that have been discussed is the alethic nature of a semantic conception of information. Floridi :197–222, 2004; Philos Phenomenol Res 70:351–370, 2005; EUJAP 3:31–41, 2007; The philosophy of information, Oxford University Press, Oxford, 2011) argued that semantic information must be truthful. In this article, arguments will be presented in favor of an alethically neutral conception of semantic information and it will be shown that such a conception can withstand Floridi’s (...) criticism. In particular, it is argued that an alethically neutral conception of semantic information can manage the so-called Bar-Hillel Carnap paradox, according to which contradictions have maximum informational content. This issue, as well as some of Floridi’s other arguments, is resolved by disentangling the property of being information from the property of being informative. The essay’s final conclusion is that although semantic information is alethically neutral, a veridical conception of semantic information can, and should, be retained as a subconcept of semantic information, as it is essential for the analysis of informativity, which, unlike the property of being information, depends on truth. (shrink)

Dialetheism is the view that some true sentences have a true negation as well. Defending dialetheism, Graham Priest argues that the correct account of negation should allow for true contradictions and \) without entailing triviality. A negation doing precisely that is said to have ‘surplus content’. Now, to defend that the correct account of negation does have surplus content, Priest advances arguments to hold that classical Boolean negation does not even make sense without begging the question against the dialetheist. We (...) shall argue that Priest’s arguments may be turned upon themselves, and that he may also be accused of begging the question against the classical logician. We then advance an argument to the effect that Priest’s account of negation falls short of satisfying his own desiderata on a correct account of a negation: a theory of negation that attempts to represent contradictions cannot coherently allow surplus content, and vice-versa, a negation allowing for surplus content bans contradiction. (shrink)

Some writers object to logical pluralism on the grounds that logic is normative. The rough idea is that the relation of logical consequence has consequences for what we ought to think and h...

In this paper, I present a puzzle about epistemic rationality. It seems plausible that it should be rational to believe a proposition if you have sufficient evidential support for it. It seems plausible that it rationality requires you to conform to the categorical requirements of rationality. It also seems plausible that our first-order attitudes ought to mesh with our higher-order attitudes. It seems unfortunate that we cannot accept all three claims about rationality. I will present three ways of trying to (...) resolve this tension and argue that the best way to do this is to reject the idea that strong evidential support is the stuff rationality is made of. In the course of doing this, I shall argue that there is a special class of propositions about the requirements of rationality that we cannot make rational mistakes about and explain how this can be. (shrink)

We critically examine the claim that identity is a fundamental concept. According to those putting forward this thesis, there are four related reasons that can be called upon to ground the fundamental character of identity: identity is presupposed in every conceptual system; identity is required to characterize individuality; identity cannot be defined; the intelligibility of quantification requires identity. We address each of these points and argue that none of them advances compelling reasons to hold that identity is fundamental; in fact, (...) most of the tasks that seem to require identity may be performed without identity. So, in the end, identity may not be a fundamental concept after all. (shrink)

Philosophers of religion have taken the assumption for granted that the various religious traditions of the world have incompatible beliefs. In this paper, I will argue that this assumption is more problematic than has been generally recognized. To make this argument, I will discuss the implications of internal religious disagreement, an aspect of this issue that has been too often ignored in the contemporary debate. I will also briefly examine some implications of my argument for how one might respond to (...) the existence of religious diversity. (shrink)

This paper presents and defends a way to add a transparent truth predicate to classical logic, such that and A are everywhere intersubstitutable, where all T-biconditionals hold, and where truth can be made compositional. A key feature of our framework, called STTT (for Strict-Tolerant Transparent Truth), is that it supports a non-transitive relation of consequence. At the same time, it can be seen that the only failures of transitivity STTT allows for arise in paradoxical cases.

Aristotle gave seven arguments for the law of non-contradiction. The first one is against a special case of dialetheism, the view that only some contradictions are true, and other six arguments are mostly against trivialism, the view that everything and consequently every contraction is true. Aristotle never argued that dialetheism entails trivialism. Unlike Aristotle, Avicenna, in his defense of LNC, not only considers trivialism and argues against it, but also argues that dialetheism entails trivialism. The argument that dialetheism entails trivialism (...) is called explosion. It is usually known that the first argument for explosion is given by the twelfth century logician William of Soissons. In this paper, we will meet Avicenna’s different argument for explosion and then I will demonstrate that this argument is a non-sequitur. (shrink)

Logical pluralism is the view that there is more than one formal logic that correctly (or best, or legitimately) codifies the logical consequence relation in natural language. This essay provides a taxonomy of different variations on the logical pluralist theme based on a five-part structure, and then identifies an unoccupied position in this taxonomy: perspectival logical pluralism. Perspectival pluralism provides an attractive position from which to formulate a philosophy of logic from a feminist perspective (and from other, identity-based perspectives, such (...) as critical race theory). An example of how such an account might be developed is sketched. The essay concludes by defusing an obvious objection to the perspectival approach: the claim that the correct logic (or logics), in virtue of the formal nature of logic, should be independent of considerations regarding the identity of the reasoner. (shrink)

Zapadna suvremena logika korištena je za unapređenje islamske filozofske teologije, koja je povijesno koristila aristotelovsko-avicenovsku logiku, na temelju toga što se logika shvaćala kao inherentno normativna. To je usprkos kontroverzama o statusu logike u islamskoj teološkoj tradiciji. Normativni autoritet logike znači da ona utječe na sadržaj onoga u što bismo trebali vjerovati i na to kako bismo trebali revidirati ta uvjerenja. Ovaj rad nastoji pokazati da je, bez obzira na nekompatibilne razlike između dvaju sustava, temeljna značajka zapadne suvremene logike i (...) aristotelovsko-avicenovske logike njihova normativnost. Zatim se tvrdi da je inherentna normativnost logike u islamskoj teološkoj/filozofskoj tradiciji nemotivirana. Umjesto toga, kao održivu alternativu rad predlaže ponovno uspostavljanje logike kao anti-ekscepcionalističke unutar islamske teološke/filozofske tradicije. (shrink)

ABSTRACT What do we disagree about when we disagree about logic? On the face of it, classical and nonclassical logicians disagree about the laws of logic and the nature of logical properties. Yet, sometimes the parties are accused of talking past each other. The worry is that if the parties to the dispute do not mean the same thing with ‘if’, ‘or’, and ‘not’, they fail to have genuine disagreement about the laws in question. After the work of Quine, this (...) objection against genuine disagreement about logic has been called the meaning-variance thesis. We argue that the meaning-variance thesis can be endorsed without blocking genuine disagreement. In fact, even the type of revisionism and nonapriorism championed by Quine turns out to be compatible with meaning-variance. (shrink)

Two of the most important outcomes of The Contradictory Christ include: identifying Christ as an unproblematically contradictory being as well as laying the foundations of an investigation of the logical consequences of the existence of Christ, qua contradictory, within a particular 'theory'. In light of the enormous reluevance of Beall’s The contradictory Christ for the study of inconsistency, my main concern here is to explore the effect of some methodological choices behind Beall’s proposal -this in order to recognize in more (...) detail the scope of Beall’s contribution. To do so, I will focus on three main questions: 1. What is required for the identification of a contradiction? 2. How can we recognize a true contradiction from either an apparent or a temporal contradiction? 3. If we identify a true contradiction within a theory, where can we actually go from there? (shrink)

This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that Michael Dummett has offered over the last decades. From there, the author examines the ways in which falsifications can enter into a constructivist semantics, displays the full spectrum of options, and discusses the logical systems most suitable to each one of them. While the idea of introducing falsifications into (...) the semantic account is Dummett's own, the many ways in which falsificationism departs quite radically from verificationism are here spelled out in detail for the first time. The volume is divided into three large parts. The first part provides important background information about Dummett’s program, intuitionism and logics with gaps and gluts. The second part is devoted to the introduction of falsifications into the constructive account and shows that there is more than one way in which one can do this. The third part details the logical effects of these various moves. In the end, the book shows that the constructive path may branch in different directions: towards intuitionistic logic, dual intuitionistic logic and several variations of Nelson logics. The author argues that, on balance, the latter are the more promising routes to take. "Kapsner’s book is the first detailed investigation of how to incorporate the notion of falsification into formal logic. This is a fascinating logico-philosophical investigation, which will interest non-classical logicians of all stripes." Graham Priest, Graduate Center, City University of New York and University of Melbourne. (shrink)

This essay offers a conception of logic by which logic may be considered to be exceptional among the sciences on the backdrop of a naturalistic outlook. The conception of logic focused on emphasises the traditional role of logic as a methodology for the sciences, which distinguishes it from other sciences that are not methodological. On the proposed conception, the methodological aims of logic drive its definitions and principles, rather than the description of scientific phenomena. The notion of a methodological discipline (...) is explained as a relation between disciplines or practices. Logic serves as a methodological discipline with respect to any theoretical practice, and this generality, as well as logic’s reflexive nature, distinguish it from other methodological disciplines. Finally, the evolution of model theory is taken as a case study, with a focus on its methodological role. Following recent work by John Baldwin and Juliette Kennedy, we look at model theory from its inception in the mid-twentieth century as a foundational endeavour until developments at the end of the century, where the classification of theories has taken centre-stage. (shrink)

The focus of this article is the notion of alethic rights, the rights related to truth. The concept of truth grounds many norms and customary and official rules, but there is no clear and shared idea about its power to generate specific rights. The juridical and political archetype called ‘the right to truth’ is still subject of controversies, and there are doubts about its being a real ‘right,’ to be protected by positive (new) norms. In the article the problem is (...) explored in truth-theoretical perspective: can philosophy support the idea of truth as a source of rights? Can an updated and well-developed theory of truth be proposed, to help activists and theorists concerned with the need for truth of individuals and communities? I present six alethic rights, corresponding to six different aspects of the human need for truth, then I specifically focus on the truth theory that can justify the hypothesis. (shrink)

Dialetheism is the view that some contradictions are true. One common motivation to the view concerns cases of contradictory concepts obtaining together. Allegedly, in these cases, such concepts lead to a true contradiction. In this paper, we argue that this path is closed as a motivation for dialetheism. There are two basic difficulties to articulate the view: i) once contradictory or incompatible concepts are granted to obtain together, there is no longer any reason to claim that they were incompatible to (...) begin with, and ii) it is not easy to go from such concepts to clear cases of negation-involving contradictions without already assuming the truth of dialetheism. Further difficulties discussed here concern the maintenance of the meaning of important concepts such as “contradiction” in a dialetheist setting. Those difficulties make the case for dialetheism hard to motivate via contradictory concepts. (shrink)

While epistemologists routinely employ disbelief talk, it is not clear that they really mean it, given that they often equate disbelieving p with believing ¬p. I argue that this is a mistake—disbelief is a doxastic attitude of rejection and is distinct from belief. I first clarify this claim and its opposition, then show that we must distinguish disbelieving p from believing ¬p in order to account for the fact that we continue to hold doxastic attitudes toward propositions that we reject. (...) After defending this argument against some possible objections, I examine several cases that reveal disbelieving p to be not only non-identical to believing ¬p, but independent of that attitude as well. Finally, I sketch some immediate and potential consequences of recognizing disbelief as a distinct doxastic attitude, particularly for work on epistemic rationality. (shrink)

The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink)

Given the plethora of competing logical theories of validity available, it’s understandable that there has been a marked increase in interest in logical epistemology within the literature. If we are to choose between these logical theories, we require a good understanding of the suitable criteria we ought to judge according to. However, so far there’s been a lack of appreciation of how logical practice could support an epistemology of logic. This paper aims to correct that error, by arguing for a (...) practice-based approach to logical epistemology. By looking at the types of evidence logicians actually appeal to in attempting to support their theories, we can provide a more detailed and realistic picture of logical epistemology. To demonstrate the fruitfulness of a practice-based approach, we look to a particular case of logical argumentation—the dialetheist’s arguments based upon the self-referential paradoxes—and show that the evidence appealed to support a particular theory of logical epistemology, logical abductivism. (shrink)

In virtue of Fitch-Church proof, also known as the knowability paradox, we are able to prove that if everything is knowable, then everything is known. I present two ‘onto-theological’ versions of the proof, one concerning collective omniscience and another concerning omnificence. I claim these arguments suggest new ways of exploring the intersection between logical and ontological givens that is a grounding theme of religious thought. What is more, they are good examples of what I call semi-paradoxes: apparently sound arguments whose (...) conclusion is not properly unacceptable, but simply arguable. (shrink)

This paper presents a simple but, by my lights, effective argument for a subclassical account of logic—an account according to which logical consequence is (properly) weaker than the standard, so‐called classical account. Alas, the vast bulk of the paper is setup. Because of the many conflicting uses of ‘logic’ the paper begins, following a disclaimer on logic and inference, by fixing the sense of ‘logic’ in question, and then proceeds to rehearse both the target subclassical account of logic and its (...) well‐known relative (viz., classical logic). With background in place the simple argument—which takes up less than five pages—is advanced. My hope is that the minimal presentation will help to get ‘the simple argument’ plainly on the table, and that subsequent debate can move us forward. (shrink)

Priest holds anti-exceptionalism about logic. That is, he holds that logic, as a theory, does not have any exceptional status in relation to the theories of empirical sciences. Crucial to Priest’s anti-exceptionalism is the existence of ‘data’ that can force the revision of logical theory. He claims that classical logic is inadequate to the available data and, thus, needs to be revised. But what kind of data can overturn classical logic? Priest claims that the data is our intuitions about the (...) validity of inferences. In order to make sense of this claim, I will appeal to the Madhyamaka Buddhist philosopher Candrakīrti. I will then pose a problem for Priest’s anti-exceptionalism. Finally, I will suggest a way out of the problem for Priest. Whether or not he accepts my solution, I will let him decide. (shrink)

I argue that code words like “inner city” do not semantically encode hidden or implicit meanings, and offer an account of how they nonetheless manage to bring about the surprising effects discussed in Mendelberg 2001, White 2007, and Stanley 2015 (among others).

There is a relatively recent trend in treating negation as a modal operator. One such reason is that doing so provides a uniform semantics for the negations of a wide variety of logics and arguably speaks to a longstanding challenge of Quine put to non-classical logics. One might be tempted to draw the conclusion that negation is a modal operator, a claim Francesco Berto, 761–793, 2015) defends at length in a recent paper. According to one such modal account, the negation (...) of a sentence is true at a world x just in case all the worlds at which the sentence is true are incompatible with x. Incompatibility is taken to be the key notion in the account, and what minimal properties a negation has comes down to which minimal conditions incompatibility satisfies. Our aims in this paper are twofold. First, we wish to point out problems for the modal account that make us question its tenability on a fundamental level. Second, in its place we propose an alternative, non-modal, account of negation as a contradictory-forming operator that we argue is superior to, and more natural than, the modal account. (shrink)

Dialetheic accounts of the liar paradox hold that liar sentences are both true and false. One problem that besets accounts of the liar paradox is that of “revenge liars”. A revenge liar is a liar sentence which, while being of the same kind as the liar sentences an account attempts to handle, cannot be handled in the same way they are without generating contradictions that the account in question is powerless to resolve. It might be thought that dialetheic accounts are (...) immune to revenge problems: If one can intelligibly hold that standard liars are both true and false, why not revenge liars as well? However, in this paper it is argued that dialetheism faces a dilemma: Either it cannot express the distinction between those sentences which are both true and false and those which are not, or else it too suffers from revenge problems. I explore a few different ways in which a dialetheist might try to avoid this dilemma. First, I present a variant of the logic called LP, and show both that it is subject to revenge problems and that it is not well suited to a dialetheic interpretation. Second, I develop a means of expressing the exclusive truth or falsity of sentences which can be utilized by any language that has certain features. Unfortunately, it leads straight to trivialism. Finally, I examine the claim that dialetheists can express the exclusive truth or falsity of sentences in the same way a non-dialetheist can, and conclude that they cannot do so. In the end, it seems that dialetheism’s dilemma is inescapable. (shrink)

Jaina philosophy provides a very distinctive account of logic, based on the theory of ?sevenfold predication?. This paper provides a modern formalisation of the logic, using the techniques of many-valued and modal logic. The formalisation is applied, in turn, to some of the more problematic aspects of Jaina philosophy, especially its relativism.

The present discussion takes up an issue raised in Section 5 of Ross Brady and Penelope Rush’s paper ‘Four Basic Logical Issues’ concerning the (claimed) triviality – in the sense of automatic availability – of soundness and completeness results for a logic in a metalanguage employing at least as much logical vocabulary as the object logic, where the metalogical behaviour of the common logical vocabulary is as in the object logic. We shall see – in Propositions 4.5–4.7 – that this (...) triviality claim faces difficulties in the face of Halldén incompleteness, for essentially the same reasons that Halldén thought this phenomenon raised seman- tic difficulties for the modal logics of C. I. Lewis exhibiting it. To counter any inclination to dismiss the phenomenon as providing at best a marginal range of counterexamples to the triviality claim, a Postscript assembles some reminders of the extent of – and the varied considerations favouring – Halldén incompleteness. (shrink)