About the Book
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 375. Not illustrated. Chapters: Logic Articles Needing Expert Attention, Logic Stubs, Affirming the Consequent, Argument Form, Denying the Antecedent, Truth Condition, Specialization, Second-Order Predicate, First-Order Predicate, Double Negative Elimination, Biconditional Introduction, Abacus Logic, Conjunction Introduction, Biconditional Elimination, Ultrafinitism, Truth Value, Inverse, Predicate Logic, Hol Theorem Prover Family, Self-Refuting Idea, Inference, Logical Biconditional, Modal Operator, Corresponding Conditional, Reductio Ad Absurdum, Hasty Generalization, the Laws of Thought, Monadic Boolean Algebra, Truth-Conditional Semantics, Defuzzification, Coq, Backward Chaining, Extensionality, Fallacy of Four Terms, Modal Depth, Valentino Annibale Pastore, Existential Fallacy, Algebraic Normal Form, Double Negation, Problem of Multiple Generality, Empty Domain, Vampire, Self-Verifying Theories, Transparent Intensional Logic, Satisfiability and Validity, Affine Logic, Invincible Ignorance Fallacy, Polysyllogism, Deviant Logic, Glivenko's Theorem, Proof-Theoretic Semantics, Rules of Passage, Provability Logic, Effective Method, Direct Proof, Neighborhood Semantics, Don't-Care, Term Algebra, Logical Matrix, Sentence, Special Case, T-Schema, Principles of Mathematical Logic, Vivid Knowledge, Lob's Theorem, Logical Constant, Logical Form, Multimodal Logic, Prototype Verification System, Conditioned Disjunction, Conservativity Theorem, Hybrid Logic, Barcan Formula, Monotonicity of Entailment, Eight Ball Problem, Matita, Propositional Variable, Unsatisfiable Core, Deep Inference, Robinson's Joint Consistency Theorem, Fluent Calculus, Argumentum Ad Lapidem, Domain of Discourse, Takeuti Conjecture, Interval Temporal Logic, Literal, Phox, Universal Instantiation, Bar Induction, Herbrand Interpretation, Guarded Logic, Intensional Fall...
