Non‐classical logicians do not typically reject classically valid logical principles across the board. In fact, they sometimes suggest that their preferred logic recovers classical reasoning in most circumstances. This idea has come to be known in the literature as ‘classical recapture’. Recently, classical logicians have raised various doubts about it. The main problem is said to be that no rigorous explanation has been given of how is it exactly that classical logic can be recovered. The goal of the paper is (...) to address this problem. First, I discuss a number of different ways to characterize the idea of classical recapture and I examine how far it can be pushed. Secondly, I argue that a palatable form of classical recapture is given by the thought that classical logic can be retained for statements that are grounded (in Kripke’s sense). To substantiate this view I provide a formal fixed‐point semantics for a language containing a predicate standing for the concept of groundedness and I address a couple of objections that have been deployed against the claim that classical recapture can aid the non‐classical logician’s cause. (shrink)

Saul Kripke’s theory of truth suffers from expressive limitations – in particular, there are no extensional operators within that framework that allow one to characterize those sentences that fail to receive a truth value within the framework. Especially worrisome is the fact that there is no operator that outputs true on exactly the paradoxical sentences. In this paper I extend Kripke’s approach via the addition of extensional operators, which allows us to characterize many (but not all) such sentences, including the (...) paradoxical ones. (shrink)

The Embracing Revenge account of semantic paradox avoids the expressive limitations of previous approaches based on the Kripkean fixed point construction by replacing a single language with an indefinitely extensible sequence of languages, each of which contains the resources to fully characterize the semantics of the previous languages. In this paper we extend the account developed in Cook (2008), Cook (2009), Schlenker (2010), and Tourville and Cook (2016) via the addition of intensional operators such as ``is paradoxical''. In this extended (...) framework we are able to characterize the difference between sentences, such as the Liar and the Truth-teller, that receive the same semantic value in minimal fixed points yet seem to involve distinct semantic phenomena. (shrink)

The Revenge Problem threatens every approach to the semantic paradoxes that proceeds by introducing nonclassical semantic values. Given any such collection Δ of additional semantic values, one can construct a Revenge sentence:This sentence is either false or has a value in Δ.TheEmbracing Revengeview, developed independently by Roy T. Cook and Phlippe Schlenker, addresses this problem by suggesting that the class of nonclassical semantic values is indefinitely extensible, with each successive Revenge sentence introducing a new ‘pathological’ semantic value into the discourse. (...) The view is explicitly motivated in terms of the idea that every notion thatseemsto be expressible should, if at all possible,beexpressible. Extant work on the Embracing Revenge view has failed to live up to this promise, since the formal languages developed within such work are expressively impoverished. We rectify this here by developing a much richer formal language, and semantics for that language, and we then prove an extremely powerful expressive completeness result for the system in question. (shrink)

It is not uncommon among theorists favoring a deviant logic on account of the semantic paradoxes to subscribe to an idea that has come to be known as ‘classical recapture’. The main thought underpinning it is that non-classical logicians are justified in endorsing many instances of the classically valid principles that they reject. Classical recapture promises to yield an appealing pair of views: one can attain naivety for semantic concepts while retaining classicality in ordinary domains such as mathematics. However, Julien (...) Murzi and Lorenzo Rossi have recently suggested that revisionary approaches to truth breed revenge paradoxes when they are coupled with the thought that classical reasoning can be recaptured in certain circumstances. What’s novel about the paradoxes they put forward is that they cannot be dismissed so easily. The concepts used to generate these paradoxes—those of paradoxicality and unparadoxicality—are concepts that non-classical theorists need in order to offer a diagnosis of the truth-theoretic paradoxes. My goal in this paper is to argue that non-classical theorists can represent the concept of paradoxicality without falling prey to revenge paradoxes. In particular, I will show how to provide a formal fixed-point semantics for a language extended with a paradoxicality predicate that adequately expresses the non-classical logician’s notion of paradoxicality. (shrink)

We expand on the fixed point semantic approach of Kripke via the addition of two unary intensional operators: a paradoxicality operator Π where Π(Φ) is true at a fixed point if and only if Φ is paradoxical (i.e., if and only if Φ receives the third, non-classical value on all fixed points that extend the current fixed point), and an unbounded truth operator Υ⊤ where Υ⊤(Φ) is true at a fixed point if and only if any fixed point extending the (...) current fixed point can be extended to one on which Φ receives the value true. We prove a generalized version of Kripke’s fixed point theorem guaranteeing the existence of models of this new language, as well as an expressive completeness result. We conclude with an exploration of the significant improvements in expressive power that result from the addition of these new operators, and we precisely identify what still cannot be said on this intensional extension of the Kripkean framework. (shrink)