Die 4 wichtigsten Arten von Logik (und Funktionen)

April 6, 2024

Logik ist das Studium von Schlußfolgerungen und Folgerungen . Es ist eine Reihe von Fragen und Analysen, die es uns ermöglicht zu verstehen, wie sich gültige Argumente von Irrtümern unterscheiden und wie wir zu ihnen gelangen.

Dafür war die Entwicklung verschiedener Systeme und Lernformen unerlässlich, die zu vier Hauptarten von Logik geführt haben. Wir werden unten sehen, worum es bei jedem von ihnen geht.

Empfohlener Artikel: ["Die 10 Arten von logischen und argumentativen Fehlern"] (Die 10 Arten von logischen und argumentativen Fehlern)

Was ist Logik?

Das Wort "Logik" stammt von den griechischen "Logos", die auf verschiedene Arten übersetzt werden können: Wort, Gedanken, Argumente, Prinzipien oder Gründe sind einige der wichtigsten. In diesem Sinne ist Logik das Studium von Prinzipien und Argumenten.

Diese Studie dient dazu, die verschiedenen Folgerungskriterien zu verstehen und wie wir zu gültigen Demonstrationen kommen, im Gegensatz zu den ungültigen Demonstrationen. Die grundlegende Frage der Logik lautet also: Was ist das richtige Denken und wie können wir zwischen einem gültigen Argument und einem Irrtum unterscheiden?

Um diese Frage zu beantworten, schlägt Logik verschiedene Arten der Klassifizierung von Aussagen und Argumenten vor, unabhängig davon, ob sie in einem formalen System oder in natürlicher Sprache vorkommen. Insbesondere werden Sätze (deklarative Sätze) analysiert, die wahr oder falsch sein können, sowie Irrtümer, Paradoxien, Argumente, die Kausalität beinhalten, und im Allgemeinen die Theorie der Argumentation.

Um ein System als logisch zu betrachten, muss es drei Kriterien erfüllen:

Konsistenz (Es gibt keinen Widerspruch zwischen den Theoremen, aus denen das System besteht.)
Solidität (die Testsysteme enthalten keine falschen Schlüsse)
Vervollständigen (alle wahren Sätze müssen bewiesen werden können)

Die 4 Arten von Logik

Wie wir gesehen haben, verwendet Logik verschiedene Werkzeuge, um die Gründe zu verstehen, die wir verwenden, um etwas zu rechtfertigen. Traditionell werden vier Hauptarten von Logik erkannt, die jeweils einige Untertypen und Besonderheiten aufweisen. Wir werden unten sehen, worum es bei jedem einzelnen geht.

1. Formale Logik

Auch als traditionelle Logik oder philosophische Logik bekannt. es geht um das Studium von Schlüssen mit rein formalem und explizitem Inhalt . Es geht darum, die formalen Aussagen (logisch oder mathematisch) zu analysieren, deren Bedeutung nicht intrinsisch ist, sondern ihre Symbole aufgrund der nützlichen Anwendung, die sie geben, eine Bedeutung haben. Die philosophische Tradition, aus der sich letztere herleitet, wird als "Formalismus" bezeichnet.

Ein formelles System wiederum wird verwendet, um eine Schlussfolgerung aus einem oder mehreren Prämissen zu extrahieren. Letztere können Axiome (Selbstverständlichkeiten) oder Theoreme (Schlussfolgerungen eines festen Satzes von Folgerungsregeln und Axiomen) sein.

2. Informelle Logik

Die informelle Logik ist ihrerseits eine neuere Disziplin, die studieren, bewerten und analysieren Sie die Argumente in der natürlichen oder Alltagssprache . Daher erhält es die Kategorie "informell". Es kann entweder gesprochene oder geschriebene Sprache sein oder jede Art von Mechanismus und Interaktion, um etwas zu kommunizieren. Im Gegensatz zur formalen Logik, die zum Beispiel für das Studium und die Entwicklung von Computersprachen gelten würde; formalsprache bezieht sich auf sprachen und sprachen.

So kann informelle Logik von persönlichen Argumenten und Argumenten bis zu politischen Debatten, rechtlichen Argumenten oder von Medien verbreiteten Prämissen wie Zeitungen, Fernsehen, Internet usw. analysiert werden.

3. Symbolische Logik

