This study looks to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.

I defend the hypothesis that the semantic paradoxes, the paradoxes about collections, and the sorites paradoxes, are all paradoxes of reference fixing: they show that certain conventionally adopted and otherwise functional reference-fixing principles cannot provide consistent assignments of reference to certain relevant expressions in paradoxical cases. I note that the hypothesis has interesting implications concerning the idea of a unified account of the semantic, collection and sorites paradoxes, as well as about the explanation of their “recalcitrance”. I also note that (...) it does not necessarily imply that one should not expect the sometimes hoped for “unique” solution to a paradox of these kinds. (shrink)

TheTractatusfirst appeared in 1921, the same year that Post's “Introduction to a General Theory of Elementary Propositions” appeared in theAmerican Journal of Mathematics. As the latter is the first piece clearly to present and exploit the distinction between a deductive system and a truth-functional interpretation of such a system, we may conclude that Wittgenstein's views had been arrived at somewhat before a variety of logical concepts had received the clarification and refinement incipient on the now taken-for-granted distinction between proof and (...) model theory. One such concept, of considerable interest to Wittgenstein, was that of inference. The following constitutes an attempt to explicate his notion. In particular, I shall attempt to show that his repudiation of “laws of inference” is closely tied to his rejection of logical constants; and that both can be seen as the product of what might be termed a “metaphysics of completeness”—before, of course, any notion of completeness had achieved a measure of precision or currency. (shrink)

In other works, I’ve proposed a solution to the semantic paradoxes which, at the technical level, basically relies on failure of contraction. I’ve also suggested that, at the philosophical level, contraction fails because of the instability of certain states of affairs. In this paper, I try to make good on that suggestion.

Stephen Read has presented an argument for the inconsistency of the concept of validity. We extend Read’s results and show that this inconsistency is but one half of a larger problem. Like the concept of truth, validity is infected with what we call semantic pathology, a condition that actually gives rise to two symptoms: inconsistency and indeterminacy. After sketching the basic ideas behind semantic pathology and explaining how it manifests both symptoms in the concept of truth, we present cases that (...) establish the indeterminacy of validity and that link this indeterminacy with the concept’s inconsistency. Our conclusion is that an adequate treatment of the semantic pathology thus revealed must deal with both of its symptoms. Further, it must extend to the occurrences of this condition elsewhere: in the concept of truth, in the other central semantic notions, and even in certain philosophical concepts outside semantics. (shrink)

A historically popular response to the liar paradox (“this sentence is false”) is to say that the liar sentence is meaningless (or semantically defective, or malfunctions, or…). Unfortunately, like all other supposed solutions to the liar, this approach faces a revenge challenge. Consider the revenge liar sentence, “this sentence is either meaningless or false”. If it is true, then it is either meaningless or false, so not true. And if it is not true, then it can’t be either meaningless or (...) false, so it must be true. Either way, we are back in a paradox. This paper provides a detailed and exhaustive discussion of the options for responding to revenge on behalf of “meaningless” theories. Though I attempt to discuss all of the options fairly, I will ultimately opt for one specific response and discuss some of its challenges. Various technical and logical matters will be discussed throughout the paper, but my focus will be philosophical, throughout. My overall conclusion is that the “meaningless” strategy is at least as well off in the face of revenge as any other approach to the liar and related paradoxes. (shrink)

If we want to retain classical logic and standard syntax in light of the liar, we are forced to restrict the T-schema. The traditional philosophical justification for this is sentential – liar sentences somehow malfunction. But the standard formal way of implementing this is conditional, our T-sentences tell us that if “p” does not malfunction, then “p” is true if and only if p. Recently Bacon and others have pointed out that conditional T-restrictions like this flirt with incoherence. If we (...) want to keep the “malfunction” motivation, our only other option is to non-conditionally restrict the T-schema, but Field and others have given powerful philosophical and technical arguments against this kind of approach. Here I argue that if we really take the philosophical motivation for restricting T-sentences seriously, we can explain why conditional restrictions fail, answer Field's argument, and reason in a coherent way about truth using a non-conditional restriction strategy. This cracks the door open for a fully classical response to the liar and related paradoxes. In closing, I argue that, when properly understood, this kind of “restriction” is not really a restriction at all. If this is right, then the holy grail of liar studies (classical logic, naïve truth, and standard syntax) may yet be attainable. (Note for readers: when this paper was first put online, the typesetters had changed some instances of corners to brackets, leading to confusion. The paper has now been corrected online by PPR, so please make sure you have the corrected version before reading or citing.). (shrink)

