Search for tag: "syllogisms"
CL - 9a - RecapThis 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
0 likes
362 plays
0
|
|
CL - BarbaraGentzen'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
0 likes
292 plays
0
|
|
CL - Lecture 3j - Aristotle's SyllogismsWe 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
0 likes
472 plays
0
|
|
CL - Lecture 3d - Using Venn Diagrams to show a Syllogism is SoundGiven a syllogistic rule, how do we show that it is sound? Here we show that using Venn diagrams.
From Haoran Peng
0 likes
478 plays
0
|
|
CL - Lecture 2.e - Aristotelian Syllogisms. Another ExampleIn this video, we get syllogisms for free! We see how some simple reasoning allows us to derive three more syllogisms.
From Claudia-Elena Chirita
0 likes
496 plays
0
|