Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”—making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to express, without begging questions, the disagreement between dialetheists and their rivals on the nature of truth. Third, dialetheism has an operator allowing it, against the opinion of many critics, to rule things out and manifest disagreement: for unlike other proposed exclusion-expressing-devices (for instance, the entailment of triviality), the operator used to formulate the notion of absolute contradiction appears to be immune both from crippling expressive limitations and from revenge paradoxes—pending a rigorous nontriviality proof for a formal dialetheic theory including it.

A commonly used dynamic epistemic logic is one obtained by adding commonknowledge and public announcements to a basic epistemic logic. It is known from Kooi (2007) that adding public substitutions to such a logic adds expressivity over the class K of models. Here I show that substitutions also add expressivity over the classes KD45, S4 and S5 of models. Since the combination of common knowledge, public announcements and substitutions, was shown in Kooi (2007) to be equally expressive to relativized common knowledge these results also show that relativized common knowledge is more expressive than common knowledge and public announcements over KD45, S4 and S5. These results therefore extend the result from van Benthem et al. (2006) that shows that relativized common knowledge is more expressive than common knowledge and public announcements over K.

This paper outlines a second-philosophical account of arithmetic that places it on a distinctive ground between those of logic and set theory.

In this investigation we explore a general strategy for constructing modal theories where the modal notion is conceived as a predicate. The idea of this strategy is to develop modal theories over axiomatic theories of truth. In this first paper of our two part investigation we develop the general strategy and then apply it to the axiomatic theory of truth Friedman-Sheard. We thereby obtain the theory Modal Friedman-Sheard. The theory Modal Friedman-Sheard is then discussed from three different perspectives. First, we show that Modal Friedman-Sheard preserves theoremhood modulo translation with respect to modal operator logic. Second, we turn to semantic aspects and develop a modal semantics for the newly developed theory. Third, we investigate whether the modal predicate of Modal Friedman-Sheard can be understood along the lines of a proposal of Kripke, namely as a truth predicate modified by a modal operator.

In this second and last paper of the two part investigation on “Modality and Axiomatic Theories of Truth” we apply a general strategy for constructing modal theories over axiomatic theories of truth to the theory Kripke-Feferman. This general strategy was developed in the first part of our investigation. Applying the strategy to Kripke-Feferman leads to the theory Modal Kripke-Feferman which we discuss from the three perspectives that we had already considered in the first paper, where we discussed the theory Modal Friedman-Sheard. That is, we first show that Modal Kripke-Feferman preserves theoremhood modulo translation with respect to modal operator logic. Second, we develop a modal semantics fitting the newly developed theory. Third, we investigate whether the modal predicate of Modal Kripke-Feferman can be understood along the lines of a proposal of Kripke, namely as a truth predicate modified by a modal operator.

In this paper, we investigate the phenomenon of speed-up in the context of theories of truth. We focus on axiomatic theories of truth extending Peano arithmetic. We are particularly interested on whether conservative extensions of PA have speed-up and on how this relates to a deflationist account. We show that disquotational theories have no significant speed-up, in contrast to some compositional theories, and we briefly assess the philosophical implications of these results.

We give some negative results on the expressiveness of naïve set theory (NS) in LP and in the four variants of minimally inconsistent LP defined in Crabbé (2011): ${\rm{L}}{{\rm{P}}_m},{\rm{L}}{{\rm{P}}_ = },{\rm{L}}{{\rm{P}}_ \subseteq }$, and ${\rm{L}}{{\rm{P}}_ \supseteq }$. We show that NS in LP cannot prove the existence of sets that behave like singleton sets, Cartesian pairs, or infinitely ascending linear orders. We show that NS is close to trivial in ${\rm{L}}{{\rm{P}}_m}$ and ${\rm{L}}{{\rm{P}}_ \subseteq }$, in the sense that its only minimally inconsistent model is a one-element model. We show that NS in ${\rm{L}}{{\rm{P}}_ = }$ and ${\rm{L}}{{\rm{P}}_ \supseteq }$ has the same limitations we give for NS in LP.

A unified answer is offered to two distinct fundamental questions: whether a nonclassical solution to the semantic paradoxes should be extended to other apparently similar paradoxes (in particular, to the paradoxes of logical properties) and whether a nonclassical logic should be expressed in a nonclassical metalanguage. The paper starts by reviewing a budget of paradoxes involving the logical properties of validity, inconsistency, and compatibility. The author’s favored substructural approach to naive truth is then presented and it is explained how that approach can be extended in a very natural way so as to solve a certain paradox of validity. However, three individually decisive reasons are later provided for thinking that no approach adopting a classical metalanguage can adequately account for all the features involved in the paradoxes of logical properties. Consequently, the paper undertakes the task to do better, and, building on the system already developed, introduces a theory in a nonclassical metalanguage that expresses an adequate logic of naive truth and of some naive logical properties.