Deductive reasoning Deductive reasoning Deductive reasoning, also deductive logic, logical deduction is the process of reasoning from one or more statements (premises) to reach a logically certain conclusion. Deductive reasoning goes in the same direction as that of the conditionals, and links premises with conclusions. If all premises are true, the terms are clear, and the rules of deductive logic are followed, then the conclusion reached is necessarily true. Deductive reasoning (""top-down logic"") contrasts with inductive reasoning (""bottom-up logic"") in the following way; in deductive reasoning, a conclusion is reached reductively by applying general rules which hold over the entirety of a
Logical form Greeks are philosophers' and so on. The fundamental difference between modern formal logic and traditional, or Aristotelian logic, lies in their differing analysis of the logical form of the sentences they treat: The more complex modern view comes with more power. On the modern view, the fundamental form of a simple sentence is given by a recursive schema, like natural language and involving logical connectives, which are joined by juxtaposition to other sentences, which in turn may have logical structure. Medieval logicians recognized the problem of multiple generality, where Aristotelian logic is unable to satisfactorily render such sentences as "Some