Quindi qual è la logica? In breve, potremmo definire la logica come lo studio dei principi del corretto ragionamento. Questa è una definizione approssimativa, perché come la logica dovrebbe essere definita correttamente è in realtà una questione piuttosto controversa. Tuttavia, ai fini di questo tour, abbiamo pensato che sarebbe stato utile per darvi almeno qualche idea approssimativa per quanto riguarda l’argomento che si studierà. Quindi questo è ciò che cercheremo di fare in questa pagina.
§1., La logica non è la psicologia del ragionamento
Una cosa che dovresti notare su questa definizione è che la logica si occupa dei principi del ragionamento corretto. Studiare i principi corretti del ragionamento non è lo stesso dello studio della psicologia del ragionamento. La logica è la disciplina precedente, e ci dice come dovremmo ragionare se vogliamo ragionare correttamente. Se le persone effettivamente seguono queste regole di ragionamento corretto è una questione empirica, qualcosa che non è la preoccupazione della logica.
La psicologia del ragionamento, d’altra parte, è una scienza empirica., Ci parla delle reali abitudini di ragionamento delle persone, compresi i loro errori. Uno psicologo che studia il ragionamento potrebbe essere interessato a come la capacità delle persone di ragionare varia con l’età. Ma tali fatti empirici non riguardano il logico.
§2. I principi della logica
Quindi quali sono questi principi di ragionamento che fanno parte della logica? Ci sono molti di questi principi, ma la cosa principale (non l’unica) che studiamo nella logica sono i principi che regolano la validità degli argomenti – se certe conclusioni derivano da alcune ipotesi date., Ad esempio, considera i seguenti tre argomenti :
Questi tre argomenti qui sono ovviamente buoni argomenti nel senso che le loro conclusioni derivano dalle ipotesi. Se le ipotesi dell’argomento sono vere, anche la conclusione dell’argomento deve essere vera. Un logico ci dirà che sono tutti casi di una particolare forma di argomento nota come” modus ponens”:
Se P, allora Q. P. Quindi, Q.
Discuteremo di validità più avanti. Va sottolineato che la logica non riguarda solo la validità degli argomenti., La logica studia anche la coerenza e le verità logiche e le proprietà dei sistemi logici come la completezza e la solidità. Ma vedremo che anche questi altri concetti sono molto legati al concetto di validità.
§3. Argomento neutralità
Modus ponens potrebbe essere utilizzato per illustrare due caratteristiche aboutthe regole di reasoing in logic. La prima caratteristica è la suatopica-neutralità. Come suggeriscono i quattro esempi, modus ponenspuò essere usato nel ragionamento su diversi argomenti. Questo è vero per tutti iprincipi del ragionamento nella logica., Le leggi della biologia potrebbero essere veresolo di creature viventi, e le leggi dell’economia sono solo applicableto collezioni di agenti che enagage nelle transazioni finanziarie. Butthe principi di logica sono principi universali che sono più generalthan biologia ed economia. Questo è in parte ciò che è implicito nelle seguenti definizioni di logica di due logici molto famosi:
… il nome di una disciplina che analizza il significato dei concetti comuni a tutte le scienze, e stabilisce le leggi generali che regolano i concetti.,
Scoprire le verità è compito di tutte le scienze; spetta alla logica discernere le leggi della verità. … Attribuisco alla logica il compito di scoprire le leggi della verità, non dell’affermazione o del pensiero.
§4. Necessità nella logica
Una seconda caratteristica dei principi della logica èche non sono contingenti, nel senso che non dipendono daqualsiasi particolare caratteristica accidentale del mondo., La fisica e le altre scienze empiriche indagano sul modo in cui il mondo è effettivamente.I fisici potrebbero dirci che nessun segnale può viaggiare più velocemente di thespeed di luce, ma se le leggi di fisica sono state diverse, thenperhaps questo non sarebbe stato vero. Allo stesso modo, i biologi potrebbero studiare come i delfini comunicano tra loro, ma se il corso dell’evoluzione fosse stato diverso, allora forse i delfini potrebbero non esseresistiti. Quindi le teorie nelle scienze empiriche sono contingenti inil senso che avrebbero potuto essere altrimenti., I principi della logica,d’altra parte, sono derivati usando solo il ragionamento e la loro validitànon dipende da alcuna caratteristica contingente del mondo.
Ad esempio, la logica ci dice che qualsiasi affermazione del modulo “IfP then P.” è necessariamente vera. Questo è un principio del secondo tipo che studio logico. Questo principio ci dice che un’affermazione come “se piove, allora piove” deve essere vera. Possiamo facilmente vedere che questo è davvero il caso, se sta effettivamente piovendo o meno.,Inoltre, anche se le leggi della fisica o modelli meteorologici sono stati tochange, questa affermazione rimarrà vero. Quindi diciamo che le verità scientifiche (matematica a parte) sono contingenti mentre le verità logiche sono necessarie. Ancora una volta questo mostra come la logica è diversa dalle scienze empiriche come la fisica, la chimica o la biologia.
§5. Logica formale e informale
A volte viene fatta una distinzione tra logica informale e logica formale.Il termine “logica informale” è spesso usato per significare la stessa cosa comepensando critico., A volte è usato per riferirsi allo studio diragionamento e fallacie nel contesto della vita di tutti i giorni. La “logica formale” riguarda principalmente i sistemi formali di logica. Questi sono sistemi appositamente costruiti per l’esecuzione di prove, in cui le lingue e le regole del ragionamento sono definite con precisione e attenzione. La logica sentenziale (nota anche come “logica proposizionale”) e la logica dei predicati sono entrambi esempi di sistemi formali di logica.
Ci sono molte ragioni per studiare la logica formale., Uno è che formallogic ci aiuta a identificare modelli di buon ragionamento e modelli di badreasoning, quindi sappiamo quali seguire e quali evitare. Ecco perchélo studio della logica formale di base può aiutare a migliorare il pensiero critico. Formalei sistemi di logica sono anche usati dai linguisti per studiare le lingue naturali.Gli informatici impiegano anche sistemi formali di logica nella ricercarelativa all’intelligenza artificiale. Infine, molti filosofi amano anche usare la logica formale quando si tratta di complicati problemi filosofici, al fine di rendere il loro ragionamento più esplicito e preciso.
§6., Ulteriori letture
- Voci su logicin la Stanford Encyclopedia of Philosophy. Questi sono articoli difficili sulla filosofia della logica.
- Supponiamo di scoprire che le persone ragionano meglio quando non sono sotto stress. Questo dovrebbe essere considerato come un principio di logica?risposta
- In che modo la scienza è diversa dalla logica?risposta
- In che modo la matematica è diversa dalla logica?risposta