Logik ist ein weibliches Substantiv aus dem griechischen Logo, verwandt mit Logos, Grund, Wort oder Rede, was bedeutet Argumentation Wissenschaft.
Im übertragenen Sinne bezieht sich das Wort Logik auf a spezifische Art der Argumentation, richtig. Beispielsweise: Das wird nie funktionieren! Ihr Plan hat keine Logik!
Sie Probleme oder Logikspiele sind Aktivitäten, bei denen eine Person a logisches Denken um das Problem zu lösen.
Aristotelische Logik
Nach Aristoteles hat die Logik den Gegenstand des Studiums habe gedacht, sowie die Gesetze und Regeln, die es kontrollieren, damit dieser Gedanke richtig ist. Für den griechischen Philosophen sind die konstituierenden Elemente der Logik die Konzept, Beurteilung und Argumentation. Die Gesetze der Logik entsprechen den Verbindungen und Beziehungen, die zwischen diesen Elementen bestehen.
Einige Nachfolger des Aristoteles waren für die Grundlagen der mittelalterlichen Logik verantwortlich, die bis ins dreizehnte Jahrhundert andauerte. Mittelalterliche Denker wie Galen, Porphyr und Alexander von Aphrodisia klassifizierten die Logik als die Wissenschaft des richtigen Urteilens, die es ermöglicht, zu korrekten und formal gültigen Überlegungen zu gelangen.
Programmierlogik
Programmierlogik ist die Sprache, die verwendet wird, um ein Computerprogramm zu erstellen. Programmierlogik ist für die Entwicklung von Computerprogrammen und -systemen unerlässlich, da sie die logische Kette für diese Entwicklung definiert. Die Schritte für diese Entwicklung werden als Algorithmus bezeichnet, der aus einer logischen Folge von Anweisungen für die auszuführende Funktion besteht.
Argumentationslogik
Die Argumentationslogik ermöglicht die Überprüfung der Gültigkeit oder ob eine Aussage wahr ist oder nicht. Es wird nicht mit relativen oder subjektiven Konzepten gemacht. Sie sind greifbare Aussagen, deren Gültigkeit überprüft werden kann. In diesem Fall zielt die Logik darauf ab, die Form der Aussagen und nicht den Inhalt zu bewerten. Syllogismen (bestehend aus zwei Prämissen und einer Schlussfolgerung) sind ein Beispiel für Argumentationslogik. Beispielsweise:
Maismehl ist ein Hund.
Alle Hunde sind Säugetiere.
Daher ist Maismehl ein Säugetier.
Mathematische Logik
Die mathematische Logik (oder formale Logik) untersucht die Logik nach ihrer Struktur oder Form. Mathematische Logik besteht aus a deduktives System von Aussagen, die darauf abzielen, eine Gruppe von Gesetzen und Regeln zu schaffen, um die Gültigkeit von Argumenten zu bestimmen. Daher gilt eine Argumentation als gültig, wenn es möglich ist, aus wahren Prämissen eine wahre Schlussfolgerung zu ziehen.
Mathematische Logik wird auch verwendet, um durch andere Argumente gültige Argumente aufzubauen. Die Gründe können sein deduktiv (der Schluss ergibt sich zwingend aus der Wahrheit der Prämissen) und induktiv (wahrscheinlich).
Formale Logik lässt sich in zwei Gruppen einteilen: Aussagenlogik und Prädikatenlogik.
Leibniz wird von vielen als der Erfinder des Konzepts der formalen Logik oder Mathematik angesehen, das sich mit den Kernfragen der Mathematik befasst. Doch erst nach 1890 begann mit Peano die Infragestellung der Konsistenz von Axiomen. Einige wichtige Prinzipien der formalen Logik finden sich in The Mathematical Analysis of Logic von George Boole (Autor der Booleschen Logik oder Algebra).
Aussagelogik
Aussagenlogik ist ein Bereich der Logik, der das Denken nach den Beziehungen zwischen Klauseln (Propositionen), den minimalen Diskurseinheiten, die wahr oder falsch sein können, untersucht.