Search Results
Results for: 'PHIL013'
![](/wowza/users/m/c/mcweiner/thumbs/EYL18AY4vAdocfBPLck6.jpg)
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.
![](/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/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.
![](/wowza/users/m/c/mcweiner/thumbs/lAradhU2mY8NMAxqj89L.jpg)
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."
![](/wowza/users/m/c/mcweiner/thumbs/ziwDeTV3fw5kttMmKC37.jpg)
conditional truth table PHIL013AB
A five-minute video explaining why the truth table for the conditional is the way it is.
![](/wowza/users/m/c/mcweiner/thumbs/mO3O4I2nJzjTJMAWNNRy.jpg)
A short (approx. 4 minutes) introduction to what logic is and what we'll be covering this semester.
![](/wowza/users/m/c/mcweiner/thumbs/jOVRuZg943IddylzsXn7.jpg)
An eight-minute screencast on the concept of validity and other basic concepts in logic.