Oggetto logico formale di studio, caratteristiche ed esempi

IL Logica formale, Chiamato anche logica teorica o logica matematica, determina quali sono le forme valide e corrette di ragionamento. Attraverso questa pratica, cerca di differenziare la correttezza del errato.

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

Alfred North Whitehead era uno dei difensori della logica formale. Fonte: Wellcom Trust [CC BY-SA 4.0 (https: // creativeCommons.Org/licenze/by-sa/4.0)]

La parola "logica" proviene dal greco antico λογικήlogikE, Il 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 di pensiero. Le prime opere svolte in relazione alla logica sono attribuite al filosofo greco Aristotele, motivo per cui è noto come il padre fondatore di quest'area di pensiero.

Nel corso della storia diversi filosofi, matematica e logica hanno difeso la logica formale. Tra questi possiamo nominare la chiesa Alonzo matematica e logica; il filosofo, matematico e logico Gottlob Frege; E anche 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.

[TOC]

Oggetto di studio

La logica formale utilizza aspetti come ragionamento, concetto, giudizi e dimostrazione come oggetto di studio. Da questi elementi analizzano e studiano tutte le risorse del linguaggio e della semantica, al fine di raggiungere una conclusione.

In questo senso, è stabilito che la logica formale è studiata dal punto strutturato, dalla sua validità o disabilità.

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

Può servirti: l'origine della filosofia: come e quando ha avuto luogo?

Questa logica è anche nota come logica teorica o pura e cerca di svolgere uno studio astratto del contenuto o delle forme logiche di argomenti deduttivi, dichiarazioni, proposizioni e frasi utilizzate assertivamente.

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

Caratteristiche

Di seguito sono riportate le caratteristiche più particolari che differenziano la logica formale dagli 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 sotto un sottoinsieme di sistemi formali.

-Si applica a tali metodi efficienti che attraverso la logica formale si può distinguere l'inrrenevità della destra.

-Viene analizzata le conclusioni del ragionamento corretto o di validità perché viene analizzata la struttura delle premesse reali.

-Studia e analizza le persone per andare direttamente al pensiero e quindi essere in grado di stabilire nuovi schemi 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 statistiche.

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

-Studia le strutture, motivo per cui è confrontato con la matematica.

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

Ragazzi

Logica deontica

Viene dal greco antico Δέον [τος] Donon [tosse] E significa "il dovuto" o "il necessario". La logica austriaca Alois Höffler è il percussore di questo concetto, che si riferisce allo studio e all'analisi delle norme.

Può servirti: René Cartes: biografia, filosofia e contributi

Logica bivalente

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

I suoi principi si basano sulla logica aristotelica, che sono identità, non contraddizione e la terza escluse.

Logica multivale o versatile

Questo tipo di logica è nato a seguito degli studi condotti dai filosofi Jan łukasiewicz ed Emil Post, in cui spiegano che altri valori possono essere ammessi dai "veri" e "falsi" comuni e che questi I valori possono quasi arrivare all'infinito.

In questo senso differisce dalla logica bivalente, che ammette solo due valori. Gli studi dimostrano che la logica multivale o versatile gestisce valori come la possibilità, il bisogno, nessun bisogno, verità, falsità e impossibilità.

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

Esempi

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

Come abbiamo spiegato sopra, la logica formale non si concentra su tutte le possibilità che possono essere estratte da un argomento; Si concentra solo su questo è vero o falso. In questo senso, allora elenchiamo 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. Tutto in Portogallo parla portoghese.

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

-Pedro è Blanco e María Morena, quindi ci sono persone bianche e bruna.

Può servirti: pensatori umanisti

-Maria tocca l'orchestra rocciosa. I musicisti sono quelli che suonano nell'orchestra rock. Maria è un musicista.

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

-Il piede ha cinque dita. Gli esseri umani hanno un piede destro e una sinistra. Ogni persona ha dieci dita sui 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é bagnato con acqua. L'acqua si bagna.

- Maria ha mangiato il suo cibo caldo. Maria bruciava quando mangiava il suo cibo caldo. Burns di cibo caldo.

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

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

Riferimenti

1. "Logica formale" sulla nuova enciclopedia del mondo. Estratto il 21 aprile 2019 da New World Encyclopedia: Newworldyclopedia.org.
2. Morton l. Schagrin Ge Hughes "Logica formale" in recupero il 21 aprile 2019 da Britannica: Britannica.com.
3. "Logica e la sua classificazione" in Academia. Estratto il 23 aprile 2019 dall'Accademia: Academy.Edu.
4. "Logica formale" nel dizionario filosofico. Estratto il 23 aprile 2019 del dizionario filosofico: filosofia.org.
5. "Logica multiuso" nel dizionario filosofico. Estratto il 23 aprile 2019 del dizionario filosofico: filosofia.org.
6. "Aspetti generali della logica" in Club Essayos (18 agosto 2013). Estratto il 23 aprile 2019 da Club Essays: Clubansayos.com.
7. "Deontica Logic" in Wikipedia. Estratto il 23 aprile 2019 da Wikipedia: è.Wikipedia.org.
8. "Logica multiuso" in Wikipedia. Estratto il 23 aprile 2019 da Wikipedia: è.Wikipedia.org.
9. "Logica bivalente" su Wikipedia. Estratto il 23 aprile 2019 da Wikipedia: è.Wikipedia.org