Search for tag: "propositions"

CL - Review 2 - Venn Apples

Venn diagrams on a sphere.

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

FP - Lecture 10 - Expression Trees as Algebraic Data Types

This is the video for the 10th FP lecture.

From  Claudia-Elena Chirita on October 19th, 2020 0 likes 73 plays 0  

CL - Lecture 3c - Aristotle's Square of Opposition

This is how Aristotle organised his propositions.

From  Haoran Peng on October 3rd, 2020 0 likes 388 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 663 plays 0  

CL - Lecture 2.c - Aristotle’s Universal Propositions

In this video on syllogisms, we present a new form of proposition -- universal denial. Introducing negation gives a new syllogism as an instance of barbara.

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

CL - Lecture 1.d - A Small Universe

We introduce a very small universe, and some examples of propositions — statements we may make about the universe.

From  Claudia-Elena Chirita on September 11th, 2020 0 likes 460 plays 0  

Lecture 1 Part 1B Kaltura Capture recording - September 10th 2020, 10:10:35 am

Rationalists Lecture 1 Part 1B

From  Pauline Phemister on September 10th, 2020 0 likes 16 plays 0