Logik-Texte: kommentierte Auswahl zur Geschichte der modernen Logik

A₁ ableitbar Algebra allgemeinen 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 calculus deduktiven definieren definiert Definition dreiwertigen Eigenschaft Elemente endlich enthält Entscheidungsproblem entsprechenden erfüllbar 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 Hersg Hilbert Implikation Individuen Individuenbereich Inhalt intuitionistischen intuitionistischen Logik Kalkül Klasse Klassenkalküls klassischen Logik könnte läßt lich logic logischen Łukasiewicz Math Mathematical Menge Mengenlehre Metasprache Metawissenschaft Methode modal Modallogik möglich muß natürlichen Zahlen Negation Ordinalzahlen Ordnung Postulat Prädikate Prädikatenkalkül Prädikatenlogik Quantifikatoren Quantoren rekursiv Relation Satz Schlußfigur semantischen semantischen Kategorien Sequenz Sinn Sprache Sukzedens Symbole System Systems Tarski Theorie unendlich unsere Untersuchungen verschiedene Vollständigkeit vorkommen wahren Aussage Wahrheit Wahrheitswerth Weise Wert Widerspruch Widerspruchsfreiheit Wissenschaft Zeichen zwei zweiten