Search Results
Results for: 'PHIL013C'
![](/wowza/users/m/c/mcweiner/thumbs/i38AiQ5fuUMCrbchjRoh.jpg)
sentential translations 1 PHIL013AB
A video on how to translate sentences from English to our notation using the five main connectives
![](/wowza/users/m/c/mcweiner/thumbs/FeJRF5gEcaWwn13wET6H.jpg)
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.
![](/wowza/users/m/c/mcweiner/thumbs/Nr88SB7uCdPixCvdPd3s.jpg)
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.
![](/wowza/users/m/c/mcweiner/thumbs/xF9Z1auiBihTzimC77W5.jpg)
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.
![](/wowza/users/m/c/mcweiner/thumbs/GO2aXPvYRysZ4ccIW36V.jpg)
multiple quantifier translations PHIL013
A video on relational translations that involve more than one quantifier.