Ce ne sono diversi tipi di logica e tutti focalizzano il loro oggetto di studio sulla comprensione del ragionamento e sull'identificazione quando è corretto o errato. Lo studio della logica si è evoluto dai tempi del filosofo greco Aristotele ai giorni nostri.
L'etica è stata adattata con l'intento di essere più specifica e, allo stesso tempo, più adatta alla vita quotidiana dell'essere umano, il che ne consente un'applicazione più tangibile in diversi ambiti.
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 frasi, 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 l'informatica.
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.
Cioè, 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 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 che già esistono..
Ad esempio, all'interno della logica deduttiva, si potrebbe dire che, se gli esseri 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 il pesce e anche a un altro, a tutti i gatti piace il pesce..
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 convalida gli argomenti logici che sono più coerenti tra gli altri che hanno una struttura argomentativa più debole.
La logica non classica, o logica moderna, ha origine nel XIX 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 compensare 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..
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 i pensieri astratti in strutture più formali. Infatti, non utilizza il linguaggio naturale (linguaggio), ma utilizza un linguaggio tecnico che converte le frasi in elementi suscettibili all'applicazione di regole più esatte 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.
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 pretende 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.
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 far funzionare quei sistemi linguistici, assegnare compiti specifici ed eseguire azioni di verifica.
Nessun utente ha ancora commentato questo articolo.