Dialetheism

This paper discusses the logical possibility of testing inconsistent empirical theories. The main challenge for answering this affirmatively is to avoid that the inconsistent consequences of a theory both corroborate it and falsify it. I answer affirmatively by showing that we can define a class of empirical sentences whose truth would force us to abandon such inconsistent theory: the class of its potential rejecters. Despite this, I show that the observational contradictions implied by a theory could only be verified (provided (...) we make some assumptions), but not rejected. From this, it follows that, although inconsistent theories are rejectable, they cannot be rejected qua inconsistent. (shrink)

The possibility of testing contradictory statements about the factual world has been suggested but barely discussed in the relevant literature. Here I argue that if we assume that there are contradictory observation sentences, it would be logically impossible to falsify them. Accordingly, the extension of the dialetheist programme into empirical science would be non-advisable, for it would introduce logically unfalsifiable claims.

According to dialetheism, there are some true contradictions. According to the A-theory, the passage of time is a mind-independent feature of reality. On some A-theories, the passage of time involves the movement of the present. I show that by appealing to dialetheism one can explain why the present moves. I then argue that A-theorists should adopt this explanation. To do this, I defend two claims. First, that the dialetheic explanation is an improvement on the only other explanation available for why (...) the present moves and, second, that adopting the explanation is better than leaving the motion of the present unexplained. Assuming that A- theorists should adopt the best available version of their view, it follows that they should adopt a dialetheic explanation of why time passes. (shrink)

Priest's theory of motion is based on Leibniz's Continuity Condition (LCC), which states that any state that exists at each instant in a continuous set of moments also exists at its temporal limit. If we accept the CCL, a free-falling pen would have to be simultaneously in motion and at rest at the instant of change: the critical moment when it hits the ground, thus passing from the state of motion to that of rest. This seems to be a contradictory (...) state of affairs, which is precisely what Priest claims to be the case. In this article, I discuss the logical possibility of empirically testing whether such a contradictory state of affairs occurs. (shrink)

Ludwig Wittgenstein’s remarks on contradictions and paradoxes have been met with incomprehension and have fueled the widespread and long-standing prejudice that his later thoughts on the foundations of logic and mathematics are the “surprisingly insignificant product of a sparkling mind” (Kreisel, British Journal for the Philosophy of Science 9:135–158, 1959, p. 158). This paper disagrees; it argues that Wittgenstein’s remarks on semantic paradoxes suggest an account of the Liar and its kin that is not only of historical interest but also (...) represents a hitherto unnoticed paraconsistent alternative to established approaches to the Liar. In what follows, a reading of Wittgenstein’s remarks will be offered according to which Wittgenstein subscribes to a form of dialetheism (that is, the view that there are sentences that are both true and false). In contrast to modern dialetheist approaches to the Liar, however, some of Wittgenstein’s remarks suggest combining a dialetheist position with what is called ‘logical nihilism’ (that is, the view that there are no universally valid inference rules). (shrink)

According to some critics, Aristotle’s elenctic defence (elenchos, elenchus) of the Law of Non-Contradiction (Metaphysics IV) would be ineffective because it viciously begs the question. After briefly recalling the elenctic refutation of the denier of the Law of Non-Contradiction, I will first focus on Filippo Costantini’s objection to the elenchus, which, in turn, is based on the dialetheic account of negation developed by Graham Priest. Then, I will argue that there is at least one reading of the elenchus that might (...) not be viciously question-begging. In doing so, I will leverage, reinterpret and adjust the distinction between two senses of epistemic dependence, offered by Noah Lemos and originally based on some thoughts about George Edward Moore’s ‘proof of an external world.’ The key point of my counter-objection to recover the elenchus is to use the distinction between a necessary-condition relation between propositions (p only if q) and a grounding relation between facts (the fact that an epistemic agent S believes that p is grounded in the fact that S believes that q), where p and q are the content of S’s beliefs. (shrink)

Possible worlds have revolutionised philosophy and some related fields. But, in recent years, tools based on possible worlds have been found to be limited in many respects. Impossible worlds have been introduced to overcome these limitations. This Element aims to raise and answer the neglected question of what is characteristically impossible about impossible worlds. The Element sheds new light on the nature of impossible worlds. It also aims to analyse the main features and utility of impossible worlds and examine how (...) impossible worlds can capture distinctions which are unavailable if we limit ourselves to possible world-based tools. (shrink)

