Logik
Was ist Logik?
Logik ist ein weibliches Nomen, das aus dem griechischen Begriff logiké stammt und sich auf die Logos, den Grund, das Wort oder die Sprache bezieht, was die Wissenschaft des Denkens bedeutet .
Im übertragenen Sinne bezieht sich die Wortlogik auf eine bestimmte Art des richtigen Denkens . Zum Beispiel: Das wird nie funktionieren! Ihr Plan hat überhaupt keine Logik!
Probleme oder Logikspiele sind Aktivitäten, bei denen eine Einzelperson zur Lösung des Problems eine logische Begründung verwenden muss .
Aristotelische Logik
Nach Aristoteles hat die Logik den Gedanken zum Gegenstand des Studiums sowie die Gesetze und Regeln, die ihn kontrollieren, so dass dieser Gedanke richtig ist. Für den griechischen Philosophen sind die konstitutiven Elemente der Logik Begriff, Urteil und Argumentation . Die Gesetze der Logik entsprechen den Verbindungen und Beziehungen, die zwischen diesen Elementen bestehen.
Einige Nachfolger von Aristoteles waren für die Grundlagen der mittelalterlichen Logik verantwortlich, die bis zum 13. Jahrhundert bestand. Denker des Mittelalters wie Galenus, Porphyr und Alexander von Aphrodysia stuften die Logik als die Wissenschaft des richtigen Urteils ein, was es ermöglicht, zu korrekten und formal gültigen Begründungen zu gelangen.
Programmierlogik
Die Programmierlogik ist die Sprache, in der ein Computerprogramm erstellt wird. Die Logik der Programmierung ist wesentlich für die Entwicklung von Programmen und Computersystemen, da sie die logische Verbindung für diese Entwicklung definiert. Die Schritte dieser Entwicklung werden als Algorithmus bezeichnet, der aus einer logischen Folge von Anweisungen für die auszuführende Funktion besteht.
Argumentlogik
Die Logik der Argumentation erlaubt es uns, die Gültigkeit zu überprüfen oder ob eine Aussage wahr ist oder nicht. Es wird nicht mit relativen oder subjektiven Begriffen gemacht, es handelt sich um konkrete Sätze, deren Gültigkeit überprüft werden kann. In diesem Fall zielt die Logik darauf ab, die Form von Sätzen und nicht den Inhalt zu bewerten. Die Syllogismen (bestehend aus zwei Prämissen und einer Schlussfolgerung) sind ein Beispiel für die Argumentationslogik. Zum Beispiel:
Die Fubá ist ein Hund.
Alle Hunde sind Säugetiere.
Daher ist die Fubá ein Säugetier.
Mathematische Logik
Mathematische Logik (oder formale Logik) untersucht Logik nach ihrer Struktur oder Form. Die mathematische Logik besteht aus einem deduktiven System von Aussagen, das darauf abzielt, eine Reihe von Gesetzen und Regeln zur Bestimmung der Gültigkeit von Argumenten zu erstellen. Eine Begründung wird daher als gültig angesehen, wenn aus echten Voraussetzungen eine echte Schlussfolgerung gezogen werden kann.
Mathematische Logik wird auch verwendet, um aus anderen Gründen eine gültige Begründung zu erstellen. Die Argumentation kann deduktiv sein (die Schlussfolgerung ergibt sich zwangsläufig aus der Wahrheit der Prämissen) und induktiv (probabilistisch).
Die formale Logik kann in zwei Gruppen unterteilt werden: Aussagenlogik und Prädikatslogik.
Leibniz wird von vielen als das Bewusstsein betrachtet, das den Begriff der formalen oder mathematischen Logik initiierte, der die zentralen Fragen der Mathematik anspricht. Erst nach 1890 begann mit Peano die Frage nach der Konsistenz der Axiome. Einige wichtige Prinzipien der formalen Logik finden sich in The Mathematical Analysis of Logic von George Boole (Autor von Logic oder Boolean Algebra).
Satzlogik
Die Satzlogik ist ein Bereich der Logik, in dem die Argumentation anhand der Beziehungen zwischen Sätzen (Sätzen) untersucht wird, den minimalen Einheiten des Diskurses, die wahr oder falsch sein können.
