Not Quite Intuitionism

Pietz, Andreas (12. September 2011): Not Quite Intuitionism. XXII. Deutscher Kongress für Philosophie, Ludwig-Maximilians-Universität München, 11. - 15. September 2011.

Abstract

This is an investigation of M. Dummett's claim that a theory of meaning based on verification conditions should lead to the abandonment of classical logic in favor of intuitionistic logic. I especially concentrate on his suggestion that, in order to give the meaning of negations and conditionals, we should also take on board falsification conditions. Taken seriously, however, this route takes us not to intuitionistic logic, but rather to one of the Nelson logics.

• Dokumententyp: Konferenzbeitrag (Vortrag)
• Keywords: Verificationism, Dummett, Logical Revision, Constructive Logic, Nelson Logic
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > XXII. Deutscher Kongress für Philosophie ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > XXII. Deutscher Kongress für Philosophie > Logik
• Themengebiete: 100 Philosophie und Psychologie > 160 Logik
• Sprache: Englisch

Literaturliste

[1] M. Dummett. The Seas of Language. Clarendon Press, Oxford, 1993.

[2] F. Kutschera. Ein verallgemeinerter Widerlegungsbegri? für Gentzenkalküle. Archive for Mathematical Logic, 12(3):104–118, 1969.

[3] E. López-Escobar. Constructions and negationless logic. Studia Logica, 30 (1):7–19, 1972.

[4] D. Nelson. Constructible falsity. Journal of Symbolic logic, 14/1:16–26, 1949. 5

[5] S. Odintsov. Constructive negations and paraconsistency. Springer Verlag, 2008.

[6] H. Wansing. The Logic of Information Structures. Lecture Notes in AI 681. Springer Verlag, 1993.

[7] H. Wansing. Displaying Modal Logic. Kluwer Academic Publishers, 1998.