syllogism+forcing+contradiction

  • 1elench — n. (Log.) 1. Elenchus, refutatory syllogism, syllogism forcing contradiction (upon the oppenent). 2. (Rare.) Sophism, paralogism, fallacy, specious argument …

    New dictionary of synonyms

  • 2Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …

    Wikipedia

  • 3History of logic — Philosophy ( …

    Wikipedia

  • 4Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …

    Wikipedia

  • 5Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects …

    Wikipedia

  • 6Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… …

    Wikipedia

  • 7Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… …

    Wikipedia

  • 8Hellenistic biological sciences — R.J.Kankinson The five centuries that separate Aristotle’s death in 322 BC from Galen’s ascendancy in Rome in the latter part of the second century AD were fertile ones for the biological sciences, in particular medicine. Nor is the period solely …

    History of philosophy