Es gibt einige Arten von Logik und alle konzentrieren ihren Studiengegenstand darauf, die Argumentation zu verstehen und festzustellen, ob sie richtig oder falsch ist. Das Studium der Logik hat sich von der Zeit des griechischen Philosophen Aristoteles bis heute weiterentwickelt.
Die Ethik wurde mit der Absicht angepasst, spezifischer und gleichzeitig stärker an das tägliche Leben des Menschen angepasst zu werden, was eine greifbarere Anwendung in verschiedenen Bereichen ermöglicht.
Die Logik strebt die systematische Untersuchung von Argumenten und Sätzen 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 Sätzen basiert, konzentriert sie sich nicht klar auf die natürliche Sprache (die Sprache, wie wir sie kennen), aber ihre Nützlichkeit hat verschiedene Bereiche und mit unterschiedlichen Strukturen wie Mathematik und Computer erreicht.
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 das Denken 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 Nichtgü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; Seine Studie konzentriert sich jedoch 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 existierende 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 Fisch mag und eine andere auch, dann alle Katzen Fisch mögen..
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 validiert logische Argumente, die kohärenter sind, unter anderem mit einer schwächeren argumentativen Struktur.
Nicht-klassische Logik oder moderne Logik stammt aus dem 19. 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 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 die Argumente „übersetzt“ werden..
Die symbolische Logik soll abstrakte Gedanken in formalere Strukturen umwandeln. Tatsächlich wird keine natürliche Sprache (Sprache) verwendet, sondern eine technische Sprache, die Sätze in Elemente umwandelt, für die genauere Regeln gelten können, 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.
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, 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 tendiert dazu, alle möglichen Möglichkeiten aus logischer Sicht zu betrachten.
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, diese Sprachsysteme zu bearbeiten, bestimmte Aufgaben zuzuweisen und Überprüfungsaktionen auszuführen.
Bisher hat noch niemand einen Kommentar zu diesem Artikel abgegeben.