Abbildung		*Mapping*
Abkürzungen, syllogistische		*Mnemonics, syllogistic*
Ableitbarkeit		*Deducibility*
Ableitung		*Derivation*
Abschluss (deduktiv, logisch)	*Closure (deductive, logical)*
Abzählbar		*Countable*
Äquivalenzrelation	*Equivalence relation*
Algorithmus		*Algorithm*
Allquantor		*Universal quantifier*
Analytisch (Urteil oder Proposition)	*Analytic (judgment or proposition)*
Argument		*Argument*
auf-Funktion		*Onto function*
Auswahlaxiom		*Axiom of choice*
Axiom			*Axiom*
Axiomatische Theorie	*Axiomatic theory*
Axiomenschema		*Axiom schema*
Berechenbare Funktion	*Computable function*
Bewertung		*Valuation*
Bijektion		*Bijection*
Bikonditional		*Biconditional*
Churchsche These	*Church's thesis*
Churchscher Satz	*Church's theorem*
De Morgansche Gesetze	*De Morgan's laws*
De re / de dicto	*De re / de dicto*
Deduktionstheorem	*Deduction theorem*
Distribution eines Terms (eines Syllogismus)	*Distributed term (of a syllogism)*
Dualität		*Duality*
Effektive Prozedur	*Effective procedure*
Eins-zu-eins-Korrespondenz	*One-one correspondence*
Enthymem		*Enthymeme*
Entscheidbarkeit	*Decidability*
Entscheidungsproblem	*Entscheidungsproblem*
Erfüllung		*Satisfaction*
Erste Stude / Höhere Stufe	*First-order / higher-order*
Existentielle Instantiierung	     *Existential instantiation*
Existentielle Verallgemeinerung	     *Existential generalization*
Existenzquantor / Einsquantor	     *Existential quantifier*
Figur (eines kategorischen Syllogismus)		*Figure (of a categorical syllogism)*
Forcing		     	*Forcing*
Formale Sprache		*Formal language*
Formaler Beweis (Ableitung)	*Formal proof (derivation)*
Formales System		*Formal system*
Freie/s (Vorkommen einer) Variable/n	*Free (occurrence of a) variable*
Funktion		*Function*
Gebundene/s (Vorkommen einer) Variable/n	*Bound (occurrence of a) variable*
Gesetze des Denkens	*Laws of thought*
Gleichmächtigkeit	*Equinumerosity / equipollence*
Gültigkeit		*Validity*
Halteproblem		*Halting problem*
Homomorphismus		*Homomorphism*
Identität der Unununterscheidbaren	*Identity of indiscernibles*
Imprädikative Definition		*Impredicative definition*
Indirekter Beweis	*Indirect proof*
Induktion, mathematische   		*Induction, mathematical*
Injektion		*Injection*
Interpretation		*Interpretation*
Isomorphismus		*Isomorphism*
Junktor / Konnektiv	*Propositional operator / connective*
Kardinalität (Kardinalzahl)	*Cardinality (cardinal number)*
Kategorische Proposition	*Categorical proposition*
Kategorische Theorie	*Categorical theory*
Kategorischer Syllogismus	*Categorical syllogism*
Kompatkheit		*Compactness*
Konditional, kontrafaktisches	*Conditional, counterfactual*
Konditional, materiales		*Conditional, material*
Konditionaler Beweis		*Conditional proof*
Konnektiv / Partikel		*Connective*
Konservative Erweiterung	*Conservative extension*
Konsistenz		*Consistency*
Konstante		*Constant*
Kontinuumshypothese	*Continuum hypothesis*
Kontrafaktisch (Konditional)	*Counterfactual (conditional)*
Kontraktion		*Contraction*
Kontraposition		*Contraposition*
Konverse (einer Relation)	*Converse (of a relation)*
Korrektheit (einer Theorie)	*Soundness (of a theory)*
Korrektheit (eines Arguments)	*Soundness (of an argument)*
Korrektheit (eines logischen Kalküls)	*Soundness (of a logical calculus)*
Logische Implikation	*Logical implication*
Logisches / logistisches System		*Logistic system*
Logisches Quadrat	*Square of opposition*
Lügnerparadox / Lügnerantinomie		*Liar paradox*
Maximal konsistente Menge	*Maximal consistent set*
Mittelbegriff (eines Syllogismus)	*Middle term (of a syllogism)*
Modell			*Model*
Modus (eines kategorischen Syllogismus)	*Mood (of a categorical syllogism)*
Modus ponens		*Modus ponens*
Modus tollens		*Modus tollens*
Normalform (disjunktive)	*Normal form (disjunctive)*
Normalform (konjunktive)	*Normal form (conjunctive)*
Normalform (pränexe)	*Normal form (prenex)*
Oberbegriff (eines Syllogismus)		*Major term (of a syllogism)*
Omega-Konsistenz		*Omega-consistency*
Omrga-Vollständigkeit	*Omega-completeness*
Opposition		*Opposition*
Ordinalzahl		*Ordinal (number)*
Ordnung			*Ordering*
Peano-Postulate (Peano-Arithmetik)	*Peano postulates (Peano arithmetic)*
Potenzmenge		*Power set*
Proposition		*Proposition*
Quantor			*Quantifier*
Reductio ad absurdum	*Reductio ad absurdum*
Registermaschine	*Register machine*
Rekursiv aufzählbare Menge	*Recursively enumerable set*
Rekursive Funktion	*Recursive function*
Rekursive Menge		*Recursive set*
Relation		*Relation*
Relationen (Eigenschaften von)		*Relations (properties of)*
Russellsches Paradox / Antinomie	*Russell's paradox*
Satz			*Sentence*
Satz von Löwenheim-Skolem 	*Löwenheim-Skolem theorem(s)*
Schnitteliminationssätze / Schnittsätze		*Cut-elimination theorems*
Signature		*Signature*
Singuläre Proposition	*Singular proposition*
Sophismus		*Sophism*
Sorites-Paradox*	*Sorites paradox*
Struktur		*Structure*
Surjektion		*Surjection*
Syllogismus, disjunktiver	*Syllogism, disjunctive*
Syllogismus, hypothetischer	*Syllogism, hypothetical*
Syllogismus, kategorischer	*Syllogism, categorical*
Syllogismus, modaler		*Syllogism, modal*
Symbole			*Symbols*
Tautologie, tautologische Implikation	*Tautology, tautological implication*
Theorie			*Theory*
Transfinite Induktion	*Transfinite induction*
Trennungsaxiom		*Axiom of separation*
Trugschluss		*Fallacy*
Tupel			*Tuple*
Turingmaschine		*Turing machine*
Unabhängigkeit		*Independence*
Unendlichkeitsaxiom	*Axiom of infinity*
Universelle Instantiierung	*Universal instantiation*
Universelle Verallgemeinerung	*Universal generalization*
Unterbegriff (eines Syllogismus)	*Minor term (of a syllogism)*
Unununterscheidbarkeit der Identischen	*Indiscernibility of identicals*
Unvollständigkeitssätze			*Incompleteness theorems*
Variable		*Variable*
Vollständigkeit (einer Theorie)		*Completeness (of a theory)*
Vollständigkeit (eines logischen Kalküls)	*Completeness (of a logical calculus)*
WAhrheits(werte)tafel	*Truth table*
Wahrheitsfunktion	*Truth-function*
Wahrheitswert		*Truth-value*
Widerspruch		*Contradiction*
Wohlordnung		*Well-ordering*
Zornsches Lemma		*Zorn's lemma*