Formale Logik: Untersuchungsgegenstand, Merkmale, Typen und Beispiele

Die formale Logik, auch theoretische Logik oder mathematische Logik genannt, bestimmt, welche die gültigen und richtigen Formen des Denkens sind. Durch diese Praxis versuchen wir, das Richtige vom Falschen zu unterscheiden.

In der formalen Logik werden Symbole eindeutig und so klar wie möglich verwendet, damit sie nicht manipuliert werden können. Dank dieser Praxis ist es möglich, eigene Ideen zu entwickeln.

Das Wort "Logik" kommt aus dem Altgriechischen λογικήlogik, was "mit intellektueller, dialektischer, argumentativer Vernunft ausgestattet" bedeutet. Logik ist einer der Zweige der Philosophie und Mathematik und wird für diese Disziplinen als sehr nützlich angesehen.

Im Allgemeinen untersucht die Logik die Form des Denkens. Die ersten Arbeiten zur Logik werden dem griechischen Philosophen Aristoteles zugeschrieben, weshalb er als Begründer dieses Denkfeldes bekannt ist.

Im Laufe der Geschichte haben mehrere Philosophen, Mathematiker und Logiker die formale Logik verteidigt. Unter ihnen können wir den Mathematiker und Logiker Alonzo Church nennen; der Philosoph, Mathematiker und Logiker Gottlob Frege; und der Mathematiker und Philosoph Alfred North Whitehead.

Sie waren unter anderem auch große Verteidiger wie Alfred Tarski, Kurt Gödel, Bertrand Russell und Willard Van Orman Quine.

Gegenstand der Studie

Die formale Logik verwendet als Gegenstand des Studiums Aspekte wie Argumentation, Konzept, Urteile und Demonstration. Aus diesen Elementen analysiert und studiert es alle Ressourcen der Sprache und Semantik, um zu einer Schlussfolgerung zu gelangen.

In diesem Sinne wird festgestellt, dass in der formalen Logik die Argumentation vom strukturierten Punkt aus untersucht wird, von ihrer Gültigkeit oder Ungültigkeit.

Die formale Logik ist keine empirische Untersuchung des Denkprozesses. Auch nicht mit Überzeugungsarbeit zu verwechseln, denn es bedarf der Struktur der Argumente, um zu einer Schlussfolgerung zu gelangen.

Diese Logik wird auch als theoretische oder reine Logik bezeichnet und versucht, eine abstrakte Untersuchung des Inhalts oder der logischen Formen der deduktiven Argumente, Aussagen, Sätze und Sätze durchzuführen, die mit Behauptung verwendet werden.

Durch eine umfassende Untersuchung formaler Logikmuster kann jeder Einzelne die mit seinem Denken verbundenen Abläufe genau kennen.

Eigenschaften

Die folgenden besonderen Merkmale unterscheiden die formale Logik von anderen Logiktypen:

-Es ist eine Wissenschaft, die die Form der Prämisse untersucht, im Gegensatz zu anderen Arten von Logik, die nur das Material studieren.

-Es ist eine Struktur ohne Materie.

-Es wird unter einer Teilmenge von formalen Systemen eingerichtet.

- Wendet Methoden an, die so effizient sind, dass durch formale Logik zwischen falsch und richtig unterschieden werden kann.

- Die Schlussfolgerungen der richtigen oder gültigen Argumentation ergeben sich aus der Analyse der Struktur der wahren Prämissen.

- Studieren und analysieren Sie Menschen, um direkt zum Gedanken zu gelangen und so neue Muster im Kopf jedes Einzelnen zu etablieren.

-Es ist durch symbolische gekennzeichnet.

- Aus formwissenschaftlicher Sicht spielt es eine wichtige Rolle in Mathematik, Philosophie, Informatik und Statistik.

-Es ist auf Grammatik aufgrund des Studiums der Semantik verwandt.

- Studieren Sie die Strukturen, weshalb es mit der Mathematik verglichen wird.

-Es bezieht sich auch auf die Psychologie, weil es sich auf das Studium des Denkens jedes Einzelnen konzentriert.

Typen

Deontische Logik

Es kommt aus dem Altgriechischen δέον [τος] déon [Husten] und bedeutet "was ist fällig" oder "was ist notwendig". Der österreichische Logiker Alois Höffler ist der Urheber dieses Konzepts, das sich auf das Studium und die Analyse von Standards bezieht.

Zweiwertige Logik

Es ist die Art von Logik, die nur die Werte wahr und falsch zulässt. Er glaubt nicht an die Nuancen, alles ist schwarz oder weiß; Graustufen sind in dieser Logik nicht möglich.

Ihre Prinzipien basieren auf der aristotelischen Logik, die Identität, Widerspruchsfreiheit und das ausgeschlossene Dritte sind.

Plurivalente oder polyvalente Logik

Diese Art von Logik ist aus den Studien der Philosophen Jan Łukasiewicz und Emil Post hervorgegangen, in denen sie feststellen, dass andere als die üblichen "wahren" und "falschen" Werte zugelassen werden können und dass diese Werte praktisch erreicht werden können bis unendlich.

In diesem Sinne unterscheidet es sich von der zweiwertigen Logik, die nur zwei Werte zulässt. Studien zeigen, dass die plurivalente oder polyvalente Logik Werte wie Möglichkeit, Notwendigkeit, Nicht-Notwendigkeit, Wahrheit, Falschheit und Unmöglichkeit verwaltet.

Ebenso ist diese Art der formalen Logik für das Studium der philosophischen und strukturellen Aspekte der Argumente verantwortlich.

Beispiele

Durch formale Logik ist es möglich, einer bestimmten Argumentation einen Wert von Wahrheit oder Falschheit hinzuzufügen.

Wie bereits erläutert, konzentriert sich die formale Logik nicht auf alle Möglichkeiten, die aus einem Argument extrahiert werden können. es konzentriert sich nur darauf, ob dies wahr oder falsch ist. In diesem Sinne sind hier einige Beispiele, die auf formaler Logik basieren:

-Buenos Aires ist die Hauptstadt von Argentinien; Alle in Buenos Aires Geborenen sind Argentinier.

-Joao spricht Portugiesisch. Joao wurde in Portugal geboren. Jeder in Portugal spricht Portugiesisch.

-Die Kühe geben Milch. Kühe sind Säugetiere. Alle Säugetiere geben Milch.

-Pedro ist weiß und María Morena, so gibt es weiße und braune Menschen.

-María spielt im Rockorchester. Die Musiker sind diejenigen, die im Rockorchester spielen. María ist Musikerin.

-Jose hat schwarze Haare. Elena hat braune Haare. Ihre Tochter könnte mit schwarzen oder braunen Haaren geboren werden.

-Der Fuß hat fünf Finger. Menschen haben einen rechten und einen linken Fuß. Jede Person hat zehn Zehen an den Füßen.

-Spanien ist ein Land. Spanien ist in Europa. Alle Spanier sind Europäer.

- Ana ist ein Lebewesen. Ana ist sterblich. Alle Lebewesen sind sterblich.

- José wurde nass mit Wasser. Das Wasser wird nass.

- Mary hat ihr warmes Essen gegessen. Maria verbrannte sich, indem sie ihr warmes Essen aß. Warmes Essen brennt.

- Die Erde ist Teil des Universums. Im Universum gibt es Planeten. Die Erde ist ein Planet.