Proof-theoretic semantics for subsentential phrases (Q969428): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Proof-theoretic semantics for subsentential phrases / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof-Theoretic Semantics for a Natural Language Fragment / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal features of compositionality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Syllogistic Logics with Verbs / rank | |||
Normal rank |
Latest revision as of 19:57, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Proof-theoretic semantics for subsentential phrases |
scientific article |
Statements
Proof-theoretic semantics for subsentential phrases (English)
0 references
7 May 2010
0 references
In their previous works the authors developed a proof-theoretic semantics for a fragment of English constituted by nouns, determiners, verbs, and the copula ``is a'', which is reviewed briefly in this paper as well. The main purpose of this paper is to present a method for deriving proof-theoretic meanings for sub-sentential phrases down to lexical units (words) by appealing to (a version of) Frege's context-principle (specified to fit type-logical grammar) which determines the decomposition of sentential meaning according to the function-argument structure. In contrast to Montague's model-theoretic approach, a type is interpreted proof-theoretically as a collection of derivations in the associated ``dedicated'' natural-deduction proof-system or of functions therein, which therefore do not refer to models, truth-values, or elements of a domain. The semantics thus introduced is analyzed with respect to its compositionality.
0 references
proof-theoretic semantics
0 references
natural language
0 references
Frege's context principle
0 references
subsentential phrase
0 references
proof-theoretic type interpretation
0 references