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 0 likes 284 plays 0  

CL - Review 1 - Contraposition

We show the intuition of contraposition using Venn diagrams.

From  Haoran Peng 0 likes 350 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 0 likes 395 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 0 likes 467 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 0 likes 727 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 0 likes 481 plays 0