Die 4 wichtigsten Arten von Logik (und Eigenschaften)

Logik ist das Studium von Schlussfolgerungen und Schlussfolgerungen. Es ist eine Reihe von Fragen und Analysen, die es ermöglicht haben zu verstehen, wie sich gültige Argumente von Trugschlüssen unterscheiden und wie wir zu ihnen kommen.

Dafür war die Entwicklung verschiedener Systeme und Studienformen wesentlich, die zu vier Haupttypen 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 Irrtümern"

Was ist Logik?

Das Wort "Logik" kommt vom griechischen "logos", das auf verschiedene Weise übersetzt werden kann: Wort, Gedanke, Argument, Prinzip oder Vernunft sind einige der wichtigsten. In diesem Sinne ist Logik das Studium von Prinzipien und Argumentation.

Diese Studie hat den Zweck, verschiedene Kriterien von Schlußfolgerungen zu verstehen und zu verstehen, wie wir zu gültigen Beweisen im Gegensatz zu ungültigen Beweisen gelangen. Die grundlegende Frage der Logik ist also, was richtiges Denken ist und wie können wir zwischen einem gültigen Argument und einem Trugschluss unterscheiden?

Um diese Frage zu beantworten, schlägt die Logik verschiedene Arten vor, Aussagen und Argumente zu klassifizieren, egal ob sie in formalen Systemen oder in natürlicher Sprache vorkommen. Insbesondere analysiert es Aussagen (Aussagesätze), die wahr oder falsch sein können, sowie Irrtümer, Paradoxien, Kausalitätsargumente und allgemein die Theorie der Argumentation.

Um ein System als logisch zu betrachten, müssen sie im Allgemeinen drei Kriterien erfüllen:

• Konsistenz (es gibt keinen Widerspruch zwischen den Theoremen, aus denen das System besteht)
• Solidität (Testsysteme enthalten keine falschen Schlussfolgerungen)
• Vollständigkeit (alle wahren Sätze müssen überprüfbar sein)

Die 4 Arten von Logik

Wie wir gesehen haben, verwendet die Logik verschiedene Werkzeuge, um die Argumentation zu verstehen, mit der wir etwas rechtfertigen. Traditionell werden vier Haupttypen von Logik erkannt, jeder mit einigen Untertypen und Besonderheiten. Wir werden unten sehen, worum es bei jedem geht.

1. Formale Logik

Auch bekannt als traditionelle Logik oder philosophische Logik, es ist das Studium von Schlussfolgerungen mit rein formalem und explizitem Inhalt. Es geht darum, formale Aussagen (logisch oder mathematisch) zu analysieren, deren Bedeutung nicht intrinsisch ist, sondern deren Symbole aufgrund der nützlichen Anwendung, die ihnen gegeben wird, einen Sinn ergeben. Die philosophische Tradition, von der letztere abstammt, wird eben »Formalismus« genannt.

Ein formales System wiederum ist ein System, das verwendet wird, um eine Schlussfolgerung aus einer oder mehreren Prämissen zu ziehen. Letztere können Axiome (selbstverständliche Aussagen) oder Theoreme (Schlussfolgerungen aus einem festen Satz von Folgerungen und Axiomen) sein.

Die Schlussfolgerungen, zu denen wir durch formale Logik gelangten, wenn sie auf gültigen Prämissen basieren und es keine Fehler in den logischen Operationen gibt, sind sie an sich wahr. Tatsächlich führt dies zu einer offenen Debatte darüber, ob die formale Logik in die Welt der Wissenschaft gehört. oder sie gehören zu einem anderen Wissensgebiet, indem sie nicht die Realität beschreiben, sondern ihre eigenen Regeln der Funktion.

2. Informelle Logik

Die informelle Logik ihrerseits ist eine neuere Disziplin, die studiert, bewertet und analysiert die Argumente in natürlicher oder alltagssprachlicher Sprache. Daher erhält es die Kategorie "informell". Es kann sowohl gesprochene als auch geschriebene Sprache sein oder jede Art von Mechanismus und Interaktion, die verwendet wird, um etwas zu kommunizieren. Anders als die formale Logik, die beispielsweise für das Studium und die Entwicklung von Computersprachen gelten würde; formale Sprache bezieht sich auf Sprachen und Sprachen.

