This site has been permanently archived. This is a static copy provided by the University of Southampton.

--- 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. ' altloc: - http://www.phil.uni-greifswald.de/fileadmin/mediapool/ifp/pdf/Ein_Redehandlungskalkuel.pdf - http://hal.archives-ouvertes.fr/hal-00532643/en/ - http://philpapers.org/archive/CORERE.2.pdf chapter: ~ commentary: ~ commref: ~ confdates: ~ conference: ~ confloc: ~ contact_email: ~ creators_id: - moe4284@gmx.de - Friedrich.Reinmuth@web.de creators_name: - family: Cordes given: Moritz honourific: M. A. lineage: '' - family: Reinmuth given: Friedrich honourific: M. A. lineage: '' date: 2010-10-26 date_type: completed datestamp: 2011-02-16 19:47:18 department: ~ dir: disk0/00/00/71/34 edit_lock_since: ~ edit_lock_until: 0 edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 7134 fileinfo: /style/images/fileicons/application_pdf.png;/7134/4/Ein_Redehandlungskalk%C3%BCl.pdf full_text_status: public importid: ~ institution: ~ isbn: ~ ispublished: unpub issn: ~ item_issues_comment: [] item_issues_count: 0 item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: 'Speech Act Calculus, Natural Deduction, Logic, Pragmatisation, Redehandlungskalkül, Kalkül des natürlichen Schließens, Logik, Pragmatisierung, Redehandlung, Kalkül' lastmod: 2011-03-11 08:57:49 latitude: ~ longitude: ~ metadata_visibility: show note: ~ number: ~ pagerange: ~ pubdom: FALSE publication: ~ publisher: ~ refereed: FALSE referencetext: "BOSTOCK, D. (1997): Intermediate Logic. Oxford: Clarendon Press. \r\n\r\nDALEN, D. V. (2004): Logic and structure. 4. ed. Berlin [u.a.]: Springer. \r\n\r\nDEISER, O. (2004): Einführung in die Mengenlehre. Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo. 2. Aufl. Berlin [u.a.]: Springer. \r\n\r\nEBBINGHAUS, H.-D. (2003): Einführung in die Mengenlehre. 4. Aufl. Heidelberg [u.a.]: Spektrum, Akad. Verl. \r\n\r\nEBBINGHAUS, H.-D.; FLUM, J.; THOMAS, W. (1996): Einführung in die mathematische Logik. 4. Aufl. Heidelberg [u.a.]: Spektrum, Akad. Verl. \r\n\r\nGLOEDE, 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. \r\n\r\nGRÄDEL, E. (2009): Mathematische Logik. SS 2009. Mathematische Grundlagen der Informatik, RWTH Aachen. http://www.logic.rwth-aachen.de/files/MaLo/script-2up.pdf. \r\n\r\nHINST, P. (1982): Pragmatische Regeln des logischen Argumentierens. In: GETHMANN, C. F. (Hg.): Logik und Pragmatik. 1. Aufl. Frankfurt am Main: Suhrkamp, S. 199–215. \r\n\r\nHINST, P. (1997/1998): Logischer Grundkurs I. Logische Propädeutik und Mengenlehre. WS 1997/1998. LMU München. \r\n\r\nHINST, P. Logik (2009): Grundbegriffe der Logik. Typoskript, München.\r\n\r\nKALISH, D.; MONTAGUE, R.; MAR, G. (1980): Logic. Techniques of formal reasoning. 2. Aufl. San Diego, Ca: Harcourt Brace Jovanovich. \r\n\r\nKLEINKNECHT, R. (1979): Grundlagen der modernen Definitionstheorie. Königstein/Ts.: Scriptor-Verl. \r\n\r\nLINK, G. (2009): Collegium Logicum: Logische Grundlagen der Philosophie und der Wissenschaften. 2 Bände. Paderborn: Mentis (Bd. 1). \r\n\r\nPELLETIER, 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. \r\n\r\nPELLETIER, 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. \r\n\r\nPRAWITZ, D. (2006): Natural deduction. A proof-theoretical study. Unabridged republ. of the ed. Almqvist & Wiksell, Stockholm, 1965. Mineola, NY: Dover Publ. \r\n\r\nRAUTENBERG, W. (2006): A Concise Introduction to Mathematical Logic. 2. Aufl. New York [u.a.]: Springer. \r\n\r\nSHAPIRO, 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/. \r\n\r\nSIEGWART, G. (1997): Vorfragen zur Wahrheit. München: Oldenbourg. \r\n\r\nSIEGWART, G. (2002ff): Denkwerkzeuge. Eine Vorschule der Philosophie. http://www.phil.uni-greifswald.de/bereich2/philosophie/personal/prof-dr-geo-siegwart/skripte.html. \r\n\r\nSIEGWART, 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. \r\n\r\nTENNANT, N. (1990): Natural logic. 1. ed., Repr. in paperback with corrections. Edinburgh: Edinburgh Univ. Press. \r\n\r\nWAGNER, H. (2000): Logische Systeme der Informatik. WS 2000/2001. Universität Dortmund. http://lrb.cs.uni-dortmund.de/Lehre/LSI_WS9900/lsiws2000.pdf. \r\n" relation_type: [] relation_uri: [] reportno: ~ rev_number: 58 series: ~ source: ~ status_changed: 2011-02-16 19:47:18 subjects: - phil-logic succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ thesistype: ~ title: Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie type: other userid: 11524 volume: ~