Wie der Name schon sagt, analysiert die symbolische Logik die Beziehungen zwischen Symbolen. Manchmal verwendet es eine komplexe mathematische Sprache, da es für die Untersuchung von Problemen verantwortlich ist, die traditionelle formale Logik als kompliziert oder schwer zu behandeln ansieht. Es ist normalerweise in zwei Untertypen unterteilt:

Prädikative Logik oder erste Ordnung : Es ist ein formales System, das aus Formeln und quantifizierbaren Variablen besteht
Propositional : Es ist ein formales System, bestehend aus Sätzen, die in der Lage sind, andere Sätze durch Konnektoren zu erzeugen, die als "logische Verbindung" bezeichnet werden. Darin gibt es fast keine quantifizierbaren Variablen.

4. Mathematische Logik

Abhängig von dem Autor, der sie beschreibt, kann mathematische Logik als eine Art formale Logik betrachtet werden. Andere meinen, dass die mathematische Logik sowohl die Anwendung der formalen Logik auf die Mathematik als auch die Anwendung des mathematischen Denkens auf die formale Logik beinhaltet.

Im Großen und Ganzen ermöglicht die Anwendung mathematischer Sprache beim Aufbau logischer Systeme die Reproduktion des menschlichen Geistes. Dies war zum Beispiel bei der Entwicklung der künstlichen Intelligenz und bei den rechnerischen Paradigmen der Erforschung der Erkenntnis sehr präsent.

Es ist normalerweise in zwei Untertypen unterteilt:

Logik Es geht um die Anwendung der Logik in der Mathematik. Beispiele für diesen Typ sind Beweistheorie, Modelltheorie, Mengenlehre und Rekursionstheorie.
Intuition argumentiert, dass sowohl Logik als auch Mathematik Methoden sind, deren Anwendung konsistent ist, um komplexe mentale Konstruktionen auszuführen. Er sagt jedoch, dass Logik und Mathematik an sich keine tiefen Eigenschaften der Elemente erklären können, die sie analysieren.

Induktives, deduktives und modales Denken

Auf der anderen Seite Es gibt drei Arten von Argumenten, die auch als logische Systeme betrachtet werden können . Dies sind Mechanismen, die es uns ermöglichen, Rückschlüsse auf die Voraussetzungen zu ziehen. Deduktive Überlegungen machen eine solche Extraktion von einer allgemeinen Prämisse zu einer bestimmten Prämisse. Ein klassisches Beispiel ist das von Aristoteles vorgeschlagene: Alle Menschen sind sterblich (dies ist die allgemeine Prämisse); Sokrates ist ein Mensch (es ist die Hauptprämisse), und schließlich ist Sokrates sterblich (dies ist die Schlussfolgerung).

Eine induktive Begründung ist seinerseits der Prozess, durch den eine Schlussfolgerung in die entgegengesetzte Richtung gezogen wird: vom Besonderen zum Allgemeinen. Ein Beispiel dafür wäre "Alle Krähen, die ich sehen kann, sind schwarz" (bestimmte Prämisse); dann sind alle Krähen schwarz (Schlussfolgerung).

Schlußfolgerungen oder modale Logik basieren schließlich auf probabilistischen Argumenten, dh sie drücken eine Möglichkeit (eine Modalität) aus. Es ist ein formales Logiksystem, das Begriffe wie "könnte", "kann", "sollte", "schließlich" enthält.

Literaturhinweise:

Groarke, L. (2017). Informelle Logik. Stanford-Lexikon der Philosophie. Abgerufen am 2. Oktober 2018. Verfügbar unter //plato.stanford.edu/entries/logic-informal/
Logik (2018). Die Grundlagen der Philosophie. Abgerufen am 2. Oktober 2018. Verfügbar unter //www.philosophybasics.com/branch_logic.html
Shapiro, S. und Kouri, S. (2018). Klassische Logik. Abgerufen am 2. Oktober 2018. Verfügbar in Logic (2018). Die Grundlagen der Philosophie. Abgerufen am 2. Oktober 2018. Verfügbar unter //www.philosophybasics.com/branch_logic.html
Garson, J. (2018). Modale Logik. Stanford-Lexikon der Philosophie. Abgerufen am 2. Oktober 2018. Verfügbar unter //plato.stanford.edu/entries/logic-modal/