INTUITIONISTIC EPISTEMIC LOGIC
From MaRDI portal
Abstract: We outline an intuitionistic view of knowledge which maintains the original Brou-wer-Heyting-Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of verification. We argue that on this view co-reflection is valid and the factivity of knowledge holds in the form `known propositions cannot be false'. We show that the traditional form of factivity is a distinctly classical principle which, like {it tertium non datur} , does not hold intuitionistically, but, along with the whole of classical epistemic logic, is intuitionistically valid in its double negation form . Within the intuitionistic epistemic framework the knowability paradox is resolved in a constructive manner. We argue that this paradox is the result of an unwarranted classical reading of constructive principles and as such does not have the consequences for constructive foundations traditionally attributed it.
Recommendations
- Intuitionistic logic as epistemic logic
- scientific article; zbMATH DE number 51606
- An intensional epistemic logic
- First-order intuitionistic epistemic logic
- Intuitionistic autoepistemic logic
- On intuitionistic modal epistemic logic
- Intuitionistic epistemology and modal logics of verification
- scientific article; zbMATH DE number 1749194
- scientific article; zbMATH DE number 2101970
- Epistemic semantics for classical and intuitionistic logic
Cites work
- A logical analysis of some value concepts
- An arithmetical interpretation of verification and intuitionistic knowledge
- Constructivism in mathematics. An introduction. Volume I
- Explicit provability and constructive semantics
- Handbook of philosophical logic. Vol. 8
- Handbook of proof theory
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3747104 (Why is no real title available?)
- scientific article; zbMATH DE number 3557754 (Why is no real title available?)
- scientific article; zbMATH DE number 1281125 (Why is no real title available?)
- scientific article; zbMATH DE number 3232730 (Why is no real title available?)
- Intuitionistic epistemic logic, Kripke models and Fitch's paradox
- Intuitionistic epistemology and modal logics of verification
- Many-dimensional modal logics: theory and applications
- Meaning approached via proofs
- Models for normal intuitionistic modal logics
- New essays on the knowability paradox.
- Sequent Calculus for Intuitionistic Epistemic Logic IEL
- Solution of a problem of Leon Henkin
- The justification of the logical laws revisited
- The logic of justification
- Towards a semantics based on the notion of justification
- Validity concepts in proof-theoretic semantics
- Verificationists versus realists: The battle over knowability
Cited in
(50)- Reference and perspective in intuitionistic logics
- Intuitionistic truth
- On intuitionistic modal epistemic logic
- Empirical logics
- Reasoning about proof and knowledge
- Lewis meets Brouwer: constructive strict implication
- Constructive knowledge and the justified true belief paradigm
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
- Persistence and minimality in epistemic logic
- Implicit and explicit stances in logic
- Curry-Howard-Lambek correspondence for intuitionistic belief
- Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
- On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge
- Constructive and mechanised meta-theory of intuitionistic epistemic logic
- Manifestability and epistemic truth
- Admissible rules for six intuitionistic modal logics
- Topological models of propositional logic of problems and propositions
- Combining Epistemic Logic and Hennessy-Milner Logic
- Moorean phenomena in epistemic logic
- Kripke semantics for the logic of problems and propositions
- scientific article; zbMATH DE number 3891353 (Why is no real title available?)
- Intuitionistic epistemology and modal logics of verification
- Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
- scientific article; zbMATH DE number 51606 (Why is no real title available?)
- Infinitary S5‐Epistemic Logic
- Intuitionism and the liar paradox
- Epistemic extensions of combined classical and intuitionistic propositional logic
- scientific article; zbMATH DE number 7585721 (Why is no real title available?)
- An arithmetic interpretation of intuitionistic verification
- scientific article; zbMATH DE number 7204446 (Why is no real title available?)
- Sequent Calculus for Intuitionistic Epistemic Logic IEL
- An arithmetical interpretation of verification and intuitionistic knowledge
- scientific article; zbMATH DE number 5180967 (Why is no real title available?)
- Access-based intuitionistic knowledge
- The Paradox of Knowability from an Intuitionistic Standpoint
- Intuitionistic logic as epistemic logic
- Deriving dualities in pointfree topology from Priestley duality
- Reflections on Orlov
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
- Cardinality reduction theorem for logics QHC and QH4
- Linear depth deduction with subformula property for intuitionistic epistemic logic
- Altenatives to Kripke semantics for epistemic logic
- Bitopological models of intuitionistic epistemic logic
- Logics for knowability paradox with a non-normal possibility operator
- Intuitionistic epistemic logic, Kripke models and Fitch's paradox
- Chair of Mathematical Logic and Theory of Algorithms
- Multi-succedent sequent calculus for intuitionistic epistemic logic
- Intuitionistic epistemic logic with two modal operators
- Stable canonical rules for intuitionistic modal logics
- Intuitionistic epistemic logic from the point of view of classical logic
This page was built for publication: INTUITIONISTIC EPISTEMIC LOGIC
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5741614)
