LOGICA FORMALE: OGGETTO DI STUDIO, CARATTERISTICHE ED ESEMPI - FILOSOFIA - 2025

La logica formale , chiamata anche logica logica teorica o logica matematica, che determina le forme di ragionamento valide e corrette sono. Attraverso questa pratica cerchiamo di differenziare ciò che è corretto da ciò che non è corretto.

Nella logica formale, i simboli vengono utilizzati in modo inequivocabile e nel modo più chiaro possibile, in modo che non possano essere manipolati. Grazie a questa pratica è possibile sviluppare le proprie idee.

Alfred North Whitehead è stato uno dei fautori della logica formale. Fonte: Wellcome Trust

La parola "logica" deriva dal greco antico λογικήlogik ḗ, che significa "dotato di ragione intellettuale, dialettica e argomentativa". La logica è una delle branche della filosofia e della matematica ed è considerata di grande utilità per queste discipline.

In generale, la logica studia la forma del pensiero. I primi lavori eseguiti in relazione alla logica sono attribuiti al filosofo greco Aristotele, motivo per cui è conosciuto come il padre fondatore di quest'area di pensiero.

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

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

Oggetto di studio

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

In questo senso, è stabilito che nella logica formale il ragionamento viene studiato dal punto di vista strutturato, dalla sua validità o invalidità.

La logica formale non è uno studio empirico del processo di ragionamento. Né deve essere confuso con la persuasione, poiché ci vuole la struttura degli argomenti per ottenere una conclusione.

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

Effettuare uno studio esaustivo degli schemi della logica formale consentirà a ciascun individuo di conoscere esattamente le procedure associate al proprio pensiero.

caratteristiche

Di seguito sono riportate le caratteristiche più particolari che differenziano la logica formale da altri tipi di logica:

-È 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 in un sottoinsieme di sistemi formali.

-Applica metodi così efficienti che attraverso la logica formale puoi distinguere ciò che è sbagliato da ciò che è giusto.

-Le conclusioni del ragionamento corretto o della validità 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 simbolico.

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

-È correlato alla grammatica a causa dello studio della semantica.

-Strutture dello studio, motivo per cui è paragonato alla matematica.

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

tipi

Logica deontica

Deriva dal greco antico δέον déon e significa "ciò che è dovuto" o "ciò che è necessario". Il logico austriaco Alois Höffler è il pioniere di questo concetto, che fa riferimento allo studio e all'analisi delle norme.

Logica bivalente

È il tipo di logica che supporta solo valori veri e falsi. Non crede alle ombre, tutto è bianco o nero; 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 multivalente o multiuso

Questo tipo di logica nasce a seguito degli studi dei filosofi Jan Łukasiewicz ed Emil Post, nei quali affermano che si possono ammettere valori diversi dai già comuni "vero" e "falso", e che questi valori possono praticamente raggiungere all'infinito.

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

Allo stesso modo, questo tipo di logica formale si occupa anche di studiare gli 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 questo sia vero o falso. In tal senso, di seguito elenchiamo alcuni esempi basati sulla logica formale:

-Buenos Aires è la capitale dell'Argentina; quindi, tutti i 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 il latte.

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

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

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

-Il piede ha cinque dita. Gli esseri umani hanno un piede destro e un piede sinistro. Ogni persona ha dieci dita.

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

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

- José si è bagnato con l'acqua. L'acqua si bagna.

- Maria ha mangiato il suo cibo caldo. Maria si è bruciata mangiando il suo cibo caldo. Il cibo caldo brucia.

- La Terra fa 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.

Riferimenti

1. "Logica formale" nell'enciclopedia del Nuovo Mondo. Estratto il 21 aprile 2019 dall'enciclopedia del nuovo mondo: newworldencyclopedia.org.
2. Morton L. Schagrin Ge Hughes "Formal logic" in Estratto il 21 aprile 2019 da Britannica: britannica.com.
3. "La logica e la sua classificazione" in Academy. Estratto il 23 aprile 2019 da Academia: academia.edu.
4. "Logica formale" nel dizionario filosofico. Estratto il 23 aprile 2019 dal dizionario filosofico: filosofia.org.
5. "Logica polivalente" nel dizionario filosofico. Estratto il 23 aprile 2019 dal dizionario filosofico: filosofia.org.
6. "Aspetti generali della logica" in Club Essays (18 agosto 2013). Estratto il 23 aprile 2019 da Club trials: clubensayos.com.
7. "Logica deontica" in wikipedia . Estratto il 23 aprile 2019 da Wikipedia: es.wikipedia.org.
8. "Logica multiuso" in wikipedia . Estratto il 23 aprile 2019 da Wikipedia: es.wikipedia.org.
9. "Logica bivalente" in wikipedia . Estratto il 23 aprile 2019 da Wikipedia: es.wikipedia.org