Benutzer:Mkleine/PortalLogik

< Nachschlagen < Themenportale < Technik < Mkleine/PortalLogik

Übersicht

Exzellente Artikel

Lesenswerte Artikel

Mitmachen

Portal Logik

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

Artikel Satz vom ausgeschlossenen Dritten • Syllogismus • Schlussfolgerung • Deduktion • Induktion • Abduktion Vorlage:Portal:Informatik/BoxFooter Artikel Modelltheorie • Beweistheorie • Entscheidbarkeit • Erfüllbarkeit • Vollständigkeit • Korrektheit • Syntax • Formale Semantik • Belegung • Interpretationen • Beweis • Resolution Vorlage:Portal:Informatik/BoxFooter Artikel Logische Aussage • Wahrheitswert • Wahrheitstabelle • Junktor • Konjunktion • Disjunktion • Negation • Konjunktive Normalform • Disjunktive Normalform • Tautologie • Kontradiktion Vorlage:Portal:Informatik/BoxFooter Artikel Prädikat • Quantor • Existenzaussage • Allaussage • Identität • Vorlage:Portal:Informatik/BoxFooter

Vorlage:Portal:Informatik/BoxHeader Modallogik • Mehrwertige Logik • Fuzzy-Logik • Relevanzlogik • Parakonsistente Logiken • Epistemische Logik • Dialogische Logik • Intuitionistische_Logik • Güntherlogik • Logik höherer Stufe Vorlage:Portal:Informatik/BoxFooter Artikel Aristoteles • Cicero • Gottfried Wilhelm Leibniz • George Boole • Charles Sanders Peirce • Gottlob Frege • Bertrand Russell • Jan Łukasiewicz • Alfred Tarski • Kurt Gödel • Ludwig Wittgenstein Vorlage:Portal:Informatik/BoxFooter Vorlage:Portal:Informatik/BoxHeader 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 Vorlage:Portal:Informatik/BoxFooter