Imagine a sculptor who molds a lump of clay to create a statue. Hylomorphism claims that the statue and the lump of clay are two different colocated objects that have different forms, even though they share the same matter. Recently, there has been some discussion on the requirements of consistency for hylomorphist theories. In this paper, we focus on an argument presented by Maegan Fairchild, according to which a minimal version of hylomorphism is inconsistent. We argue that the argument is (...) unsound or, at best, it just points to a well-known problem for hylmorphist theories. Additionally, we explore some general consequences of this fact. (shrink)

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)

I here present and defend what I call the Triviality Theory of Truth, to be understood in analogy with Matti Eklund’s Inconsistency Theory of Truth. A specific formulation of is defended and compared with alternatives found in the literature. A number of objections against the proposed notion of meaning-constitutivity are discussed and held inconclusive. The main focus, however, is on the problem, discussed at length by Gupta and Belnap, that speakers do not accept epistemically neutral conclusions of Curry derivations. I (...) first argue that the facts about speakers’ reactions to such Curry derivations do not constitute a problem for the Triviality Theory specifically. Rather, they follow from independent, uncontroversial facts. I then propose a solution which coheres with the theory as I understand it. Finally, I consider a normative reading of their objection and offer a response. (shrink)

It is commonly held that the ascription of truth to a sentence is intersubstitutable with that very sentence. However, the simplest subclassical logics available to proponents of this view, namely K3 and LP, are hopelessly weak for many purposes. In this article, I argue that this is much more of a problem for proponents of LP than for proponents of K3. The strategies for recapturing classicality offered by proponents of LP are far less promising than those available to proponents of (...) K3. This undermines the ability of proponents LP to engage in public reasoning in classical domains. (shrink)

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these theories meets the correspondence (...) intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)

Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”—making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to express, without begging questions, the disagreement between dialetheists and their rivals on the nature of truth. Third, dialetheism has an (...) operator allowing it, against the opinion of many critics, to rule things out and manifest disagreement: for unlike other proposed exclusion-expressing-devices (for instance, the entailment of triviality), the operator used to formulate the notion of absolute contradiction appears to be immune both from crippling expressive limitations and from revenge paradoxes—pending a rigorous nontriviality proof for a formal dialetheic theory including it. (shrink)

The Law of Non-Contradiction holds that both sides of a contradiction cannot be true. Dialetheism is the view that there are contradictions both sides of which are true. Crucial to the dispute, then, is the central notion of contradiction. My first step here is to work toward clarification of that simple and central notion: Just what is a contradiction?

Paraconsistent and dialetheist approaches to a theory of truth are faced with a problem: the expressive resources of the logic do not suffice to express that a sentence is just true—i.e., true and not also false—or to express that a sentence is consistent. In his recent book, Spandrels of Truth, Jc Beall proposes a ‘just true’-operator to identify sentences that are true and not also false. Beall suggests seven principles that a ‘just true’-operator must fulfill, and proves that his operator (...) indeed fulfills all of them. He concludes that just true has been expressed in the language. I argue that, while the seven conditions may be necessary for an operator to express just true, they are not jointly sufficient. Specifically, first, I prove that a further plausible desideratum for necessary conditions on ‘just true’ is not fulfilled by Beall's proposal, namely that ‘just true’ ascriptions should themselves be just true, and not also false (or equivalently, that the ‘just true’-operator iterates). Second, I show that Beall's operator does not adequately express just true, but that it merely captures an arbitrary proper subset of the just true sentences. Further, there is no prospect of extending the proposal in order to encompass a more reasonable subset of the just true sentences without presupposing that we have antecedent means to characterize the class of just true sentences. (shrink)

A reply to two responses to an earlier paper, "A Liar Paradox".