The starting point of this paper is a claim defended most famously by Graham Priest: that given certain observed similarities between the set-theoretic and the semantic paradoxes, we should be looking for a ‘uniform solution’ to the members of both families. Despite its indisputable surface attractiveness, I argue that this claim hinges on a problematic reasoning move. This is seen most clearly, I suggest, when the claim and its underlying assumptions are examined by the lights of a novel, quite general (...) and, I contend, promising take on inter-theoretic analogy. The ensuing discussion is intended to serve as both a possible case study and a first step towards the broader aim of the paper: namely, to initiate a wider conversation on the methodology of paradox-solving on the one hand, and the use of inter-theoretic analogies on the other. (shrink)

Kripke’s theory of truth is arguably the most influential approach to self-referential truth and the semantic paradoxes. The use of a partial evaluation scheme is crucial to the theory and the most prominent schemes that are adopted are the strong Kleene and the supervaluation scheme. The strong Kleene scheme is attractive because it ensures the compositionality of the notion of truth. But under the strong Kleene scheme classical tautologies do not, in general, turn out to be true and, as a (...) consequence, classical reasoning is no longer admissible once the notion of truth is involved. The supervaluation scheme adheres to classical reasoning but violates compositionality. Moreover, it turns Kripke’s theory into a rather complicated affair: to check whether a sentence is true we have to look at all admissible precisification of the interpretation of the truth predicate we are presented with. One consequence of this complicated evaluation condition is that under the supervaluation scheme a more proof-theoretic characterization of Kripke’s theory becomes inherently difficult, if not impossible. In this paper we explore the middle ground between the strong Kleene and the supervaluation scheme and provide an evaluation scheme that adheres to classical reasoning but retains many of the attractive features of the strong Kleene scheme. We supplement our semantic investigation with a novel axiomatic theory of truth that matches the semantic theory we have put forth. (shrink)

The poster boy for my paper is the King's Messenger in Lewis Carroll's Through the Looking Glass. Recall that since the White Queen lives backwards, her memory works forwards. She pities Alice who can only remember things after they happen. Alice asks which things the Queen remembers best: `Oh, things that happened the week after next,' the Queen replied in a careless tone. `For instance, . . . there's the King's Messenger. He's in prison now, being punished: and the trial (...) doesn't even begin till next Wednesday: and of course the crime comes last of all.' (Chapter V) Is the King's Messenger being treated unjustly? Why not prepunish people for their future crimes? True, it is generally easier to have knowledge about past crimes than future crimes. But is unpredictability the only problem with prepunishment? (shrink)

Different formal tools are useful for different purposes. For example, when it comes to modelling degrees of belief, probability theory is a better tool than classical logic; when it comes to modelling the truth of mathematical claims, classical logic is a better tool than probability theory. In this paper I focus on a widely used formal tool and argue that it does not provide a good model of a phenomenon of which many think it does provide a good model: I (...) shall argue that while supervaluationism may provide a model of probability of truth, or of assertability, it cannot provide a good model of truth -- supertruth cannot be truth. The core of the argument is that an adequate model of truth must render certain connectives truth-functional (at least in certain circumstances) -- and supervaluationism does not do so (in those circumstances). (shrink)

