I 6 tipi di logica principale



Ce ne sono diversi tipi di logicae 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ù adattato alla vita quotidiana dell'essere umano, che gli permette di applicazione più tangibile in diverse aree.

Aristotele, riconosciuto come il padre della logica.

La logica cerca lo studio sistematico degli argomenti e delle proposizioni, e i diversi tipi di logica permettono che sia possibile studiare sia la struttura meramente formale di queste affermazioni, sia ciò 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 di questo 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, e ad un altro piace anche lui, e anche un altro, allora tutti i gatti amano 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 affermazioni della logica classica.

Stabilisce altre forme di analisi che possono comprendere più aspetti di quelli che possono essere racchiusi 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ù accurati.

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, includendo così 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.

riferimenti

  1. "Logica" nell'Enciclopedia Britannica. Estratto il 4 agosto 2017 da Encyclopedia Britannica: britannica.com
  2. "Logica formale" nell'Enciclopedia Britannica. Estratto il 4 agosto 2017 da Encyclopedia Britannica: britannica.com
  3. Hernández, F. "Computational Logic" presso l'Università Nazionale Autonoma del Messico. Estratto il 4 agosto 2017 da National Autonomous University of Mexico: unam.mx
  4. Muñoz, C. "Logiche non classiche" presso l'Università Complutense di Madrid. Estratto il 4 agosto 2017 da Universidad Complutense de Madrid: ucm.es
  5. Julia, J. "Cos'è la logica simbolica?" In eHow en Español. Estratto il 4 agosto 2017 da eHow en Español: ehowenespanol.com
  6. Oller, C. "Formal Logic and Argumentation" (2006) presso l'Università Nazionale di La Plata. Estratto il 4 agosto 2017 dall'università nazionale di La Plata: rfytp.fahce.unlp.edu.ar
  7. "Le deduzioni deduttive e induttive" in Junta de Extremadura. Estratto il 4 agosto 2017 in Junta de Extremadura: educarex.es.