CL - Lecture 1.e - Categorical Propositions

views comments

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. This formal notion of validity represents the informal notion of truth.

Once you have listened to this video, you may want to listen to the first part of this recording of a lecture delivered in 2019
Up to 7m20s this is another presentation of the materials covered in this and the preceding videos. Beyond that it goes into the Haskell representation of our small universe (see below).

Tags

the university of edinburgh

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.

Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.

CL - Lecture 1.e - Categorical Propositions

Related Media

the university of edinburgh