Ein Redehandlungskalkül: Folgern in einer Sprache

Cordes, Moritz und Reinmuth, Friedrich (7. November 2011): Ein Redehandlungskalkül: Folgern in einer Sprache. XXII. Deutscher Kongress für Philosophie, München, 11. - 15. September 2011.

Abstract

Wir stellen einen pragmatisierten Kalkül des natürlichen Schließens vor, der sich dadurch auszeichnet, dass Ableitungen reine Folgen objektsprachlicher Sätze sind und ohne graphische oder andere Kommentarmittel auskommen.

• Dokumententyp: Konferenzbeitrag (Vortrag)
• Keywords: Logik; Kalkül des natürlichen Schließens; Natürliches Schließen; Pragmatisierung; Redehandlung
• 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: Deutsch

Literaturliste

CORDES, M.; REINMUTH, F.: Redehandlungskalkül (2011): Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie. Version 2.0. http://hal.archives-ouvertes.fr/hal-00532643/en/.

FITCH, F.B.: Symbolic Logic (1952): Symbolic logic: an introduction. New York: Ronald Press.

GENTZEN, G.: Schließen I (1934): Untersuchungen über das logische Schließen I. In: Mathematische Zeitschrift, 39 (2), S. 176–210.

GENTZEN, G.: Schließen II (1935): Untersuchungen über das logische Schließen II. In: Mathematische Zeitschrift, 39 (3), S. 405–431.

GENTZEN, G.: Widerspruchsfreiheit (1936): Die Widerspruchsfreiheit der reinen Zahlentheorie. In: Mathematische Annalen, 112, S. 493–565.

HINST, P.: Pragmatische Regeln (1982): Pragmatische Regeln des logischen Argumentierens. In: GETHMANN, C.F. (Hg.): Logik und Pragmatik. Frankfurt am Main: Suhrkamp, S. 199–215.

HINST, P.: Logischer Grundkurs (1997/1998): Logischer Grundkurs I. Logische Propädeutik und Mengenlehre. WS 1997/1998. Ludwig-Maximiliams-Universität München. HINST, P.: Logik (2009): Grundbegriffe der Logik. Typoskript München.

INDRZEJCZAK, A.: Natural Deduction (2010): Natural deduction, hybrid systems and modal logics. Dordrecht; London: Springer.

JAŚKOWSKI, S.: Suppositions (1934): On the Rules of Suppositions in Formal Logic. In: Studia Logica, 1, S. 5–32.

KALISH, D.; MONTAGUE, R.; MAR, G.: Logic (1980): Logic. Techniques of formal reasoning. 2. Aufl. San Diego, Ca: Harcourt Brace Jovanovich.

LEMMON, E.J.: Beginning Logic (1998): Beginning logic. 1st CRC Press reprint. Boca Raton, FL: Chapman & Hall/CRC.

PELLETIER, F.J.: A Brief History of Natural Deduction (1999): A Brief History of Natural Deduction. In: History and Philosophy of Logic, 20.1, S. 1–31.

PELLETIER, F.J.: A History of Natural Deduction (2001): A History of Natural Deduction and Elementary Logic Textbooks. 1999. In: WOODS, J.; BROWN, B. (Hgg.): Logical Consequence: Rival Approaches. Proceedings of the 1999 Conference of the Society of Exact Philosophy. Oxford: Hermes Science Publishing, S. 105–138.

PRAWITZ, D.: Natural Deduction (2006): Natural deduction: a proof-theoretical study. Unabridged republ. of the ed. Almqvist & Wiksell, Stockholm, 1965. Mineola, NY: Dover Publ.

SIEGWART, G.: Vorfragen (1997): Vorfragen zur Wahrheit. München: Oldenbourg.

SIEGWART, G.: Begriffsbildung (1999): Begriffsbildung. In: Sandkühler, H. J. (Hg.): Enzyklopädie Philosophie. 2 Bände. Hamburg: Meiner, Bd. 1, S. 130–144.

SIEGWART, G.: Denkwerkzeuge (2002ff): Denkwerkzeuge. Eine Vorschule der Philosophie. http://www.phil.uni-greifswald.de/bereich2/philosophie/personal-1/professoren/prof-dr-geo-siegwart/skripte.html.

SIEGWART, G.: Alethic Acts (2007): Alethic Acts and Alethiological Reflection. An Outline of a Constructive Philosophy of Truth. In: SIEGWART, G.; GREIMANN, D. (Hgg.): Truth and speech acts. Studies in the philosophy of language. New York: Routledge, S. 41–58.

SUPPES, P.: Introduction to Logic (1999): Introduction to logic. Originally publ.: New York, Van Nostrand Reinhold, 1957. Mineola, NY: Dover Publ.