[Previous entry: "primary biology biologists"] [Main Index] [Next entry: "Review the Greats"]

04/18/2004 Archived Entry: "Draco dormiens nunquam titillandus "Never tickle a sleeping dragon""

Draco dormiens nunquam titillandus "Never tickle a sleeping dragon" -- motto of Hogwarts School in the Harry Potter novels by J. K. Rowling. ... from the List of Latin phrases in the primary logic section which includes Logic and other interesting topics such as: Abduction , Abraham Robinson, Adolf Fraenkel, Affirming the antecedent, Alfred North Whitehead, Alfred Tarski, Alonzo Church, Alphabet, Antinomy, Argument form, Aristotelian logic, Aristotle, Augustus DeMorgan, Axiom, Axiomatic system, Axiomatization, Backward chaining, Barcan formula, Bertrand Russell, Biconditional elimination, Biconditional introduction, Bivalence and related laws, Boolean algebra, Charles Peirce, Clarence Irving Lewis, College logic, Combinatorial logic, Combinatory logic, Conditional, Conditional proof, Conjunction elimination, Conjunctive normal form, Contrapositive, Converse , Counterfactual conditional, Curry's paradox, David Hilbert, De Morgan's Laws, Deduction theorem, Deductive reasoning, Degree of truth, and more and

Denying the antecedent, Disjunction, Disjunction introduction, Disjunctive normal form, Disjunctive syllogism, Distribution, Double negation, Double negative, Double negative elimination, English language, Equivalence, Ernst Zermelo, Exclusive disjunction, Existential quantification, First order resolution, First-order predicate, First-order predicate calculus, Fluidic logic, Forward chaining, Frank P. Ramsey, Frank Plumpton Ramsey, Free variables and bound variables, Fuzzy logic, Georg Cantor, George Boole, George Boolos, Gerhard Gentzen, Giuseppe Peano, Gottfried Leibniz, Gottlob Frege, Haskell Curry, Heyting algebra, Higher-order predicate, Hilary Putnam, Horn clause, Hypothetical syllogism, Iff, Indirect proof, Inductive logic, Inductive logic programming, Inference rule, Intuitionistic logic, Invalid proof, Inverse , Jan Lukasiewicz, Jean-Yves Girard, John von Neumann, Johnston diagram, Karnaugh map, Kurt Godel, Latin phrases, Law of excluded middle, Law of non-contradiction, Laws of logic, Leon Henkin, Linear logic, List of basic discrete mathematics topics, List of logicians, List of mathematical logic topics, List of rules of inference, Logic, Logic gate, Logic programming, Logical assertion, Logical biconditional, Logical conditional, Logical conjunction, Logical disjunction, Logical equivalence, Logical fallacy, Logical nor, Logical operator, Logicism, Luitzen Egbertus Jan Brouwer, Mathematical logic, Metalogic, Modal logic, Modus ponens, Modus ponens, Modus tollens, Multi-valued logic, Naive set theory, Natural deduction, Necessary and sufficient, Negation, Nicolas Bourbaki, Non-Aristotelian logic, Non-monotonic logic, Open sentence, Paraconsistent logics, Paradox, Paradox, Paul Cohen, Pierce's law, Polylogic, Predicate, Principia Mathematica, Principle of bivalence, Proof theory, Proposition, Propositional calculus, Quantification, Reductio ad absurdum, Relevant logic, Repetition, Rule of inference, Saharon Shelah, Satisfiability, Saul Kripke, Saunders MacLane, Second-order predicate, Self-reference, Sequent, Sequent calculus, Sequential logic, Sheffer stroke, Singular term, Solomon Feferman, Soundness, Square of opposition, Stefan Banach, Stephen Cole Kleene, Sufficient condition, Surname, Syllogism, Tautology, Temporal logic, Term, Term logic, Ternary logic, Theorem, Transliteration, Truth, Truth condition, Truth value, Type theory, Unification, Uniqueness quantification, Universal quantification, Vacuous truth, Validity, Venn diagram, W. V. Quine, W.V. Quine, Wilhelm Ackermann, William Stanley Jevons1646, 1716, 1806, 1815, 1845, 1848, 1858, 1861, 1862, 1864, 1871, 1871, 1872, 1881, 1891, 1892, 1896, 1902, 1903, 1903, 1903, 1906, 1908, 1909, 1909, 1909, 1918, 1918, 1925, 1930, 1932, 1934, 1940, 1940, 1943, 1945, 1945, 1947, 1953, 1957, 1962, 1965, 1966, 1970, 1978, 1983, 1994, 1995, 1996, 2000, 322 BC, 384 BC, Abacus logic, --- is that enough?