首页 | 本学科首页   官方微博 | 高级检索  
     


Reference and perspective in intuitionistic logics
Authors:John Nolt
Affiliation:(1) Philosophy Department, University of Tennessee, 801 McClung Tower, Knoxville, TN 37996-0480, USA
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
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号