A fully adequate solution to Newcomb’s Problem (Nozick 1969) should reveal the source of its extraordinary elusiveness and persistent intractability. Recently, a few accounts have independently sought to meet this criterion of adequacy by exposing the underlying source of the problem’s profound puzzlement. Thus, Sorensen (1987), Slezak (1998), Priest (2002) and Maitzen and Wilson (2003) share the ‘no box’ view according to which the very idea that there is a right choice is misconceived since the problem is ill-formed or incoherent (...) in some way. Among proponents of this view, Richard Jeffrey (2004) recently declared that he renounces his earlier position that accepted Newcomb problems as genuine decision problems. Significantly, Jeffrey suggests that “Newcomb problems are like Escher’s famous staircase on which an unbroken ascent takes you back where you started” (Jeffrey (2004; 113)). Jeffrey’s analogy is apt for a puzzle whose specific logical features can be precisely articulated. Along the lines of these related approaches, I propose to improve and clarify them by providing such a deeper analysis that elucidates their essential, related insights. (shrink)

I OFFER AN ANALYSIS OF DESCARTES'S COGITO WHICH IS RADICALLY NOVEL WHILE INCORPORATING MUCH AVAILABLE INSIGHT. BY ENLARGING FOCUS FROM THE DICTUM ITSELF TO THE REASONING OF DOUBT, DREAMING AND DEMON, I DEMONSTRATE A CLOSE PARALLEL TO THE LOGIC OF THE LIAR PARADOX. THIS HELPS TO EXPLAIN FAMILIAR PARADOXICAL FEATURES OF DESCARTES'S ARGUMENT. THE ACCOUNT PROVES TO BE TEXTUALLY ELEGANT AND, MOREOVER, HAS CONSIDERABLE INDEPENDENT PHILOSOPHICAL PLAUSIBILITY AS AN ACCOUNT OF MIND AND SELF.

Tarski's hierarchical solution to the Liar paradox is widely viewed as ad hoc. In this paper I show that, on the contrary, Tarski's solution is justified by a sound philosophical principle that concerns the inner structure of truth. This principle provides a common philosophical basis to a number of solutions to the Liar paradox, including Tarski's and Kripke's. Tarski himself may not have been aware of this principle, but by providing a philosophical basis to his hierarchical solution to the paradox, (...) it undermines the ad-hocness objection to this solution. Indeed, it contributes to the defense of Tarski's theory against other objections as well. (shrink)

In diesem Aufsatz wird ein neues Paradoxon vorgestellt, der Super-Lügner. Er ist stärker als alle bekannten Lügner-Sätze, nicht mehr eindeutig selbstreferentiell und läßt sich darüber hinaus in eindeutig in die Tarski-Hierarchie einordnen. Eine unendlich große Familie von Super-Lügnern auf Metaebenen ist konstruierbar. Schließlich widersetzt sich der Super-Lügner der Auflösung durch die neue vielversprechende Reflexionslogik LR von U. Blau.

In diesem Aufsatz wird ein neues Paradoxon vorgestellt, der Super-Lügner. Er ist stärker als alle bekannten Lügner-Sätze, nicht mehr eindeutig selbstreferentiell und läßt sich darüber hinaus in eindeutig in die Tarski-Hierarchie einordnen. Eine unendlich große Familie von Super-Lügnern auf Metaebenen ist konstruierbar. Schließlich widersetzt sich der Super-Lügner der Auflösung durch die neue vielversprechende Reflexionslogik LR von U. Blau.

We axiomatize Leitgeb's (2005) theory of truth and show that this theory proves all arithmetical sentences of the system of ramified analysis up to $\epsilon_0$. We also give alternative axiomatizations of Kripke's (1975) theory of truth (Strong Kleene and supervaluational version) and show that they are at least as strong as the Kripke-Feferman system KF and Cantini's VF, respectively.

