Introduzione allo studio della logica
La logica studia le condizioni di correttezza di un ragionamento o argomento.
- Come ragioniamo?
- Come sappiamo se qualcosa è vero o falso?
La deduzione e l'induzione sono due tipi di ragionamenti logici che ci permettono di dire che una proposizione è vera se altre lo sono e sono ad essa correlate nella verità.
La logica, studiando i modi del pensiero, la deduzione e la contraddizione ci permette di vedere se un ragionamento è valido o meno. La correttezza di un ragionamento è data dalle relazioni tra gli enunciati. Un enunciato è una frase di senso compiuto di cui si può stabilire se è vera o falsa. La correttezza di un ragionamento è data dalle relazioni tra gli enunciati che lo compongono. Qualora una conclusione segua dalla premesse, l'argomento è formalmente corretto.