|Abstract||Denial Logic DL, a system of justification logic, is the logic of an agent whose justified beliefs are false, who cannot avow his own propositional attitudes or believe tautologies, but who can believe contradictions. Using Artemov's natural semantics for justification logic JL, in which justifications are interpreted as sets of formulas, we provide an inductive construction of models of DL, and show that DL is sound and complete. Some notions developed for JL, such as constant specifications and the internalization property, are inconsistent with DL. In contrast, we define negative constant specifications, which can be used in DL to model agents with justified false beliefs. Denial logic can therefore be relevant to philosophical skepticism. We define coherent negative constant specifications for DL to model a Putnamian brain in a vat with the justified false belief that it is not a brain in a vat, and prove a "Blue Pill" theorem, which produces a model of JL in which "I am a brain in a vat" is false. We extend DL to the algebraic fibring of Denial Logic with the Logic of Proofs to model envatted brains who can justify and check tautologies and who can avow their propositional attitudes. Denial Logic was inspired by online debates over anthropogenic global warming.|
|Keywords||justification logic brain in a vat skepticism Putnam denial logic|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Mark Sprevak & Christina McLeish (2004). Magic, Semantics, and Putnam's Vat Brains. Studies in History and Philosophy of Science Part C 35 (2):227-236.
Alessandro Giordani (2013). A Logic of Justification and Truthmaking. The Review of Symbolic Logic:1-20.
Timothy Williamson (1988). Assertion, Denial and Some Cancellation Rules in Modal Logic. Journal of Philosophical Logic 17 (3):299--318.
Bryan Frances (2008). Live Skeptical Hypotheses. In John Greco (ed.), Oxford Handbook of Skepticism. Oxford.
Colin Oakes (1999). Interpretations of Intuitionist Logic in Non-Normal Modal Logics. Journal of Philosophical Logic 28 (1):47-60.
D. C. Stove (1986). The Rationality of Induction. Oxford University Press.
C. J. Van Alten (2005). The Finite Model Property for Knotted Extensions of Propositional Linear Logic. Journal of Symbolic Logic 70 (1):84 - 98.
John P. Burgess (2009). Philosophical Logic. Princeton University Press.
Marian David (1991). Neither Mentioning 'Brains in a Vat' nor Mentioning Brains in a Vat Will Prove That We Are Not Brains in a Vat. Philosophy and Phenomenological Research 51 (4):891-896.
Anthony Brueckner (1992). If I Am a Brain in a Vat, Then I Am Not a Brain in a Vat. Mind 101 (401):123-128.
Philip Kremer (1997). On the Complexity of Propositional Quantification in Intuitionistic Logic. Journal of Symbolic Logic 62 (2):529-544.
Added to index2012-03-05
Total downloads3 ( #202,008 of 549,122 )
Recent downloads (6 months)1 ( #63,361 of 549,122 )
How can I increase my downloads?