Logic from A to Z

Cover......Page 1
Title......Page 4
Publication Data......Page 5
Contents......Page 6
Introduction......Page 8
Intersection (meet, logical product) of A and B......Page 121
Universal quantifier (‘for all x...’)......Page 122
Conjunction (ֹ‘p and q’)......Page 123
Compossibility (‘p and q are jointly possible’)......Page 124
Implication (used informally) (‘A implies B’)......Page 125
Alephs......Page 12
Ambiguity, fallacy of......Page 13
Antecedent......Page 14
Argument ad hominem......Page 15
Automaton......Page 16
Axiom of choice......Page 17
Axiom of constructibility......Page 18
Axiom of infinity......Page 19
Axiom of replacement......Page 20
Axiomatic theory......Page 21
Axioms, set-theoretic......Page 22
Biconditional......Page 23
Burali-Forti’s paradox......Page 24
Cardinality......Page 25
Categorical proposition......Page 26
Characteristic function......Page 27
Church’s theorem......Page 28
Class/set distinction......Page 29
Complement......Page 30
Completeness (of a theory)......Page 31
Conditional, counterfactual......Page 32
Connected relation/order......Page 33
Constant......Page 34
Continuous set......Page 35
Contradiction......Page 36
Conversion per accidens......Page 37
Cut-elimination theorems......Page 38
De relde dicto......Page 40
Decision problem......Page 41
Degree (of a relation)......Page 42
Derivability conditions......Page 43
Determinateness, axiom of......Page 44
Dialectical argument......Page 45
Dilution......Page 46
Distributed term (of a syllogism)......Page 47
Duality......Page 48
Entscheidungsproblem......Page 50
Ex falso quodlibet......Page 51
Existential instantiation......Page 52
Extensionality, axiom of......Page 53
Figure (of a categorical syllogism)......Page 54
First-order/higher-order......Page 55
Fraenkel set theory......Page 56
Function......Page 57
Grelling’s paradox......Page 58
Henkin’s problem......Page 59
Hypothetical syllogism......Page 60
Immediate inference......Page 61
Indefinite categorical proposition......Page 62
Induction, mathematical......Page 63
Intension......Page 64
Inverse (of a relation)......Page 65
Isomorphism......Page 66
Joint denial......Page 67
König’s lemma......Page 68
Law of (the) excluded middle......Page 69
Law of trichotomy......Page 70
Limit ordinal......Page 71
Löwenheim-Skolem theorem(s)......Page 72
Lower bound......Page 73
Markov’s principle......Page 74
Mnemonics, syllogistic......Page 75
Modus ponens......Page 76
Mood (of a categorical syllogism)......Page 77
Multiplicative axiom......Page 80
Normal form (disjunctive)......Page 81
Null set......Page 82
Omega-consistency......Page 83
Ordering......Page 84
Output (of a function)......Page 85
Paradox, Curry’s......Page 86
Paradox, liar......Page 87
Paradoxes of material and strict implication......Page 88
Partition......Page 89
Peano postulates (Peano arithmetic)......Page 90
Predecessor......Page 91
Predicate logic......Page 92
Proposition......Page 93
Provability predicate......Page 94
Quasi-ordering......Page 95
Recursive function......Page 96
Recursively enumerable set......Page 97
Regularity, axiom of......Page 98
Relations (properties of)......Page 99
Russell’s paradox......Page 100
Sequence......Page 101
Signification......Page 102
Solvable problem......Page 103
Soundness (of a logical calculus)......Page 104
Subalternation......Page 105
Successor......Page 106
Syllogism, categorical......Page 107
Syllogism, modal......Page 108
Synthetic (judgment or proposition)......Page 109
Theorem......Page 110
Transfinite induction......Page 111
Truth-value......Page 112
Turing machine......Page 113
Types, theory of......Page 114
Universal Turing machine......Page 115
Upward Löwenheim-Skolem theorem......Page 116
Variable......Page 117
Von Neumann-Bernays-Gödel set theory......Page 118
Well-ordering......Page 119
Zorn’s lemma......Page 120