Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie

Cordes, M. A. Moritz and Reinmuth, M. A. Friedrich (2010) Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie. (Unpublished)

Full text available as:

PDF - Draft Version
Available under License Creative Commons Attribution Non-commercial No Derivatives.



Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e., a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy.

Item Type:Other
Keywords:Speech Act Calculus, Natural Deduction, Logic, Pragmatisation, Redehandlungskalkül, Kalkül des natürlichen Schließens, Logik, Pragmatisierung, Redehandlung, Kalkül
Subjects:Philosophy > Logic
ID Code:7134
Deposited By:Reinmuth, M. A. Friedrich
Deposited On:16 Feb 2011 19:47
Last Modified:11 Mar 2011 08:57

References in Article

Select the SEEK icon to attempt to find the referenced article. If it does not appear to be in cogprints you will be forwarded to the paracite service. Poorly formated references will probably not work.

BOSTOCK, D. (1997): Intermediate Logic. Oxford: Clarendon Press.

DALEN, D. V. (2004): Logic and structure. 4. ed. Berlin [u.a.]: Springer.

DEISER, O. (2004): Einführung in die Mengenlehre. Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo. 2. Aufl. Berlin [u.a.]: Springer.

EBBINGHAUS, H.-D. (2003): Einführung in die Mengenlehre. 4. Aufl. Heidelberg [u.a.]: Spektrum, Akad. Verl.

EBBINGHAUS, H.-D.; FLUM, J.; THOMAS, W. (1996): Einführung in die mathematische Logik. 4. Aufl. Heidelberg [u.a.]: Spektrum, Akad. Verl.

GLOEDE, K. (2006/07): Skriptum zur Vorlesung Mathematische Logik. Mathematisches Institut der Universität Heidelberg. mathlogik.pdf.

GRÄDEL, E. (2009): Mathematische Logik. SS 2009. Mathematische Grundlagen der Informatik, RWTH Aachen.

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

HINST, P. (1997/1998): Logischer Grundkurs I. Logische Propädeutik und Mengenlehre. WS 1997/1998. LMU München.

HINST, P. Logik (2009): Grundbegriffe der Logik. Typoskript, München.

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

KLEINKNECHT, R. (1979): Grundlagen der modernen Definitionstheorie. Königstein/Ts.: Scriptor-Verl.

LINK, G. (2009): Collegium Logicum: Logische Grundlagen der Philosophie und der Wissenschaften. 2 Bände. Paderborn: Mentis (Bd. 1).

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

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

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

RAUTENBERG, W. (2006): A Concise Introduction to Mathematical Logic. 2. Aufl. New York [u.a.]: Springer.

SHAPIRO, S. (2000ff): Classical Logic. (in: ZALTA, E. N.: The Stanford Encyclopedia of Philosophy, Winter 2009 Edition).

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

SIEGWART, G. (2002ff): Denkwerkzeuge. Eine Vorschule der Philosophie.

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

TENNANT, N. (1990): Natural logic. 1. ed., Repr. in paperback with corrections. Edinburgh: Edinburgh Univ. Press.

WAGNER, H. (2000): Logische Systeme der Informatik. WS 2000/2001. Universität Dortmund.


Repository Staff Only: item control page