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)

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)

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)

Thanks to the work of Kendall Walton, appeals to the notion of pretence (or make-believe) have become popular in philosophy. Now the notion has begun to appear in accounts of truth. My aim here is to assess one of these accounts, namely the ‘constructive methodological deflationism’ put forward by Jc Beall. After introducing the view, I argue that Beall does not manage to overcome the problem of psychological implausibility. Although Beall claims that constructive methodological deflationism supports dialetheism, I argue that (...) it does not, and I show that it in fact provides a classical response to the Liar paradox. (shrink)

Tarski's Undefinability of Truth Theorem comes in two versions: that no consistent theory which interprets Robinson's Arithmetic (Q) can prove all instances of the T-Scheme and hence define truth; and that no such theory, if sound, can even express truth. In this note, I prove corresponding limitative results for validity. While Peano Arithmetic already has the resources to define a predicate expressing logical validity, as Jeff Ketland has recently pointed out (2012, Validity as a primitive. Analysis 72: 421-30), no theory (...) which interprets Q closed under the standard structural rules can define nor express validity, on pain of triviality. The results put pressure on the widespread view that there is an asymmetry between truth and validity, viz. that while the former cannot be defined within the language, the latter can. I argue that Vann McGee's and Hartry Field's arguments for the asymmetry view are problematic. (shrink)

According to the trivialist, everything is true. But why would anyone believe that? It turns out that trivialism emerges naturally from a certain inconsistency view of language, and it has significant benefits that need to be acknowledged. But trivialism also encounters some troubles along the way. After discussing them, I sketch a couple of alternatives that can preserve the benefits of trivialism without the corresponding costs.

1. The label conjunctive paraconsistency has been adopted to mean a consequence relation whereby ‘p and not p’ does not imply ‘p’ and ‘not p’ separately, so that Simplification in case of contradic...

Telic monism in logic is the thesis that there is one single philosophically primary goal to logic. A different way to put it is that there is only one canonical application to logic. This thesis is widely present—implicitly or more explicitly—in the literature on the philosophy of logic, yet has not been examined nor argued for extensively. In this paper I will present and critically examine telic monism. One prominent candidate for the canonical application of logic, namely the formal codification (...) of logical consequence in natural language, will be challenged directly. The critique will then be generalized by appealing to a practice-based philosophy of logic. The general argument I put forth here claims that we have no principled reason to assume there to be just one primary goal to logic. Rather, I claim that it is more plausible that there actually is a variety of goals, purposes and applications to logic, without one of them enjoying primacy over the others. If this argument succeeds, at least one of the consequences is that it allows for a kind of logical pluralism that has previously been deemed insignificant, namely logical instrumentalism. (shrink)

Special issue: "Reflecting on the Legacy of C.I. Lewis: Contemporary and Historical Perspectives on Modal Logic".

Logic, the tradition has it, is normative for reasoning. But is that really so? And if so, in what sense is logic normative for reasoning? As Gilbert Harman has reminded us, devising a logic and devising a theory of reasoning are two separate enterprises. Hence, logic's normative authority cannot reside in the fact that principles of logic just are norms of reasoning. Once we cease to identify the two, we are left with a gap. To bridge the gap one would (...) need to produce what John MacFarlane has appropriately called a bridge principle, i.e. a general principle articulating a substantive and systematic link between logical entailment and norms of reasoning. This is Harman's skeptical challenge. In this paper I argue that Harman's skeptical challenge can be met. I show how candidate bridge principles can be systematically generated and evaluated against a set of well‐motivated desiderata. Moreover, I argue that bridge principles advanced by MacFarlane himself and others, for all their merit, fail to address the problem originally set forth by Harman and so do not meet the skeptical challenge. Finally, I develop a bridge principle that meets Harman's requirements as well as being substantive. (shrink)

A common and much-explored thought is Łukasiewicz's idea that the future is ‘indeterminate’—i.e., ‘gappy’ with respect to some claims—and that such indeterminacy bleeds back into the present in the form of gappy ‘future contingent’ claims. What is uncommon, and to my knowledge unexplored, is the dual idea of an overdeterminate future—one which is ‘glutty’ with respect to some claims. While the direct dual, with future gluts bleeding back into the present, is worth noting, my central aim is simply to sketch (...) and briefly explore an alternative glutty-future view, one that is conservative—indeed, entirely classical—with respect to the present. The structure of the paper runs as follows. §1 briefly sketches the target gap picture of an indeterminate future yielding gappy claims at the present. §2 presents the direct dual idea—a glut picture of an overdeterminate future yielding glutty claims at present. §3 sketches the central idea, a more interesting glut picture in which the future contains contradictory states but the present remains entirely classical. §4 contains a general defence of the idea, leaving it open as to whether the gappy-future view enjoys substantive virtues over the proposed glutty-future view of §3. (shrink)

