Journal of Logic, Language and Information 16 (1):91-115 (2006)
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|
|Categories||categorize this paper)|
References found in this work BETA
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.
Intuitionistic Logic, Model Theory and Forcing.Melvin Fitting - 1969 - Amsterdam: North-Holland Pub. Co..
The Foundations of Intuitionistic Mathematics.Stephen Cole Kleene - 1965 - Amsterdam: North-Holland Pub. Co..
Citations of this work BETA
Similar books and articles
A Free IPC is a Natural Logic: Strong Completeness for Some Intuitionistic Free Logics.Carl J. Posy - 1982 - Topoi 1 (1-2):30-43.
Cut-Free Tableau Calculi for Some Intuitionistic Modal Logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Models for Stronger Normal Intuitionistic Modal Logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics.Nobu-Yuki Suzuki - 1999 - Studia Logica 63 (3):387-416.
Some Results on the Kripke Sheaf Semantics for Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
Glivenko Type Theorems for Intuitionistic Modal Logics.Guram Bezhanishvili - 2001 - Studia Logica 67 (1):89-109.
Added to index2009-01-28
Total downloads19 ( #258,613 of 2,169,146 )
Recent downloads (6 months)1 ( #345,568 of 2,169,146 )
How can I increase my downloads?