Quantificatori generalizzati e logica del primo ordine I

Risultato della ricerca: Contributo in rivistaArticolo in rivistapeer review

Abstract

In this paper and in its sequel, “Quantificatori generalizzati e logica del primo ordine II”, I try to show that General Quantifiers (QG) are a much better formalization of natural language quantifiers than quantifiers of First order logic. First of all, general and natural language quantifiers have properties in common that first order quantifiers do not have. In the second place, there are some quantifiers in natural language that cannot be formalized in First order logic while they can be through QG theory. Furthermore, the logic form of QG is much more similar to the one of natural language quantifiers than that of first order quantifiers: QG make a clear distinction between noun phrases and predicates and do not introduce connectives which are not present in natural language sentences. Finally, some classes of quantifiers can be singled out from the point of view of QG theory that we cannot be singled out from the one of First order logic.
Titolo tradotto del contributo[Autom. eng. transl.] Generalized quantifiers and first order logic
Lingua originaleItalian
pagine (da-a)211-234
Numero di pagine24
RivistaEpistemologia
Stato di pubblicazionePubblicato - 2007

Keywords

  • First order logic
  • Generalized Quantifiers
  • Logica primo ordine
  • Quantification
  • Quantificatori generalizzati
  • Quantificazione
  • Semantica
  • Semantics

Fingerprint Entra nei temi di ricerca di 'Quantificatori generalizzati e logica del primo ordine I'. Insieme formano una fingerprint unica.

Cita questo