• Was ist Logik?
• Philosophische Logik
• Aristotelische Logik
• Mathematische Logik
• Computerlogik
• Formale und informelle Logik

Wir erklären, was Logik ist und welche Merkmale philosophische, aristotelische, mathematische, computergestützte, formale und informelle Logik haben.

Logik wird in verschiedenen Prozessen wie Beweis, Inferenz oder Deduktion verwendet.

Was ist Logik?

Logik ist a formale Wissenschaft, die Teil der Philosophie und von der Mathematik. Es konzentriert sich auf das Studium gültiger und ungültiger Verfahren von habe gedacht, also in Prozessen wie Demonstration, Inferenz oder Deduktion, sowie in Konzepten wie Trugschlüssen, Paradoxe und das Wahrheit.

Logik ist a Disziplin extrem uralt, unabhängig geboren unter den Denkern der Großen klassische und antike Zivilisationen, wie die Chinesen, die Griechen oder die Inder. Es wurde von Anfang an als eine Methode verstanden, Gedanken zu beurteilen, um ihre formale Gültigkeit zu überprüfen, d. h. um zu erkennen, was das ideale Verfahren von . ist Argumentation, die wirklich zur Wahrheit führt.

Seit dem 20. Jahrhundert gilt sie jedoch eher als ein der Mathematik verwandter Bereich, da deren Anwendungen eine große industrielle, gesellschaftliche und technologische Bedeutung erlangten.

Das Wort "Logik" hat seinen Ursprung in der griechischen Stimme logiké ("Mit Vernunft ausgestattet"), aus dem Begriff Logos, gleichbedeutend mit "Wort" oder "Gedanke".

In der Alltagssprache verwenden wir dieses Wort jedoch als Synonym für "gesunden Menschenverstand", also in einer wertvollen oder geschätzten Denkweise, in ihrer jeweiligen Kontexte möglich. Es wird auch als gleichbedeutend der "Denkweise", wie in Bezug auf "Sportlogik", "Militärlogik" usw.

Philosophische Logik

Mit diesem Begriff bezeichnen wir die Bereiche der Philosophie, in denen die Methoden der Logik, um bestimmte philosophische Dilemmata zu lösen oder voranzutreiben, die innerhalb der betrachteten traditionellen Logik oder im Gegenteil der nicht-klassischen Logik behandelt werden können. Mit anderen Worten, Logik im Rahmen der Philosophie.

Es ist eine Disziplin, die der Philosophie des Sprache, und ist im Wesentlichen eine Fortsetzung der Logik der Antike, die sich auf das Denken und die natürliche Sprache konzentriert. Wir verwenden diesen Namen häufig, um ihn von der neuesten mathematischen Logik zu unterscheiden.

Aristotelische Logik

Innerhalb der philosophischen Logik wird die Denktradition, die mit den Werken des griechischen Philosophen Aristoteles de Estagira (384-322 v. Chr.) beginnt, der als westlicher Begründer der Logik und einer der wichtigsten Autoren gilt, als aristotelische Logik bezeichnet die philosophische Tradition der Welt.

Die Hauptwerke des Aristoteles zur Logik sind in seinem Organ (vom griechischen "Instrument"), zusammengestellt von Andronicus von Rhodos mehrere Jahrhunderte nach dem Schreiben. In ihnen entfaltet sich ein ganzes logisches System, das äußerst einflussreich war Europa und der Mittlere Osten bis nach Mittelalter.

Darüber hinaus postulierte Aristoteles in dieser Arbeit die grundlegenden Axiome der Logik:

• Das Prinzip der Widerspruchsfreiheit. Demnach kann etwas nicht gleichzeitig sein und nicht sein (A und ¬A können nicht gleichzeitig wahr sein).
• Das Identitätsprinzip. Demnach ist etwas immer mit sich selbst identisch (A ist immer gleich A).
• Das Prinzip des ausgeschlossenen Dritten. Nach dem etwas wahr ist oder nicht, ohne mögliche Abstufungen (A oder dann ¬A).

Mathematische Logik

Es ist bekannt als mathematische Logik, auch symbolische Logik, formale Logik, theoretische oder logistische Logik genannt, auf die Anwendung der logisches Denken zu bestimmten Bereichen der Mathematik und Wissenschaft.

Dies impliziert das Studium des Inferenzprozesses durch formale Repräsentationssysteme wie Aussagenlogik, Modallogik oder Logik erster Ordnung, die es ermöglichen, natürliche Sprache in mathematische Sprache zu „übersetzen“, um rigorose Demonstrationen zu entwickeln.

Die mathematische Logik umfasst vier Hauptbereiche:

• Modelltheorie. Das schlägt das Studium axiomatischer Theorien und mathematischer Logik durch mathematische Strukturen vor, die als Gruppen, Körper oder Graphen bekannt sind, und schreibt so den rein formalen Konstruktionen der Logik einen semantischen Inhalt zu.
• Demonstrationstheorie. Auch Beweistheorie genannt, schlägt sie Beweise durch mathematische Objekte vor und Techniken Mathematik als Methode zur Überprüfung logischer Probleme. Wenn sich die Modelltheorie also damit befasst, a Semantik (eine Bedeutung) zu den formalen Strukturen der Logik beschäftigt sich die Beweistheorie eher mit deren Syntax (seine Bestellung).
• Theorie von Sätze. Konzentriert sich auf das Studium abstrakter Sammlungen von Objekten, die an sich als Objekte verstanden werden, sowie ihrer grundlegenden Operationen und Zusammenhänge. Dieser Zweig der mathematischen Logik ist einer der grundlegendsten, den es gibt, so dass er ein grundlegendes Werkzeug jeder mathematischen Theorie darstellt.
• Berechenbarkeitstheorie. Gemeinsamer Bereich zwischen Mathematik und Computer oder Computer, untersucht die Entscheidungsprobleme, auf die a Algorithmus (entspricht einer Turing-Maschine) bewältigen kann. Dazu verwendet er die Mengenlehre und versteht sie als berechenbare oder nicht berechenbare Mengen.

Computerlogik

Computerlogik schafft intelligente Computersysteme.

Die Rechenlogik ist dieselbe mathematische Logik, wird jedoch auf das Gebiet der Informatik angewendet, d. h. auf verschiedene grundlegende Rechenebenen: Rechenschaltungen, Programmierung Logik und Managementalgorithmen. Künstliche Intelligenz, ein relativ junges Feld in der Gegend, gehört ebenfalls dazu.

Allgemein gesprochen strebt die Computerlogik danach, ein Computersystem durch logische Strukturen zu füttern, die in einer mathematischen Sprache die verschiedenen Möglichkeiten des menschlichen Denkens ausdrücken, und so intelligente Computersysteme zu schaffen.

Formale und informelle Logik

Außerdem wird oft zwischen zwei getrennten Bereichen der Logik unterschieden: formal und informell, basierend auf ihrer Einstellung zur Sprache, in der Aussagen ausgedrückt werden.

• Formale Logik. Es ist diejenige, die sich um die Formsprache kümmert, dh um die Art und Weise, ihre Inhalte auszudrücken, indem sie sie streng und ohne Mehrdeutigkeiten verwendet, so dass der deduktive Weg von der Gültigkeit ihrer Inhalte analysiert werden kann. Formen (daher der Name).
• Informelle Logik. Studieren Sie stattdessen ihre Argumente a posteriori, wobei gültige und ungültige Formen von den gegebenen Informationen unterschieden werden, unabhängig von ihrer logischen Form oder ihrer formalen Sprache. Diese Variante entstand Mitte des 20. Jahrhunderts als Disziplin innerhalb der Philosophie.