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.

Frigerio, A., Quantificatori generalizzati e logica del primo ordine I, <<EPISTEMOLOGIA>>, 2007; (30): 211-234 [http://hdl.handle.net/10807/38349]

Quantificatori generalizzati e logica del primo ordine I

Frigerio, Aldo
2007

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.
2007
Italiano
Frigerio, A., Quantificatori generalizzati e logica del primo ordine I, <<EPISTEMOLOGIA>>, 2007; (30): 211-234 [http://hdl.handle.net/10807/38349]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10807/38349
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact