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 hanno permesso di capire come gli argomenti validi differiscono dagli errori e come si arriva ad essi.

Per questo è stato essenziale lo sviluppo di diversi sistemi e forme di studio, che hanno portato a quattro principali tipi di logica. Vedremo di seguito di cosa tratta ciascuno di essi.

• Articolo consigliato: "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 si arriva a prove valide, in contrasto con le prove non valide. Quindi la domanda fondamentale della logica è cos'è 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 ricorrano nei sistemi formali sia nel linguaggio naturale. Nello specifico, analizza proposizioni (frasi dichiarative) che possono essere vere o false, nonché fallacie, paradossi, argomenti che coinvolgono la causalità e, in generale, la teoria della argomentazione.

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

• Consistenza (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 essere verificabili)

I 4 tipi di logica

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

1. Logica formale

Conosciuto anche come logica tradizionale o logica filosofica, è lo studio di inferenze con contenuto puramente formale ed esplicito. Si tratta di analizzare enunciati formali (logici o matematici), il cui significato non è intrinseco ma piuttosto i suoi simboli hanno senso per l'utile applicazione che gli vengono dati. La tradizione filosofica da cui quest'ultimo deriva si chiama appunto "formalismo".

A sua volta, un sistema formale è quello utilizzato per trarre una conclusione da una o più premesse. Questi ultimi possono essere assiomi (proposizioni autoevidenti) o teoremi (conclusioni da un insieme fisso di regole di inferenze e assiomi).

Le conclusioni a cui siamo giunti attraverso la logica formale, se si basano su premesse valide e non ci sono fallimenti nelle operazioni logiche, sono vere di per sé. In effetti, questo porta a un dibattito aperto sul fatto che la logica formale appartenga al mondo della scienza. oppure appartengono a un altro campo del sapere, non descrivendo la realtà ma le proprie regole di funzionamento.

2. Logica informale

Da parte sua, la logica informale è una disciplina più recente, che studia, valuta e analizza gli argomenti sviluppati nel linguaggio naturale o quotidiano. Quindi, riceve la categoria di "informale". Può essere sia la lingua parlata che quella scritta, o qualsiasi tipo di meccanismo e interazione utilizzato per comunicare qualcosa. A differenza della logica formale, che ad esempio si applicherebbe allo studio e allo sviluppo dei linguaggi informatici; linguaggio formale si riferisce a lingue e lingue.

Pertanto, la logica informale può analizzare tutto, dai ragionamenti e argomenti personali ai dibattiti politici, argomenti legali o premesse diffuse dai media come il giornale, la televisione, internet, eccetera.

3. Logica simbolica

Come suggerisce il nome, la logica simbolica analizza le relazioni tra i simboli. A volte utilizza un linguaggio matematico complesso, poiché si occupa di studiare problemi che la logica formale tradizionale trova complicati o difficili da affrontare. Di solito è diviso in due sottotipi:

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

4. Logica matematica

A seconda dell'autore che la 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, si tratta dell'applicazione del linguaggio matematico nella costruzione di sistemi logici che rende possibile 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 della prova, 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, la logica e la matematica da sole non possono spiegare le proprietà profonde degli elementi che analizzano.

Ragionamento induttivo, deduttivo e modale

D'altro canto, ci sono tre tipi di ragionamento che possono essere considerati anche sistemi logici. Sono meccanismi che ci permettono di trarre conclusioni dalle premesse. Il ragionamento deduttivo fa questa estrazione da una premessa generale a una premessa particolare. Un esempio classico è quello proposto da Aristotele: Tutti gli esseri umani sono mortali (questa è la premessa generale); Socrate è umano (è la premessa maggiore) e, infine, Socrate è mortale (questa è la conclusione).

Da parte sua, il ragionamento induttivo è il processo mediante il quale si trae una conclusione nella direzione opposta: dal particolare al generale. Un esempio di ciò potrebbe essere "Tutti i corvi che posso vedere sono neri" (premessa particolare); quindi tutti i corvi sono neri (conclusione).

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

Riferimenti bibliografici:

• Groarke, L. (2017). Logica informale. Enciclopedia della filosofia di Stanford. Estratto il 2 ottobre 2018. Disponibile in https://plato.stanford.edu/entries/logic-informal/
• Logica (2018). Le basi della filosofia. Estratto il 2 ottobre 2018. Disponibile in https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Abduzione, ragione e scienza: processi di scoperta e spiegazione. New York: Kluwer Academic Plenum Publishers.
• McGinn, C. (2000). Proprietà logiche: Identità, Esistenza, Predicazione, Necessità, Verità. Oxford: Clarendon Press.
• Quine, W.V.O. (1986) (1970). Filosofia della logica. Cambridge, MA.: Harvard University Press.
• 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 in https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Logica Modale. Enciclopedia della filosofia di Stanford. Estratto il 2 ottobre 2018. Disponibile in https://plato.stanford.edu/entries/logic-modal/