We present a strategy to dissolve semantic paradoxes which proceeds from an explanation of why paradoxical sentences or their definitions are semantically defective. This explanation is compatible with the acceptability of impredicative definitions, self-referential sentences and semantically closed languages and leaves the status of the so-called truth-teller sentence unaffected. It is based on platitudes which encode innocuous constraints on successful definition and successful expression of propositional content. We show that the construction of liar paradoxes and of certain versions of Curry’s (...) paradox rests on presuppositions that violate these innocuous constraints. Other versions of Curry’s paradox are shown not to be paradoxical at all once their presuppositions are made explicit. Part of what we say rehearses a proposal originally made by Laurence Goldstein in 1985. Like Goldstein we dispose of certain paradoxes by rejecting some of the premises from which they must be taken to proceed. However, we disagree with his more recent view that the premises to be rejected are neither true nor false. (shrink)

We present a strategy to dissolve semantic paradoxes which proceeds from an explanation of why paradoxical sentences or their definitions are semantically defective. This explanation is compatible with the acceptability of impredicative definitions, self-referential sentences and semantically closed languages and leaves the status of the so-called truth-teller sentence unaffected. It is based on platitudes which encode innocuous constraints on successful definition and successful expression of propositional content. We show that the construction of liar paradoxes and of certain versions of Curry's (...) paradox rests on presuppositions that violate these innocuous constraints. Other versions of Curry's paradox are shown not to be paradoxical at all once their presuppositions are made explicit. Part of what we say rehearses a proposal originally made by Laurence Goldstein in 1985. Like Goldstein we dispose of certain paradoxes by rejecting some of the premises from which they must be taken to proceed. However, we disagree with his more recent view that the premises to be rejected are neither true nor false. (shrink)

We study, in an abstract and general framework, formal representations of dependence and groundedness which occur in semantic theories of truth. Our goals are: (a) to relate the different ways in which groundedness is defined according to the way dependence is represented; and (b) to represent different notions of dependence as instances of a suitable generalisation of the mathematical notion of functional dependence.

The Liar sentence is a singularly important piece of philosophical evidence. It is an instrument for investigating the metaphysics of expressing truths and falsehoods. And an instrument too for investigating the varieties of conflict that can give rise to paradox. It shall serve as perhaps the most important clue to the shape of human judgment, as well as to the nature of the dependence of judgment upon language use.

Those who wish to claim that all facts about grounding are themselves grounded (“the meta-grounding thesis”) must defend against the charge that such a claim leads to infinite regress and violates the well-foundedness of ground. In this paper, we defend. First, we explore three distinct but related notions of “well-founded”, which are often conflated, and three corresponding notions of infinite regress. We explore the entailment relations between these notions. We conclude that the meta-grounding thesis need not lead to tension with (...) any of the three notions of “well-founded”. Finally, we explore the details of and motivations for further conditions on ground that one might add to generate a conflict between the meta-grounding thesis and a well-founded constraint. We explore these topics by developing and utilizing a formal framework based on the notion of a grounding structure. (shrink)

The semantic paradoxes are often associated with self-reference or referential circularity. Yablo (Analysis 53(4):251–252, 1993), however, has shown that there are infinitary versions of the paradoxes that do not involve this form of circularity. It remains an open question what relations of reference between collections of sentences afford the structure necessary for paradoxicality. In this essay, we lay the groundwork for a general investigation into the nature of reference structures that support the semantic paradoxes and the semantic hypodoxes. We develop (...) a functionally complete infinitary propositional language endowed with a denotation assignment and extract the reference structural information in terms of graph-theoretic properties. We introduce the new concepts of dangerous and precarious reference graphs, which allows us to rigorously define the task: classify the dangerous and precarious directed graphs purely in terms of their graph-theoretic properties. Ungroundedness will be shown to fully characterize the precarious reference graphs and fully characterize the dangerous finite graphs. We prove that an undirected graph has a dangerous orientation if and only if it contains a cycle, providing some support for the traditional idea that cyclic structure is required for paradoxicality. This leaves the task of classifying danger for infinite acyclic reference graphs. We provide some compactness results, which give further necessary conditions on danger in infinite graphs, which in conjunction with a notion of self-containment allows us to prove that dangerous acyclic graphs must have infinitely many vertices with infinite out-degree. But a full characterization of danger remains an open question. In the appendices we relate our results to the results given in Cook (J Symb Log 69(3):767–774, 2004) and Yablo (2006) with respect to more restricted sentences systems, which we call $\mathcal{F}$ -systems. (shrink)

