From logical and linguistic generics to Hilbert’s tau and epsilon quantifiers - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IfColog Journal of Logics and their Applications (FLAP) Année : 2017

From logical and linguistic generics to Hilbert’s tau and epsilon quantifiers

Résumé

With our starting point being (universal) generics appearing in both nat- ural language and mathematical proofs, and were further conceptualised in philosophy of language, we introduce the tau subnector that maps a formula F to an individual term τx F such that F (τx F ) whenever ∀xF . We then in- troduce the dual subnector εxF which expresses the existential quantification since F(εxF) ≡ ∃xF, and describe its use for the semantics of indefinite and definite noun phrases. Some logical and linguistic properties of this intriguing way to express quantification are discussed — but the reader is referred to the article by Abrusci in this volume for the impact of epsilon on Hilbert’s work the logical foundations of mathematics.
Fichier principal
Vignette du fichier
sc_fp_chr_intro_epsilon_ste.pdf (329.28 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01803717 , version 1 (12-02-2019)

Identifiants

  • HAL Id : hal-01803717 , version 1

Citer

Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré. From logical and linguistic generics to Hilbert’s tau and epsilon quantifiers. IfColog Journal of Logics and their Applications (FLAP), 2017, Hilbert’s epsilon and tau in Logic, Informatics and Linguistics, 4 (2), pp.231-256. ⟨hal-01803717⟩
244 Consultations
317 Téléchargements

Partager

Gmail Facebook X LinkedIn More