Topoi 31 (1):77-85 (2012)
|Abstract||From the point of view of proof-theoretic semantics, it is argued that the sequent calculus with introduction rules on the assertion and on the assumption side represents deductive reasoning more appropriately than natural deduction. In taking consequence to be conceptually prior to truth, it can cope with non-well-founded phenomena such as contradictory reasoning. The fact that, in its typed variant, the sequent calculus has an explicit and separable substitution schema in form of the cut rule, is seen as a crucial advantage over natural deduction, where substitution is built into the general framework|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Configure|
Similar books and articles
Peter Schroeder-Heister (2006). Validity Concepts in Proof-Theoretic Semantics. Synthese 148 (3):525 - 571.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
William R. Stirton (2008). Some Problems for Proof-Theoretic Semantics. Philosophical Quarterly 58 (231):278–298.
Nissim Francez & Roy Dyckhoff (2010). Proof-Theoretic Semantics for a Natural Language Fragment. Linguistics and Philosophy 33 (6):447-477.
Nissim Francez (forthcoming). Bilateralism in Proof-Theoretic Semantics. Journal of Philosophical Logic:1-21.
Maria Luisa Bonet & Samuel R. Buss (1993). The Deduction Rule and Linear and Near-Linear Proof Simulations. Journal of Symbolic Logic 58 (2):688-709.
David J. Pym (1995). A Note on the Proof Theory the λII-Calculus. Studia Logica 54 (2):199 - 230.
Dag Prawitz (1965/2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.
Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi (2010). Proof-Theoretic Semantics for Subsentential Phrases. Studia Logica 94 (3).
Ross Thomas Brady (forthcoming). Free Semantics. Journal of Philosophical Logic.
Matthew W. McKeon (2010). The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Pub..
Heinrich Wansing (2000). The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations. Studia Logica 64 (1):3-20.
Paul Piwek (2007). Meaning and Dialogue Coherence: A Proof-Theoretic Investigation. Journal of Logic, Language and Information 16 (4).
Added to index2012-03-31
Total downloads9 ( #113,901 of 548,973 )
Recent downloads (6 months)2 ( #37,438 of 548,973 )
How can I increase my downloads?