La forma logica degli enunciati di generalità nella filosofia del linguaggio

Successivo: <a class="text-uppercase" href="/appunti/non-classificati/introduzione-alla-filosofia-del-linguaggio/quantificatori-forma-grammaticale-forma-logica-nella-filosofia-del-linguaggio/132/9">Quantificatori, forma grammaticale, forma logica nella filosofia del linguaggio
Precedente: <a class="text-uppercase" href="/appunti/non-classificati/introduzione-alla-filosofia-del-linguaggio/intermezzo-distinzioni-filosofiche/132/7">Intermezzo: distinzioni filosofiche

Name: Introduzione alla filosofia del linguaggio
Rating: 5.0 (1 reviews)
Author: Domenico Valenza

La forma logica degli enunciati di generalità

I simboli sono chiamati quantificatore universale ed esistenziale. Il quantificatore lega o vincola le variabili. Il passo per tradurre la logica è trasformare proposizioni come “Tutti gli uomini sono mortali” in: x (Uomo x -> Mortale x) che si legge per tutti gli x, se x è un uomo, allora x è mortale.

Per la distinzione assiomi/regole, per la costruzione della logica matematica e per l’invenzione dei quantificatori, Frege merita un posto di rilievo nella storia della logica e della matematica. Dopo duemila anni di storia della logica, Frege smentisce con i fatti la tesi sostenuta da Kant nella Critica della Ragion Pura per cui niente di nuovo si poteva realizzare in logica formale dopo Aristotele.