Search results
Results from the WOW.Com Content Network
A syllogism (Ancient Greek: συλλογισμός, syllogismos, 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true.
At present, syllogism is used exclusively as the method used to reach a conclusion closely resembling the "syllogisms" of traditional logic texts: two premises followed by a conclusion each of which is a categorical sentence containing all together three terms, two extremes which appear in the conclusion and one middle term which appears in ...
The statistical syllogism was used by Donald Cary Williams and David Stove in their attempt to give a logical solution to the problem of induction. They put forward the argument, which has the form of a statistical syllogism: The great majority of large samples of a population approximately match the population (in proportion)
Depending on the position of the middle term, Aristotle divides the syllogism into three kinds: syllogism in the first, second, and third figure. [14] If the Middle Term is subject of one premise and predicate of the other, the premises are in the First Figure. If the Middle Term is predicate of both premises, the premises are in the Second Figure.
Classical logic is the standard logic of mathematics. Many mathematical theorems rely on classical rules of inference such as disjunctive syllogism and the double negation elimination. The adjective "classical" in logic is not related to the use of the adjective "classical" in physics, which has another meaning.
Another form of argument is known as modus tollens (commonly abbreviated MT). In this form, you start with the same first premise as with modus ponens. However, the second part of the premise is denied, leading to the conclusion that the first part of the premise should be denied as well.
Modus tollens is a mixed hypothetical syllogism that takes the form of "If P, then Q. Not Q. Therefore, not P." It is an application of the general truth that if a statement is true, then so is its contrapositive. The form shows that inference from P implies Q to the negation of Q implies the negation of P is a valid argument.
Main page; Contents; Current events; Random article; About Wikipedia; Contact us; Donate