Die 6 Arten von Logik und ihre Bedeutung

Es gibt einige Arten von Logik und alle fokussieren ihr Ziel des Studiums auf das Verständnis von Argumentation und Ermittlung, wenn sie korrekt oder falsch sind. Das Studium der Logik hat sich seit der Zeit des griechischen Philosophen Aristoteles bis heute entwickelt.

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

Aristoteles, anerkannt als Vater der Logik.

Die Logik sucht die systematische Untersuchung von Argumenten und Aussagen, und die verschiedenen Arten von Logik ermöglichen es, sowohl die lediglich formal.

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

Die relevantesten Arten von Logik

Formelle Logik

Die formale Logik, die auch als klassische oder logische aristotelische Logik bezeichnet wird, ist die Untersuchung von Aussagen, Argumenten, Aussagen oder Sätzen aus struktureller Sicht. Es ist eine Methode, um das Denken zu strukturieren und die richtigen oder falschen Wege eines bestimmten Ansatzes zu bestimmen.

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

Das heißt, das Objekt der formalen Logik ist nicht empirisch. Für die Logik ist es nicht relevant zu bestimmen, ob das vorgestellte Argument real und bewiesen ist. Ihre Studie konzentriert sich jedoch eindeutig auf die Struktur des Arguments.

Kann Ihnen dienen: Empedokles

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

Die deduktive Logik bezieht sich auf die spezifischen Aussagen, die aus allgemeinen Begriffen erzeugt werden. Durch diese Art von Logik können sie zu Schlussfolgerungen aus Konzepten oder Theorien werden, die bereits existieren.

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

Im Falle einer induktiven Logik tritt die Konstruktion der Argumente wider. Das heißt, allgemeine Konzepte werden aus spezifischen Argumenten erstellt.

Zum Beispiel könnte man innerhalb der induktiven Logik sagen, dass alle Katzen, wenn eine Katze Fische und ein anderer auch mag, und auch ein anderer mag, alle Katzen wie Fisch.

Informelle Logik

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

Diese Logik unterscheidet sich von der formalen Logik, da die formale Logik die Strukturen von Gebeten und Aussagen untersucht; Und informelle Logik konzentriert sich auf den Boden der übertragenen Nachricht.

Sein Studienobjekt ist der Weg, um das gewünschte Ergebnis zu erhalten. Informelle Logik verleiht den logischen Argumenten, die unter anderem kohärenter sind und eine schwächere argumentative Struktur haben.

Nicht klassische Logik

Nicht klassische Logik oder moderne Logik stammt aus dem 19. Jahrhundert und entsteht im Gegensatz zu den Aussagen der klassischen Logik. Es legt andere Analyseformen fest, die mehr Aspekte abdecken können, die durch den klassischen logischen Ansatz erfasst werden können.

Kann Ihnen dienen: Moralisches Thema

So sind mathematische und symbolische Elemente, neue Aussagen oder Theoreme, die die Mängel eines formalen Logiksystems liefern, enthalten.

Innerhalb der nicht klassischen Logik gibt es unterschiedliche Subtypen der Logik, wie z.

Alle diese Arten von Logik unterscheiden sich in gewissem Maße von der formalen Logik oder beinhalten neue Elemente, die komplementär sind, und ermöglichen es, dass die logische Untersuchung einer bestimmten Aussage genauer und an den Nutzen im Alltag angepasst wird.

Symbolische Logik

In diesem Spiel müssen Sie jedes Stück des zentralen Platzes in den verschiedenen Figuren finden

Die symbolische Logik wird auch als Erstbestelllogik oder mathematische Logik bezeichnet und durch Verwendung von Symbolen gekennzeichnet, die eine neue Sprache bilden, durch die sie die Argumente "übersetzen".

Die Absicht der symbolischen Logik besteht darin, abstrakte Gedanken in formalere Strukturen umzuwandeln. Tatsächlich verwendet es keine natürliche Sprache (Sprache), sondern eine technische Sprache, die Sätze in Elemente umwandelt, die für die Anwendung genauerer Regeln anfällig sind, die in der natürlichen Sprache angewendet werden können.

Dann ermöglicht die symbolische Logik die Behandlung von Aussagen durch die Berechnungsgesetze, um Verwirrung oder Ungenauigkeiten zu vermeiden.

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

Kurz gesagt.

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

Modale Logik

Die modale Logik konzentriert sich auf die Untersuchung von Argumenten, fügt jedoch Elemente hinzu, die sich auf die Möglichkeit beziehen, dass die betreffende Aussage wahr oder falsch ist.

Kann Ihnen dienen: Utilitarismus

Die modale Logik zielt darauf ab, mit dem menschlichen Denken übereinstimmender zu sein, daher deckt es die Verwendung von Konstruktionen wie "könnte", "möglicherweise", "manchmal", "vielleicht", "wahrscheinlich", "", "vielleicht", darunter ab andere.

In der modalen Logik geht es darum, ein Szenario zu berücksichtigen, in dem es eine Möglichkeit gibt, und alle Möglichkeiten, die möglicherweise bestehen können, aus logischer Sicht.

Computerlogik

Computerlogik ist eine Art von Logik, die aus symbolischer oder mathematischer Logik abgeleitet ist, nur dass sie im Bereich des Computers angewendet wird.

Computerprogramme verwenden die Sprache der Programmierung für ihre Entwicklung und durch Logik können diese Sprachsysteme bearbeiten, bestimmte Aufgaben zuzuweisen und Überprüfungsaktionen auszuführen.

Verweise

1. "Logik" in Britannica Encyclopedia. In Britannica abgerufen.com
2. "Formale Logik" in Britannica Encyclopedia. In Britannica abgerufen.com
3. Hernández, f. "Computerlogik" an der National Autonomous University of Mexico. In unam abgerufen.mx
4. Muñoz, c. "Nicht klassische Logik" an der Complickense University of Madrid. In UCM abgerufen.Ist
5. "Deduktive und induktive Schlussfolgerungen" im Vorstand von Extremadura. Abgerufen in Educarex.Ist.