Search for tag: "syllogisms"

CL - 20 - syllogisms arrowrule

N/A

+23 More
From  Haoran Peng 0 likes 148 plays 0  

CL - 9a - Recap

This video is a brief recap of most of the logic we have covered so far. You may find it useful, to jog your memory and check your understanding.

+23 More
From  Haoran Peng 0 likes 362 plays 0  

CL - Barbara

Gentzen's rules provide a complete system that does not require the cut rule. For many logical systems, cut elimination (showing that uses of the cut rule may be eliminated from any sound proof)…

+20 More
From  Haoran Peng 0 likes 292 plays 0  

CL - Lecture 4a - Aristotle's Rules

Our first video is a recap of last week's materials.

+24 More
From  Haoran Peng 0 likes 563 plays 0  

CL - Lecture 3j - Aristotle's Syllogisms

We describe the traditional presentation of the syllogisms, and introduce Aristotle's existential assumption, on the basis of which he derives nine more syllogisms. These are not sound in our…

+25 More
From  Haoran Peng 0 likes 472 plays 0  

CL - Lecture 3d - Using Venn Diagrams to show a Syllogism is Sound

Given a syllogistic rule, how do we show that it is sound? Here we show that using Venn diagrams.

+25 More
From  Haoran Peng 0 likes 478 plays 0  

CL - Lecture 2.e - Aristotelian Syllogisms. Another Example

In this video, we get syllogisms for free! We see how some simple reasoning allows us to derive three more syllogisms.

+24 More
From  Claudia-Elena Chirita 0 likes 496 plays 0