Gnosticism or: How Logic Fits My Mind
Article Sidebar
Опубликован:
03.05.2012
Main Article Content
Аннотация
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.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Крахт М. Gnosticism or: How Logic Fits My Mind // Логические исследования / Logical Investigations. 2012. Т. 18. C. 273-291.
Выпуск
Раздел
Статьи
Литература
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.
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.