This paper argues for tlie claims that a) a natural language such as English is semanticaly closed b) semantic closure implies inconsistency. A corollary of these is that the semantics of English must be paraconsistent. The first part of the paper formulates a definition of semantic closure which applies to natural languages and shows that this implies inconsistency. The second section argues that English is semeantically closed. The preceding discussion is predicated on the assumption that there are no truth value (...) gaps. The next section of the paper considers whether the possibility of these makes any difference to the substantive conclusions of the previous sections, and argues that it does not. The crux of the preceding arguments is that none of the consistent semantical accounts that have been offered for solving the semantical paradoxes is a semantic ofEnglish. The final section of the paper produces a general argument as to why this must always be the case. (shrink)

I apply the notions of alethic reference introduced in previous work in the construction of several classical semantic truth theories. Furthermore, I provide proof-theoretic versions of those notions and use them to formulate axiomatic disquotational truth systems over classical logic. Some of these systems are shown to be sound, proof-theoretically strong, and compare well to the most renowned systems in the literature.

I put forward precise and appealing notions of reference, self-reference, and well-foundedness for sentences of the language of first-order Peano arithmetic extended with a truth predicate. These notions are intended to play a central role in the study of the reference patterns that underlie expressions leading to semantic paradox and, thus, in the construction of philosophically well-motivated semantic theories of truth.

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

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)

We began by distinguishing Tarskian and Fitchean notions of universality in such a way that the claim that no language is universal in the sense of Tarski is compatible with accepting Fitchean universality. Then we examined a proposal involving two truth concepts — one that fit the Fitchean notion and another that followed Tarski's views on truth — finding little advantage in such generosity. We attempted a reformulation of Herzberger's argument for the negative view — the view that no language (...) is universal in Tarski's sense — but found it unsuccessful when the language of the argument's formulation was brought under consideration. A more persuasive argument for EI was found, free of the defect of the previous one. EI was then shown to have unsettling consequences, prompting us to inquire about avoiding it. We found this possible, noting that EI is itself a solution to the semantic paradoxes, to which there are alternatives that avoid the unwelcome aspects of EI. However, whether any such alternative is ultimately preferable to EI remains to be seen. (shrink)

What kinds of sentences with truth predicate may be inserted plausibly and consistently into the T-scheme? We state an answer in terms of dependence: those sentences which depend directly or indirectly on non-semantic states of affairs (only). In order to make this precise we introduce a theory of dependence according to which a sentence φ is said to depend on a set Φ of sentences iff the truth value of φ supervenes on the presence or absence of the sentences of (...) Φ in/from the extension of the truth predicate. Both φ and the members of Φ are allowed to contain the truth predicate. On that basis we are able define notions such as ungroundedness or self-referentiality within a classical semantics, and we can show that there is an adequate definition of truth for the class of sentences which depend on non-semantic states of affairs. (shrink)

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)

Scholastic and analytic definitions of semantic paradoxes, in terms of groundlessness, circularity, and semantic pathology, are introduced and compared with each other. The fundamental intuitions used in these definitions are the concepts of being true about extralinguistic reality, of making statements about one’s self, and of compatibility with an underlying semantic theory. The three approaches—the groundlessness view, the circularity view, and the semantic pathology view—are shown to differ not only conceptually, but also in their applications. As both a means for (...) showing these differences and as an adequacytest, the so-called two-line puzzles are used, which allows one to address the possibility of making non-paradoxical statements about paradoxical sentences within the same language. (shrink)

