|
Physical Geography Week 6 -- welcome video.
Course Code
GEGR08010 Publisher
Simon Tett Licence Type
All rights reserved Language
English Date Created
February 21st, 2021
|
|
N/A
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This video includes a couple of points from a 2019 review lecture on Sequents.First we discuss how to use reduction to find an inhabited model in which Γ ⊨ Δ, which is equivalent to…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Gentzen's rules provide a complete system that does not require the cut rule. For many logical systems, cut elimination (showing that uses of the cut rule may be eliminated from any sound proof)…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We derive the implication rule using the rules introduced last week.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We introduce sequents, where we have finite sets of predicates on both sides of the turnstile.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We show the intuition of contraposition using Venn diagrams.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Additional predicates after the turnstile behave similarly.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We interpret additional predicates before the turnstile. These simply
express validity in a sub-universe. This means that for any sound rule
the corresponding rule with additional predicates is…
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
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is an old recording of Lecture 2, from 2019.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video on syllogisms, we introduce the logic of negation.
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
|
|
Computing the Margin
Licence Type
Creative Commons - Attribution
|