Studia Logica 94 (3):381 - 401 (2010)
|Abstract||The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Tim Fernando (2001). A Type Reduction From Proof-Conditional to Dynamic Semantics. Journal of Philosophical Logic 30 (2):121-153.
Paul Piwek (2007). Meaning and Dialogue Coherence: A Proof-Theoretic Investigation. [REVIEW] Journal of Logic, Language and Information 16 (4):403-421.
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):211-247.
Patrizio Contu (2006). The Justification of the Logical Laws Revisited. Synthese 148 (3):573 - 588.
William R. Stirton (2008). Some Problems for Proof-Theoretic Semantics. Philosophical Quarterly 58 (231):278–298.
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
Heinrich Wansing (2000). The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations. Studia Logica 64 (1):3-20.
Nissim Francez & Roy Dyckhoff (2010). Proof-Theoretic Semantics for a Natural Language Fragment. Linguistics and Philosophy 33 (6):447-477.
Added to index2010-03-31
Total downloads64 ( #17,310 of 722,748 )
Recent downloads (6 months)18 ( #7,255 of 722,748 )
How can I increase my downloads?