DIE 6 ARTEN VON LOGIK UND IHRE BEDEUTUNG - PHILOSOPHIE - 2025

Es gibt verschiedene Arten von Logik, und alle konzentrieren ihren Studiengegenstand darauf, das Denken zu verstehen und festzustellen, ob sie richtig oder falsch sind. Das Studium der Logik hat sich von der Zeit des griechischen Philosophen Aristoteles bis heute weiterentwickelt.

Die Ethik wurde angepasst, um spezifischer und gleichzeitig besser an das tägliche Leben des Menschen angepasst zu sein, was eine greifbarere Anwendung in verschiedenen Bereichen ermöglicht.

Aristoteles, anerkannt als der Vater der Logik.

Die Logik strebt die systematische Untersuchung von Argumenten und Aussagen an, und die verschiedenen Arten der Logik ermöglichen es, sowohl die lediglich formale Struktur dieser Aussagen als auch die Untersuchung des Inhalts und der Macht dieses Inhalts zu untersuchen.

Obwohl Logik auf dem Studium von Aussagen basiert, konzentriert sie sich nicht klar auf die natürliche Sprache (Sprache, wie wir sie kennen), aber ihre Nützlichkeit hat verschiedene Bereiche und mit unterschiedlichen Strukturen wie Mathematik und Mathematik erreicht Computing.

Die relevantesten Arten von Logik

Formale Logik

Formale Logik, auch als klassische Logik oder aristotelische Logik bekannt, ist das Studium von Sätzen, Argumenten, Aussagen oder Sätzen unter strukturellen Gesichtspunkten. Es ist eine Methode, um Gedanken zu strukturieren und die richtigen oder falschen Formen eines bestimmten Ansatzes zu bestimmen.

Die formale Logik konzentriert sich nicht auf die Richtigkeit oder Falschheit des Inhalts eines bestimmten Arguments, sondern auf die Gültigkeit oder Nicht-Gültigkeit der Konstruktion seiner Form.

Das heißt, der Gegenstand des Studiums der formalen Logik ist nicht empirisch, für den Logiker ist es nicht relevant zu bestimmen, ob das vorgelegte Argument real und bewiesen ist; Vielmehr konzentriert sich seine Studie eindeutig auf die Struktur dieses Arguments.

Innerhalb der formalen Logik gibt es zwei sehr wichtige Klassifikationen: deduktive Logik und induktive Logik.

Deduktive Logik bezieht sich auf jene spezifischen Aussagen, die aus allgemeinen Begriffen generiert werden. Durch diese Art von Logik können Rückschlüsse auf bereits vorhandene Konzepte oder Theorien gezogen werden.

Zum Beispiel könnte man innerhalb der deduktiven Logik sagen, dass, wenn Menschen Beine haben und Clara ein Mensch ist, Clara Beine hat.

Bei der induktiven Logik erfolgt die Konstruktion der Argumente umgekehrt; Das heißt, allgemeine Konzepte werden aus bestimmten Argumenten erstellt.

Zum Beispiel könnte man innerhalb der induktiven Logik sagen, dass, wenn eine Katze Fisch mag und eine andere es auch mag und eine andere auch, dann alle Katzen Fisch mögen.

Informelle Logik

Informelle Logik ist der Studienzweig, der sich auf die Sprache und die Botschaft konzentriert, die von semantischen Konstruktionen und Argumenten ausgeht.

Diese Logik unterscheidet sich von der formalen Logik darin, dass die formale Logik die Strukturen von Sätzen und Sätzen untersucht; und informelle Logik konzentriert sich auf die Substanz der übermittelten Botschaft.

Ihr Untersuchungsgegenstand ist die Art zu argumentieren, um das gewünschte Ergebnis zu erzielen. Informelle Logik gibt logischen Argumenten Gültigkeit, die kohärenter sind, unter anderem mit einer schwächeren argumentativen Struktur.

Nicht-klassische Logik

Nicht-klassische Logik oder moderne Logik stammt aus dem neunzehnten Jahrhundert und steht im Gegensatz zu den Aussagen der klassischen Logik. Es werden andere Formen der Analyse festgelegt, die mehr Aspekte abdecken können als diejenigen, die durch den klassischen Ansatz der Logik abgedeckt werden können.

