ABRUSCI, Michele; RETORÉ, Christian

Métadonnées

Licence d’utilisation du document

ABRUSCI, Michele
Università degli Studi Roma Tre = Roma Tre University [ROMA TRE]

RETORÉ, Christian
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]

Langue

Communication dans un congrès

Ce document a été publié dans

14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, 14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, 14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, 2011-07-19, Nancy. 2011-07-19p. http://www.univ-nancy2.fr/poincare/documents/CLMPS2011ABSTRACTS/14thCLMPS2011_C2_Abrusci-Retore.pdf

Résumé en anglais

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".< Réduire

Métadonnées

Partager cette publication !

Licence d’utilisation du document

Quantification in ordinary language

Langue

Ce document a été publié dans

Résumé en anglais

URI

Origine

Unités de recherche