Stratified properties such as ‘happy unhappiness’, ‘ungrounded ground’, ‘fortunate misfortune’, and evidently ‘true falsity’ may generate dialetheias (true contradictions). The aim of the article is to show that if this is the case, then we will have a special, conjunctive, kind of dialetheia: a true state description of the form ‘Fa and not Fa’ (for some property F and object a), wherein the two conjuncts, separately taken, are to be held untrue. The particular focus of the article is on happy (...) unhappiness: people suffering from (or enjoying) happy unhappiness (if there is some situation or state of mind of this kind) cannot be truly said ‘happy’ or ‘unhappy’, but we can say they are both. In the first section three cases of conjunctive stratification are presented; in the second section the logic of stratified contradictions is explored. The last section focuses on eudemonistic ascriptions: stated that a is happy to be unhappy (or unhappy to be happy), should we say a is happy? unhappy? both? neither? (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)

In Part I of this paper, we identified and compared various schemes for trivalent truth conditions for indicative conditionals, most notably the proposals by de Finetti and Reichenbach on the one hand, and by Cooper and Cantwell on the other. Here we provide the proof theory for the resulting logics DF/TT and CC/TT, using tableau calculi and sequent calculi, and proving soundness and completeness results. Then we turn to the algebraic semantics, where both logics have substantive limitations: DF/TT allows for (...) algebraic completeness, but not for the construction of a canonical model, while CC/TT fails the construction of a Lindenbaum-Tarski algebra. With these results in mind, we draw up the balance and sketch future research projects. (shrink)

Radical glut and gap theorists deny—in opposite ways—that the liar sentence has exactly one of the two values true and not true. I describe a scenario where a signalman finds himself in a situation analogous to the liar paradox: if he lights a fire at a certain time, that is analogous to the liar being true, and if he does not, that is analogous to the liar not being true. It is obvious that he must make exactly one of those (...) states of affairs come about. It is argued that there are no relevant differences between the liar and the signalman’s dilemma, implying that the glut and gap theorists are wrong about the former. A further point is that whether or not the liar is true/the signalman lights the fire, language/the signalman is misleading relative to the conditions under which the liar/the fire “ought” to be true/lit. (shrink)

This paper focuses on two interrelated issues about the prospects for research projects in experimental philosophical logic. The first issue is about the role that logic plays in such projects; the second involves the role that experimental results from the cognitive sciences play in them. I argue that some notion of logic plays a crucial role in these research projects, and, in turn, the results of these projects might inform substantive debates in the philosophy of logic.

Accounts of logical independence which coincide when applied in the case of classical logic diverge elsewhere, raising the question of what a satisfactory all-purpose account of logical independence might look like. ‘All-purpose’ here means: working satisfactorily as applied across different logics, taken as consequence relations. Principal candidate characterizations of independence relative to a consequence relation are that there the consequence relation concerned is determined by only by classes of valuations providing for all possible truth-value combinations for the formulas whose independence (...) is at issue, and that the consequence relation ‘says’ nothing special about how those formulas are related that it does not say about arbitrary formulas. Each of these proposals returns counterintuitive verdicts in certain cases—the truth-value inspired approach classifying certain cases one would like to describe as involving failures of independence as being cases of independence, and the de Jongh approach counting some intuitively independent pairs of formulas as not being independent after all. In final section, a modification of the latter approach is tentatively sketched to correct for these misclassifications. The attention is on conceptual clarification throughout, rather than the provision of technical results. Proofs, as well as further elaborations, are lodged in the ‘longer notes’ in a final Appendix. (shrink)

