Intuitionistic epistemic logic, Kripke models and Fitch's paradox
Författare
Summary, in English
The present work is motivated by two questions.
(1) What should an intuitionistic epistemic logic look like? (2) How should one interpret the knowledge operator in a Kripke-model for it?
In what follows we outline an answer to (2) and give a model-theoretic definition of the operator $K$. This will shed some light also on (1), since it turns out that $K$, defined as we do, fulfills the properties of a necessity operator for a normal modal logic.
The interest of our construction also lies in a better insight into the intuitionistic solution to Fitch's paradox, which is discussed in the third section. In particular we examine, in the light of our definition, DeVidi and Solomon's proposal of formulating the verification thesis as $\phi \rightarrow \neg \neg K\phi$. We show, as our main result, that this definition excapes the paradox, though it is validated only under restrictive conditions on the models.
(1) What should an intuitionistic epistemic logic look like? (2) How should one interpret the knowledge operator in a Kripke-model for it?
In what follows we outline an answer to (2) and give a model-theoretic definition of the operator $K$. This will shed some light also on (1), since it turns out that $K$, defined as we do, fulfills the properties of a necessity operator for a normal modal logic.
The interest of our construction also lies in a better insight into the intuitionistic solution to Fitch's paradox, which is discussed in the third section. In particular we examine, in the light of our definition, DeVidi and Solomon's proposal of formulating the verification thesis as $\phi \rightarrow \neg \neg K\phi$. We show, as our main result, that this definition excapes the paradox, though it is validated only under restrictive conditions on the models.
Avdelning/ar
Publiceringsår
2012
Språk
Engelska
Sidor
877-900
Publikation/Tidskrift/Serie
Journal of Philosophical Logic
Volym
41
Issue
5
Dokumenttyp
Artikel i tidskrift
Förlag
Springer
Ämne
- Philosophy
Nyckelord
- Epistemic logic
- Intuitionistic logic
- Fitch's paradox
- Kripke models
Status
Published
ISBN/ISSN/Övrigt
- ISSN: 0022-3611