Logica formale: oggetto di studio, caratteristiche, tipi ed esempi

La logica formale, chiamata anche logica teorica o logica matematica, determina quali sono le forme di ragionamento valide e corrette. Attraverso questa pratica cerchiamo di differenziare il bene dal torto.

Nella logica formale i simboli sono usati in modo non ambiguo e il più chiaramente possibile, in modo che non possano essere manipolati. Grazie a questa pratica è possibile sviluppare le proprie idee.

La parola "logica" deriva dal greco antico λογικήlogik ḗ, che significa "dotato di ragione intellettuale, dialettica, argomentativa". La logica è uno dei rami della filosofia e della matematica ed è considerata molto utile per queste discipline.

In generale, la logica studia la forma del pensiero. Le prime opere realizzate in relazione alla logica sono attribuite al filosofo greco Aristotele, motivo per cui è conosciuto come il padre fondatore di questa area di pensiero.

Nel corso della storia diversi filosofi, matematici e logici hanno difeso la logica formale. Tra questi possiamo nominare il matematico e il logico Alonzo Church; il filosofo, matematico e logico Gottlob Frege; e il matematico e filosofo Alfred North Whitehead.

Sono stati anche grandi difensori Alfred Tarski, KurtGödel, Bertrand Russell e Willard Van Orman Quine, tra gli altri.

Oggetto di studio

La logica formale usa come oggetto di aspetti di studio come ragionamento, concetto, giudizio e dimostrazione. Da questi elementi, analizza e studia tutte le risorse del linguaggio e della semantica, per giungere a una conclusione.

In questo senso, si stabilisce che nella logica formale il ragionamento viene studiato dal punto strutturato, dalla sua validità o invalidità.

La logica formale non è uno studio empirico del processo di ragionamento. Né dovrebbe essere confuso con la persuasione, dal momento che prende la struttura degli argomenti per ottenere una conclusione.

Questa logica è anche nota come logica teorica o pura e cerca di eseguire uno studio astratto dei contenuti o delle forme logiche degli argomenti deduttivi, delle affermazioni, delle proposizioni e delle frasi utilizzate in modo assertivo.

Effettuare uno studio esaustivo dei modelli logici formali consentirà a ciascun individuo di conoscere esattamente le procedure associate al proprio pensiero.

lineamenti

Le seguenti sono le caratteristiche più particolari che differenziano la logica formale da altri tipi di logica:

-E 'una scienza che studia la forma della premessa, a differenza di altri tipi di logica che studiano solo il materiale.

-È una struttura senza materia.

-È stabilito sotto un sottoinsieme di sistemi formali.

-Applica metodi così efficienti che attraverso la logica formale possono essere distinti dal torto del giusto.

-Le conclusioni del ragionamento corretto o valido sorgono perché viene analizzata la struttura delle vere premesse.

- Studiare e analizzare le persone per arrivare direttamente al pensiero, e quindi essere in grado di stabilire nuovi modelli nella mente di ogni individuo.

-È caratterizzato dall'essere simbolici.

-Dal punto di vista di una scienza formale, svolge un ruolo importante in matematica, filosofia, informatica e statistica.

-Si tratta di grammatica dovuta allo studio della semantica.

- Studia le strutture, ed è per questo che viene confrontato con la matematica.

-Si riferisce anche alla psicologia perché si concentra sullo studio del pensiero di ogni individuo.

tipo

Logica deonica

Viene dall'antico greco δέον [τος] déon [tosse] e significa "ciò che è dovuto" o "ciò che è necessario". Il logico austriaco Alois Höffler è il percusore di questo concetto, che si riferisce allo studio e all'analisi degli standard.

Logica bivalente

È il tipo di logica che ammette solo i valori di vero e falso. Non crede nelle sfumature, tutto è nero o bianco; La scala di grigi è impossibile in questo tipo di logica.

I suoi principi sono basati sulla logica aristotelica, che sono identità, non contraddizione e terzo escluso.

Logica plurivalente o polivalente

Questo tipo di logica è nata dagli studi condotti dai filosofi Jan Łukasiewicz ed Emil Post, in cui affermano che possono essere ammessi altri valori oltre a quelli comuni "vero" e "falso", e che tali valori possono praticamente raggiungere all'infinito.

In questo senso si differenzia dalla logica bivalente, che ammette solo due valori. Gli studi dimostrano che la logica plurivalente o polivalente gestisce valori come possibilità, necessità, non necessità, verità, falsità e impossibilità.

Allo stesso modo, questo tipo di logica formale è anche responsabile dello studio degli aspetti filosofici e strutturali degli argomenti.

Esempi

Attraverso la logica formale è possibile aggiungere un valore di verità o falsità a un ragionamento specifico.

Come abbiamo spiegato in precedenza, la logica formale non si concentra su tutte le possibilità che possono essere estratte da un argomento; si concentra solo sul fatto che sia vero o falso. In questo senso, ecco alcuni esempi basati sulla logica formale:

-Buenos Aires è la capitale dell'Argentina; quindi, tutti quelli nati a Buenos Aires sono argentini.

-Joao parla portoghese. Joao è nato in Portogallo. Tutti in Portogallo parlano portoghese.

-Le mucche danno il latte. Le mucche sono mammiferi. Tutti i mammiferi danno latte.

-Pedro è bianco e María morena, quindi ci sono persone bianche e marroni.

- María suona nell'orchestra rock. I musicisti sono quelli che suonano nell'orchestra rock. María è un musicista.

-Jose ha i capelli neri. Elena ha i capelli castani. La loro figlia potrebbe nascere con capelli neri o castani.

-Il piede ha cinque dita. Gli umani hanno il piede destro e il piede sinistro. Ogni persona ha dieci dita in piedi.

-Spagna è un paese. La Spagna è in Europa. Tutti gli spagnoli sono europei.

- Ana è un essere vivente. Ana è mortale. Tutti gli esseri viventi sono mortali.

- José si è bagnato d'acqua. L'acqua bagna.

- Mary ha mangiato il suo cibo caldo. Maria si è bruciata mangiando il suo cibo caldo. Ustioni di cibo caldo

- La Terra è parte dell'universo. Nell'universo ci sono pianeti. La Terra è un pianeta.

- La luce elettrica si accende. C'è luce elettrica nelle strade. La luce elettrica illumina le strade.