Skip to content

Percorso della logica in filosofia dopo Frege

PERCORSO DELLA LOGICA IN FILOSOFIA DOPO FREGE


La logica, dunque, dà origine al pensiero filosofico; il primo che ne parla è Aristotele (V sec. a.C.). Questa idea rimarrà pressoché immutata fino al 1850, anno in cui Boole dimostrerà che la logica può essere spiegata attraverso l’artimetica e poi con Frege. 

Da Frege in poi la logica prende due cammini:
- Tentativo di applicare la logica al linguaggio ordinario. Wittgenstein: idea dell’enunciato descrittivo → idea della fotografia (vera quando rappresenta uno stato di cose = un enunciato è vero quando rappresenta uno stato di cose). Il progetto di Wittgenstein fallisce per colpa di Sraffa.
- Tentativo di fare della logica il linguaggio della matematica: tutta la matematica è riconducibile alla logica. Anche questo progetto fallisce, perché Godel dimostra che la logica in sé stessa non si auto fondante: differenza fra dimostrare e mostrare. Un teorema si dimostra (regole del sistema assiomatico); ci sono formule vere, ma non si può dimostrare che lo siano. Anche un sistema altamente formalizzato, come quello matematico, in realtà non è auto fondante, ha al suo interno dei buchi.

Dimostrare: una formula non è in contraddizione con altre formule del sistema (è vero tutto ciò che non contraddice qualcosa già presente nel sistema – verità per non contraddizione).

Le prime geometrie non euclidee (il 5° postulato di Euclide: rette parallele) vengono dimostrate per 5 secoli fino a che non si è scoperto che lo spazio che ci circonda è rappresentabile attraverso una geometria non euclidea. 
La maggior parte dei fenomeni che avvengono si rappresentano attraverso geometrie non euclidee.

Tratto da FILOSOFIA DEL DIRITTO di Francesca Morandi
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.

Forse potrebbe interessarti:

George Boole e l'Algebra Booleana - Logica e Comunicazione

Il mio lavoro è nato con lo scopo di esplicitare nel più semplice e nel miglior modo possibile quello che fu il pensiero del logico e matematico George Boole, e quelle che furono le conseguenze del suo lavoro per le applicazioni successive. Ho analizzato prima il periodo storico nel quale si mette in moto il genio di Boole ponendo attenzione ai cambiamenti che esso apportò nel campo logico e...