Citations of:
Epistemic Multilateral Logic
Review of Symbolic Logic:144 (forthcoming)
Add citations
You must login to add citations.


This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are dual. I examine, in particular, the virtues unique to the modal expressivist approach here proffered in the setting of (...) 

Many classically valid metainferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical metainferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truthvalue as licensing rejection and weak assertion. Moreover, the proof system respects wellknown criteria for the admissibility of inference rules. Thus, supervaluationists (...) 