A crucial question here is what, exactly, the conditional in the naive truth/set comprehension principles is. In 'Logic of Paradox', I outlined two options. One is to take it to be the material conditional of the extensional paraconsistent logic LP. Call this "Strategy 1". LP is a relatively weak logic, however. In particular, the material conditional does not detach. The other strategy is to take it to be some detachable conditional. Call this "Strategy 2". The aim of the present essay (...) is to investigate Stragey 1. It is not to advocate it. The work is simply an extended exploration of the strategy, its strengths, its weaknesses, and the various dierent ways in which it may be implemented. In the first part of the paper I will set up the appropriate background details. In the second, I will look at the strategy as it applies to the semantic paradoxes. In the third I will look at how it applies to the set-theoretic paradoxes. (shrink)

In his “Deep Inconsistency?” Eklund attacks arguments to the effect that some contradictions are true, and especially those based on the liar paradox, to be found in Priest’ In Contradiction. The point of this paper is to evaluate his case.

On Richard’s When Truth Gives Out Content Type Journal Article Pages 1-9 DOI 10.1007/s11098-011-9796-0 Authors Kevin Scharp, Department of Philosophy, The Ohio State University, 350 University Hall, 230 North Oval Mall, Columbus, OH 43210, USA Stewart Shapiro, Department of Philosophy, The Ohio State University, 350 University Hall, 230 North Oval Mall, Columbus, OH 43210, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116.

This paper compares two proposed solutions to the liar paradox, both of which involve revisions to classical semantics. The first, that of truth value gaps, denies that all sentences are true or false. The second, that of truth value gluts, asserts that some sentences are true and false. A natural question about these proposals is, ?Do they offer equally good (or bad) solutions, or is one better than the other?? Parsons 1990 suggested an answer to this question, arguing that for (...) every problem for one solution, there is a parallel problem for the other. Since then, several people have given arguments for and against the idea that the two face parallel problems. This paper advances the debate in two ways. First, it answers four attempts by Graham Priest to reject the parallel. In particular, it discusses alleged advantages for the gap solution with regard to the teleological account of truth, an extended liar paradox, Berry's paradox, and inexpressibility. Second, it discusses where, if anywhere, the parallel may be broken. (shrink)

At least since [Frege, 1960] and [Geach, 1965], there has been some consensus about the relation between negation, the speech act of denial, and the attitude of rejection: a denial, the consensus has had it, is the assertion of a negation, and a rejection is a belief in a negation. Recently, though, there have been notable deviations from this orthodox view. Rejectivists have maintained that negation is to be explained in terms of denial or rejection, rather than vice versa. Some (...) other theorists have maintained that negation is a separate phenomenon from denial, and that neither is to be explained in terms of the other. In this paper, I present and consider these heterodox theories of the relation between negation, denial, and rejection. (shrink)

There is a standard objection against purported explanations of how a language L can express the notion of being a true sentence of L. According to this objection, such explanations avoid one paradox (the Liar) only to succumb to another of the same kind. Even if L can contain its own truth predicate, we can identify another notion it cannot express, on pain of contradiction via Liar-like reasoning. This paper seeks to undermine such ‘revenge’ by arguing that it presupposes a (...) dubious assumption about the linguistic expression of concepts. Successful revenge would require that there be a notion other than truth that plays the same role with respect to concept-expression that truth is naturally thought to play before we are confronted with the Liar paradox. (shrink)

Change of logic is typically taken as requiring that the meanings of the connectives change too. As a result, it has been argued that legitimate rivalry between logics is under threat. This is, in a nutshell, the meaning‐variance argument, traditionally attributed to Quine. In this paper, we present a semantic framework that allows us to resist the meaning‐variance claim for an important class of systems: classical logic, the logic of paradox and strong Kleene logic. The major feature of the semantics (...) is that the connectives have the same meanings in these systems, so that the meaning‐variance argument is straightforwardly blocked. We discuss the effects of this semantics for two uses of the argument of meaning variance, and also consider its impact on related issues. (shrink)

Anti-exceptionalists about logic claim that logical methodology is not different from scientific methodology when it comes to theory choice. Two anti-exceptionalist accounts of theory choice in logic are abductivism and predictivism. These accounts have in common reliance on pre-theoretical logical intuitions for the assessment of candidate logical theories. In this paper, I investigate whether intuitions can provide what abductivism and predictivism want from them and conclude that they do not. As an alternative to these approaches, I propose a Carnapian view (...) on logical theorizing according to which logical theories do not simply account for pre-theoretical intuitions, but rather improve on them. In this account, logical theories are ameliorative, rather than representational. (shrink)

