Since Saul Kripke’s influential work in the 1970s, the revisionary approach to semantic paradox—the idea that semantic paradoxes must be solved by weakening classical logic—has been increasingly popular. In this paper, we present a new revenge argument to the effect that the main revisionary approaches breed new paradoxes that they are unable to block.

This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by Cooper (1968) and Belnap (1973) and it yields two logics of conditional reasoning: (i) a logic C of certainty-preserving inference; and (ii) a logic U for uncertain reasoning that preserves the probability of the premises. We show systematic correspondences between trivalent and probabilistic representations of inferences in either framework, and we use (...) the distinction between the two systems to cast light on the validity of inferences such as Modus Ponens, Or-To-If, and Conditional Excluded Middle. Specifically, the conditional behaves monotonically in C, but non-monotonically in U; Modus Ponens is valid in C, but valid in U only for non-nested conditionals. The result is a unified account of the semantics and epistemology of indicative conditionals that can be fruitfully applied to analyzing the validity of conditional inferences. (shrink)

This paper presents a unified theory of the truth conditions and probability of indicative conditionals and their compounds in a trivalent framework. The semantics validates a Reduction Theorem: any compound of conditionals is semantically equivalent to a simple conditional. This allows us to validate Stalnaker's Thesis in full generality and to use Adams's notion of $p$-validity as a criterion for valid inference. Finally, this gives us an elegant account of Bayesian update with indicative conditionals, establishing that despite differences in meaning, (...) it is tantamount to learning a material conditional. (shrink)

This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is true. The validity predicate (...) so defined significantly increases our expressive resources and provides a coherent formal treatment of paradoxical arguments. (shrink)

According to alethic pluralism, there is more than one way of being true: truth is not unique, in that there is a plurality of truth properties, each of which pertains to a specific domain of discourse. This paper shows how such a plurality can be represented in a coherent formal framework by means of a Kripke-style construction that yields intuitively correct extensions for distinct truth predicates. The theory of truth we develop can handle at least three crucial problems that have (...) been raised in connection with alethic pluralism: mixed compounds, mixed inferences, and semantic paradoxes. (shrink)

This paper extends a trivalent semantics for indicative conditionals to a language including the modal operators "might" and "must". Specifically, we combine Cooper's (1968) truth-functional, trivalent analysis of the conditional connective with Kratzer's (1986, 2012) idea that if-clauses restrict modal operators. By hard-wiring both trivalence and the restriction operation into the truth conditions of conditional-modal expressions, we obtain an attractive theory that yields plausible predictions for the interaction of conditionals and modals, explains the intuitive appeal of the Restrictor View and (...) avoids the typical problems of Kratzer-style accounts, especially regarding the probability of conditional-modal expressions. (shrink)

Beall and Murzi :143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules. As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field :1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The aim of this paper (...) is to respond to Field’s objections and to point to a coherent notion of validity which underwrites a coherent reading of Beall and Murzi’s principles: grounded validity. The notion, first introduced by Nicolai and Rossi, is a generalisation of Kripke’s notion of grounded truth, and yields an irreflexive logic. While we do not advocate the adoption of a substructural logic, we take the notion of naïve validity to be a legitimate semantic notion that points to genuine expressive limitations of fully structural revisionary approaches. (shrink)

This paper provides a new framework for formalizing conditional obligations in natural language: it pairs a unary deontic operator with trivalent semantics for the indicative conditional and Kratzer's idea that the antecedents of conditionals restrict the scope of modals in the consequent. Combining these three ideas, we obtain a fully compositional theory of "if" and "ought'" that validates plausible principles for deontic reasoning. Moreover, it resolves classical challenges such as the "if A then ought A" problem, the paradox of the (...) miners and the modeling of contrary-to-duty obligations (e.g., Chisholm's quartet). All in all, our proposal is attractive from a logical point of view and squares well with general theories of natural language reasoning. (shrink)