Appunti VERIFICATO
Elementi di logica
35 visualizzazioni
Nessun voto ancora
Stai vedendo l'anteprima delle prime pagine. Il file completo è gratis: registrati per leggerlo tutto.
Di cosa parla
- La logica studia le regole per ben ragionare e comprende la logica materiale (accetta enunciati in base al loro contenuto) e la logica formale (accetta enunciati come risultato di dimostrazioni).
- Il processo della conoscenza si suddivide in quattro fasi: osservazione, formulazione di ipotesi, deduzione delle conseguenze e verifica.
- Le principali forme di inferenza sono la deduzione (certezza), l'induzione (margine di errore) e l'abduzione (scommessa).
- La logica formale distingue tra qualità (affermativa o negativa) e quantità (universale o particolare) delle proposizioni, con quattro tipi: universale affermativa (A), universale negativa (E), particolare affermativa (I) e particolare negativa (O).
- Il sillogismo è un ragionamento che implica tre termini: soggetto, predicato e termine medio. Viene suddiviso in figure basate sull'ordine dei termini.
- L'inferenza modus ponens, una tautologia della logica classica, è fondamentale per la deduzione e la dimostrazione di teoremi.
Questo appunto è gratis. Registrati in 30 secondi per leggere tutte le pagine e scaricarlo.