Heinrich Wansing Dresden University of Technology The knowability paradox is an instance of a remarkable reasoning pattern (actually, a pair of such patterns), in the course of which an occurrence of the possibility operator, the diamond, disappears. In the present paper, it is pointed out how the unwanted disappearance of the diamond may be escaped. The emphasis is not laid on a discussion of the contentious premise of the knowability paradox, namely that all truths are possibly known, but on how from this assumption the conclusion is derived that all truths are, in fact, known. Nevertheless, the solution o#ered is in the spirit of the constructivist attitude usually maintained by defenders of the anti-realist premise. In order to avoid the paradoxical reasoning, a paraconsistent constructive relevant modal epistemic logic with strong negation is defined semantically. The system is axiomatized and shown to be complete.

First, some reminiscences. In the years 1973-80, when I was an undergraduate and then graduate student at Oxford, Michael Dummett’s formidable and creative philosophical presence made his arguments impossible to ignore. In consequence, one pole of discussion was always a form of anti-realism. It endorsed something like the replacement of truth-conditional semantics by verification-conditional semantics and of classical logic by intuitionistic logic, and the principle that all truths are knowable. It did not endorse the principle that all truths are known. Nor did it mention the now celebrated argument, first published by Frederic Fitch (1963), that if all truths are knowable then all truths are known. Even in 1970s Oxford, intuitionistic anti-realism was a strictly minority view, but many others regarded it as a live theoretical option in a way that now seems very distant. As the extreme verificationist commitments of the view have combined with accumulating decades of failure to reply convincingly to criticisms of the arguments in its favour or to carry out the programme of generalizing intuitionistic semantics for 1 mathematics to empirical discourse, even in toy examples, the impression has been

philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. Usually, this theory is presented in an informal manner. In this thesis, I take first steps in formalizing it, and use the formalization to present some considerations in favor of two-dimensional semantics. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of two-dimensional semantics. I use this to show that some criticisms of twodimensional semantics that claim that the theory is incoherent are not justified. I also axiomatize the logic, and compare it to the most important proposals in the literature that define similar logics. To indicate that two-dimensional semantics is a plausible semantic theory, I give an argument that shows that all theorems of the logic can be philosophically justified independently of two-dimensional semantics. Acknowledgements I thank my supervisors Paul Dekker and Yde Venema for their help and encouragement