introduzione della logica e definizioni, Schemi e mappe concettuali di Logica

Scarica introduzione della logica e definizioni e più Schemi e mappe concettuali in PDF di Logica solo su Docsity! ELEMENTI DI LOGICA Logica come procedura per raggiungere la verità La logica è l’insieme delle dottrine che si occupano delle regole per ben ragionare. Implica la ricerca della verità. Ogni scienza (ad es. le scienze della natura, le scienze dell’uomo), nel cercare la verità secondo i propri metodi, mira il possesso certo di questa verità. La certezza di questa verità può avere vari gradi, a seconda delle varie scienze (Matematica vs. Storica). Ogni scienza raggiunge il proprio grado di certezza attraverso un procedimento che tende alla spiegazione, alla motivazione delle cose che ci appaiono. PROCEDIMENTO CONOSCITIVO : Il procedimento che ci conduce ad una conoscenza si distingue in 4 fasi: 1. osservazione 2. formulazione di ipotesi di spiegazione 3. deduzione delle conseguenze dalle ipotesi formulate 4. verifica delle conseguenze con altre osservazioni OSSERVAZIONE: Senza la fase 1 non si potrebbe neppure iniziare la conoscenza ... La fase 1, in alcune scienze come la fisica e la chimica, comporta numerosi esperimenti che possono essere ripetuti variando le circostanze e le situazioni. Ma la ripetibilità dell’esperimento che conduce all’osservazione non è possibile in altri campi, ad esempio nelle scienze che coinvolgono l’uomo, come la sociologia o la storia. Tuttavia entrambe le tipologie possono essere considerate scienze perché ricercano la spiegazione delle cose che osservano. FORMULAZIONE DI IPOTESI: Anche la fase 2 è essenziale in ogni conoscenza che voglia essere scientifica, perché è il fondamento della spiegazione che forma il carattere essenziale della scienza. Il contenuto delle ipotesi esplicative che vengono provvisoriamente formulate non è mai direttamente osservabile; se potessimo osservare ciò che enunciamo come ipotesi queste diventerebbero osservazioni e andrebbero a loro volta spiegate. DEDUZIONI DELLE CONSEGUENZE DELLE IPOTESI FORMULATE: Anche la fase 3 è essenziale per l’esistenza di una spiegazione, perché è quella che fa passare dal contenuto delle ipotesi, ad altri enunciati i cui contenuti sono direttamente osservabili nella fase 4. Il compito tipico della logica formale è accertare che la fase 3 si svolga correttamente, perché la fase stessa è sostanzialmente costituita da operazioni di deduzione, che non possono essere direttamente controllate nel contenuto, ma sempre e soltanto nella loro forma esteriore. Prescinde dal contenuto è semplicemente una dimostrazione matematica. VERIFICA DELLE CONSEGUENZE DELLE IPOTESI: La fase 4, infine, è costituita dall’insieme delle osservazioni di controllo o di verifica delle ipotesi annunciate. Facilmente controllabile perché ha regole precise e una struttura precisa. Logica di deduzione nelle teorie scientifiche Può avvenire che una ipotesi, o un insieme di ipotesi tra loro collegate, possa spiegare un gran numero di fenomeni; questa spiegazione viene chiamata TEORIA. Esempi: teoria di Newton della gravitazione universale. La costruzione di una teoria segue sostanzialmente la procedura che abbiamo schematizzato ed in questa procedura entra in modo essenziale una fase in cui la operazione principale è quella di LOGICA DI DEDUZIONE LOGICA MATERIALE (logica major) Accetto come vero un enunciato in forza del suo contenuto perché dice delle cose vere, direttamente constatabili a proposito di cose esistenti o di fatti avvenuti. (cose che posso verificare) LOGICA FORMALE (logica minor) Accetto come vero un enunciato perché è il risultato di una dimostrazione, cioè perché collegato, con determinate regole a certi altri enunciati, che sono stati accettati come veri. La fase deduttiva permette di convalidare o di confutare le ipotesi e permette di accrescere la conferma della loro validità o le costringe ad abbandonarle. Nessuno critica l’esistenza di questa fase della costruzione della spiegazione dei fenomeni. Le eventuali critiche vertono piuttosto sulla determinazione di procedimenti che siano inoppugnabili e facilmente verificabili, in modo da poter evitare nei limiti del possibile, che fra le ipotesi formulate e le loro conseguenze dedotte si possano intromettere degli errori di deduzione formale.