This paper presents an ‘over-representational’ account of blurred visual experiences. The basic idea is that blurred experiences provide too much, inconsistent, information about objects’ spatial boundaries, by representing them as simultaneously located at multiple locations. This account attempts to avoid problems with alternative accounts of blurred experience, according to which blur is a property of a visual field, a way of perceiving, a form of mis-representation, and a form of under-representation.

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...) will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

A dialetheia is a sentence, A, such that both it and its negation, ¬A, are true (we shall talk of sentences throughout this entry; but one could run the definition in terms of propositions, statements, or whatever one takes as her favourite truth-bearer: this would make little difference in the context). Assuming the fairly uncontroversial view that falsity just is the truth of negation, it can equally be claimed that a dialetheia is a sentence which is both true and false.

. I give a systematic presentation of a fairly large family of multiple-conclusion modal logics that are paraconsistent and/or paracomplete. After providing motivation for studying such systems, I present semantics and tableau-style proof theories for them. The proof theories are shown to be sound and complete with respect to the semantics. I then show how the “standard” systems of classical, single-conclusion modal logics fit into the framework constructed.

Philosophical dialetheism, whose main exponent is Graham Priest, claims that some contradictions hold, are true, and it is rational to accept and assert them. Such a position is naturally portrayed as a challenge to the Law of Non-Contradiction (LNC). But all the classic formulations of the LNC are, in a sense, not questioned by a typical dialetheist, since she is (cheerfully) required to accept them by her own theory. The goal of this paper is to develop a formulation of the (...) Law which appears to be unquestionable, in the sense that the Priestian dialetheist is committed to accept it without also accepting something inconsistent with it, on pain of trivialism—that is to say, on pain of lapsing into the position according to which everything is the case. This will be achieved via (a) a discussion of Priest's dialetheic treatment of the notions of rejection and denial; and (b) the characterization of a negation via the primitive intuition of content exclusion. Such a result will not constitute a cheap victory for the friends of consistency. We may just learn that different things have been historically conflated under the label of 'Law of Non-Contradiction'; that dialetheists rightly attack some formulations of the Law, and orthodox logicians and philosophers have been mistaken in assimilating them to the indisputable one. (shrink)

I argue that dialetheists have a problem with the concept of logical consequence. The upshot of this problem is that dialetheists must appeal to a hierarchy of concepts of logical consequence. Since this hierarchy is akin to those invoked by more orthodox resolutions of the semantic paradoxes, its emergence would appear to seriously undermine the dialetheic treatments of these paradoxes. And since these are central to the case for dialetheism, this would represent a significant blow to the position itself.

Dialetheists believe some sentences are both true and false. Objectors have argued that this makes it unclear how people can disagree with each other because, given the dialetheist’s commitments, if I make a claim and you tell me my claim is false, we might both be correct. Graham Priest (2006a) thinks that people disagree by rejecting or denying what is said rather than ascribing falsehood to it. We build on the work of Julien Murzi and Massimiliano Carrara (2015) and show (...) that Priest’s approach cannot succeed: given the same dialetheist’s commitments you may be correct to reject a claim that I correctly believe. We argue further that any attempt to solve the problem by identifying a new attitude of disagreement will also fail. The culprit, we claim, is the attempt to find a pair of attitudes that satisfy ‘exclusivity’—that is, attitudes such that both cannot be simultaneously correct. Instead of identifying disagreement by the kinds of attitudes involved, we propose dialetheists focus on the normative landscape and identify it in part by whether parties have reasons to change their attitudes. We offer our own normative theory of disagreement to help dialetheists with this challenge. (shrink)

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...) advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (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)

