Member currently has no playlists.
relational categoricals PHIL013
A video about translating relational categoricals, sentences where one or more categories are joined by a relation, such as "Some people love all cats."
DD, and-I, and and-O proofs
A video about three proof rules, now updated with a new file name.
multiple quantifier translations PHIL013
A video on relational translations that involve more than one quantifier.
introduction to relational translations PHIL013
An introduction to relational logic, with an explanation of relations and how to translate relational sentences with no quantifiers or one quantifier.
spontaneous show proofs
A video about how to do proofs where you write down SHOW statements that don't come from any particular derivation rule.
conditional derivation proofs PHIL 013C
A nine-minute video about conditional derivation, a new kind of rule. Listen closely for a special appearance from a squeaky raccoon.
proofs vI double negation double arrow PHIL013
A video of just over six minutes about doing proofs with four new rules: or in, double negation, and double arrow in and out.
sentential translations 1 PHIL013AB
A video on how to translate sentences from English to our notation using the five main connectives
negated quantifier proofs PHIL013AB
A video on how to do proofs with negated quantifiers. Introduces two new rules, ~AO and ~EO, and discusses how to do proofs where you need to SHOW negated quantifiers (you have to do ID).