Search for tag: "syllogisms"

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.

From  Haoran Peng on November 2nd, 2020 0 likes 342 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)…

From  Haoran Peng on October 21st, 2020 0 likes 272 plays 0  

CL - Lecture 4a - Aristotle's Rules

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

From  Haoran Peng on October 11th, 2020 0 likes 523 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…

From  Haoran Peng on October 5th, 2020 0 likes 417 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.

From  Haoran Peng on October 3rd, 2020 0 likes 432 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.

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 450 plays 0