FORMALE LOGIK: UNTERSUCHUNGSGEGENSTAND, MERKMALE UND BEISPIELE - PHILOSOPHIE - 2025

Die formale Logik , auch logische theoretische oder mathematische Logik genannt, bestimmt gültige und korrekte Argumentationsformen. Durch diese Praxis versuchen wir zu unterscheiden, was richtig und was falsch ist.

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.

Alfred North Whitehead war einer der Befürworter der formalen Logik. Quelle: Wellcome Trust

Das Wort "Logik" stammt aus dem Altgriechischen λογικήlogik ḗ, was "mit intellektueller, dialektischer, argumentativer Vernunft ausgestattet" bedeutet. Die 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 Gründungsvater dieses Denkfeldes bekannt ist.

Im Laufe der Geschichte haben verschiedene 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 auch Mathematiker und Philosoph Alfred North Whitehead.

Alfred Tarski, Kurt Gödel, Bertrand Russell und Willard Van Orman Quine waren ebenfalls großartige Verteidiger.

Studienobjekt

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

In diesem Sinne wird festgestellt, dass in der formalen Logik das Denken unter strukturierten Gesichtspunkten, unter seiner Gültigkeit oder Ungültigkeit untersucht wird.

Formale Logik ist keine empirische Untersuchung des Denkprozesses. Es sollte auch nicht mit Überzeugungsarbeit verwechselt werden, da die Struktur der Argumente erforderlich ist, um eine Schlussfolgerung zu ziehen.

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 durchsetzungsfähig verwendeten Sätze durchzuführen.

Durch eine umfassende Untersuchung der Muster der formalen Logik kann jeder Einzelne die mit seinem Denken verbundenen Verfahren genau kennen.

Eigenschaften

Nachfolgend sind die besonderen Merkmale aufgeführt, die die formale Logik von anderen Logiktypen unterscheiden:

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

-Es ist eine Struktur ohne Materie.

-Es wird unter einer Teilmenge von formalen Systemen eingerichtet.

- Wenden Sie Methoden an, die so effizient sind, dass Sie durch formale Logik unterscheiden können, was falsch und was richtig ist.

-Die Schlussfolgerungen der richtigen Argumentation oder Gültigkeit ergeben sich, weil die Struktur der wahren Prämissen analysiert wird.

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

-Es zeichnet sich dadurch aus, dass es symbolisch ist.

- Aus Sicht einer formalen Wissenschaft spielt sie eine wichtige Rolle in Mathematik, Philosophie, Informatik und Statistik.

-Es hängt mit der Grammatik aufgrund des Studiums der Semantik zusammen.

-Studienstrukturen, weshalb es mit Mathematik verglichen wird.

-Es hängt auch mit der Psychologie zusammen, weil es sich auf das Studium des Denkens jedes Einzelnen konzentriert.

Typen

Deontische Logik

Es stammt aus dem Altgriechischen δέον déon und bedeutet "was fällig ist" oder "was notwendig ist". Der österreichische Logiker Alois Höffler ist der Pionier dieses Konzepts, das sich auf das Studium und die Analyse von Normen bezieht.

Zweiwertige Logik

Es ist die Art von Logik, die nur wahre und falsche Werte unterstützt. Er glaubt nicht an Schatten, alles ist schwarz oder weiß; Graustufen sind in dieser Art von Logik unmöglich.

Seine Prinzipien basieren auf der aristotelischen Logik, die Identität, Widerspruchsfreiheit und den ausgeschlossenen Dritten sind.

Multivalente oder Mehrzwecklogik

Diese Art von Logik entstand als Ergebnis der Studien der Philosophen Jan Łukasiewicz und Emil Post, in denen sie feststellten, dass andere Werte als die bereits üblichen „wahr“ und „falsch“ zugelassen werden können und dass diese Werte praktisch erreicht werden können zur Unendlichkeit.

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

Ebenso ist diese Art der formalen Logik für die Untersuchung der philosophischen und strukturellen Aspekte der Argumente zuständig.

Beispiele

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

Wie wir zuvor erklärt haben, 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 listen wir nachfolgend einige Beispiele auf, die auf formaler Logik basieren:

-Buenos Aires ist die Hauptstadt von Argentinien; Dann sind alle in Buenos Aires Geborenen 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 ist brünett, also gibt es weiße und braune Leute.

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

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

-Der Fuß hat fünf Zehen. Menschen haben einen rechten und einen linken Fuß. Jede Person hat zehn Zehen.

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

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

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

- Maria hat ihr warmes Essen gegessen. Maria wurde verbrannt, als sie ihr warmes Essen aß. Warme Speisen brennen.

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

- Das elektrische Licht leuchtet auf. Es gibt elektrisches Licht auf den Straßen. Elektrisches Licht beleuchtet die Straßen.

Verweise

1. "Formale Logik" in der Enzyklopädie der Neuen Welt. Abgerufen am 21. April 2019 aus der New World Encyclopedia: newworldencyclopedia.org.
2. Morton L. Schagrin Ge Hughes "Formale Logik" in Abgerufen am 21. April 2019 von Britannica: britannica.com.
3. "Die Logik und ihre Klassifikation" in der Akademie. Abgerufen am 23. April 2019 von Academia: akademia.edu.
4. "Formale Logik" im Philosophischen Wörterbuch. Abgerufen am 23. April 2019 aus dem Philosophischen Wörterbuch: philosoph.org.
5. "Polyvalente Logik" im Philosophischen Wörterbuch. Abgerufen am 23. April 2019 aus dem Philosophischen Wörterbuch: philosoph.org.
6. "Allgemeine Aspekte der Logik" in Club Essays (18. August 2013). Abgerufen am 23. April 2019 aus Clubversuchen: clubensayos.com.
7. "Deontische Logik" in Wikipedia . Abgerufen am 23. April 2019 von Wikipedia: es.wikipedia.org.
8. "Mehrzwecklogik" in Wikipedia . Abgerufen am 23. April 2019 von Wikipedia: es.wikipedia.org.
9. "Bivalente Logik" in Wikipedia . Abgerufen am 23. April 2019 von Wikipedia: es.wikipedia.org