Logik-Texte: kommentierte Auswahl zur Geschichte der modernen Logik

A₁ ableitbar Algebra allgemeinen Antezedens Antinomien äquivalent Argument Arithmetik Ausdrücke Aussagefunktion Aussagenkalküls Aussagenlogik Axiome Axiomensystem Bedeutung Begriff Begriffsschrift beiden beliebige besteht bestimmten betrachten betrachteten Beweis beweisbar bezeichnen Bezug C. I. Lewis deduktiven definieren definiert Definition dreiwertigen Eigenschaft Elemente endlichen enthält Entscheidungsproblem entsprechenden erfüllbar erfüllt ersetzen ersten Fall falsch Folge folgende Folgerung formalisierten Formel Frege freie Variable Funktion Funktoren Gedanken Gegenstand gemäß gewisse gibt gilt Gödel Grund heißt Herleitung Hilbert Implikation Individuen Individuenbereich Inhalt intuitionistischen intuitionistischen Logik Kalkül Klasse Klassenkalküls klassischen Logik könnte läßt lich logic logischen Łukasiewicz Math Mathematik Menge Metasprache Metawissenschaft Methode Modallogik möglich muß natürlichen Zahlen Negation Ordinalzahlen Ordnung Postulat Prädikate Prädikatenkalkül Prädikatenlogik Quantifikatoren Quantoren rekursiv Relation richtige Satz Schlußfigur semantischen semantischen Kategorien Sequenz Sinn Sprache Sukzedens Symbole System Systems Tarski Theorie unendlich unsere Untersuchungen Urtheil verschiedene Vollständigkeit vorkommen wahre Aussage Wahrheit Wahrheitswerth Weise Wert Widerspruch Widerspruchsfreiheit Wissenschaft x₁ Zeichen zwei zweiten