In this paper, I present a novel paradox that pertains to a variety of representational states and activities. I begin by proving that there are certain contingently true propositions that no one can occurrently believe. Then, I use this to develop a further proof by which I derive a contradiction, thus giving us the paradox. Next, I differentiate the paradox from the Liar Paradox, and I show how a common response to the different variations of the Liar Paradox fails to (...) avoid the type of paradox provided in this paper. Finally, I demonstrate how the general ideas behind the paradox regarding occurrent belief can be extended to a wide range of other representational states and activities. (shrink)

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (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)

Logical orthodoxy has it that classical first-order logic, or some extension thereof, provides the right extension of the logical consequence relation. However, together with naïve but intuitive principles about semantic notions such as truth, denotation, satisfaction, and possibly validity and other naïve logical properties, classical logic quickly leads to inconsistency, and indeed triviality. At least since the publication of Kripke’s Outline of a theory of truth , an increasingly popular diagnosis has been to restore consistency, or at least non-triviality, by (...) restricting some classical rules. Our modest aim in this note is to briefly introduce the main strands of the current debate on paradox and logical revision, and point to some of the potential challenges revisionary approaches might face, with reference to the nine contributions to the present volume.For a recent introduction to non-classical theories of truth and other semantic notions, see the excellent Beall a .. (shrink)

Richard Heck has recently drawn attention on a new version of the Liar Paradox, one which relies on logical resources that are so weak as to suggest that it may not admit of any “truly satisfying, consistent solution”. I argue that this conclusion is too strong. Heck's Liar reduces to absurdity principles that are already rejected by consistent paracomplete theories of truth, such as Kripke's and Field's. Moreover, the new Liar gives us no reasons to think that (versions of) these (...) principles cannot be consistently retained once the structural rule of contraction is restricted. I suggest that revisionary logicians have independent reasons for restricting such a rule. (shrink)

Richard Heck has recently drawn attention on a new version of the Liar Paradox, one which relies on logical resources that are so weak as to suggest that it may not admit of any ‘‘truly satisfying, consistent solution’’. I argue that this conclusion is too strong. Heck’s Liar reduces to absurdity principles that are already rejected by consistent paracomplete theories of truth, such as Kripke’s and Field’s. Moreover, the new Liar gives us no reasons to think that these principles cannot (...) be consistently retained once the structural rule of contraction is restricted. I suggest that revisionary logicians have independent reasons for restricting such a rule. (shrink)

Beall and Murzi :143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules. As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field :1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The aim of this paper (...) is to respond to Field’s objections and to point to a coherent notion of validity which underwrites a coherent reading of Beall and Murzi’s principles: grounded validity. The notion, first introduced by Nicolai and Rossi, is a generalisation of Kripke’s notion of grounded truth, and yields an irreflexive logic. While we do not advocate the adoption of a substructural logic, we take the notion of naïve validity to be a legitimate semantic notion that points to genuine expressive limitations of fully structural revisionary approaches. (shrink)

It is often argued that fully structural theories of truth and related notions are incapable of expressing a nonstratified notion of defectiveness. We argue that recently much-discussed non-contractive theories suffer from the same expressive limitation, provided they identify the defective sentences with the sentences that yield triviality if they are assumed to satisfy structural contraction.

We present a revenge argument for non-reflexive theories of semantic notions – theories which restrict the rule of assumption, or initial sequents of the form φ ⊩ φ. Our strategy follows the general template articulated in Murzi and Rossi [21]: we proceed via the definition of a notion of paradoxicality for non-reflexive theories which in turn breeds paradoxes that standard non-reflexive theories are unable to block.

Since Saul Kripke’s influential work in the 1970s, the revisionary approach to semantic paradox—the idea that semantic paradoxes must be solved by weakening classical logic—has been increasingly popular. In this paper, we present a new revenge argument to the effect that the main revisionary approaches breed new paradoxes that they are unable to block.

