- I tipi di logica più rilevanti
- Logica formale
- Logica informale
- Logica non classica
- Logica simbolica
- Logica modale
- Logica computazionale
- Riferimenti
Esistono diversi tipi di logica e tutte focalizzano il loro oggetto di studio sulla comprensione del ragionamento e sull'identificazione quando sono corrette o errate. Lo studio della logica si è evoluto dai tempi del filosofo greco Aristotele ai giorni nostri.
L'etica si è adattata con l'intenzione di essere più specifica e, allo stesso tempo, più adatta alla vita quotidiana dell'essere umano, il che consente un'applicazione più tangibile in diversi ambiti.
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 studiare sia la struttura meramente 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 affermazioni, non si concentra chiaramente sul linguaggio naturale (il linguaggio come lo conosciamo), ma la sua utilità ha raggiunto aree diverse e con strutture diverse, come la matematica e informatica.
I tipi di logica più rilevanti
Logica formale
La logica formale, nota anche come logica classica o logica aristotelica, è lo studio di proposizioni, argomenti, affermazioni o frasi da un 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 veridicità o falsità del contenuto di un particolare argomento, ma piuttosto 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; Piuttosto, il suo studio è chiaramente focalizzato sulla struttura di detto argomento.
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 che sono generate da nozioni generali. Attraverso questo tipo di logica, si possono fare inferenze da concetti o teorie già esistenti.
Ad 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 degli argomenti avviene in modo opposto; ovvero, i concetti generali vengono creati da argomenti specifici.
Ad esempio, all'interno della logica induttiva si potrebbe dire che, se a un gatto piace il pesce, a un altro piace anche a un altro, a tutti i gatti piace il pesce.
Logica informale
La logica informale è la branca di studio che si concentra sul linguaggio e sul messaggio che emana dalle costruzioni e dagli argomenti semantici.
Questa logica è diversa dalla logica formale, in quanto la logica formale studia le strutture delle frasi e delle proposizioni; e la logica informale si concentra sulla sostanza 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.
Logica non classica
La logica non classica, o logica moderna, ha origine nel diciannovesimo secolo e si pone in opposizione alle affermazioni della logica classica. Stabilisce altre forme di analisi che possono coprire più aspetti di quelli che possono essere coperti attraverso l'approccio classico alla logica.
È così che vengono inclusi elementi matematici e simbolici, nuove affermazioni o teoremi che sono venuti a sopperire 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 di essere più accurato e adattato all'utilità nella vita di tutti i giorni.
Logica simbolica
La logica simbolica è anche chiamata logica del primo ordine, o logica matematica, ed è caratterizzata dall'utilizzo di simboli che costituiscono un nuovo linguaggio attraverso il quale gli argomenti vengono "tradotti".
L'intenzione della logica simbolica è convertire pensieri astratti in strutture più formali. Infatti, non utilizza il linguaggio naturale (idioma), ma utilizza un linguaggio tecnico che trasforma le frasi in elementi suscettibili all'applicazione di regole più precise di quelle che possono essere applicate nel linguaggio naturale.
Quindi, la logica simbolica consente il trattamento delle proposizioni attraverso le leggi del calcolo, al fine di evitare confusione o imprecisioni.
Cerca di incorporare elementi matematici nell'analisi delle strutture della logica formale. Nel regno matematico, la logica viene utilizzata 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.
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.
La logica modale cerca di essere più in sintonia con il pensiero umano, quindi comprende l'uso di costruzioni come "potrebbe", "possibilmente", "a volte", "forse", "probabilmente", "è probabile", "forse ", tra l'altro.
Nella logica modale, si tratta di considerare uno scenario in cui esiste una possibilità, e tende a considerare 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 dell'informatica.
I programmi per computer utilizzano il linguaggio di programmazione per il loro sviluppo e, attraverso la logica, è possibile lavorare su quei sistemi linguistici, assegnare compiti specifici ed eseguire azioni di verifica.
Riferimenti
- "Logica" nell'Enciclopedia Britannica. Estratto il 4 agosto 2017 da Encyclopedia Britannica: britannica.com
- "Logica formale" nell'Enciclopedia Britannica. Estratto il 4 agosto 2017 da Encyclopedia Britannica: britannica.com
- Hernández, F. "Logica computazionale" presso l'Università Nazionale Autonoma del Messico. Estratto il 4 agosto 2017 dall'Università Nazionale Autonoma del Messico: unam.mx
- Muñoz, C. "Logica non classica" presso l'Università Complutense di Madrid. Estratto il 4 agosto 2017 dall'Università Complutense di Madrid: ucm.es
- Julia, J. "Che cos'è la logica simbolica?" in eHow in spagnolo. Estratto il 4 agosto 2017 da eHow in spagnolo: ehowenespanol.com
- Oller, C. "Logica formale e argomentazione" (2006) presso l'Università Nazionale di La Plata. Estratto il 4 agosto 2017 dall'Università nazionale di La Plata: rfytp.fahce.unlp.edu.ar
- "Inferenze deduttive e induttive" nella Junta de Extremadura. Estratto il 4 agosto 2017 in Junta de Extremadura: educarex.es.