Member Profile
- mcweiner
- Joined: 03/17/2020
- Profile Views: 1340
- Subscribers:
Playlists By mcweiner
Member currently has no playlists.
Media By mcweiner
![](/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/GO2aXPvYRysZ4ccIW36V.jpg)
multiple quantifier translations PHIL013
A video on relational translations that involve more than one quantifier.
![](/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/L4GZ9QFTY9TXsb4oRf8M.jpg)
A video about how to do proofs where you write down SHOW statements that don't come from any particular derivation rule.
![](/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/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/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/GyboUICmiG4KmJxyhFtq.jpg)
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).