We cast doubts on the suggestion, recently made by Graham Priest, that glut theorists may express disagreement with the assertion of A by denying A. We show that, if denial is to serve as a means to express disagreement, it must be exclusive, in the sense of being correct only if what is denied is false only. Hence, it can’t be expressed in the glut theorist’s language, essentially for the same reasons why Boolean negation can’t be expressed in such a (...) language either. We then turn to an alternative proposal, recently defended by Beall (in Analysis 73(3):438–445, 2013; Rev Symb Log, 2014), for expressing truth and falsity only, and hence disagreement. According to this, the exclusive semantic status of A, that A is either true or false only, can be conveyed by adding to one’s theory a shrieking rule of the form A & ~A |- \bot, where \bot entails triviality. We argue, however, that the proposal doesn’t work either. The upshot is that glut theorists face a dilemma: they can either express denial, or disagreement, but not both. Along the way, we offer a bilateral logic of exclusive denial for glut theorists—an extension of the logic commonly called LP. (shrink)

Although formal analysis provides us with interesting tools for treating Curry’s paradox, it certainly does not exhaust every possible reading of it. Thus, we suggest that this paradox should be analysed with non-formal tools coming from pragmatics. In this way, using Grice’s logic of conversation, we will see that Curry’s sentence can be reinterpreted as a peculiar conditional sentence implying its own consequent.

A tempting solution to problems of semantic vagueness and to the Liar Paradox is an appeal to truth-value gaps. It is tempting to say, for example, that, where Harry is a borderline case of bald, the sentenceHarry is baldis neither true nor false: it is in the ‘gap’ between these two values, and perhaps deserves a third truth-value. Similarly with the Liar Paradox. Consider the following Liar sentence: is false.That is, sentence says of itself that it is false. If we (...) accept the Tarskian schema S is true iff pwhere ‘S’ is a name of a sentence ‘p,’ we are led into paradox. Both the assumption that is true, and the assumption that is false lead us, via, to is true if and only if is false.Given this result, a natural reaction is to place in a ‘gap’ between true and false. (shrink)

A structure of finite signature is constructed so that: for all existential formulas $\exists ??\varphi (??,??)$ and for all tuples of elements $??$ of the same length as the tuple $??$, one can decide in a quadratic time depending only on the length of the formula, if $\exists ??\varphi (??,??)$ holds in the structure. In other words, the structure satisfies the relativized model-theoretic version of P=NP in the sense of [4]. This is a model-theoretical approach to results of Hemmerling and (...) Gaßner. (shrink)

I show that the logic $\textsf {TJK}^{d+}$, one of the strongest logics currently known to support the naive theory of truth, is obtained from the Kripke semantics for constant domain intuitionistic logic by dropping the requirement that the accessibility relation is reflexive and only allowing reflexive worlds to serve as counterexamples to logical consequence. In addition, I provide a simplified natural deduction system for $\textsf {TJK}^{d+}$, in which a restricted form of conditional proof is used to establish conditionals.

Most discussions frame the Liar Paradox as a formal logical-linguistic puzzle. Attempts to resolve the paradox have focused very little so far on aspects of cognitive psychology and processing, because semantic and cognitive-psychological issues are generally assumed to be disjunct. I provide a motivation and carry out a cognitive-computational treatment of the liar paradox based on a model of language and conceptual knowledge within the Predictive Processing framework. I suggest that the paradox arises as a failure of synchronization between two (...) ways of generating the liar situation in two different PP sub-models, one corresponding to language processing and the other to the processing of meaning and world-knowledge. In this way, I put forward the claim that the liar sentence is meaningless but has an air of meaningfulness. I address the possible objection that the proposal violates the Principle of Unrestricted Compositionality, which purportedly regulates the conceptual competence of thinkers. (shrink)

