Skip to content

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

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.

Tratto da INTRODUZIONE ALLA FILOSOFIA DEL LINGUAGGIO di Domenico Valenza
Valuta questi appunti:

Continua a leggere:

Dettagli appunto:

Altri appunti correlati:

Per approfondire questo argomento, consulta le Tesi:

Puoi scaricare gratuitamente questo appunto in versione integrale.