Auf diese Weise werden mathematische und symbolische Elemente aufgenommen, neue Aussagen oder Theoreme, die die Mängel eines formalen Logiksystems ausgleichen konnten.

Innerhalb der nicht-klassischen Logik gibt es verschiedene Untertypen der Logik, wie z. B. modale, mathematische, dreiwertige.

Alle diese Arten von Logik unterscheiden sich in gewissem Maße von der formalen Logik oder enthalten neue Elemente, die sich ergänzen, und ermöglichen es, das logische Studium einer bestimmten Aussage genauer zu gestalten und an den Nutzen im täglichen Leben anzupassen.

Symbolische Logik

Symbolische Logik wird auch als Logik erster Ordnung oder mathematische Logik bezeichnet und zeichnet sich durch die Verwendung von Symbolen aus, die eine neue Sprache darstellen, durch die Argumente "übersetzt" werden.

Die symbolische Logik soll abstrakte Gedanken in formalere Strukturen umwandeln. Tatsächlich wird keine natürliche Sprache (Idiom) verwendet, sondern eine technische Sprache, die Sätze in Elemente umwandelt, die für die Anwendung genauerer Regeln anfällig sind, als sie in natürlicher Sprache angewendet werden können.

Die symbolische Logik erlaubt also die Behandlung von Sätzen durch die Gesetze des Kalküls, um Verwirrung oder Ungenauigkeiten zu vermeiden.

Es versucht, mathematische Elemente in die Analyse der Strukturen der formalen Logik einzubeziehen. Im mathematischen Bereich wird Logik verwendet, um Theoreme zu beweisen.

Kurz gesagt, symbolische oder mathematische Logik versucht, menschliches Denken durch mathematische Sprache auszudrücken.

Diese mathematische Anwendung der Logik ermöglicht es, Argumente und Konstruktionen genauer zu machen.

Modale Logik

Die Modallogik konzentriert sich auf das Studium von Argumenten, fügt jedoch Elemente hinzu, die sich auf die Möglichkeit beziehen, dass die fragliche Aussage wahr oder falsch ist.

Die Modallogik versucht, mehr im Einklang mit dem menschlichen Denken zu sein, daher umfasst sie die Verwendung von Konstruktionen wie "könnte", "möglicherweise", "manchmal", "vielleicht", "wahrscheinlich", "ist wahrscheinlich", "vielleicht" ", unter anderem.

In der Modallogik geht es darum, ein Szenario zu betrachten, in dem es eine Möglichkeit gibt, und es neigt dazu, alle möglichen Möglichkeiten aus logischer Sicht zu betrachten.

Rechenlogik

Computerlogik ist eine Art von Logik, die aus symbolischer oder mathematischer Logik abgeleitet ist und nur im Bereich der Datenverarbeitung angewendet wird.

Computerprogramme verwenden die Programmiersprache für ihre Entwicklung und durch Logik ist es möglich, an diesen Sprachsystemen zu arbeiten, bestimmte Aufgaben zuzuweisen und Überprüfungsaktionen auszuführen.

Verweise

1. "Logik" in der Encyclopedia Britannica. Abgerufen am 4. August 2017 von Encyclopedia Britannica: britannica.com
2. "Formale Logik" in der Encyclopedia Britannica. Abgerufen am 4. August 2017 von Encyclopedia Britannica: britannica.com
3. Hernández, F. "Computational Logic" an der Nationalen Autonomen Universität von Mexiko. Abgerufen am 4. August 2017 von der Nationalen Autonomen Universität von Mexiko: unam.mx
4. Muñoz, C. "Non-Classic Logic" an der Complutense Universität von Madrid. Abgerufen am 4. August 2017 von der Complutense Universität Madrid: ucm.es.
5. Julia, J. "Was ist symbolische Logik?" auf eHow auf Spanisch. Abgerufen am 4. August 2017 von eHow auf Spanisch: ehowenespanol.com
6. Oller, C. "Formale Logik und Argumentation" (2006) an der Nationalen Universität von La Plata. Abgerufen am 4. August 2017 von der Nationalen Universität von La Plata: rfytp.fahce.unlp.edu.ar
7. "Deduktive und induktive Schlussfolgerungen" in Junta de Extremadura. Abgerufen am 4. August 2017 in Junta de Extremadura: Educarex.es.