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. © 2010 Springer Science+Business Media B.V.
CITATION STYLE
Francez, N., Dyckhoff, R., & Ben-Avi, G. (2010). Proof-Theoretic Semantics for Subsentential Phrases. Studia Logica, 94(3), 381–401. https://doi.org/10.1007/s11225-010-9241-y
Mendeley helps you to discover research relevant for your work.