Open AccessGnosticism or: How Logic Fits My Mind
Author(s) -
М. Крахт
Publication year - 2012
Publication title -
logičeskie issledovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2012-18-0-273-291
Subject(s) - autoepistemic logic , propositional calculus , many valued logic , dynamic logic (digital electronics) , zeroth order logic , intermediate logic , non classical logic , meaning (existential) , intuitionistic logic , paraconsistent logic , philosophy of logic , computer science , logical consequence , natural (archaeology) , epistemology , mathematics , algorithm , multimodal logic , artificial intelligence , philosophy , description logic , programming language , physics , history , archaeology , transistor , quantum mechanics , voltage
In this paper I propose a particular algorithm by means of which humans come to understand the meaning of a logical formula. This algorithm shows why it is that some formulae are intuitively easy to understand while others border on the impossible. It also shows that the natural propositional logic is intuitionistic logic, not classical logic.