I 6 tipi di logica e il loro significato

Ce ne sono diversi Tipi di logica e tutti focalizzano il loro oggetto di studio sulla comprensione del ragionamento e dell'identificazione quando sono corretti o errati. Lo studio della logica si è evoluto dai tempi del filosofo greco Aristotele al presente.

L'etica è stata adattata con l'intenzione di essere più specifica e, allo stesso tempo, più adattata alla vita quotidiana dell'essere umano, che consente un'applicazione più tangibile in diverse aree.

Aristotele, riconosciuto come il padre della logica.

La logica cerca lo studio sistematico di argomenti e proposizioni e i diversi tipi di logica consentono di essere possibile di studiare sia la struttura semplicemente formale di queste affermazioni, sia cosa ha a che fare con il contenuto e il potere di detto contenuto.

Sebbene la logica si basi sullo studio delle dichiarazioni, non si concentra chiaramente sul linguaggio naturale (la lingua come la conosciamo), ma la sua utilità ha raggiunto diverse aree e con strutture diverse, come la matematica e il calcolo.

I tipi di logica più rilevanti

Logica formale

La logica formale, nota anche come logica aristotelica classica o logica, è lo studio di proposizioni, argomenti, dichiarazioni o frasi dal punto di vista strutturale. È un metodo per strutturare il pensiero e determinare i modi corretti o errati di un approccio specifico.

La logica formale non si concentra sulla veridicità o la falsità del contenuto di un argomento particolare, ma è concentrata nella validità o meno della costruzione della sua forma.

Cioè, l'oggetto di studio della logica formale non è empirico, per la logica non è rilevante determinare se l'argomento presentato è reale e provato; Ma il tuo studio è chiaramente focalizzato sulla struttura di detto argomento.

Può servirti: empedocles

All'interno della logica formale ci sono due classificazioni molto importanti: logica deduttiva e logica induttiva.

La logica deduttiva si riferisce a quelle dichiarazioni specifiche generate da nozioni generali. Attraverso questo tipo di logica possono diventare inferenze da concetti o teorie già esistenti.

Ad esempio, all'interno della logica deduttiva si potrebbe dire che, se gli umani hanno gambe e chiaro è un essere umano, allora ha le gambe chiare.

Nel caso della logica induttiva, la costruzione degli argomenti si verifica al contrario; cioè, i concetti generali sono creati da argomenti specifici.

Ad esempio, all'interno della logica induttiva si potrebbe dire che, se a un gatto piace il pesce, e anche un altro, e anche un altro, allora a tutti i gatti piace il pesce.

Logica informale

La logica informale è il ramo di studio che si concentra sulla lingua e il messaggio che emana da costruzioni e argomenti semantici.

Questa logica è diversa dalla logica formale, in quella logica formale studia le strutture di preghiere e proposizioni; E la logica informale si concentra sul fondo del messaggio trasmesso.

Il suo oggetto di studio è il modo di discutere per ottenere il risultato desiderato. La logica informale fornisce validità agli argomenti logici che sono più coerenti tra gli altri che hanno una struttura argomentativa più debole.

Logica non classica

La logica non classica, o logica moderna, ha origine nel XIX secolo e si presenta in contrasto con le dichiarazioni della logica classica. Stabilisce altre forme di analisi che possono coprire più aspetti che sono possibili per comprendere il classico approccio logico.

Può servirti: soggetto morale

Questo è il modo in cui sono inclusi elementi matematici e simbolici, nuove dichiarazioni o teoremi che sono venuti a fornire le 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 di essere più accurato e adattato all'utilità nella vita di tutti i giorni.

Logica simbolica

In questo gioco devi individuare ogni pezzo della piazza centrale nelle diverse figure intorno

La logica simbolica è anche chiamata logica di primo ordine o logica matematica ed è caratterizzata dall'uso di simboli che costituiscono un nuovo linguaggio attraverso il quale "traducono" gli argomenti.

L'intenzione della logica simbolica è quella di convertire i pensieri astratti in strutture più formali. In effetti, non usa il linguaggio naturale (lingua), ma utilizza un linguaggio tecnico che converte le frasi in elementi suscettibili all'applicazione di regole più esatte che possono essere applicate in linguaggio naturale.

Quindi, la logica simbolica consente il trattamento delle proposizioni attraverso le leggi del calcolo, al fine di evitare confusione o inesattezza.

Cerca di incorporare elementi matematici nell'analisi delle strutture della logica formale. Nel campo matematico, la logica viene utilizzata per dimostrare teoremi.

In breve, 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ù esatti.

Logica 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.

Può servirti: utilitarismo

La logica modale mira ad essere più coerente con il pensiero umano, quindi copre l'uso di costruzioni come "potrebbero", "forse", "a volte", "forse", "probabilmente", "è probabilmente", forse ", tra altro.

Nella logica modale si tratta di considerare uno scenario in cui esiste una possibilità e tutte le possibilità che possono esistere, dal punto di vista logico,.

Logica computazionale

La logica computazionale è un tipo di logica derivata dalla logica simbolica o matematica, solo che viene applicata nell'area del calcolo.

I programmi per computer utilizzano il linguaggio della programmazione per il loro sviluppo e, attraverso la logica, è possibile lavorare tali sistemi di lingua, assegnare attività specifiche ed eseguire azioni di verifica.

Riferimenti

1. "Logica" in Britannica Enciclopedia. Estratto in Britannica.com
2. "Logica formale" in Britannica Enciclopedia. Estratto in Britannica.com
3. Hernández, f. "Logica computazionale" presso la National Autonomous University del Messico. Recuperato in Unam.MX
4. Muñoz, c. "Logica non classica" presso l'Università Complutse di Madrid. Estratto in UCM.È
5. "Inferenze deduttive e induttive" nel consiglio di amministrazione di Extremadura. Estratto in educarex.È.