Die 6 Hauptlogiktypen
Es gibt verschiedene Arten von Logik, und alle konzentrieren sich darauf, die Argumentation zu verstehen und festzustellen, ob sie richtig oder falsch sind.
Das Studium der Logik hat sich von der Zeit des griechischen Philosophen Aristoteles bis in die Gegenwart entwickelt und wurde in der Absicht angepasst, spezifischer und gleichzeitig dem täglichen Leben des Menschen angepasster zu sein, was dies ermöglicht greifbarere Anwendung in verschiedenen Bereichen.
Logiksuchen nach systematischer Untersuchung von Argumenten und Sätzen und nach verschiedenen Arten von Logik ermöglichen es, sowohl die rein formale Struktur dieser Aussagen als auch das zu untersuchen, was mit dem Inhalt und der Kraft des Inhalts zu tun hat.
Obwohl Logik auf dem Studium von Aussagen basiert, konzentriert sie sich nicht eindeutig auf die natürliche Sprache (Sprache, wie wir sie kennen), sondern ihr Nutzen hat verschiedene Bereiche und Strukturen wie Mathematik und Mathematik erreicht rechnen.
Die relevantesten Arten von Logik
Formell
Die formale Logik, auch als klassische Logik oder aristotelische Logik bezeichnet, ist das Studium von Sätzen, Argumenten, Aussagen oder Sätzen aus struktureller Sicht.
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 Wahrheit oder Falschheit des Inhalts eines bestimmten Arguments, sondern auf die Gültigkeit oder die sonstige 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; aber sein Studium konzentriert sich klar auf die Struktur des Arguments.
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 generiert werden. Durch diese Art von Logik können Schlussfolgerungen aus bereits existierenden Konzepten oder Theorien gezogen werden.
Zum Beispiel könnte man innerhalb der deduktiven Logik sagen, wenn Menschen Beine haben und Clara ein Mensch ist, dann hat Clara Beine.
Im Falle der induktiven Logik geschieht die Konstruktion von Argumenten in umgekehrter Weise; Das heißt, allgemeine Konzepte werden aus bestimmten Argumenten erstellt.
Zum Beispiel könnte man innerhalb der induktiven Logik sagen, wenn eine Katze Fisch mag, mag es eine andere auch und eine andere auch, dann mögen alle Katzen Fisch.
Informell
Informelle Logik ist der Zweig des Studiums, der sich auf Sprache und die Botschaft konzentriert, die aus semantischen Konstruktionen und Argumenten hervorgeht.
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 den Hintergrund der übertragenen Nachricht.
Ihr Gegenstand ist die Art und Weise zu argumentieren, um das gewünschte Ergebnis zu erzielen. Informelle Logik verleiht logischen Argumenten, die kohärenter sind, Gültigkeit, unter anderem mit einer schwächeren argumentativen Struktur.
Nicht klassisch
Die nichtklassische Logik oder die moderne Logik stammt aus dem neunzehnten Jahrhundert und steht im Gegensatz zu den Ausdrücken der klassischen Logik.
Es werden andere Formen der Analyse etabliert, die mehr Aspekte umfassen können, als dies mit dem klassischen Ansatz der Logik möglich ist.
Auf diese Weise werden mathematische und symbolische Elemente einbezogen, neue Aussagen oder Theoreme, die die Mängel eines formalen Logiksystems ausgleichen.
Innerhalb der nicht-klassischen Logik gibt es verschiedene Subtypen der Logik, unter anderem Modal, Mathematisch und Dreiwertig.
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, dass das logische Studium einer bestimmten Aussage genauer und an den Nutzen im Alltag angepasst ist.
Symbolisch
Die 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 bilden, mit der die Argumente "übersetzt" werden.
Die Absicht der symbolischen Logik ist es, abstrakte Gedanken in formalere Strukturen umzuwandeln.
Tatsächlich wird keine natürliche Sprache (language) verwendet, sondern eine technische Sprache, die Sätze in Elemente umwandelt, für die genauere Regeln gelten als für solche, die in natürlicher Sprache angewendet werden können.
Dann erlaubt die symbolische Logik die Behandlung von Sätzen durch die Gesetze der Berechnung, um Verwirrung oder Ungenauigkeiten zu vermeiden.
Ziel ist es, mathematische Elemente in die Analyse formaler logischer Strukturen 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.
Durch diese mathematische Anwendung der Logik können Argumente und Konstruktionen genauer sein.
Modal
Die Modallogik konzentriert sich auf die Untersuchung von Argumenten, fügt jedoch Elemente hinzu, die mit der Möglichkeit zusammenhängen, dass die betreffende Aussage wahr oder falsch ist.
Die Modallogik gibt vor, mit dem menschlichen Denken konsonanter zu sein, daher schließt sie die Verwendung von Konstruktionen wie "könnte", "möglicherweise", "manchmal", "vielleicht", "wahrscheinlich", "wahrscheinlich", "vielleicht" ein. ", Unter anderem.
In der Modallogik geht es darum, ein Szenario zu betrachten, in dem es eine Möglichkeit gibt, und man tendiert dazu, alle Möglichkeiten, die existieren können, vom logischen Standpunkt aus zu betrachten.
Computational
Computerlogik ist eine Art von Logik, die von symbolischer oder mathematischer Logik abgeleitet ist, nur dass sie auf dem Gebiet der Datenverarbeitung angewendet wird.
Computerprogramme verwenden für ihre Entwicklung die Programmiersprache. Durch Logik ist es möglich, an diesen Sprachsystemen zu arbeiten, bestimmte Aufgaben zuzuweisen und Überprüfungsaktionen auszuführen.
