I 6 tipi di logica principale
Esistono diversi tipi di logica e tutti concentrano il loro oggetto di studio nella comprensione del ragionamento e identificano quando sono corretti o errati.
Lo studio della logica si è evoluto dai tempi del filosofo greco Aristotele al presente, e questo è stato adattato con l'intenzione di essere più specifico e, allo stesso tempo, più adatto alla vita quotidiana dell'essere umano, che gli permette di applicazione più tangibile in diverse aree.
Le ricerche logiche per lo studio sistematico di argomenti e proposizioni ei diversi tipi di logica consentono di studiare sia la struttura meramente formale di queste affermazioni, sia quella che ha a che fare con il contenuto e il potere di tale contenuto.
Sebbene la logica sia basata sullo studio delle affermazioni, non si focalizza chiaramente sul linguaggio naturale (linguaggio come lo conosciamo), ma la sua utilità ha raggiunto aree diverse e con strutture diverse, come la matematica e computing.
I tipi più rilevanti di logica
formale
La logica formale, nota anche come logica classica o logica aristotelica, è lo studio di proposizioni, argomenti, affermazioni o frasi dal punto di vista strutturale.
È un metodo per strutturare il pensiero e determinare le forme corrette o errate di un approccio specifico.
La logica formale non si concentra sulla verità o sulla falsità del contenuto di un particolare argomento, ma si focalizza sulla validità o meno della costruzione della sua forma.
Vale a dire, l'oggetto di studio della logica formale non è empirico, per il logico non è rilevante determinare se l'argomento presentato è reale e provato; ma il suo studio si concentra chiaramente sulla struttura dell'argomento.
All'interno della logica formale ci sono due classificazioni molto importanti: la logica deduttiva e la logica induttiva.
La logica deduttiva si riferisce a quelle specifiche affermazioni generate da nozioni generali. Attraverso questo tipo di logica, le inferenze possono essere fatte da concetti o teorie che già esistono.
Per esempio, all'interno della logica deduttiva si potrebbe dire che, se gli umani hanno le gambe e Clara è un essere umano, allora Clara ha le gambe.
Nel caso della logica induttiva, la costruzione di argomenti avviene in modo contrario; cioè, i concetti generali sono creati da argomenti specifici.
Per esempio, all'interno della logica induttiva si potrebbe dire che, se ad un gatto piace il pesce, ad un altro piace anche lui, e un altro anche, poi a tutti i gatti piace il pesce.
informale
La logica informale è il ramo di studio che si concentra sul linguaggio e il messaggio che emana da costruzioni e argomenti semantici.
Questa logica è diversa dalla logica formale, in quanto la logica formale studia le strutture di frasi e proposizioni; e la logica informale si concentra sullo sfondo del messaggio trasmesso.
Il suo oggetto di studio è il modo di argomentare per ottenere il risultato desiderato. La logica informale dà validità agli argomenti logici che sono più coerenti tra gli altri che hanno una struttura argomentativa più debole.
Non classico
La logica non classica, o logica moderna, ha origine nel diciannovesimo secolo e si pone in opposizione alle enunciazioni della logica classica.
Stabilisce altre forme di analisi che possono comprendere più aspetti di quelli che possono essere compresi attraverso l'approccio classico della logica.
Ecco come sono inclusi elementi matematici e simbolici, nuove dichiarazioni o teoremi che sono venuti a supplire alle carenze di un sistema logico formale.
All'interno della logica non classica ci sono diversi sottotipi di logica, come modale, matematica, trivalente, tra gli altri.
Tutti questi tipi di logica differiscono in una certa misura dalla logica formale, o incorporano nuovi elementi che sono complementari e consentono allo studio logico di una particolare affermazione più accurata e adeguata all'utilità nella vita di tutti i giorni.
simbolico
La logica simbolica è anche chiamata logica del primo ordine, o logica matematica, ed è caratterizzata dall'uso di simboli che costituiscono un nuovo linguaggio attraverso il quale "tradurre" gli argomenti.
L'intenzione della logica simbolica è di convertire pensieri astratti in strutture più formali.
Infatti, non usa il linguaggio naturale (lingua), ma usa un linguaggio tecnico che converte le frasi in elementi suscettibili all'applicazione di regole più esatte di quelle che possono essere applicate in linguaggio naturale.
Quindi, la logica simbolica consente il trattamento delle proposizioni attraverso le leggi del calcolo, per evitare confusione o inesattezze.
Cerca di incorporare elementi matematici nell'analisi delle strutture logiche formali. Nel campo matematico, la logica è usata per dimostrare i teoremi.
In breve, la logica simbolica o matematica cerca di esprimere il pensiero umano attraverso il linguaggio matematico.
Questa applicazione matematica della logica consente agli argomenti e alle costruzioni di essere più precisi.
modale
La logica modale si concentra sullo studio degli argomenti, ma aggiunge elementi relativi alla possibilità che l'affermazione in questione sia vera o falsa.
La logica modale finge di essere più consonante con il pensiero umano, quindi include l'uso di costruzioni come "potrebbe", "possibilmente", "a volte", "forse", "probabilmente", "è probabile", "forse" ", Tra gli altri.
Nella logica modale, si tratta di considerare uno scenario in cui esiste una possibilità, e si tende a considerare tutte le possibilità che possono esistere, dal punto di vista logico.
computazionale
La logica computazionale è un tipo di logica derivata dalla logica simbolica o matematica, solo che è applicata nell'area dell'informatica.
I programmi per computer usano il linguaggio della programmazione per il loro sviluppo e, attraverso la logica, è possibile lavorare su quei sistemi linguistici, assegnare compiti specifici ed eseguire azioni di verifica.