The contributions to Concepts of Philosophy in Asia and the Islamic World reflect upon the problems implied in the received notions of philosophy in the respective scholarly literatures. They ask whether, and for what reasons, a text should be categorized as a philosophical text (or excluded from the canon of philosophy), and what this means for the concept of philosophy. The focus on texts and textual corpora is central because it makes authors expose their claims and arguments in direct relation (...) to specific sources, and discourages generalized reflections on the characteristics of, for example, Japanese culture or the Indian mind. The volume demonstrates that close and historically informed readings are the sine qua non in discussing what philosophy is in Asia and the Islamic world, just as much as with regard to Western literature Contributors are Yoko Arisaka, Wolfgang Behr, Thomas Fröhlich, Lisa Indraccolo, Paulus Kaufmann, Iso Kern, Ralf Müller, Gregor Paul, Lisa Raphals, Fabian Schäfer, Ori Sela, Rafael Suter, Christian Uhl, Viatcheslav Vetrov, Yvonne Schulz Zinda, and Nicholas Zufferey. (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)

‘Self-Refutation’ in Early Chinese Argumentative Prose: Sidelights on the Linguistic Prehistory of Incipient Philosophy in: R.C. Steineck, R. Weber, R.H. Gassmann & E.L. Lange, eds., Concepts of Philosophy in Asia and the Islamic world, Leiden: Brill/Rodopi, 2018.

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)

In this paper I advance and defend a very simple position according to which logic is subclassical but is weaker than the leading subclassical-logic views have it.

A logic is said to be paraconsistent if it does not allow everything to follow from contradictory premises. There are several approaches to paraconsistency. This paper is concerned with several philosophical positions on paraconsistency. In particular, it concerns three ‘schools’ of paraconsistency: Australian, Belgian and Brazilian. The Belgian and Brazilian schools have raised some objections to the dialetheism of the Australian school. I argue that the Australian school of paraconsistency need not be closed down on the basis of the Belgian (...) and Brazilian schools’ objections. In the appendix of the paper, I also argue that the Brazilian school’s view of logic is not coherent. (shrink)

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...) new hierarchical account that solves the problem. (shrink)

Approaches to truth and the Liar paradox seem invariably to face a dilemma: either appeal to some sort of hierarchy, or declare apparently perfectly coherent concepts incoherent. But since both options lead to severe expressive restrictions, neither seems satisfactory. The aim of this paper is a new approach, which avoids the dilemma and the resulting expressive restrictions. Previous approaches tend to appeal to some new sort of semantic value for the truth predicate to take. I argue that such approaches inevitably (...) lead to the dilemma in question. In contrast, the present proposal sticks with classical semantic values, but allows the compositional rules associated with these to admit of exceptions. I show how such an approach can be developed systematically. (shrink)

Logic: the Basics is an accessible introduction to the core philosophy topic of standard logic. Focussing on traditional Classical Logic the book deals with topics such as mathematical preliminaries, propositional logic, monadic quantified logic, polyadic quantified logic, and English and standard ‘symbolic transitions’. With exercises and sample answers throughout this thoroughly revised new edition not only comprehensively covers the core topics at introductory level but also gives the reader an idea of how they can take their knowledge further and the (...) philosophical questions around logic. -/- Logic: the Basics is essential reading for first-year undergraduate philosophy students on standard introductory logic courses. (shrink)

In a recent paper, Jc Beall has employed what he calls ‘shriek rules’ in a putative solution to the long-standing ‘just false’ problem for glut theory. The purpose of this paper is twofold: firstly, I distinguish the ‘just false’ problem from another problem, with which it is often conflated, which I will call the ‘exclusion problem’. Secondly, I argue that shriek rules do not help glut theorists with either problem.

Consider the following sentence schema:This sentence entails that ϕ.Call a sentence which is obtained from this schema by the substitution of an arbitrary, contingent sentence, s, for ϕ, the sentence CS. Thus, This sentence entails that s.Now ask the following question: Is CS true?One sentence classically entails a second if and only if it is impossible for both the first to be true and the second to be false. Thus ‘Xanthippe is a mother’ entails ‘Xanthippe is female’ if and only (...) if it is impossible for both ‘Xanthippe is a mother’ to be true and ‘Xanthippe is female’ to be false. CS makes a claim about a purported entailment. Thus, CS is true if and only if it is impossible for both the sentence it mentions as entailing a second to be true and the sentence it mentions as being entailed by the first to be false. In other words, CS is true if and only if it is impossible for both CS to be true and s to be false. In yet other words, CS is false if and only if it is possible for both CS to be true and s to be false. (shrink)

