A new theory of quantifiers and term connectives (Q735412): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10849-009-9095-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2132229899 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized quantifiers and natural language / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatory logic. With two sections by William Craig. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic predicate logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5616133 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: General semantics / rank | |||
Normal rank |
Latest revision as of 02:37, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A new theory of quantifiers and term connectives |
scientific article |
Statements
A new theory of quantifiers and term connectives (English)
0 references
21 October 2009
0 references
In the semantic theory for natural language (particularly, for English), developed by Montague et al., type-shifting and lambda-conversion play an essential role in analysing noun and determiner phrases. In this paper, the author simplifies these complicated processes by providing individual-like objects, called shadows, which are built up on individuals by term connectives (conjunction, disjunction, and negation) but considered as entities of the same semantic type as individuals. This approach is applied to quantification as well, so that quantification is reduced to be a denotation of shadows. Showing how the notion of shadow works for analysing noun and determiner phrases with several concrete examples (in English), a semantical theory and a deductive system are proposed with a formal language covering the notion, of which expansion and enrichment are also discussed.
0 references
conjunction
0 references
determiner phrases
0 references
disjunction
0 references
generalized quantifier
0 references
negation
0 references
shadows
0 references
quantification
0 references
term connectives
0 references
semantic theory for natural language
0 references