This essay critically discusses the rising interest in process philosophy in recent years. I argue that the appeal of process philosophy lies in its ability to circumnavigate the binary dichotomies pervasive in European philosophy and defend an interpretation of process philosophy in terms of relationality, difference, and change. After outlining the central tenets of process philosophy, Graham Harman’s critique of a relational account of process philosophy is examined, particularly his assertion that this type of philosophy cannot fully explain genuine change. (...) Despite the merits of Harman’s critique, I will show that his object-oriented ontology faces similar limitations. Turning to Graham Priest’s dialethism I suggest that philosophy, instead of striving for a consistent representation of fundamental metaphysics, must embrace paradox to some extent. This leads the philosophical discipline to understand itself as a transformative process. This essay critically discusses the rising interest in process philosophy in recent years. I argue that the appeal of process philosophy lies in its ability to circumnavigate the binary dichotomies pervasive in European philosophy and defend an interpretation of process philosophy in terms of relationality, difference, and change. After outlining the central tenets of process philosophy, Graham Harman’s critique of a relational account of process philosophy is examined, particularly his assertion that this type of philosophy cannot fully explain genuine change. Despite the merits of Harman’s critique, I will show that his object-oriented ontology faces similar limitations. Turning to Graham Priest’s dialethism I suggest that philosophy, instead of striving for a consistent representation of fundamental metaphysics, must embrace paradox to some extent. This leads the philosophical discipline to understand itself as a transformative process. (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.

According to dialetheism, some contradictions are true. In a recent paper, Aaron Cotnoir has suggested that theists who are also dialetheists can resolve the paradox of the stone by accepting a contradiction, and arguing that God both can and can't make the stone. However, Zach Weber has replied that dialetheism is no help for avoiding one of the most serious problems for theism, namely the problem of evil. In this paper, I argue the situation is even worse than this for (...) dialetheist theists, since one motivation for dialetheism closes off what otherwise might be a loophole in a classic version of the problem of evil. (shrink)

Noniterative approaches to the sorites paradox accept single steps of soritical reasoning, but deny that these can be combined into valid chains of soritical reasoning. The distributed sorites is a puzzle designed to undermine noniterative approaches to the sorites paradox, by deriving an inconsistent conclusion using only single steps, but not chains, of soritical reasoning. This paper shows how a dialetheist version of the noniterative approach, the strict-tolerant approach, also solves the distributed sorites paradox, at no further cost, by accepting (...) the inconsistent conclusion. (shrink)

A Correction to this paper has been published: 10.1007/s11225-021-09980-z.

We investigate a hitherto under-considered avenue of response for the logical pluralist to collapse worries. In particular, we note that standard forms of the collapse arguments seem to require significant order-theoretic assumptions, namely that the collection of admissible logics for the pluralist should be closed under meets and joins. We consider some reasons for rejecting this assumption, noting some prima facie plausible constraints on the class of admissible logics which would lead a pluralist admitting those logics to resist such closure (...) conditions. (shrink)

In this study, I reconstruct and compare Alain Badiou’s Being and Event (2005) and Graham Priest’s One (2014), arguing that the ontologies pursued within the two texts are intriguingly analogous in a number of ways. Both Badiou and Priest are committed to thinking through classically ontological problems without denying the validity of the paradoxes they raise; both regard Plato’s Parmenides as an early and formative account of these paradoxes; both establish conclusions to the effect that unity – or “oneness” – (...) is indeed a contradictory phenomenon; and both, as a corollary of this conclusion, develop frameworks which confer ontological prominence upon "the void" and "emptiness" respectively, thereby arriving at what appears to be a shared ontological nihilism. In this comparative study, I not only enquire whether the frameworks adopted by Badiou and Priest really do lead to nihilist conclusions, but also attempt to clearly outline their trajectories of thought for the benefit of those who might be tempted to dismiss their seemingly outlandish theses out of hand. (shrink)

Jc Beall is known for defending modest dialetheism; this is the view that there are dialetheia, but only in the form of “spandrels” arising from otherwise reasonable semantic terminology (e.g., the Liar paradox). Beall also regards his view as modest in partaking of a deflationary view of truth, a view where ‘true’ is a device of disquotational inference which expresses no “substantive property.” Beall supports deflationism by an appeal to Ockham’s razor; however, the premise that ‘true’ is fundamentally disquotational is (...) found dubious. Nonetheless, we can craft an ultra-modest dialetheism which assumes only that at least one utterance of ‘This sentence is not true’ uses ‘true’ as a disquotational device, and maintains neturality on whether it expresses a substantive property. The limited scope of the ultra-modest view will be disappointing to formal semanticists hoping to capture the behavior of ‘true’ throughout the language. But its modest basis gives dialetheism the best hope for wider acceptance in the discipline. (shrink)

The first half of this article is critical: it develops an interpretation of Kant as trying, and failing, to limit our judgments to phenomena and abstain from making claims about noumena, and an interpretation of Wittgenstein as trying, and failing, to develop a theory of meaning that abstains from attempting to say the unsayable. On the reading offered, both Kant and Wittgenstein find themselves saying things that by their own lights cannot be said: in Kant’s case, claims about noumena, and (...) in Wittgenstein’s case, structural claims. While Kant attempts a solution of the problem which also fails, Wittgenstein bites the bullet and leaves his Tractatus, for the most part, void and meaningless. The suggested response is a dialetheic approach—either as an alternative or, potentially, as an amendment to a Kantian or Wittgensteinian theory. According to this approach, certain problems in philosophy arise from true contradictions and thus require a theory that makes sense of contradiction. A subgroup of these problems (among them the noumenal and structural issues in Kant and Wittgenstein) are about things that both are and are not ineffable. The second half of the paper develops a dialetheic account of ineffability and a concise formal theory to ensure that contradiction at the limits of language does not spread to other areas. (shrink)

This book explores and expounds upon questions of paradox and contradiction in theology with an emphasis on recent contributions from analytic philosophical theology. It addresses questions such as: What is the place of paradox in theology? Where might different systems of logic (e.g., paraconsistent ones) find a place in theological discourse (e.g., Christology)? What are proper responses to the presence of contradiction(s) in one's theological theories? Are appeals to analogical language enough to make sense of paradox? Bringing together an impressive (...) line-up of theologians and philosophers, the volume offers a range of fresh perspectives on a central topic. It is valuable reading for scholars of theology and philosophy of religion. (shrink)

Deleuze never explicitly formulates his philosophy of logical truth‐values. It thus remains an open question as to the number and types he held there to be. Despite his explicit comments on these matters, additional textual evidence suggests that in his thinking on the event, he favored a third truth‐value, holding either the analetheic view that some truth‐bearers can be truth‐valueless or the dialetheic view that some truth‐bearers can be both true and false. I first argue that taking a logical approach (...) to Deleuze's thinking is feasible, despite his and others' claims that might suggest otherwise. Next, I examine his explicit statements to show that they cannot be taken at face value and that, rather, we need to transpose his claims into contemporary terminology in order to accurately assess them. I lastly turn to his Leibniz‐inspired philosophy of time to argue that the affirmations involved in this conception strongly suggest a dialetheic tendency in his thinking. (shrink)

In his book review of Graham Priest's The Fifth Corner of Four, Mark Siderits, while criticising Priest's philology, suggests that Priest's work is 'of considerable interest' for two reasons. First, 'when two independent traditions use similar methods to work on similar issues, it is always possible that one may have hit on approaches that the other missed'. Second, 'the decentering that can be induced by looking at another tradition may trigger fresh insights, even if those insights are not ones that (...) were actually developed by the tradition marked 'other''. The main task of this paper is to unpack Siderits' thought. By analysing some of Priest's work, I will suggest a decentering that must have taken place in China when Buddhism was 'exported to China in Buddhist shipping containers'. For anyone familiar with the forms of Buddhist philosophy developed in India, various forms of Chinese Buddhism can often look strange. Some ideas that were debated and defended by Indian Buddhists do not appear anywhere in Chinese Buddhism and some assumptions have been quietly added to Buddhism by Chinese Buddhists. By showing that Priest's work brings out the 'innovation' that Chinese Buddhists gave to Buddhism, I will suggest that it is this decentering that Siderits suggests Priest makes use of. (shrink)

At the end of his review of The Fifth Corner of Four: An Essay on Buddhist Metaphysics and the Catuṣkoṭi by Graham Priest, Mark Siderits (2019) remarks.

There was a time when 'logic' just meant classical logic. The climate is slowly changing and non-classical logic cannot be dismissed off-hand. However, a metatheory used to study the properties of non-classical logic is often classical. In this paper, we will argue that this practice of relying on classical metatheories is problematic. In particular, we will show that it is a bad practice because the metatheory that is used to study a non-classical logic often rules out the very logic it (...) is designed to study. (shrink)

Dialetheism is the view that some contradictions are true. Resorting to either metaphysical dialetheism or semantic dialetheism may seem like an appropriate resolve to certain theological contradictions. At least for those who concede to theological contradictions, and take dialetheism seriously. However, I demonstrate that neither of these types of dialetheism would serve to be amenable in resolving an Islamic theological contradiction. This is a theological contradiction that I refer to as ‘the paradox of an unknowable and ineffable God’. As a (...) result of this, I propose an alternative type of dialetheism which aims to resolve the paradox of an unknowable and ineffable God. I call this type of dialetheism, ‘mystical dialetheism’. (shrink)

I argue that one need not be an inferentialist in order to model inconsistent concepts, contrary to what some have thought. Representationalists can do so by adopting a form of bilateralism about contents. It remains unclear, however, why conceptual inconsistency would constitute a defect to be eliminated, rather than a vindication of dialetheism to be embraced. I suggest some answers to explore that involve accepting a descriptive form of dialetheism but denying its normative forms.

This paper is a response to Baumann's comments on "Can Knowledge Really be Non-fative?" In this paper Baumann's suggestions for how those who deny the factivty of knowledge might deal with the argument from inconsistency and explosion are addressed.

Book Review of Impossible Worlds, by Francesco Berto and Mark Jago. Oxford: Oxford University Press, 2019.

In this article, I provide Urquhart-style semilattice semantics for three connexive logics in an implication-negation language (I call these “pure theories of connexive implication”). The systems semantically characterized include the implication-negation fragment of a connexive logic of Wansing, a relevant connexive logic recently developed proof-theoretically by Francez, and an intermediate system that is novel to this article. Simple proofs of soundness and completeness are given and the semantics is used to establish various facts about the systems (e.g., that two of (...) the systems have the variable sharing property). I emphasize the intuitive content of the semantics and discuss how natural informational considerations underly each of the examined systems. (shrink)

The application of paraconsistent logics to theological contradictions is a fascinating move. Jc Beall’s (J Anal Theol, 7(1): 400–439, 2019) paper entitled ‘Christ—A Contradiction: A Defense of ‘Contradictory Christology’ is a notable example. Beall proposes a solution to the fundamental problem of Christology. His solution aims at making the case, and defending the viability of, what he has termed, ‘Contradictory Christology’. There are at least two essential components of Beall’s ‘Contradictory Christology’. These include the dogmatic statements of Chalcedon and FDE (...) logic. The first is the theological contradiction in question. The second is the type of paraconsistent logic. Both components are integral to a contradictory theology in general. I argue that there can be no such thing as an Islamic contradictory theology. I make the case by establishing two points. These points correspond to both integral components of a contradictory theology in general. The first is that an Islamic theological contradiction does not entail an actual (logical) contradiction. The second is that FDE logic, including alternative sub-classical systems of logic, are not adequate in tolerating an Islamic theological contradiction. (shrink)

In philosophy, as in any other theoretical endeavor, it is not rare to find conflicting but equally well grounded positions. Besides defending one of the positions and criticizing the other, philosophers can opt for pursuing other, more sophisticated, approaches aimed at incorporating the insights, intuitions, and arguments from both sides of the debate into a unified theory: Dialetheism, Analetheism, Gradualism, Pluralism and Relativism. The purpose of this article is to present each strategy's basic argumentative structure, relative strengths, and challenges, trying (...) to determine in which situations one is more appropriate than the others. Despite substantial differences between them, all four options have deep structural similarities; and which option is better for which dilemma or paradox will depend ultimately on a combination of epistemological, linguistic, and metaphysical factors. (shrink)

Suppose that some contradictions are true – for example, that as I walk through the door, I’m inside and I’m not inside. Then we argue 'if I'm walking through the door, I'm inside; I'm not inside; therefore, I'm not walking through the door' is an invalid instance of modus tollens.

It is usually maintained that a subject with manifestly contradictory beliefs is irrational. How can we account, then, for the intuitive rationality of dialetheists, who believe that some manifest contradictions are true? My paper aims to answer this question. Its ultimate goal is to determine a characterization of (or rather a constraint for) rational belief approvable by both the theorists of Dialetheism and its opponents. In order to achieve this goal, a two-step strategy will be adopted. First, a characterization of (...) rational belief applicable to non-dialetheist believers will be determined; this characterization will involve the semantic apparatus of Nathan Salmon’s Millian Russellianism but will get rid of the problematic and obscure notion of mode of presentation (guise in his own terminology), replacing it with a couple of novel devices, belief subsystems and cognitive coordination. Second, using ideas from Graham Priest, the leading proponent of Dialetheism, such a characterization will be modified, so as to devise a new one able to account for the intuitive rationality of both dialetheist and non-dialetheist believers. (shrink)

This essay marks the first steps towards a viable glut-theoretic (contradictory) solution to the longstanding foreknowledge and free will dilemma. Specifically, I offer a solution to the dilemma that accommodates omniscience (foreknowledge) and human freedom (as the ability to do otherwise) in a simple, flat-footed way. This goal is accomplished via viewing the theological fatalist argument not as a problem, but as a sound argument: omniscience and human free will are contradictory and by dropping to a weaker underlying account of (...) logical consequence, we can embrace them in their full-throated, robust (though contradictory) interpretations. That said, the primary aim of this paper is one of exploration: how does a subclassical solution to the foreknowledge and free will dilemma stack up in comparison to the traditional solutions on offer in the literature. This essay represents the beginning of such an exploration. (shrink)

The aim of this paper is to lay bare the roots of dialetheism in discussions about dialectics and dialectical logic at the time of the first development of paraconsistent logics. In other words, th...

Per il dialeteismo ci sono contraddizioni vere. Questa concezione filosofica ha assunto una forma chiara e definita a partire dal lavoro del filosofo e logico Graham Priest – uno dei suoi padri fondatori, nonché uno dei suoi più strenui difensori. Questo libro intende portare il dialeteismo all’attenzione di un ampio pubblico, che non sia solo quello degli addetti ai lavori. Il volume è suddiviso in due parti. La prima include le cinque lezioni su "Dialeteismo e storia della filosofia" tenute da (...) Priest e Filippo Casati a Padova nel 2016, in occasione del Corso di Eccellenza per il dottorato in filosofia dell’Università di Padova. La seconda contiene quattro contributi sul dialeteismo di autori italiani. (shrink)

This paper uses Avron’s algebraic semantics for the logic RMI to model some ideas in the philosophy of science. Avron’s relevant disjunctive structures are each partitioned into relevance domains. Each relevance domain is a boolean algebra. I employ this semantics to act as a formal framework to represent what Nancy Cartwright calls the “dappled world”. On the dappled world hypothesis, local scientific theories each represent restricted aspects and regions of the universe. I use relevance domains to represent the domains of (...) each of these local theories and I provide a formalisation of the salient relationships between so-called fundamental theories and local theories. I also examine ways in which the paraconsistent nature of RMI can be used to deal with inconsistencies within and between theories adopted by scientists. The paper ends with some suggestions about updating RDS given changes in the theories that science adopts. (shrink)

Graham Priest has influentially claimed that the Sorites paradox is an Inclosure paradox, concluding that his favored dialetheic solution to the Inclosure paradoxes should be extended to the Sorites paradox. We argue that, given Priest’s dialetheic solution to the Sorites paradox, the argument purporting to show that that paradox is an Inclosure is unsound, and discuss some issues surrounding this fact.

The aim of this paper is to show how the invention of imaginary logic by Nikolaj A. Vasil’ev, forerunner of various logical and metaphysical theories appeared in the 20th century, is grounded on a revaluation of Aristotelian ontology. I shall introduce the reason why Aristotle believes that the study of the principle of contradiction is part of ontology (§ 2); I shall explain why Vasil’ev considers the law of contradiction an empirical law, and not a logical one (§ 3.1). I (...) will show his conception of contradiction (§ 3.2) and I will discuss how he believes that it’s possible to renounce this law; (§ 3.3). I shall then explain the fundamental features of imaginary logic (§ 4.1 and § 4.2); and, finally I shall claim how, in spite of a convergence from the logical point of view (§ 5.1), the incompatibility of the two authors takes place on an ontological level (§ 5.2). In order to do so, I shall implement the analysis of the Aristotelian syllogistic conducted by the Polish logician and philosopher Jan Łukasiewicz, together with a crucial distinction between two concepts: the one of ‘law’ and the one of ‘principle’. -/- . (shrink)

The liar paradox is a famous and ancient paradox related to logic and philosophy. It shows it is perfectly possible to construct sentences that are correct grammatically and semantically but that cannot be true or false in the traditional sense. In this paper the authors show four approaches to interpreting paradoxes that illustrate the influence of: the levels of language, their belonging to indeterminate compatible propositions or indeterminate propositions, being based on universal antinomy and the theory of dialetheism.

According to one prominent strand of mainstream logic and metaphysics, identity is indistinguishability. Priest has recently argued that this permits counterexamples to the transitivity and substitutivity of identity within dialetheic metaphysics, even in paradigmatically extensional contexts. This paper investigates two alternative regimentations of indistinguishability. Although classically equivalent to the standard regimentation on which Priest focuses, these alternatives are strictly stronger than it in dialetheic settings. Both regimentations are transitive, and one satisfies substitutivity. It is argued that both regimentations provide better (...) candidates to occupy the core theoretical role of numerical identity than does the standard regimentation. (shrink)

Popper restricted his definition of falsifiability to consistent theories through what we may call his requirement of consistency. His main argument was that an inconsistent theory does not distinguish the sentences that corroborate it from those that contradict it, for all sentences follow from it. I propose to replace this requirement by the more basic requirement that the classes of potential corroborators and falsifiers of a theory do not overlap. This results not only in an unrestricted definition of falsifiability but (...) also in some inconsistent theories being falsifiable whenever that inconsistency is not located among its observational statements. Although this assumes a restriction of the principle of explosion or ex contradictione sequitur quodlibet (ECQ), it does not depend on any particular system or approach of paraconsistent logic. Finally, I propose to define the class of potential refuters of a theory, which is obtained by subtracting the class of potential corroborators from the class of potential falsifiers. Given that, by definition, the classes of potential refuters and corroborators of a theory do not overlap, it immediately follows that some observationally inconsistent theories are refutable in this sense. This establishes the bases for a new and more general formal theory of falsifiability of scientific factual/empirical theories. (shrink)

It is often said that a correct logical system should have no counterexample to its logical rules and the system must be revised if its rules have a counterexample. If a logical system (or theory) has a counterexample to its logical rules, do we have to revise the system? In this paper, focussing on the role of counterexamples to logical rules, we deal with the question. -/- We investigate two mutually exclusive theories of arithmetic - intuitionistic and paraconsistent theories. The (...) paraconsistent theory provides a (strong) counterexample to Ex Contradiction Quodlibet (ECQ). On the other hand, the intuitionistic theory gives a (weak) counterexample to the Double Negation Elimination (DNE) of the paraconsistent theory. If any counterexample undermines the legitimate use of logical rules, both theories must be revised. -/- After we investigate a paraconsistent counterexample to ECQ and the intuitionist’s answer against it, we arrive at the unwelcome conclusion that ECQ has both a justification and a counterexample. Moreover, we argue that if a logical rule were abolished whenever it has a counterexample, a promising conclusion would be logical nihilism which is the view that there is no valid logical inference, and so a correct logical system does not exist. Provided that the logical revisionist is not a logical nihilist, we claim that not every counterexample is the ground for logical revision. While logical rules of a given system have a justification, the existence of a counterexample loses its role for logical revision unless the rules and the counterexample share the same structure. (shrink)

Some of Aristotle’s statements about the indemonstrability of the Principle of Non-Contradiction (PNC) in Metaphysics Γ 4 merit more attention. The consensus seems to be that Aristotle provides two arguments against the demonstrability of the PNC, with one located in Γ 3 and the other found in the first paragraph of Γ 4. In this article, I argue that Aristotle also relies upon a third argument for the same conclusion: the argument from truth. Although Aristotle does not explicitly state this (...) argument, it is the best argument that he could use to defend some of his statements in the second paragraph of Γ 4. Since the argument relies on only a few of Aristotle’s core views about truth, I propose that it is faithful to his considered position throughout his corpus, and it may be the strongest argument he could offer for the indemonstrability of the PNC. (shrink)

In this paper, I set out a semantics for identity in relevant logic that is based on an analogy between the biconditional and identity. This analogy supports the semantics that Priest has set out for identity in basic relevant logic and it motivates a version of the Routley–Meyer semantics in which identities can be viewed as constraints on the ternary relation that is used to treat implication.

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)