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 10
Type |
Title | Description | Keywords | Full details |
|---|---|---|---|---|
 |
Handout 16: Formal Fallacies |
A list of formal fallacies (PL, QL, syllogistics, modal logic) with examples. |
Formal logic, Validity, fallacies | view |
|
|
More on Reading QL (Additional Note 5) |
Further background on the quantifiers; some equivalences explained. |
Formal logic, predicate logic, quantifier | view |
|
|
Worksheet: Main Connectives (Solutions) |
The solutions for the worksheet we used in the third session. |
Formal logic | view |
|
|
Worksheet: Practising Trees and Natural Deduction (Solutions) |
Extended solutions for the worksheet we used in our sixth meeting. |
Formal logic | view |
|
|
Handout 3: Propositional Logic I |
Syntax and basic semantics of PL. |
Formal logic, Proposition | 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 |
|
|
Handout 6: Propositional Logic III |
Testing validity with the semantical method. |
Validity, truth tables, Formal logic, tautology | view |
|
|
Handout 13: Predicate Logic II |
The semantics of QL, vailidity, and a sketch of natural deduction. |
predicate logic, Formal logic | view |
|
|
Trees (Additional Note 3) |
More background about the tree method. |
Validity, Formal logic | view |
|
|
Worksheet: Truth Tables (Solutions) |
The solutions to the worksheet we used in the fourth meeting. |
Formal logic | view |