This paper aims to call into question the customary division of logically revisionary responses to the truth-theoretic paradoxes into those that are “substructural” and those that are “ structural.” I proceed by examining, as a case study, Beall’s recent proposal based on the paraconsistent logic LP. Beall formulates his response to paradox in terms of a consequence relation that obeys all standard structural rules, though at the price of the language’s lacking a detaching conditional. I argue that the same response (...) to paradox can be given using a consequence relation that preserves detachment rules for a conditional, though at the price of restricting structural rules. The question “Is paradox being blocked by invoking a substructural consequence relation?” is thus ill-posed. The lesson of this example, I conclude, is that there is no useful explication of the idea of a substructural approach to paradox. (shrink)

In this work, the first of a series, we study the nature of informal inconsistency in physics, focusing mainly on the foundations of quantum theory, and appealing to the concept of quasi-truth. We defend a pluralistic view of the philosophy of science, grounded on the existence of inconsistencies and on quasi-truth. Here, we treat only the ‘classical aspects’ of the subject, leaving for a forthcoming paper the ‘non-classical’ part.

Even though the strong relationship between proof-theoretic and model-theoretic notions in one’s logical theory can be shown by soundness and completeness proofs, whether we can define the model-theoretic notions by means of the inferences in a proof system is not at all trivial. For instance, provable inferences in a proof system of classical logic in the logical framework do not determine its intended models as shown by Carnap (Formalization of logic, Harvard University Press, Cambridge, 1943), i.e., there are non-Boolean models (...) that satisfy its provable inferences. In the literature, this is known as the Categoricity problem or Carnap’s problem. In this paper, we will discuss the Categoricity problem (or Carnap’s problem) for three-valued logics K3 and LP. We will provide three different restrictions on admissible models that will deliver us categoricity results, some of which draw from the solutions provided for the Categoricity problem for classical logic in Belnap and Massey (Stud Log 49(1):67–82, 1990) and Bonnay and Westerståhl (Erkenntis 81(4):721–739, 2016). We will then argue that two of those solutions are philosophically well-motivated: (1) restricting the admissible models where negation is interpreted as a Strong Kleene truth-function, and (2) restricting the admissible models where a complex formula is assigned the third value when its immediate subformulas are assigned the third value. (shrink)

I defend the idea that there are universal fictions, and that the Routley-Deutsch-Kapsner way of generating them – namely, with a story including deliberately and explicitly the proposition Everything is true – is still the best one. I reconstruct Wildman and Folde’s Finean criticisms to universal fictions a la Routley-Deutsch-Kapsner based on the idea that the universal quantifier in such fictions may not target the intended range of quantification, that is, all propositions. I show that Wildman and Folde’s argument does (...) not succeed, for they fail to show that every universal sentence has to be understood as involving a restricted quantifier. (shrink)

Impossible worlds are regarded with understandable suspicion by most philosophers. Here we are concerned with a modal argument which might seem to show that acknowledging their existence, or more particularly, the existence of some hypothetical (we do not say “possible”) world in which everything was the case, would have drastic effects, forcing us to conclude that everything is indeed the case—and not just in the hypothesized world in question. The argument is inspired by a metaphysical (rather than modal-logical) argument of (...) Paul Kabay’s which would have us accept this unpalatable conclusion, though its details bear a closer resemblance to a line of thought developed by Jc Beall, in response to which Graham Priest has made some philosophical moves which are echoed in our diagnosis of what goes wrong with the present modal argument. Logical points of some interest independent of the main issue arise along the way. (shrink)

What is the proper role of logic in analytic theology? This question is thrown into sharp relief when a basic logical principle is questioned, as in Beall’s ‘Christ – A Contradiction.’ Analytic philosophers of logic have debated between exceptionalism and anti-exceptionalism, with the tide shifting towards anti-exceptionalism in recent years. By contrast, analytic theologians have largely been exceptionalists. The aim of this paper is to argue for an anti-exceptionalist view, specifically treating logic as a modelling tool. Along the way I (...) critically engage with Beall on the role of logic in theology, maintaining that theological inquiry is in some ways disanalogous with other theoretical enterprises. (shrink)

