This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We briefly sketch a different idea for proof theory which is closer to the language itself than standard approaches in many aspects. We stress the importance of Hilbert's operators-the epsilonoperator for existential and tau-operator for universal quantifications. Indeed, these operators are helpful in the construction of a semantic representation which is close to natural language in particular with quantified noun phrases as individual terms. We also define guidelines for the design of proof rules corresponding to generalized quantifiers.

Abrusci, V.M., Pasquali, F., Retoré, C. (2016). Quantification in ordinary language and proof theory. PHILOSOPHIA SCIENTIAE, 20-21(1), 185-205 [10.4000/philosophiascientiae.1163].

Quantification in ordinary language and proof theory

ABRUSCI, Vito Michele;
2016

Abstract

This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We briefly sketch a different idea for proof theory which is closer to the language itself than standard approaches in many aspects. We stress the importance of Hilbert's operators-the epsilonoperator for existential and tau-operator for universal quantifications. Indeed, these operators are helpful in the construction of a semantic representation which is close to natural language in particular with quantified noun phrases as individual terms. We also define guidelines for the design of proof rules corresponding to generalized quantifiers.
Abrusci, V.M., Pasquali, F., Retoré, C. (2016). Quantification in ordinary language and proof theory. PHILOSOPHIA SCIENTIAE, 20-21(1), 185-205 [10.4000/philosophiascientiae.1163].
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/11590/322862
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact