XXII. Deutscher Kongress Für Philosophie (2011)

Authors
Moritz Cordes
University of Greifswald
Friedrich Reinmuth
Ernst-Moritz-Arndt-University Greifswald
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.
Keywords Speech Act Calculus  Logic  Natural Deduction  Pragmatisation
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,836
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
Introduction to Logic.J. Dopp - 1957 - Journal of Symbolic Logic 22 (4):353-354.
Logic.Donald Kalish - 1964 - New York: Harcourt, Brace & World.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Sequent Calculus in Natural Deduction Style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Full Lambek Calculus in Natural Deduction.Ernst Zimmermann - 2010 - Mathematical Logic Quarterly 56 (1):85-88.
A Note on the Proof Theory the λII-Calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
Translations From Natural Deduction to Sequent Calculus.Jan von Plato - 2003 - Mathematical Logic Quarterly 49 (5):435.
Varieties of Linear Calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
A Problem of Normal Form in Natural Deduction.Jan von Plato - 2000 - Mathematical Logic Quarterly 46 (1):121-124.

Analytics

Added to PP index
2014-09-20

Total views
39 ( #265,500 of 2,426,017 )

Recent downloads (6 months)
1 ( #543,466 of 2,426,017 )

How can I increase my downloads?

Downloads

My notes