Hypothetical Syllogism

An explanation of the Rule of Implication entitled Hypothetical Syllogism in Propositional Logic (90 Second Philosophy and 100 Days of Logic).
Information for this video gathered from The Stanford Encyclopedia of Philosophy, The Internet Encyclopedia of Philosophy, The Cambridge Dictionary of Philosophy, The Oxford Dictionary of Philosophy and more!
Information for this video gathered from The Stanford Encyclopedia of Philosophy, The Internet Encyclopedia of Philosophy, The Cambridge Dictionary of Philosophy, The Oxford Dictionary of Philosophy and more!

[@MrBigMentula]

Hi! I think there is 4 valid situtations(including also fifth line) not 3. Thank you for videos!

[@matthewa6881]

Shit man. Been teaching myself formal logic from uni notes from a discrete math class I downloaded from my old uni. Wasn't a philosophy major but a finance major. When one tries to learn some philosophy there are no shortcuts. I shall persevere. It's alright, I've got a grasp of quantifier logic already, so hopefully, these videos will just supplement what I already know. Might try the modal logic stuff later! So much YouTubing ahead, and the SEP will either make me or break me.

[@fretgod321]

Thank you! this just helped with my Discrete class

[@robert2real]

Niccce.. let me try one
In order to have gas pressure gradient, you must have gas pressure
In order to have gas pressure, you must have a container
Therefore, in order to have a gas pressure gradient, you must have a container.
How did I do?

[@CarneadesOfCyrene]

Exactly.

[@heterodoxagnostic8070]

@@CarneadesOfCyrene Dome gang

[@kierantitmas3489]

Why is it called a “hypothetical” syllogism?

[@CarneadesOfCyrene]

Hypothetical statements are another name for "if-then" statements. A hypothetical syllogism is one made of three "if-then" statements (if p then q, if q then r, therefore if p then r). Or, put another way, the conclusion remains hypothetical, we have not proven r, we still must show p to prove r, but we have shown that there is a hypothetical relationship between p and r, namely if p then r.