Nell'esercitazione di sabato 13 ottobre sono stati ripresi molti temi presenti nel primo capitolo.
Nella prima parte della lezione di oggi 15 ottobre ho terminato (con esempi) il tema dell'organizzazione assiomatica delle discipline e ho presentato un elenco di possibili domande sul primo capitolo (nell'esonero e nell'esame intero la prima domanda sarà sul primo capitolo).
Nella seconda parte della lezione di oggi 15 ottobre ho iniziato la trattazione della logica classica spiegando che essa si caratterizza
a) per la sua concezione delle proposizioni come bit permanenti (ossia per la concezione estensione, bivalente, a temporale e aspaziale delle proposizioni; pertanto una proposizione è qualcosa che ha (permanentemente) uno e uno solo tra due valori possibili, il valore 0 (falso) e il valore 1 (falso);
b) per la sua concezione delle dimostrazioni, secondo la quale una dimostrazione di una proposizione A è qualcosa che fa scoprire che il valore di A è 1 (ossia che A è vera);
c) per la sua concezione delle refutazioni, secondo la quale una refutazione di una proposizione è qualcosa che fa scoprire che il valore di A è 0 (ossia che A è falsa)
Lavagna esercitazione 13 ottobre
Lavagna lezione 15 ottobre
Nessun commento:
Posta un commento