
In logic, we call the things in the universal model valuations; they are Booleanvalues functions defined on the set of predicates.In computer science we often call these states, because, as we will…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English


We begin by revisiting the idea of a universal model. If we have only n predicates then we can distinguish only 2n kinds of individual. So we only need to consider 2^{2n} universes. For example, for…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English


Venn diagrams on a sphere.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English


In this video, we try to arrive at the disjunction rule.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English


In this video, we try to arrive at the conjunction rule.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English


Our first video is a recap of last week's materials.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English


In this video, we label each region in the Venn diagram with a number from 0 to 7. We can then present our justifications and counterexamples by referring to those 8 regions.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English


Given a syllogistic rule, how do we show that it is sound? Here we show that using Venn diagrams.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English


In this video, we get syllogisms for free! We see how some simple reasoning allows us
to derive three more syllogisms.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English


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.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English


This is the third video on Syllogisms. We use Venn diagrams to show that barbara is sound.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English


This is the second video on Syllogisms. We return
to discuss the relationship between Euler and Venn diagrams, and introduce some notation.Having watched this video, you should be able to count how…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English


This is the first video on Syllogisms. We start by introducing barbara, the simplest classical syllogism, and the
proposition, "all a are b", known as universal affirmation. We briefly
…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English


This video gives the background to set theory which is fundamental for
dealing with probability more generally. The video discusses using Venn
diagrams as a simple way of proving a number of…
Course Code
PGEE11164 Licence Type
All rights reserved Date Created
September 23rd, 2020


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


The Kolmogorov axioms are the foundations of probability theory introduced by Andrey Kolmogorov in 1933. Using these axioms, this video shows how many other familiar results can be derived from these…
Course Code
PGEE11164 Licence Type
All rights reserved Date Created
September 5th, 2020
