Loading...
Please wait, while we are loading the content...
Similar Documents
INTUITIONISTIC EPISTEMIC LOGIC
| Content Provider | Scilit |
|---|---|
| Author | Artemov, Sergei Protopopescu, Tudor |
| Copyright Year | 2016 |
| Description | We outline an intuitionistic view of knowledge which maintains the original Brouwer–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 coreflection A → KA is valid and the factivity of knowledge holds in the form KA → ¬¬A ‘known propositions cannot be false’.We show that the traditional form of factivity KA → A is a distinctly classical principle which, like tertium non datur A ∨ ¬A, does not hold intuitionistically, but, along with the whole of classical epistemic logic, is intuitionistically valid in its double negation form ¬¬(KA ¬ A).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. |
| Related Links | http://arxiv.org/pdf/1406.1582 http://arxiv.org/abs/1406.1582 https://www.cambridge.org/core/services/aop-cambridge-core/content/view/EB56663B4FC106EDA841E3A5BECD1026/S1755020315000374a.pdf/div-class-title-intuitionistic-epistemic-logic-div.pdf |
| Ending Page | 298 |
| Page Count | 33 |
| Starting Page | 266 |
| ISSN | 17550203 |
| e-ISSN | 17550211 |
| DOI | 10.1017/s1755020315000374 |
| Journal | The Review of Symbolic Logic |
| Issue Number | 2 |
| Volume Number | 9 |
| Language | English |
| Publisher | Cambridge University Press (CUP) |
| Publisher Date | 2016-06-01 |
| Access Restriction | Open |
| Subject Keyword | The Review of Symbolic Logic History and Philosophy of Science Epistemic Logic Intuitionistic Epistemic |
| Content Type | Text |
| Resource Type | Article |
| Subject | Philosophy Logic |
