La logica si occupa di:
a) proposizioni, dimostrazioni, refutazioni, dibattiti
b) classificazioni
c) programmi, macchine, reti
d) organizzazione delle conoscenze
perché si tratta di attività che si compiono in tutte le branche della nostra conoscenza (e le"discipline" sono branche della nostra conoscenza).
Un utile esercizio è individuare proposizioni (vedi ad esempio l'elenco fatto nelle pagine 3-4 del testo) e immaginare come possano essere fatte le dimostrazioni e le refutazioni di tali proposizioni.
Commenti?
Egregio Prof.Abrusci,
RispondiEliminaper quanto concerne il Suo accenno di oggi ai limiti e possibilità delle macchine è un argomento che tratteremo più avanti? Mi scusi per la curiosità, mi domandavo se i limiti delle macchine non fossero dovuti alla "finitezza", "limitazione" dei programmi che danno istruzioni alle macchine...
Grazie in anticipo per l'attenzione che vorrà dedicare al commento,
Cordiali Saluti,
Carla Medri
Questo tema sarà ripreso un po' nelle prossime lezioni, e poi sarà trattato nella seconda unità didattica.
RispondiEliminaI "limiti" delle macchine certo dipendono da come esse sono fatte (ed esse sono necessariamente caratterizzate dalla "finitezza" come lei giustamente osserva). E questi limiti non sono più solo un "sospetto" ma una conoscenza certa, sono l'oggetto di un teorema matematico.
Michele Abrusci
Questo commento è stato eliminato dall'autore.
RispondiEliminaGentile Professor Abrusci,
RispondiEliminaMi chiedevo se nel corso del nostro lavoro si parlerà dell'esperimento oggi noto sotto il nome di "test di Turing"e cosa ha suscitato questo problema nell'ambito degli studi sulla "Intelligenza Artificiale"..
Questo a proposito del discorso sui "limiti"di cui sopra.
La ringrazio in anticipo per l'attenzione,
Cordiali Saluti
Giulia Clabassi
sì, parleremo del test di Turing (nella parte del corso dedicata a "Programmi, Macchine, Reti").
EliminaGentile professore mi chiedevo se è corretto rispondere:
RispondiEliminaCos'è una dimostrazione?
Un procedimento discorsivo atto ad accettare una proposizione.
La ringrazio,
Chiara
qualunque cosa che permetta di accettare una proposizione
Elimina