This paper extends Kripke’s theory of truth to a language with a variably strict conditional operator, of the kind that Stalnaker and others have used to represent ordinary indicative conditionals of English. It then shows how to combine this with a different and independently motivated conditional operator, to get a substantial logic of restricted quantification within naive truth theory.

A natural suggestion and increasingly popular account of how to revise our logical beliefs treats revision of logic analogously to the revision of scientific theories. I investigate this approach and argue that simple applications of abductive methodology to logic result in revision-cycles, developing a detailed case study of an actual dispute with this property. This is problematic if we take abductive methodology to provide justification for revising our logical framework. I then generalize the case study, pointing to similarities with more (...) recent and popular heterodox logics such as naïve logics of truth. I use this discussion to motivate a constraint—logical partisanhood—on the uses of such methodology: roughly: both the proposed alternative and our actual background logic must be able to agree that moving to the alternative logic is no worse than staying put. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

Logic isn’t special. Its theories are continuous with science; its method continuous with scientific method. Logic isn’t a priori, nor are its truths analytic truths. Logical theories are revisable, and if they are revised, they are revised on the same grounds as scientific theories. These are the tenets of anti-exceptionalism about logic. The position is most famously defended by Quine, but has more recent advocates in Maddy, Priest, Russell, and Williamson. Although these authors agree on many methodological issues about logic, (...) they disagree about which logic anti-exceptionalism supports. Williamson uses an anti-exceptionalist argument to defend classical logic, while Priest claims that his anti-exceptionalism supports nonclassical logic. This paper argues that the disagreement is due to a difference in how the parties understand logical theories. Once we reject Williamson’s deflationary account of logical theories, the argument for classical logic is undercut. Instead an alternative account of logical theories is offered, on which logical pluralism is a plausible supplement to anti-exceptionalism. (shrink)

This paper provides a defense of the full strength of classical logic, in a certain form, against those who would appeal to semantic paradox or vagueness in an argument for a weaker logic. I will not argue that these paradoxes are based on mistaken principles; the approach I recommend will extend a familiar formulation of classical logic by including a fully transparent truth predicate and fully tolerant vague predicates. It has been claimed that these principles are not compatible with classical (...) logic; I will argue, by both drawing on previous work and presenting new work in the same vein, that this is not so. We can combine classical logic with these intuitive principles, so long as we allow the result to be nontransitive. In the end, I hope the paper will help us to handle familiar paradoxes within classical logic; along the way, I hope to shed some light on what classical logic might be for. (shrink)

Understandably absorbed in technical details, discussion of the semantic paradoxes risks losing sight of broad methodological principles. This chapter sketches a general approach to the comparison of rival logics, and applies it to argue that revision of classical propositional logic has much higher costs than its proponents typically recognize.

Consider an object or property a and the predicate F. Then a is vague if there are questions of the form: Is a F? that have no yes-or-no answers. In brief, vague properties and kinds have borderline instances and composite objects have borderline constituents. I'll use the expression "borderline cases" as a covering term for both. ;Having borderline cases is compatible with precision so long as every case is either borderline F, determinately F or determinately not F. Thus, in addition (...) to borderline cases, vagueness requires "fuzzy borders". A has fuzzy borders if there is no sharp line between a's borderline cases, a's determinate cases and a's determinate non-cases. To illustrate, loudness is vague because in a continuum of gradually increasing volume, there is no fact about where the last definite loud noise is and where the first borderline noise is. ;Actual borderline cases are not required for vagueness. Suppose actual noises are either ear-shatteringly loud or silent. Even so, loudness is vague since it could have borderline instances. Just so for objects. Suppose a table is cleanly bounded such that there is a sharp break between the table and its surroundings. Still, that table is vague since there are worlds at which it is indeterminate whether some wood molecule a is, or is not, part of that table. ;There are three views about which things can be vague. On the linguistic view, vagueness is solely a feature of expressions. On the nihilistic view, nothing is vague because vagueness is incoherent. Pitted against these views is the ontological conception of vagueness according to which borderline instances and constituents arise due to genuine indeterminacy in nature. ;My dissertation defends the ontological conception. I argue against the adequacy of the theory's rivals, disarm a damaging objection and demonstrate the causal superiority of vague events. Anyone familiar with the literature on vagueness will notice that only a subset of issues are discussed. What I offer is preliminary--I hope only to make the theory of ontological vagueness attractive enough to merit future work. (shrink)

