Gnosticism or: How Logic Fits My Mind


M. Kracht


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.






William P. Alston. A Realist Conception of Truth. Cornell University Press, Ithaca and London, 1996.
Michael Dummett. What is a theory of meaning? (ii). In G. Evans and J. McDowell, editors, Truth and Meaning. Oxford University Press, Oxford, 1976.
Nissim Francez and Roy Dyckhoff. Proof Theoretic Semantics for a Natural Language Fragment. Linguistics and Philosophy, 33: 447-477, 2010.
Marcus Kracht. Judgement and Consequence Relations. Journal of Applied Nonclassical Logic, 20: 223-235, 2010.
Marcus Kracht. Gnosis. Journal of Philosophical Logic, 40: 397-420, 2011.
Peter Pagin. Compositionality, understanding and proofs. Mind, 118: 713-737, 2010.
Hilary Putnam. Representation and Reality. MIT Press, Cambridge, Mass., 1988.
Aarne Ranta. Type-Theoretical Grammar. Oxford University Press, 1994.
Nicholas J.J. Smith. Frege’s Judgement Stroke and the Conception of Logic as the Study of Inference not Consequence. Philosophy Compass, 2009.