The paper offers a solution to the semantic paradoxes, one in which (1) we keep the unrestricted truth schema “True(A)↔A”, and (2) the object language can include its own metalanguage. Because of the first feature, classical logic must be restricted, but full classical reasoning applies in “ordinary” contexts, including standard set theory. The more general logic that replaces classical logic includes a principle of substitutivity of equivalents, which with the truth schema leads to the general intersubstitutivity of True(A) with A (...) within the language.The logic is also shown to have the resources required to represent the way in which sentences (like the Liar sentence and the Curry sentence) that lead to paradox in classical logic are “defective”. We can in fact define a hierarchy of “defectiveness” predicates within the language. Contrary to claims that any solution to the paradoxes just breeds further paradoxes (“revenge problems”) involving defectiveness predicates, there is a general consistency/conservativeness proof that shows that talk of truth and the various “levels of defectiveness” can all be made coherent together within a single object language. (shrink)

Theories where truth is a naive concept fall under the following dilemma: either the theory is subject to Curry’s Paradox, which engenders triviality, or the theory is not trivial but the resulting conditional is too weak. In this paper we explore a number of theories which arguably do not fall under this dilemma. In these theories the conditional is characterized in terms of non-deterministic matrices. These non-deterministic theories are similar to infinitely-valued Łukasiewicz logic in that they are consistent and their (...) conditionals are quite strong. The difference is the following: while Łukasiewicz logic is \-inconsistent, the non-deterministic theories might turn out to be \-consistent. (shrink)

In this paper we consider the modal logic with both $$\Box $$ and $$\Diamond $$ arising from Kripke models with a crisp accessibility and whose propositions are valued over the standard Gödel algebra $$[0,1]_G$$. We provide an axiomatic system extending the one from Caicedo and Rodriguez (J Logic Comput 25(1):37–55, 2015) for models with a valued accessibility with Dunn axiom from positive modal logics, and show it is strongly complete with respect to the intended semantics. The axiomatizations of the most (...) usual frame restrictions are given too. We also prove that in the studied logic it is not possible to get $$\Diamond $$ as an abbreviation of $$\Box $$, nor vice-versa, showing that indeed the axiomatic system we present does not coincide with any of the mono-modal fragments previously axiomatized in the literature. (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)