Quantification in ordinary language
| hal.structure.identifier | Università degli Studi Roma Tre = Roma Tre University [ROMA TRE] | |
| dc.contributor.author | ABRUSCI, Michele | |
| hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
| hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
| dc.contributor.author | RETORÉ, Christian | |
| dc.date.accessioned | 2024-04-15T09:47:12Z | |
| dc.date.available | 2024-04-15T09:47:12Z | |
| dc.date.issued | 2011-07-19 | |
| dc.date.conference | 2011-07-19 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198078 | |
| dc.description.abstractEn | 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". | |
| dc.language.iso | en | |
| dc.source.title | 14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE | |
| dc.title.en | Quantification in ordinary language | |
| dc.title.en | from a critique of set-theoretic approaches to a proof-theoretic proposal | |
| dc.type | Communication dans un congrès | |
| dc.subject.hal | Mathématiques [math]/Logique [math.LO] | |
| dc.subject.hal | Sciences de l'Homme et Société/Philosophie | |
| dc.subject.hal | Sciences de l'Homme et Société/Linguistique | |
| dc.identifier.arxiv | 1107.1883 | |
| bordeaux.page | http://www.univ-nancy2.fr/poincare/documents/CLMPS2011ABSTRACTS/14thCLMPS2011_C2_Abrusci-Retore.pdf | |
| bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
| bordeaux.institution | Université de Bordeaux | |
| bordeaux.institution | Bordeaux INP | |
| bordeaux.institution | CNRS | |
| bordeaux.conference.title | 14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE | |
| bordeaux.country | FR | |
| bordeaux.title.proceeding | 14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE | |
| bordeaux.conference.city | Nancy | |
| bordeaux.peerReviewed | oui | |
| hal.identifier | hal-00607678 | |
| hal.version | 1 | |
| hal.invited | non | |
| hal.proceedings | oui | |
| hal.conference.end | 2011-07-26 | |
| hal.popular | non | |
| hal.audience | Internationale | |
| hal.origin.link | https://hal.archives-ouvertes.fr//hal-00607678v1 | |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.btitle=14TH%20CONGRESS%20OF%20LOGIC,%20METHODOLOGY%20AND%20PHILOSOPHY%20OF%20SCIENCE&rft.date=2011-07-19&rft.spage=http://www.univ-nancy2.fr/poincare/documents/CLMPS2011ABSTRACTS/14thCLMPS2011_C2_Abrusci-Retore.pdf&rft.epage=http://www.univ-nancy2.fr/poincare/documents/CLMPS2011ABSTRACTS/14thCLMPS2011_C2_Abrusci-Retore.pdf&rft.au=ABRUSCI,%20Michele&RETOR%C3%89,%20Christian&rft.genre=unknown |
Fichier(s) constituant ce document
| Fichiers | Taille | Format | Vue |
|---|---|---|---|
|
Il n'y a pas de fichiers associés à ce document. |
|||