Die 6 wichtigsten Logiktypen

Es gibt mehrere Arten von Logikund alle konzentrieren ihr Lernziel auf das Verständnis der Argumentation und identifizieren, wann sie richtig oder falsch sind.

Das Studium der Logik hat sich von den Zeiten des griechischen Philosophen Aristoteles bis zur Gegenwart entwickelt, und dies wurde mit der Absicht angepasst, spezifischer und gleichzeitig besser an das tägliche Leben des Menschen angepasst zu sein, das es zulässt konkretere Anwendung in verschiedenen Bereichen.

Die Logik sucht nach dem systematischen Studium der Argumente und Sätze, und die verschiedenen Arten der Logik erlauben es, sowohl die formale Struktur dieser Aussagen zu untersuchen, als auch, was mit dem Inhalt und der Macht dieses Inhalts zu tun hat.

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 Gebiete und Strukturen erreicht, wie Mathematik und rechnen.

Die wichtigsten Arten von Logik

Formal

Die formale Logik, auch bekannt als klassische Logik oder aristotelische Logik, ist das Studium von Aussagen, Argumenten, Aussagen oder Sätzen aus struktureller Sicht.

Es ist eine Methode, um Gedanken zu strukturieren und die korrekten oder inkorrekten Formen eines spezifischen Ansatzes zu bestimmen.

Die formale Logik konzentriert sich nicht auf die Wahrheit oder Falschheit des Inhalts eines bestimmten Arguments, sondern konzentriert sich auf die Gültigkeit oder Ungültigkeit der Konstruktion ihrer 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 vorgestellte Argument echt und bewiesen ist; aber sein Studium konzentriert sich klar auf die Struktur dieses Arguments.

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

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

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

Bei der induktiven Logik geschieht die Konstruktion von Argumenten entgegengesetzt; Das heißt, allgemeine Konzepte werden aus bestimmten Argumenten erstellt.

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

Informell

Informelle Logik ist der Studienzweig, der sich auf Sprache und die Botschaft semantischer Konstruktionen und Argumente konzentriert.

Diese Logik unterscheidet sich von der formalen Logik dadurch, dass die formale Logik die Strukturen von Sätzen und Sätzen studiert; und informelle Logik konzentriert sich auf den Hintergrund der übertragenen Nachricht.

Sein Gegenstand der Studie ist die Art und Weise zu argumentieren, um das gewünschte Ergebnis zu erzielen. Informelle Logik verleiht logischen Argumenten, die kohärenter sind als andere, die eine schwächere argumentative Struktur haben, Gültigkeit.

Nicht klassisch

Die nichtklassische Logik oder die moderne Logik stammt aus dem 19. Jahrhundert und steht im Gegensatz zu den Aussagen der klassischen Logik.

Es etabliert andere Formen der Analyse, die mehr Aspekte umfassen können, als durch den klassischen Ansatz der Logik erfasst werden können.

So sind mathematische und symbolische Elemente enthalten, neue Aussagen oder Theoreme, die die Mängel eines formalen logischen Systems ausgleichen.

Innerhalb der nichtklassischen Logik gibt es verschiedene Subtypen der Logik, wie zum Beispiel modal, mathematisch, trivalent.

Alle diese Arten von Logik unterscheiden sich teilweise von der formalen Logik oder enthalten neue Elemente, die komplementär sind, und ermöglichen das logische Studium einer bestimmten Aussage ist genauer und angepasst an den Nutzen im täglichen Leben.

Symbolisch

Symbolische Logik wird auch als Logik erster Ordnung oder mathematische Logik bezeichnet und ist gekennzeichnet durch die Verwendung von Symbolen, die eine neue Sprache bilden, durch die die Argumente "übersetzt" werden.

Die Absicht der symbolischen Logik besteht darin, abstrakte Gedanken in formalere Strukturen umzuwandeln.

Tatsächlich verwendet es keine natürliche Sprache (Sprache), sondern verwendet eine technische Sprache, die Sätze in Elemente umwandelt, die für die Anwendung exakterer Regeln empfänglich sind als solche, die in natürlicher Sprache angewendet werden können.

Dann erlaubt die symbolische Logik die Behandlung von Aussagen durch die Gesetze der Berechnung, um Verwirrung oder Ungenauigkeiten zu vermeiden.

Es versucht, mathematische Elemente in die Analyse formaler logischer Strukturen einzubeziehen. Im mathematischen Bereich wird Logik verwendet, um Sätze zu beweisen.

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

Diese mathematische Anwendung der Logik ermöglicht es, dass Argumente und Konstruktionen genauer sind.

Modal

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 gibt vor, mit dem menschlichen Denken besser übereinzustimmen, und umfasst somit die Verwendung von Konstruktionen wie "könnte", "möglicherweise", "manchmal", "vielleicht", "wahrscheinlich", "ist wahrscheinlich", "vielleicht" ", Unter anderem.

In der modalen Logik geht es darum, ein Szenario in Betracht zu ziehen, in dem es eine Möglichkeit gibt, und man neigt dazu, alle möglichen Möglichkeiten, die existieren können, vom logischen Standpunkt aus zu betrachten.

Computergestützt

Die Berechnungslogik ist eine Art von Logik, die von einer symbolischen oder mathematischen Logik abgeleitet ist, nur dass sie im Bereich des Rechnens angewendet wird.

Computerprogramme verwenden die Sprache der Programmierung für ihre Entwicklung und durch Logik ist es möglich, an diesen Sprachsystemen zu arbeiten, bestimmte Aufgaben zuzuweisen und Verifikationsaktionen auszuführen.

Referenzen

1. "Logik" in der Enzyklopädie Britannica. Abgerufen am 4. August 2017 von Encyclopedia Britannica: britannica.com
2. "Formale Logik" in 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. "Nichtklassische Logiken" an der Complutense Universität von Madrid. Abgerufen am 4. August 2017 von Universidad Complutense de Madrid: ucm.es
5. Julia, J. "Was ist symbolische Logik?" In eHow en Español. Abgerufen am 4. August 2017 von eHow en Español: ehowenespanol.com
6. Oller, C. "Formale Logik und Argumentation" (2006) an der Nationalen Universität von La Plata. Am 4. August 2017 von der Nationalen Universität von La Plata abgeholt: 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.