Search for tag: "proposition"

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 364 plays 0  

Lecture 5 part 3 Kaltura Capture recording - October 13th 2020, 9:29:20 pm

Lecture 5 part 3

From  Pauline Phemister on October 13th, 2020 0 likes 5 plays 0  

Lecture 5 part 1 Kaltura Capture recording - October 13th 2020, 4:24:59 pm

lecture 5 part 1

From  Pauline Phemister on October 13th, 2020 0 likes 8 plays 0  

Kaltura Capture recording - October 7th 2020, 5:55:10 pm

lecture 4 part 3

From  Pauline Phemister on October 7th, 2020 0 likes 9 plays 0  

Kaltura Capture recording - October 3rd 2020, 8:35:07 pm

lecture 4 part 2

From  Pauline Phemister on October 4th, 2020 0 likes 11 plays 0  

CL - Lecture 3b - Particular Propositions

You have already met Aristotle's universal propositions, universal assertion, "every a is b", and universal denial, "no a is b". The negations of these are his particular…

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

2: Anselm - Modal logic

Anselm - Modal logic

From  Brian Rabern on September 16th, 2020 0 likes 30 plays 0  

CL - Lecture 1.e - Categorical Propositions

Propositions say something about the world. In this video we define the meanings of some Aristotelian propositions. The meaning is given by defining the validity of a proposition in a universe.…

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

Lecture 1 Part 3 Kaltura Capture recording - September 10th 2020, 2:59:52 pm

Lecture 1 part 3

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