Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Original Paper

Reference and perspective in intuitionistic logics

John NoltContact Information

(1)  Philosophy Department, University of Tennessee, 801 McClung Tower, Knoxville, TN 37996-0480, USA

Received: 3 April 2006  Accepted: 26 July 2006  Published online: 2 November 2006

Abstract  What an intuitionist may refer to with respect to a given epistemic state depends not only on that epistemic state itself but on whether it is viewed concurrently from within, in the hindsight of some later state, or ideally from a standpoint “beyond” all epistemic states (though the latter perspective is no longer strictly intuitionistic). Each of these three perspectives has a different—and, in the last two cases, a novel—logic and semantics. This paper explains these logics and their semantics and provides soundness and completeness proofs. It provides, moreover, a critique of some common versions of Kripke semantics for intuitionistic logic and suggests ways of modifying them to take account of the perspective-relativity of reference.

Keywords  Intuitionistic logic - Intuitionism - Constructivism - Reference - Kripke semantics


Contact Information John Nolt
Email: nolt@utk.edu
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this article
Export this article as RIS | Text
 
Referenced by
1 newer article

  1. Nolt, John (2007) TRUTH AS AN EPISTEMIC IDEAL. Journal of Philosophical Logic
    [CrossRef]
Remote Address: 38.107.191.114 • Server: mpweb03
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)