The idea of a proof-theoretic semantics and the meaning of the logical operations
Studia Logica 64 (1):3-20 (2000)
| Abstract | This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
|
| Through your library | Configure |
Paul Piwek (2007). Meaning and Dialogue Coherence: A Proof-Theoretic Investigation. Journal of Logic, Language and Information 16 (4).
Nissim Francez & Roy Dyckhoff (2010). Proof-Theoretic Semantics for a Natural Language Fragment. Linguistics and Philosophy 33 (6):447-477.
Peter Schroeder-Heister (2006). Validity Concepts in Proof-Theoretic Semantics. Synthese 148 (3):525 - 571.
Ruy J. G. B. De Queiroz (2008). On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics. Studia Logica 90 (2):211 - 247.
Ruy J. G. B. de Queiroz (2008). On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics. Studia Logica 90 (2).
Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi (2010). Proof-Theoretic Semantics for Subsentential Phrases. Studia Logica 94 (3).
Patrizio Contu (2006). The Justification of the Logical Laws Revisited. Synthese 148 (3):573 - 588.
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.
Monthly downloads |
Added to index2009-01-28Total downloads15 ( #78,702 of 549,128 )Recent downloads (6 months)3 ( #25,740 of 549,128 )How can I increase my downloads? |