So kann die informelle Logik von persönlichen Argumenten und Argumenten bis hin zu politischen Debatten analysieren, rechtliche Argumente oder Prämissen, die von Medien wie Zeitungen, Fernsehen, Internet, usw.

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 das Studium von Problemen zuständig ist, die die traditionelle formale Logik als kompliziert oder schwer zu lösen empfindet. Es wird normalerweise in zwei Untertypen unterteilt:

• Prädikative oder Logik erster Ordnung: es ist ein formales System aus Formeln und quantifizierbaren Variablen
• Propositional: Es ist ein formales System, das aus Aussagen besteht, die in der Lage sind, andere Aussagen durch Konnektoren, die als "logische Verknüpfungen" bezeichnet werden, zu erzeugen. Dabei gibt es fast keine quantifizierbaren Variablen.

4. Mathematische Logik

Je nach Autor, der sie beschreibt, kann die mathematische Logik als eine Form der formalen Logik angesehen 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 umfasst.

Im Großen und Ganzen geht es um die Anwendung mathematischer Sprache bei der Konstruktion logischer Systeme, die es ermöglicht, den menschlichen Geist zu reproduzieren. Dies war beispielsweise bei der Entwicklung der künstlichen Intelligenz und in den Rechenparadigmen der Kognitionsforschung sehr präsent.

Es wird normalerweise in zwei Untertypen unterteilt:

• Logik: Es geht um die Anwendung der Logik in der Mathematik. Beispiele dieser Art sind Beweistheorie, Modelltheorie, Mengenlehre und Rekursionstheorie.
• Intuitionismus: behauptet, dass sowohl Logik als auch Mathematik Methoden sind, deren Anwendung konsistent ist, um komplexe mentale Konstruktionen auszuführen. Aber er sagt, dass Logik und Mathematik allein die tiefen Eigenschaften der Elemente, die sie analysieren, nicht erklären können.

Induktives, deduktives und modales Denken

Andererseits, Es gibt drei Arten von Argumentation, die auch als logische Systeme bezeichnet werden können. Dies sind Mechanismen, die es uns erlauben, aus Prämissen Schlüsse zu ziehen. Deduktives Denken macht diese 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 menschlich (das ist die wichtigste Prämisse), und schließlich ist Sokrates sterblich (dies ist die Schlussfolgerung).

Induktives Denken seinerseits ist der Prozess, bei dem 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" (besondere Prämisse); also sind alle Krähen schwarz (Schlussfolgerung).

Schlussendlich basiert die Argumentation oder Modallogik 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", "muss", "eventuell" umfasst.

Bibliographische Referenzen:

• Groarke, L. (2017). Informelle Logik. Stanford Encyclopedia of Philosophy. Abgerufen am 2. Oktober 2018. Verfügbar in https://plato.stanford.edu/entries/logic-informal/
• Logik (2018). Die Grundlagen der Philosophie. Abgerufen am 2. Oktober 2018. Verfügbar in https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Entführung, Vernunft und Wissenschaft: Prozesse der Entdeckung und Erklärung. New York: Kluwer Academic Plenum Publishers.
• McGinn, C. (2000). Logische Eigenschaften: Identität, Existenz, Prädikation, Notwendigkeit, Wahrheit. Oxford: Clarendon Press.
• Quine, W.V.O. (1986) (1970). Philosophie der Logik. Cambridge, MA.: Harvard University Press.
• Shapiro, S. und Kouri, S. (2018). Klassische Logik. Abgerufen am 2. Oktober 2018. Verfügbar in Logik (2018). Die Grundlagen der Philosophie. Abgerufen am 2. Oktober 2018. Verfügbar in https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modale Logik. Stanford Encyclopedia of Philosophy. Abgerufen am 2. Oktober 2018. Verfügbar in https://plato.stanford.edu/entries/logic-modal/