Lehre des korrekten und sinnvollen Schlussfolgerns
Logic is the study of valid forms of reasoning that allow us to draw reliable conclusions from what we already know. It matters because understanding logic helps us think clearly and accurately, distinguishing between arguments that genuinely support their conclusions and those that don't.
AI-generated from the Wikipedia summary — may contain errors.
via PubMed
Mit Logik (von altgriechisch λογικὴ τέχνη logikè téchnē ‚Kunst des Denkens‘, ‚Kunst des Argumentierens‘) wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet. In der Logik wird die Struktur von Argumenten im Hinblick auf ihre Gültigkeit untersucht, unabhängig vom Inhalt der Aussagen. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. Traditionell ist die Logik ein Teil der Philosophie. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur Rhetorik entwickelt. Seit dem 20. Jahrhundert versteht man unter Logik überwiegend symbolische Logik, die auch als grundlegende Strukturwissenschaft, z. B. innerhalb der Mathematik und der theoretischen Informatik, behandelt wird. Die moderne symbolische Logik verwendet statt der natürlichen Sprache eine künstliche Sprache (ein Satz wie: „Der Apfel ist rot“ wird z. B. in der Prädikatenlogik als formalisiert, wobei für: Der Apfel und für: ist rot steht) und verwendet streng definierte Schlussregeln. Ein einfaches Beispiel für so ein formales System ist die Aussagenlogik (dabei werden sogenannte atomare Aussagen durch Buchstaben ersetzt). Die symbolische Logik nennt man auch mathematische Logik oder formale Logik im engeren Sinn.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).