Fiche du document
2017
- handle: 10670/1.rim69n
- hal: hal-01803717
info:eu-repo/semantics/OpenAccess
Mots-clés
Formal linguistics Philosophy of language Generic objects Proof theory Quantifiers 03B10, 03B15, 03B65, 68T50Sujets proches
Language (New words, slang, etc.)Citer ce document
Stergios Chatzikyriakidis et al., « From logical and linguistic generics to Hilbert’s tau and epsilon quantifiers », HAL-SHS : philosophie, ID : 10670/1.rim69n
Métriques
Partage / Export
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.