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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/s11225-010-9241-y | Studia Logica |
Keywords | Field | DocType |
Proof-theoretic semantics,natural-language,Frege’s context principle,subsentential phrases,proof-theoretic semantic value,proof-theoretic type interpretation | Principle of compositionality,Proof-theoretic semantics,Formal semantics (linguistics),Computational linguistics,Algorithm,Grammar,Natural language,Natural language processing,Artificial intelligence,Mathematics,Semantics | Journal |
Volume | Issue | ISSN |
94 | 3 | 0039-3215 |
Citations | PageRank | References |
17 | 1.43 | 3 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nissim Francez | 1 | 1330 | 419.56 |
Roy Dyckhoff | 2 | 452 | 49.09 |
Gilad Ben-Avi | 3 | 40 | 4.81 |