In this paper, an objective conception of contexts based loosely upon situation theory is developed and formalized. Unlike subjective conceptions, which take contexts to be something like sets of beliefs, contexts on the objective conception are taken to be complex, structured pieces of the world that (in general) contain individuals, other contexts, and propositions about them. An extended first-order language for this account is developed. The language contains complex terms for propositions, and the standard predicate "ist" that expresses the relation (...) that holds between a context and a proposition just in case the latter is true in the former. The logic for the objective conception features a global classical predicate calculus, a local logic for reasoning within contexts, and axioms for propositions. The specter of paradox is banished from the logic by allowing "ist" to be nonbivalent in problematic cases: it is not in general the case, for any context c and proposition p, that either ist(c,p) or ist(c, ¬p). An important representational capability of the logic is illustrated by proving an appropriately modified version of an illustrative theorem from McCarthy's classic Blocks World example. (shrink)

In J Philos Logic 34:155–192, 2005, Leitgeb provides a theory of truth which is based on a theory of semantic dependence. We argue here that the conceptual thrust of this approach provides us with the best way of dealing with semantic paradoxes in a manner that is acceptable to a classical logician. However, in investigating a problem that was raised at the end of J Philos Logic 34:155–192, 2005, we discover that something is missing from Leitgeb’s original definition. Moreover, we (...) show that once the appropriate repairs have been made, the resultant definition is equivalent to a version of the supervaluation definition suggested in J Philos 72:690–716, 1975 and discussed in detail in J Symb Log 51(3):663–681, 1986. The upshot of this is a philosophical justification for the simple supervaluation approach and fresh insight into its workings. (shrink)

It is a commonplace of set theory to say that there is no set of all well-orderings nor a set of all sets. We are implored to accept this due to the threat of paradox and the ensuing descent into unintelligibility. In the absence of promising alternatives, we tend to take up a conservative stance and tow the line: there is no universe. In this paper, I am going to challenge this claim by taking seriously the idea that we can (...) talk about the collection of all the sets and many more collections beyond that. A method of articulating this idea is offered through an indefinitely extending hierarchy of set theories. It is argued that this approach provides a natural extension to ordinary set theory and leaves ordinary mathematical practice untouched. (shrink)

This paper expands upon a way in which we might rationally doubt that there are multiple sizes of infinity. The argument draws its inspiration from recent work in the philosophy of truth and philosophy of set theory. More specifically, elements of contextualist theories of truth and multiverse accounts of set theory are brought together in an effort to make sense of Cantor’s troubling theorem. The resultant theory provides an alternative philosophical perspective on the transfinite, but has limited impact on everyday (...) mathematical practice. (shrink)

This paper explores the idea that Descartes’ cogito is a kind of diagonal argument. Using tools from modal logic, it reviews some historical antecedents of this idea from Slezak and Boos and culminates in an orginal result classifying the exact structure of belief frames capable of supporting diagonal arguments and our reconstruction of the cogito.

The coherence of omniscience is sometimes challenged using self-referential sentences like, “No omniscient entity knows that which this very sentence expresses,” which suggest that there are truths which no omniscient entity knows. In this paper, I consider two strategies for addressing these challenges: The Common Strategy, which dismisses such self-referential sentences as meaningless, and The Conciliatory Strategy, which discounts them as quirky outliers with no impact on one’s status as being omniscient. I argue that neither strategy succeeds. The Common Strategy (...) fails because it is both unmotivated and impotent. The Conciliatory Strategy fails because it leads to embarrassing situations in which omniscient entities are epistemically inferior to non-omniscient entities: we can, for example, devise trivia-based drinking games that force omniscient entities into an intoxicated state; and, given plausible closure principles for belief, such entities are unable to have the sorts of beliefs that give them reason to refuse to play. (shrink)

Book reviewed:;Jerrold J. Katz, Sense, Reference, and Philosophy.

We show how to construct certain L M, T -type interpreted languages, with each such language containing meaningfulness and truth predicates which apply to itself. These languages are comparable in expressive power to the L T -type, truth-theoretic languages first considered by Kripke, yet each of our L M, T -type languages possesses the additional advantage that, within it, the meaninglessness of any given meaningless expression can itself be meaningfully expressed. One therefore has, for example, the object level truth (and (...) meaningfulness) of the claim that the strengthened Liar is meaningless. (shrink)

We show how to construct certain " $[Unrepresented Character]_{M,T}$ -type" interpreted languages, with each such language containing meaningfulness and truth predicates which apply to itself. These languages are comparable in expressive power to the $[Unrepresented Character]_{T}$ -type, truth-theoretic languages first considered by. Kripke, yet each of our $[Unrepresented Character]_{M,T}$ -type languages possesses the additional advantage that, within it, the meaninglessness of any given meaningless expression can itself be meaningfully expressed. One therefore has, for example, the object level truth (and meaningfulness) (...) of the claim that the strengthened Liar is meaningless. (shrink)

Most discussions frame the Liar Paradox as a formal logical-linguistic puzzle. Attempts to resolve the paradox have focused very little so far on aspects of cognitive psychology and processing, because semantic and cognitive-psychological issues are generally assumed to be disjunct. I provide a motivation and carry out a cognitive-computational treatment of the liar paradox based on a model of language and conceptual knowledge within thePredictive Processing(PP) framework. I suggest that the paradox arises as a failure of synchronization between two ways (...) of generating the liar situation in two different (idealized) PP sub-models, one corresponding to language processing and the other to the processing of meaning and world-knowledge. In this way, I put forward the claim that the liar sentence is meaningless but has an air of meaningfulness. I address the possible objection that the proposal violates thePrinciple of Unrestricted Compositionality, which purportedly regulates the conceptual competence of thinkers. (shrink)

Most discussions frame the Liar Paradox as a formal logical-linguistic puzzle. Attempts to resolve the paradox have focused very little so far on aspects of cognitive psychology and processing, because semantic and cognitive-psychological issues are generally assumed to be disjunct. I provide a motivation and carry out a cognitive-computational treatment of the liar paradox based on a cognitive-computational model of language and conceptual knowledge within the Predictive Processing framework. I suggest that the paradox arises as a failure of synchronization between (...) two ways of generating the liar situation in two different PP sub-models, one corresponding to language processing and the other to the processing of meaning and world-knowledge. In this way, I put forward the claim that the liar sentence is meaningless but has an air of meaningfulness. I address the possible objection that the proposal violates the Principle of Unrestricted Compositionality, which purportedly regulates the conceptual competence of thinkers. (shrink)

In this paper, I offer a close reading of Wittgenstein's remarks on inconsistency, mostly as they appear in the Lectures on the Foundations of Mathematics. I focus especially on an objection to Wittgenstein's view given by Alan Turing, who attended the lectures, the so-called ‘falling bridges’-objection. Wittgenstein's position is that if contradictions arise in some practice of language, they are not necessarily fatal to that practice nor necessitate a revision of that practice. If we then assume that we have adopted (...) a paraconsistent logic, Wittgenstein's answer to Turing is that if we run into trouble building our bridge, it is either because we have made a calculation mistake or our calculus does not actually describe the phenomenon it is intended to model. The possibility of either kind of error is not particular to contradictions nor inconsistency, and thus contradictions do not have any special status as a thing to be avoided. (shrink)

Three-valued logics are standardly used to formalize gappy languages, i.e., interpreted languages in which sentences can be true, false or neither. A three-valued logic that assigns the same truth value to all gappy sentences is, in our view, insufficient to capture important semantic differences between them. In this paper we will argue that there are two different kinds of pathologies that should be treated separately and we defend the usefulness of a four-valued logic to represent adequately these two types of (...) gappy sentences. Our purpose is to begin the formal exploration of the four-valued logics that could be used to represent the phenomena in question and to show that these phenomena are present in natural language, at least according to some semantic theories of natural language. (shrink)

