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).
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.