Proof-Theoretic Semantics for Subsentential Phrases

Studia Logica 94 (3):381-401 (2010)

Authors
Nissim Francez
Technion, Israel Institute of Technology
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 Philosophy   Computational Linguistics   Mathematical Logic and Foundations   Logic
Categories (categorize this paper)
DOI 10.1007/s11225-010-9241-y
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
Through your library

References found in this work BETA

Formal Features of Compositionality.Wilfrid Hodges - 2001 - Journal of Logic, Language and Information 10 (1):7-28.

View all 6 references / Add more references

Citations of this work BETA

Characterizing Generics Are Material Inference Tickets: A Proof-Theoretic Analysis.Preston Stovall - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy:1-37.
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.

View all 11 citations / Add more citations

Similar books and articles

Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
Some Problems for Proof-Theoretic Semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.
Harmony in Multiple-Conclusion Natural-Deduction.Nissim Francez - 2014 - Logica Universalis 8 (2):215-259.
A Logic Inspired by Natural Language: Quantifiers As Subnectors.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (6):1153-1172.

Analytics

Added to PP index
2010-03-31

Total views
346 ( #13,651 of 2,325,335 )

Recent downloads (6 months)
19 ( #34,505 of 2,325,335 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature