Search for tag: "contraposition"

CL - 12c - chains

In this video we look at the next simplest example, chains of implications between atoms. We introduce the arrow rule.

From  Haoran Peng on November 9th, 2020 0 likes 274 plays 0  

CL - Review 1 - Contraposition

We show the intuition of contraposition using Venn diagrams.

From  Haoran Peng on October 20th, 2020 0 likes 335 plays 0  

CL - Lecture 4.e - Sequents 0

The following videos introduce sequents, a far-reaching generalisation of the idea underlying Aristotle's propositions. We have already discussed the introduction of multiple antecedents…

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 382 plays 0  

CL - Lecture 3g - Making more rules with contrapositions

Using meta-/object-level contrapositions, we can derive all 15 sound syllogisms from Barbara.

From  Haoran Peng on October 3rd, 2020 0 likes 451 plays 0  

CL - Lecture 3a - Contraposition of Propositions

Last week we used object-level contraposition to derive four new syllogisms, starting from Barbara. This week we will use meta-level contraposition to derive two more new syllogisms from each of the…

From  Haoran Peng on October 3rd, 2020 0 likes 693 plays 0  

CL - Lecture 2.d - Negation and Contraposition of Predicates

In this video on syllogisms, we introduce the logic of negation.

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