Il logica formale, Chiamato anche logica teorica o logica matematica, determina quali sono le forme di ragionamento valide e corrette. Attraverso questa pratica cerchiamo di differenziare ciò che è corretto da ciò che non è corretto.
Nella logica formale, i simboli sono usati in modo univoco e il più chiaro possibile, in modo che non possano essere manipolati. Grazie a questa pratica è possibile sviluppare le proprie idee.
La parola "logica" deriva dal greco antico λογικήlogike, 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. I primi lavori eseguiti in relazione alla logica sono attribuiti al filosofo greco Aristotele, motivo per cui è conosciuto come il padre fondatore di questo campo 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..
Indice articolo
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 ad 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é va confuso con la persuasione, poiché per ottenere una conclusione è necessaria la struttura degli argomenti.
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 usate in modo assertivo..
Effettuare uno studio esaustivo degli schemi logici formali consentirà a ciascun individuo di conoscere esattamente le procedure associate al proprio pensiero..
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 valido sorgono perché viene analizzata la struttura delle vere premesse.
-Studia e analizza le persone per arrivare direttamente al pensiero e quindi essere in grado di stabilire nuovi modelli nella mente di ogni individuo.
-Si caratterizza per essere simbolico.
-Dal punto di vista di una scienza formale, svolge un ruolo importante in matematica, filosofia, informatica e statistica..
-È legato alla grammatica a causa dello studio della semantica.
-Strutture di studio, motivo per cui è paragonato alla matematica.
-È anche legato alla psicologia perché si concentra sullo studio del pensiero di ogni individuo.
Proviene dal greco antico δέον [τος] déon [tosse] 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.
È 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 si basano sulla logica aristotelica, che sono identità, non contraddizione e terzo escluso..
Questo tipo di logica nasce a seguito degli studi dei filosofi Jan Łukasiewicz ed Emil Post, in cui affermano che si possono ammettere valori diversi dai già comuni "vero" e "falso", e che questi i valori possono praticamente arrivare all'infinito.
In questo senso differisce dalla logica bivalente, che ammette solo due valori. Gli studi dimostrano che la logica multivalente o multiuso 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..
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.
-Maria 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 dei piedi..
-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. Ci sono pianeti nell'universo. La Terra è un pianeta.
- La luce elettrica si accende. C'è luce elettrica nelle strade. La luce elettrica illumina le strade.
Nessun utente ha ancora commentato questo articolo.