This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An (...) overview over various ways to formulate Leibniz’s law in non-classical logics and two new triviality proofs for naïve set theory are also provided. (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.

Revenge arguments purport to show that any proposed solution to the semantic paradoxes generates new paradoxes that prove that solution to be inadequate. In this paper, I focus on revenge arguments that employ the model-theoretic semantics of a target theory and I argue, contra the current revenge-theoretic wisdom, that they can constitute genuine expressive limitations. I consider the anti-revenge strategy elaborated by Field and argue that it does not offer a way out of the revenge problem. More generally, I argue (...) that the difference between ‘standard’ and ‘revenge’ paradoxes is ill-conceived and should be abandoned. This will contribute to show that the theories that provide a uniform account of truth and other semantic notions are the ones best equipped to avoid the paradoxes altogether—‘standard’ and ‘revenge’ alike. (shrink)

ABSTRACT Section 1 discusses properties and propositions, and some of the motivation for an account in which property instantiation and propositional truth behave ‘naively’. Section 2 generalizes a standard Kripke construction for naive properties and propositions, in a language with modal operators but no conditionals. Whereas Kripke uses a 3-valued value space, the generalized account allows for a broad array of value spaces, including the unit interval [0,1]. This is put to use in Section 3, where I add to the (...) language a conditional suitable for restricting quantification. The shift from a value space based on the ‘mini-space’ {0,, 1} to one based on the ‘mini-space’ [0,1] leads to more satisfactory results than I was able to achieve in previous work: a vast variety of paradoxical sentences can now be treated very simply. In Section 4 I make a further addition to the language, a conditional modeled on the ordinary English conditional, paying particular attention to how it interacts with the restricted quantifier conditional. This is all done in the [0,1] framework, and two alternatives are considered for how the ordinary conditional is to be handled; one of them results from adding a tweak to a construction by Ross Brady. Section 5 discusses a further alternative, a standard relevance conditional (for the ordinary conditional, perhaps for use with a different quantifier-restricting conditional), but argues that it is not promising. Section 6 discusses the identity conditions of properties and propositions (again in the setting of a value space based on [0,1]); the issue of achieving naivety for coarse-grained properties is seen to be more complicated than some brief remarks in Field [2010] suggested, but a way to get a fair degree of coarse-grainedness is shown. (shrink)

In a recent series of papers, I and others have advanced new logical approaches to familiar paradoxes. The key to these approaches is to accept full classical logic, and to accept the principles that cause paradox, while preventing trouble by allowing a certain sort ofnontransitivity. Earlier papers have treated paradoxes of truth and vagueness. The present paper will begin to extend the approach to deal with the familiar paradoxes arising in naive set theory, pointing out some of the promises and (...) pitfalls of such an approach. (shrink)

We show that there is a simple derivation of triviality with very few assumptions involving the formula that the negated conditional entails the antecedent of the conditional.

ABSTRACT In ‘Properties, Propositions, and Conditionals’ Field [2021] advances further on our understanding of the logic and meaning of naive theories – theories that maintain, in the face of paradox, basic assumptions about properties and propositions. His work follows in a tradition going back over 40 years now, of using Kripke fixed-point model constructions to show how naive schemas can be (Post) consistent, as long as one embeds in a non-classical logic. A main issue in all this research is the (...) question of finding a suitable conditional for the naive schemas, an implication connective that is well-behaved enough to be useful but weak enough to maintain coherence when there are paradoxes in the surrounding aether. Field takes several cues from the exemplary work of Ross Brady. Brady's work is predominantly concerned with models for naive theories in relevant logic. Field's considered view is that ‘relevant conditionals are just the wrong tool for naive theories’ [ibid.: 140]. In this note, I reply that a relevant conditional is an indispensable tool for at least one very important job: giving identity conditions for properties. (shrink)