Benutzer:Mkleine/PortalLogik
| Übersicht | Exzellente Artikel | Lesenswerte Artikel | Mitmachen |
Logik ist die Lehre des Schlussfolgerns. Begründet von Aristoteles und im Anschluss für fast zwei Jahrtausende in ihren Grundlagen fast unverändert, gewann die Logik erst in der Neuzeit wieder stark an Bedeutung. Insbesondere die Fundierung der Mathematik in der Logik, etwa durch George Boole, Frege und Russel und Whitehead, sowie das sprachphilosophische Interesse an der Logik durch den Wiener Kreis und Ludwig Wittgenstein erweckten die Grundlagenarbeit an der Logik neu zum Leben und führte zunächst zu einer strengen Formalisierung der Logik, zu logischen Kalkülen sowie zu einer Vielzahl verschiedener Logiken, die sich in ihren jeweils gewählten Voraussetzungen (Axiomen) und Schlussregeln unterscheiden. Dieses Portal bietet einen Einstieg in die wichtigsten Aspekte der Logik. Wir freuen uns über Fragen und Anregungen auf der Diskussionsseite.
Hauptartikel Logik · Kategorie Logik|
[{{fullurl:{{{2}}}|action=edit}} Bearbeiten] Philosophische Logik Satz vom ausgeschlossenen Dritten • Syllogismus • Schlussfolgerung • Deduktion • Induktion • Abduktion [{{fullurl:{{{2}}}|action=edit}} Bearbeiten] Grundlagen der formalen Logik Modelltheorie • Beweistheorie • Entscheidbarkeit • Erfüllbarkeit • Vollständigkeit • Korrektheit • Syntax • Formale Semantik • Belegung • Interpretationen • Beweis • Resolution [{{fullurl:{{{2}}}|action=edit}} Bearbeiten] Aussagenlogik Logische Aussage • Wahrheitswert • Wahrheitstabelle • Junktor • Konjunktion • Disjunktion • Negation • Konjunktive Normalform • Disjunktive Normalform • Tautologie • Kontradiktion [{{fullurl:{{{2}}}|action=edit}} Bearbeiten] Prädikatenlogik Prädikat • Quantor • Existenzaussage • Allaussage • Identität • |
[{{fullurl:{{{2}}}|action=edit}} Bearbeiten] Weitere Logiken Modallogik • Mehrwertige Logik • Fuzzy-Logik • Relevanzlogik • Parakonsistente Logiken • Epistemische Logik • Dialogische Logik • Intuitionistische_Logik • Güntherlogik • Logik höherer Stufe [{{fullurl:{{{2}}}|action=edit}} Bearbeiten] Logiker Aristoteles • Cicero • Gottfried Wilhelm Leibniz • George Boole • Charles Sanders Peirce • Gottlob Frege • Bertrand Russell • Jan Łukasiewicz • Alfred Tarski • Kurt Gödel • Ludwig Wittgenstein [{{fullurl:{{{2}}}|action=edit}} Bearbeiten] Standardwerke Analytica Priora von Aristoteles • Ueber die vierfache Wurzel des Satzes vom zureichenden Grunde von Arthur Schopenhauer • Begriffsschrift von Gottlob Frege • Principia Mathematica von Russel und Whitehead • Tractatus logico-philosophicus von Ludwig Wittgenstein • Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. von Kurt Gödel • Grundzüge der Logik von Willard Van Orman Quine • Einführung in die mathematische Logik von Alfred Tarski |