## Search Results

Results for: '*PHIL013B*'

Introduction to proofs PHIL 013AB

A video on what proofs are, which explains the concept of simple derivation, and how to do proofs with one proof rule, Modus Ponens.

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 PHIL013AB

A video on proof rules for wedge in, double negation, and double arrows. NOTE: if you're using captions, there is a possibility that the software may be displaying double arrows in the captions as single arrows. I wrote [double arrow] in the capti...

conditional derivation proofs PHIL 013AB

A nine-minute video about conditional derivation, a new kind of rule. Listen closely for a special appearance from a duck. (Edited to add: the squeaking thing is actually a raccoon)

negation proof rules PHIL013AB

A video on rules for proofs with complex negations, like ~(P & Q), ~(P v Q), and ~(P -> Q).

spontaneous show proofs PHIL013AB

A video on how to do proofs where you write down SHOW statements that don't come from specific derivation rules.

predicates and constants PHIL013AB

A short video on predicate logic, introducing constants and predicate letters.

categorical translations PHIL013AB

A video on the four basic forms of categorical translations: All, some, no, not all/some not.