Concepts of Logic
- Deductive reasoning –
- Inductive reasoning –
- Abductive reasoning –
Mathematical logic –
- Proof theory –
- Set theory –
- Formal system –
- Predicate logic –
- Predicate –
- Higher-order logic –
- Propositional calculus –
- Proposition –
- Predicate logic –
- Boolean algebra –
- Boolean logic –
- Truth value –
- Venn diagram –
- Pierce's law –
- Aristotelian logic –
- Non-Aristotelian logic –
- Informal logic –
- Fuzzy logic –
- Infinitary logic –
- Infinity –
- Categorical logic –
- College logic –
- Linear logic –
- Metalogic –
- Ordered logic –
- Temporal logic –
- Sequential logic –
- Provability logic –
- Interpretability logic –
- Interpretability –
- Interpretability logic –
- Quantum logic –
- Relevant logic –
- Consequent –
- Affirming the consequent –
- Antecedent –
- Denying the antecedent –
- Theorem –
- Axiom –
- Axiomatic system –
- Axiomatization –
- Conditional proof –
- Invalid proof –
- Degree of truth –
- Truth –
- Truth condition –
- Truth function –
- Double negative –
- Double negative elimination –
- Fallacy –
- Existential fallacy –
- Logical fallacy –
- Syllogistic fallacy –
- Type theory –
- Game theory –
- Game semantics –
- Rule of inference –
- Inference procedure –
- Inference rule –
- Introduction rule –
- Law of excluded middle –
- Law of non-contradiction –
- Logical constant –
- Logical connective –
- Quantifier –
- Logic gate –
- Boolean Function –
- Tautology –
- Logical assertion –
- Logical conditional –
- Logical biconditional –
- Logical equivalence –
- Logical AND –
- Negation –
- Logical OR –
- Logical NAND –
- Logical NOR –
- Contradiction –
- Logicism –
- Polysyllogism –
- Syllogism –
- Hypothetical syllogism –
- Major premise –
- Minor premise –
- Term –
- Singular term –
- Major term –
- Middle term –
- Quantification –
- Plural quantification –
- Logical argument –
- Validity –
- Soundness –
- Inverse (logic) –
- Non sequitur –
- Tolerance –
- Satisfiability –
- Logical language –
- Paradox –
- Polish notation –
- Principia Mathematica –
- Quod erat demonstrandum –
- Reductio ad absurdum –
- Rhetoric –
- Self-reference –
- Necessary and sufficient –
- Sufficient condition –
- Nonfirstorderizability –
- Occam's Razor –
- Socratic dialoge –
- Socratic method –
- Argument form –
- Logic programming –
- Unification –
Read more about this topic: Outline Of Logic
Famous quotes containing the words concepts of, concepts and/or logic:
“Germany collapsed as a result of having engaged in a struggle for empire with the concepts of provincial politics.”
—Albert Camus (1913–1960)
“Once one is caught up into the material world not one person in ten thousand finds the time to form literary taste, to examine the validity of philosophic concepts for himself, or to form what, for lack of a better phrase, I might call the wise and tragic sense of life.”
—F. Scott Fitzgerald (1896–1940)
“Our argument ... will result, not upon logic by itself—though without logic we should never have got to this point—but upon the fortunate contingent fact that people who would take this logically possible view, after they had really imagined themselves in the other man’s position, are extremely rare.”
—Richard M. Hare (b. 1919)