Work

Quantification in ordinary language

Year: 2011

Type: preprint

Abstract: We firstly show that the standard interpretation of natural quantification in mathematical logic does not provide a satisfying account of its original richness. In particular, it ignores the difference between generic and distributive readings. We claim that it is due to the use of a set theoretical framework. We therefore propose a proof theoretical treatment in terms of proofs and refutations. Thereafter we apply these ideas to quantifiers that are not first order definable like "the majority of".

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.1107.1883

Authors: Abrusci, Michele, Retoré, Christian

Institutions: Roma Tre University, Institut national de recherche en sciences et technologies du numérique, Centre Inria de l'université de Bordeaux, Laboratoire Bordelais de Recherche en Informatique

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2964137615

Cites:

Cited by:

Related to: 10