Search Results
Results for: 'PHIL013'

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

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.

multiple quantifier translations PHIL013
A video on relational translations that involve more than one quantifier.

proofs with modus tollens and wedge out PHIL013AB
A video explaining two proof rules, modus tollens and wedge out, which can be used in proofs for PHIL013.

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.

An eight-minute screencast on the concept of validity and other basic concepts in logic.

A short (approx. 4 minutes) introduction to what logic is and what we'll be covering this semester.

A video about how to do proofs where you write down SHOW statements that don't come from any particular derivation rule.