En este artículo, analizo las principales respuestas que se han dado al argumento finitista de Etchemendy, y muestro que ninguna de ellas es exitosa. Primero, describo y critico las propuestas que intentan resolverlo apelando a consideraciones modales. Estas soluciones fallan porque presuponen un finitismo demasiado débil, donde se acepta la existencia de infinitos conjuntos o de mundos posibles con infinitos objetos. Pero hay versiones más fuertes del finitismo que reintroducen el problema. Luego considero las soluciones que apelan a categorías semánticas. (...) Una de ellas categoriza incorrectamente este problema como un desacuerdo sobre el significado de los cuantificadores. La otra solución falla porque, si fuera tomada en serio, tendría efectos muy nocivos para la lógica en general. Finalmente argumento que la mejor solución es morder la bala y aceptar que la lógica no debería ser fuertemente independiente de algunos asuntos que tradicionalmente fueron considerados como 'extralógicos'. In this paper, I analyze the main replies that have been given to Etchemendy's finitist argument, and I show that none of them is successful. First, I describe and criticize the proposals that try to solve the problem by appealing to modal considerations. These solutions fail because they presuppose a very weak finitism, where the existence of infinitely many sets, or possible words with infinitely many objects, is accepted. But there are stronger versions of finitism that reintroduce the problem. Then I consider the solutions which appeal to semantical categories. One of them incorrectly categorizes the problem as a disagreement in the meaning of the quantifiers. The other fails because, if taken seriously, it would have harmful effects on logic in general. Finally I argue that the best solution is to bite the bullet and accept that logic shouldn't be strongly independent from some issues which were traditionally considered as 'extra-logical'. (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)

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)

According to logical inferentialists, the meanings of logical expressions are fully determined by the rules for their correct use. Two key proof-theoretic requirements on admissible logical rules, harmony and separability, directly stem from this thesis—requirements, however, that standard single-conclusion and assertion-based formalizations of classical logic provably fail to satisfy :1035–1051, 2011). On the plausible assumption that our logical practice is both single-conclusion and assertion-based, it seemingly follows that classical logic, unlike intuitionistic logic, can’t be accounted for in inferentialist terms. In (...) this paper, I challenge orthodoxy and introduce an assertion-based and single-conclusion formalization of classical propositional logic that is both harmonious and separable. In the framework I propose, classicality emerges as a structural feature of the logic. (shrink)

Is linguistic understanding a form of knowledge? I clarify the question and then consider two natural forms a positive answer might take. I argue that, although some recent arguments fail to decide the issue, neither positive answer should be accepted. The aim is not yet to foreclose on the view that linguistic understanding is a form of knowledge, but to develop desiderata on a satisfactory successor to the two natural views rejected here.

Logical abductivism is the method which purports to use Inference to the Best Explantion (IBE) to determine the best logical theory. The present essay argues that this is not the case, since the method fails to meet the criteria requisite for the fruitful application of IBE. This occurs due to an intrinsic difficulty in choosing the appropriate evidence and theoretical virtues which guide theory revision in logic: one’s previous conception of logic influences both these choices. Logical abductivism fails, moreover, to (...) select the best logical theory, exactly because a lack of agreement on theory and virtues for Logic. Rather than direct comparison between two options, a more suitable approach to theory revision in logic is piecemeal, because this method neither assumes nor needs a neutral ground from which to start revising theories. (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)

In his “The simple argument for subclassical logic,” Jc Beall advances an argument that led him to take FDE as the one true logic (the latter point is explicitly made clear in his “FDE as the One True Logic”). The aim of this article is to point out that if we follow Beall’s line of reasoning for endorsing FDE, there are at least two additional reasons to consider that FDE is too strong for Beall’s purposes. In fact, we claim that (...) Beall should consider another weaker subclassical logic as the logic adequate for his project. To this end, we first briefly present Beall’s argument for FDE. Then, we discuss two specific topics that seem to motivate us to weaken FDE. We then introduce a subsystem that will enjoy all the benefits of Beall’s suggestion. (shrink)

The entailment connective is introduced by Priest (2006b). It aims to capture, in a dialetheically acceptable way, the informal notion of logical consequence. This connective does not “fall foul” of Curry’s Paradox by invalidating an inference rule called “Absorption” (or “Contraction”) and the classical logical theorem called “Assertion”. In this paper we show that the semantics of entailment, given by Priest in terms of possible worlds, is inadequate. In particular, we will argue that Priest’s counterexamples to Absorption and Assertion use (...) in the metalanguage a dialetheically unacceptable principle. Furthermore, we show that the rejection of Assertion undermines Priest’s claim that the entailment connective expresses the notion of logical consequence. (shrink)