I 4 tipi più importanti di logica (e caratteristiche)

La logica è lo studio del ragionamento e delle inferenze. È un insieme di domande e analisi che ci hanno permesso di capire come gli argomenti validi differiscono dagli errori e da come arriviamo a questi.

Per questo, lo sviluppo di diversi sistemi e forme di studio è stato indispensabile, che ha portato a quattro principali tipi di logica. Vedremo di seguito di cosa tratta ognuno di loro.

• Articolo consigliato: ["I 10 tipi di errori logici e argomentativi"] (I 10 tipi di errori logici e argomentativi)

Cos'è la logica?

La parola "logica" deriva dal greco "logos" che può essere tradotto in diversi modi: parola, pensiero, argomento, principio o ragione sono alcuni dei principali. In questo senso, la logica è lo studio dei principi e del ragionamento.

Questo studio ha lo scopo di comprendere diversi criteri di inferenza e come arriviamo a dimostrazioni valide, in contrasto con le dimostrazioni non valide. Quindi, la domanda di base della logica è qual è il pensiero corretto e come possiamo distinguere tra un argomento valido e un errore??

Per rispondere a questa domanda, la logica propone diversi modi di classificare affermazioni e argomenti, sia che si verifichino in un sistema formale o in un linguaggio naturale. Analizza in modo specifico le proposizioni (frasi dichiarative) che possono essere vere o false, così come gli errori, i paradossi, gli argomenti che implicano la causalità e, in generale, la teoria dell'argomentazione.

In termini generali, per considerare un sistema come logico, devono soddisfare tre criteri:

• coerenza (non c'è contraddizione tra i teoremi che compongono il sistema)
• solidità (i sistemi di test non includono false inferenze)
• completezza (tutte le frasi vere devono poter essere provate)

I 4 tipi di logica

Come abbiamo visto, la logica usa diversi strumenti per comprendere il ragionamento che usiamo per giustificare qualcosa. Tradizionalmente, vengono riconosciuti quattro principali tipi di logica, ognuno con alcuni sottotipi e specificità. Vedremo di seguito di cosa si tratta.

1. Logica formale

Conosciuto anche come logica tradizionale o logica filosofica, si tratta dello studio delle inferenze con contenuto puramente formale ed esplicito. Si tratta di analizzare le affermazioni formali (logiche o matematiche), il cui significato non è intrinseco, ma i suoi simboli hanno un significato a causa della loro utile applicazione. La tradizione filosofica da cui deriva il secondo è chiamata appunto "formalismo".

A sua volta, un sistema formale è usato per estrarre una conclusione da una o più premesse. Quest'ultimo può essere assiomi (proposizioni autoevidenti) o teoremi (conclusioni di un insieme fisso di regole di inferenze e assiomi).

2. Logica informale

Da parte sua, la logica informale è una disciplina più recente, che studiare, valutare e analizzare gli argomenti esposti nel linguaggio naturale o quotidiano. Quindi, riceve la categoria di "informale". Può essere una lingua parlata o scritta o qualsiasi tipo di meccanismo e interazione utilizzati per comunicare qualcosa. Diversamente dalla logica formale, che ad esempio si applicherebbe allo studio e allo sviluppo dei linguaggi informatici; il linguaggio formale si riferisce a lingue e lingue.

Pertanto, la logica informale può analizzare da argomenti e argomenti personali a dibattiti politici, argomenti legali o premesse diffuse dai media come giornali, televisione, Internet, ecc..

3. Logica simbolica

Come suggerisce il nome, la logica simbolica analizza le relazioni tra i simboli. A volte utilizza un linguaggio matematico complesso, poiché è responsabile dello studio dei problemi che la logica formale tradizionale trova complicata o difficile da affrontare. Di solito è diviso in due sottotipi:

• Logica predittiva o primo ordine: è un sistema formale composto da formule e variabili quantificabili
• di proposizione: è un sistema formale composto da proposizioni, che sono in grado di creare altre proposizioni attraverso connettori chiamati "logici connettivi". In questo non ci sono quasi variabili quantificabili.

4. Logica matematica

A seconda dell'autore che lo descrive, la logica matematica può essere considerata un tipo di logica formale. Altri ritengono che la logica matematica includa sia l'applicazione della logica formale alla matematica, sia l'applicazione del ragionamento matematico alla logica formale.

In generale, l'applicazione del linguaggio matematico nella costruzione di sistemi logici consente di riprodurre la mente umana. Ad esempio, questo è stato molto presente nello sviluppo dell'intelligenza artificiale e nei paradigmi computazionali dello studio della cognizione.

Di solito è diviso in due sottotipi:

• logicismo: si tratta dell'applicazione della logica in matematica. Esempi di questo tipo sono la teoria del test, la teoria dei modelli, la teoria degli insiemi e la teoria della ricorsione.
• intuizionismo: sostiene che sia la logica che la matematica sono metodi la cui applicazione è coerente per eseguire complesse costruzioni mentali. Ma, dice che di per sé, la logica e la matematica non possono spiegare le proprietà profonde degli elementi che analizzano.

Ragionamento induttivo, deduttivo e modale

D'altra parte, Esistono tre tipi di ragionamento che possono anche essere considerati sistemi logici. Questi sono meccanismi che ci permettono di trarre conclusioni dalle premesse. Il ragionamento deduttivo rende tale estrazione da una premessa generale a una premessa particolare. Un esempio classico è quello proposto da Aristotele: tutti gli umani sono mortali (questa è la premessa generale); Socrate è un umano (è la premessa maggiore), e alla fine, Socrate è mortale (questa è la conclusione).

Da parte sua, un ragionamento induttivo è il processo attraverso il quale si traccia una conclusione nella direzione opposta: dal particolare al generale. Un esempio di questo sarebbe "Tutti i corvi che posso vedere sono neri" (premessa particolare); allora, tutti i corvi sono neri (conclusione).

Infine, il ragionamento o la logica modale si basa su argomenti probabilistici, cioè esprimono una possibilità (una modalità). È un sistema logico formale che include termini come "potrebbe", "può", "dovrebbe", "alla fine".

Riferimenti bibliografici:

• Groarke, L. (2017). Logica informale. Stanford Encyclopedia of Philosophy. Estratto il 2 ottobre 2018. Disponibile su https://plato.stanford.edu/entries/logic-informal/
• Logica (2018). Le basi della filosofia. Estratto il 2 ottobre 2018. Disponibile su https://www.philosophybasics.com/branch_logic.html
• Shapiro, S. e Kouri, S. (2018). Logica classica. Estratto il 2 ottobre 2018. Disponibile in Logic (2018). Le basi della filosofia. Estratto il 2 ottobre 2018. Disponibile su https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Logica modale. Stanford Encyclopedia of Philosophy. Estratto il 2 ottobre 2018. Disponibile su https://plato.stanford.edu/entries/logic-modal/