Proof-Theoretic Semantics for Subsentential Phrases

Studia Logica 94 (3):381-401 (2010)
Download Edit this record How to cite View on PhilPapers
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.
Categories
(categorize this paper)
PhilPapers/Archive ID
FRAPSF-4
Upload history
Archival date: 2012-10-11
View other versions
Added to PP index
2010-03-31

Total views
421 ( #10,473 of 51,711 )

Recent downloads (6 months)
23 ( #25,080 of 51,711 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.