Formal logic
Here you will find all the resources identified by our tutors as useful for the study of this topic, arranged in ascending alphabetical order. Browse the tiles and descriptions to discover if there are any resources of interest to you, or click on any of the other keywords to see resources sorted by alternative topics.
Displaying 1 - 10 of 10Type | Title | Description | Keywords | Full details |
---|---|---|---|---|
Additional Note: 'If, then': The Material Conditional |
An attempt further to clarify the problematic link between natural language conditionals and the material implication. |
Formal logic | view | |
Additional Note: 'Unless' and Precedence |
A further explanation of how to formalise 'unless', and comments about precendence and the importance of brackets. |
Formal logic | view | |
Additional Note: Clarifying the Rules for Trees |
Further explanation of the puzzle we noted in the sixth class. |
Formal logic | view | |
Additional Note: Destructive Dilemma |
A direct comparison of the tree method and natural deduction. For thinking it through. |
Formal logic | view | |
Additional Note: Testing Validity: QL and Natural Deduction |
A four-page sheet that tries to explain the ND-rules for the quantifiers as transparently as possible. |
Formal logic | view | |
Book: Logic Primer |
A link to Paul Teller's website, where he offers for download his two-volume introduction to formal logic, which is out of print. |
Formal logic | view | |
Exercise 4, 6c (Additional Note 4) |
On the question whether every formula in a natural deduction needs to be used. |
Formal logic, Validity, natural deduction | view | |
Exercises 1 |
Arguments, Soundness and Validity. |
Formal logic | view | |
Exercises 2 |
Translating into PL, wffs, quotation. |
Formal logic, Proposition | view | |
Exercises 3 |
Formalise sentences and calculate truth values in PL. |
Formal logic, truth tables | view |