In logic: Scope and basic concepts …one or more propositions, called premises, to a new proposition, usually called the conclusion. A rule of inference is said to be truth-preserving if the conclusion derived from the application of the rule is true whenever the premises are true. Inferences based on truth-preserving rules are called deductive, and the… Read More
status in deductive system
syllogistic of Aristotle
In history of logic: Syllogisms …term to arguments containing two premises and a conclusion, each of which is a categorical proposition. The subject and predicate of the conclusion each occur in one of the premises, together with a third term (the middle) that is found in both premises but not in the conclusion. A syllogism… Read More
In history of logic: Theophrastus of Eresus …no stronger than its weakest premise. (Necessity is stronger than possibility, and an assertoric claim without any modal qualification is intermediate between the two). This rule simplifies modal syllogistic and eliminates several moods that Aristotle had accepted. Yet Theophrastus himself allowed certain modal moods that, combined with the principle of… Read More
technique of semantic tableaux
In formal logic: Semantic tableaux …it is impossible for the premises of a valid argument to be true while the conclusion is false, this method attempts to interpret (or evaluate) the premises in such a way that they are all simultaneously satisfied and the negation of the conclusion is also satisfied. Success in such an… Read More
validity and truth in formal logic
In formal logic: General observations …other proposition or propositions (the premises)—i.e., that it would be inconsistent or self-contradictory to assert the premises but deny the conclusion. Read More