This paper applies what I call the shrieking method (a refined version of an idea with roots in Priest's work) to one of – if not the – issues confronting glut-theoretic approaches to paradox (viz., the problem of ‘just true’ or, what comes to the same, ‘just false’). The paper serves as a challenge to formulate a problem of ‘just true’ that isn't solved by shrieking (as advanced in this paper), if such a problem be thought to exist.

A Liar sentence is a sentence that, paradoxically, we cannot evaluate for truth in accordance with classical logic and semantics without arriving at a contradiction. For example, consider L If we assume that L is true, then given that what L says is ‘L is false,’ it follows that L is false. On the other hand, if we assume that L is false, then given that what L says is ‘L is false,’ it follows that L is true. Thus, L (...) is an example of a Liar sentence. Several philosophers have proposed that the Liar paradox, and related paradoxes, can be solved by accepting the contradictions that these paradoxes seem to imply (including Priest 2006, Rescher and Brandom 1980). The theory that there are true .. (shrink)

1 IntroductionNumerous solutions have been proposed to the semantic paradoxes. Two that are frequently singled out and compared are the following. The first is that according to which paradoxical sentences are neither true nor false — as it is sometimes put, they are semantic gaps. The second is that according to which paradoxical sentences are both true and false — as it is sometimes put, they are semantic gluts. Calling the first of these a solution is, in fact, somewhat misleading: (...) it is rather like calling an opening gambit a game of chess. For the solution runs into severe problems almost immediately, and so can be only the first of a series of moves made to defend the original weak opening. Nonetheless, the symmetry involved in the gap and glut solutions is obvious enough to make the comparison a natural one. (shrink)

According to naïve realist (or primitivist) theories of colour, colours are sui generis mind-independent properties. The question that I consider in this paper is the relationship of naïve realism to what Mark Johnston calls Revelation, the thesis that the essential nature of colour is fully revealed in a standard visual experience. In the first part of the paper, I argue that if naïve realism is true, then Revelation is false. In the second part of the paper, I defend naïve realism (...) against a number of objections. (shrink)

The arguments of the dialetheists for the rejection of the traditional law of noncontradiction are not yet conclusive. The reason is that the arguments that they have developed against this law uniformly fail to consider the logic of encoding as an analytic method that can resolve apparent contradictions. In this paper, we use Priest [1995] and [1987] as sample texts to illustrate this claim. In [1995], Priest examines certain crucial problems in the history of philosophy from the point of view (...) of someone without a prejudice in favor of classical logic. For each of these problems, the logic of encoding offers an alternative explanation of the phenomena---this alternative is not considered when Priest describes what options there are in classical logic for analyzing the problem at hand. (shrink)

A dialetheia is a sentence, A, such that both it and its negation, A, are true (we shall talk of sentences throughout this entry; but one could run the definition in terms of propositions, statements, or whatever one takes as her favourite truth bearer: this would make little difference in the context). Assuming the fairly uncontroversial view that falsity just is the truth of negation, it can equally be claimed that a dialetheia is a sentence which is both true and (...) false. (shrink)

In the history of Western philosophy, dialetheism – the view that some sentences are both true and false – has been unpopular. This paper recovers a previously overlooked episode in the history of dialetheism. Specifically, it reconstructs a section of Robert Greville's The Nature of Truth (1640) in order to show that he was a dialetheist. Greville's consideration of the view that evil is a privation led him to endorse the claim that sinful acts are contradictory; they are the subjects (...) of both being and non‐being. The paper also explores responses to Greville from John Wallis and Nathaniel Culverwell. (shrink)

Journal Name: SATS Issue: Ahead of print.