In the 1330s Roger Swyneshed formulated a solution to semantic paradoxes based on the distinction between correspondence with reality and self-falsification as truth-making factors. Since Swyneshed states that some valid inferences are not truth-preserving, his view implies the question of the general definition of validity which he does not address explicitly. Logical works attributed to Paul of Venice contain developments of Swyneshed's contextualist semantics substantially modified by the assumption that sentential meanings are objective propositional entities. The main goals of this (...) paper are to show the correlations between the ontological and logical developments of Swyneshed's semantics in the works of Paul of Venice and to outline a context-sensitive formal semantics that could serve as a model of this family of semantic theories. (shrink)

Though my ultimate concern is with issues in epistemology and metaphysics, let me phrase the central question I will pursue in terms evocative of philosophy of religion: What are the implications of our logic-in particular, of Cantor and G6del-for the possibility of omniscience?

Most paradoxes of self-reference have a dual or ‘hypodox’. The Liar paradox (Lr = ‘Lr is false’) has the Truth-Teller (Tt = ‘Tt is true’). Russell’s paradox, which involves the set of sets that are not self-membered, has a dual involving the set of sets which are self-membered, etc. It is widely believed that these duals are not paradoxical or at least not as paradoxical as the paradoxes of which they are duals. In this paper, I argue that some paradox’s (...) duals or hypodoxes are as paradoxical as the paradoxes of which they are duals, and that they raise neglected and interestingly different problems. I first focus on Richard’s paradox (arguably the simplest case of a paradoxical dual), showing both that its dual is as paradoxical as Richard’s paradox itself, and that the classical, Richard-Poincaré solution to the latter does not generalize to the former in any obvious way. I then argue that my argument applies mutatis mutandis to other paradoxes of self-reference as well, the dual of the Liar (the Truth-Teller) proving paradoxical. (shrink)

We introduce a framework for a graph-theoretic analysis of the semantic paradoxes. Similar frameworks have been recently developed for infinitary propositional languages by Cook and Rabern, Rabern, and Macauley. Our focus, however, will be on the language of first-order arithmetic augmented with a primitive truth predicate. Using Leitgeb’s notion of semantic dependence, we assign reference graphs (rfgs) to the sentences of this language and define a notion of paradoxicality in terms of acceptable decorations of rfgs with truth values. It is (...) shown that this notion of paradoxicality coincides with that of Kripke. In order to track down the structural components of an rfg that are responsible for paradoxicality, we show that any decoration can be obtained in a three-stage process: first, the rfg is unfolded into a tree, second, the tree is decorated with truth values (yielding a dependence tree in the sense of Yablo), and third, the decorated tree is re-collapsed onto the rfg. We show that paradoxicality enters the picture only at stage three. Due to this we can isolate two basic patterns necessary for paradoxicality. Moreover, we conjecture a solution to the characterization problem for dangerous rfgs that amounts to the claim that basically the Liar- and the Yablo graph are the only paradoxical rfgs. Furthermore, we develop signed rfgs that allow us to distinguish between ‘positive’ and ‘negative’ reference and obtain more fine-grained versions of our results for unsigned rfgs. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

Over the past 25 years, Graham Priest has ably presented and defended dialetheism, the view that certain sentences are properly characterized as true with true negations. Our goal here is neither to quibble with the tenability of true, assertable contradictions nor, really, with the arguments for dialetheism. Rather, we wish to address the dialetheist's treatment of cases of semantic pathology and to pose a worry for dialetheism that has not been adequately considered. The problem that we present seems to have (...) broader bite, afflicting both consistent and inconsistent proposals for resolving semantic pathology. Thus, while our primary goal is to uncover some important connections between dialetheism, semantic pathology, and other, more general issues, the problem that we pose might be a worry for anyone who aims to resolve semantic pathology - consistently or not. (shrink)

MEANING POSTULATES REINSTATED If I am right in agreeing with Cresswell that the "logicarrlexicaT distinction is one of degree rather than one of kind, that in turn impugns the distinction between the official truth-rules that define logical ...

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)