Such contradictions arise “at the limits of thought” in the following sense: we have reason to set boundaries to certain conceptual processes, which, however, turn out to actually cross those boundaries. The boundaries cannot be crossed, yet they can, for they are crossed. For example, Kant regarded noumena as beyond the limit of the conceivable, yet he made judgments about them, so he did conceive of them. For another example, Russell’s theory of types cannot be expressed, yet he does express (...) it. And so on, from Aristotle’s notion of prime matter to Derrida’s différance. The boundaries that cannot be but are crossed may concern iteration, expression, cognition, or conception. In most cases, a single argument pattern is operative, according to Priest. He calls it the Inclosure Schema [=IS]. It is a contradiction-generating mechanism that works as follows: suppose we define a set Ω, on the basis of a condition φ ); suppose that Ω exists and that it has property ψ. Next, suppose we can define a function δ such that, for any subset x of Ω that has property ψ, we have both δ ∉ x and δ ∈ Ω. As Ω is a subset of itself and it has ψ by hypothesis, a contradiction follows: both δ ∈ Ω and δ ∉ Ω. The two sides of the contradiction—or perhaps the operations by which they are established—are called Closure and Transcendence. ). For example, take Burali Forti’s paradox that is greater than all members of On, and therefore not an ordinal). Here Ω = On, and δ is the function that assigns to x the least ordinal greater than all members of x is both an ordinal—δ ∈ Ω, “Closure”—and not a member of x ). The condition φ is just the property of being an ordinal. (shrink)

The doctrine that whatever could exist does exist leads to a proliferation of possibly concrete objects given certain principles of recombination. If, for example, there could have been a large infinite number of concrete objects, then there is at least the same number of possibly concrete objects in existence. And further cardinality considerations point to a tension between the preceding doctrine and the Cantorian conception of the absolutely infinite. This paper develops a parallel problem for a variety of possible worlds (...) accounts of modality which eschew the commitment to a plethora of possibly concrete objects. Moreover, the difficulty is importantly different from more familiar threats of paradox exemplified by certain descendants of Russell's paradox of propositions and Kaplan's paradox. (shrink)

In this paper, I consider the connection between consequence relations and closure operations. I argue that one familiar connection makes good sense of some usual applications of consequence relations, and that a largeish family of familiar noncontractive consequence relations cannot respect this familiar connection.

This paper explores the development of mathematics on a quantum logical base when mathematical postulates are taken as necessary truths. First it is shown that first-order Peano arithmetic formulated with quantum logic has the same theorems as classical first-order Peano arithmetic. Distribution for first-order arithmetical formulas is a theorem not of quantum logic but rather of arithmetic. Second, it is shown that distribution fails for second-order Peano arithmetic without extensionality. Third, it is shown that distribution holds for second-order Peano arithmetic (...) (second-order quantum logic) with extensionality. Some remarks about extensions to quantum set theory are made. (shrink)

We investigate axiomatizations of Kripke's theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman's axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke's semantics in the straightforward sense: only the sentences that can be proved to be true in KF are valid in Kripke's partial models. Reinhardt proposed to focus just on the sentences that can be proved to be true in (...) KF and conjectured that the detour through classical logic in KF is dispensable. We refute Reinhardt's Conjecture, and provide a direct axiomatization PKF of Kripke's theory in partial logic. We argue that any natural axiomatization of Kripke's theory in Strong Kleene logic has the same proof-theoretic strength as PKF, namely the strength of the system RA< ωω ramified analysis or a system of Tarskian ramified truth up to ωω. Thus any such axiomatization is much weaker than Feferman's axiomatization KF in classical logic, which is equivalent to the system RA<ε₀ of ramified analysis up to ε₀. (shrink)

This paper is a tribute to Delia Graff Fara. It extends her work on failures of meta-rules for validity as truth-preservation under a supervaluationist identification of truth with supertruth. She showed that such failures occur even in languages without special vagueness-related operators, for standards of deductive reasoning as materially rather than purely logically good, depending on a context-dependent background. This paper extends her argument to: quantifier meta-rules like existential elimination; ambiguity; deliberately vague standard mathematical notation. Supervaluationist attempts to qualify the (...) meta-rules impose unreasonable cognitive demands on reasoning and underestimate her challenge. (shrink)