Semantic paradoxes like the liar are notorious challenges to truth theories. A paradox can be phrased with minimal resources and minimal assumptions. It is not surprising, then, that the liar is also a challenge to minimalism about truth. Horwich (1990) deals swiftly with the paradox, after discriminating between other strategies for avoiding it without compromising minimalism. He dismisses the denial of classical logic, the denial that the concept of truth can coherently be applied to propositions, and the denial that the (...) liar sentence expresses a proposition, but he endorses the denial that the liar is an acceptable instance of the equivalence schema (E). This paper has two main parts. It first shows that Horwich’s preferred denial is also problematic. As Simmons (1999), Beall and Armour-Garb (2003), and Asay (2015) argued, the solution is ad hoc, faces a possible loss of expressibility, and is ultimately unstable. Finally, the paper explores a different combination of possibilities for minimalism: treating the truth-predicate as context-dependent, rejecting the notion that the liar expresses a proposition, and reinterpreting negation in some contexts as metalinguistic denial. The paper argues that these are preferable options, but signposts possible dangers ahead. (shrink)

Here, I first prove that certain families of k-valued clones have the Gupta-Belnap fixed-point property. This essentially means that all propositional languages that are interpreted with operators belonging to those clones are such that any net of self-referential sentences in the language can be consistently evaluated. I then focus on two four-valued generalisations of the Kleene propositional operators that generalise the strong and weak Kleene operators: Belnap’s clone and Fitting’s clone, respectively. I apply the theorems from the initial part of (...) the paper to analyse the fixed-point property of Belnap’s and Fitting’s clones when some special operators that reflect the semantics are added. The conclusion of the paper is that Fitting’s clone is better suited than Belnap’s to provide self-referential languages with highly expressive resources. (shrink)

Motivated by weaknesses with traditional accounts of logical epistemology, considerable attention has been paid recently to the view, known as anti-exceptionalism about logic, that the subject matter and epistemology of logic may not be so different from that of the recognised sciences. One of the most prevalent claims made by advocates of AEL is that theory choice within logic is significantly similar to that within the sciences. This connection with scientific methodology highlights a considerable challenge for the anti-exceptionalist, as two (...) uncontentious claims about scientific theories are that they attempt to explain a target phenomenon and prove their worth through successful predictions. Thus, if this methodological AEL is to be viable, the anti-exceptionalist will need a reasonable account of what phenomena logics are attempting to explain, how they can explain, and in what sense they can be said to issue predictions. This paper makes sense of the anti-exceptionalist proposal with a new account of logical theory choice, logical predictivism, according to which logics are engaged in both a process of prediction and explanation. (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)

I will discuss Fields Outline of a Theory of Truth. I will point out important properties of Kripkeleast fixed points constructions and theory. I do this not to demean Field’s superb work on truth but rather to suggest that there may be no really satisfactory conditional connective for languages containing their own truth predicates.

The Liar sentence L, which reads ‘L is not true’, can be used to produce an apparently valid argument proving that L is not true and that L is true. There has been increasing recognition of the appeal of contextualist solutions to the Liar paradox. Contextualist accounts hold that some step in the reasoning induces a context shift that causes the apparently contradictory claims to occur at different contexts. Attempts at identifying the most promising contextualist account often rely on timing (...) arguments, which seek to isolate a step at which the context cannot be claimed to have shifted or must have shifted. The literature contains a number of timing arguments that draw incompatible conclusions about the location of the context shift. I argue that no existing timing arguments succeed. An alternative strategy for assessing contextualist accounts evaluates the plausibility of their explanations of why the context shifts. However, even this strategy yields no clear verdict about which contextualist account is the most promising. I conclude that there are some grounds for optimism and for pessimism about the potential to adequately motivate contextualism. (shrink)