PROBLEMI
GUIDA
CONTATTI
HOME
Per partecipare
Scopo del sito |
|
Definizione
riferimento:
E.J. Lemmon, Elementi di logica,
Laterza, Bari 1975.
Il calcolo proposizionale
è un insieme di simboli, regole e procedure di analisi che
permettono di verificare la correttezza di un ragionamento.
Si prende un argomento, lo si scompone, e si misura la sua coerenza
sulla base di un esiguo numero di regole 'universali'.
Alla fine del processo avremo: la forma del ragionamento (e quindi
la possibilità di valutare se l'argomentazione è ben
sviluppata) e la gamma di premesse palesi o implicite su cui esso
poggia.
Lo scopo finale del calcolo proposizionale, secondo
Cicuta.net, è guardare in faccia i propri pensieri,
in modo da assumersi la responsabilità della loro verità.
La verità non rientra tra i compiti della logica formale.
La logica dirà soltanto se una conseguenza deriva o meno da
una premessa, ma una conclusione può essere formalmente valida
anche deriva da una premessa falsa. Il calcolo proposizionale ci consente
di dire, di un giudizio che riteniamo falso, che è falso perchè
deriva da una premessa falsa, e di un giudizio che riteniamo vero,
se esso comporta o meno certe conclusioni.
I
vantaggi sono: sostituire un giudizio 'a pelle' con un giudizio motivato,
imparare dalle opinioni e governare i propri pregiudizi. -
simboli
- regole
|