creators_name: Cordes, Moritz creators_name: Reinmuth, Friedrich creators_id: moe4284@gmx.de creators_id: Friedrich.Reinmuth@web.de type: other datestamp: 2011-02-16 19:47:18 lastmod: 2011-03-11 08:57:49 metadata_visibility: show title: Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie ispublished: unpub subjects: phil-logic full_text_status: public keywords: Speech Act Calculus, Natural Deduction, Logic, Pragmatisation, Redehandlungskalkül, Kalkül des natürlichen Schließens, Logik, Pragmatisierung, Redehandlung, Kalkül abstract: 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. date: 2010-10-26 date_type: completed refereed: FALSE referencetext: 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. http://www.math.uni-heidelberg.de/logic/skripten/math_logik/ mathlogik.pdf. GRÄDEL, E. (2009): Mathematische Logik. SS 2009. Mathematische Grundlagen der Informatik, RWTH Aachen. http://www.logic.rwth-aachen.de/files/MaLo/script-2up.pdf. 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: http://www.sfu.ca/~jeffpell/papers/NDHistory.pdf. 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: http://www.sfu.ca/~jeffpell/papers/pelletierNDtexts.pdf. 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). http://plato.stanford.edu/archives/win2009/entries/logic-classical/. SIEGWART, G. (1997): Vorfragen zur Wahrheit. München: Oldenbourg. SIEGWART, G. (2002ff): Denkwerkzeuge. Eine Vorschule der Philosophie. http://www.phil.uni-greifswald.de/bereich2/philosophie/personal/prof-dr-geo-siegwart/skripte.html. 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. http://lrb.cs.uni-dortmund.de/Lehre/LSI_WS9900/lsiws2000.pdf. citation: 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) document_url: http://cogprints.org/7134/4/Ein_Redehandlungskalk%C3%BCl.pdf