Citazione di: paul11 il 03 Ottobre 2018, 10:39:04 AMLeggendo questo, mi è venuta in mente "la prova ontologica dell'esistenza di dio" di Godel (che di sistemi logici se ne intendeva): un mero esercizio di applicazione formale della logica, un accademico divertissement.
Le logiche procedono e non precedono i postulati e gli enunciati.Posso inventarmi Batman come fondativo e poi seguire correttamente tutte le logiche e ti accorgerai che tutto è vero(corretto direi meglio) linguisticamente ,ma falso come "essente".Perchè è l'intuito
iniziale che cambia le prospettive del mondo

).
).
), poi lo copio e incollo nella casella di invio post (così, se ci sono problemi tecnici, posso comunque ripartire dalla bozza sul notepad).
