open.conted.ox.ac.uk (beta)

Open Educational Resources

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
Typesort descending Title Description Keywords Full details
Document 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
Document Additional Note: Clarifying the Rules for Trees

Further explanation of the puzzle we noted in the sixth class.

Formal logic view
Document Exercises 1

Arguments, Soundness and Validity.

Formal logic view
Document Handout 7: Propositional Logic IV

Testing validity with the syntactical method; natural deduction.

Formal logic, Validity view
Document Handout 15: Modal Logic

Sketch of modal logic, possible worlds, the de re/de dicto distinction.

Formal logic, Necessity, Possibility, modality view
Document 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
Document Worksheet: Grammar and Translations (Solutions)

The solutions for the worksheet we used in the second session.

Formal logic view
Document Worksheet: Trees (Solutions)

Solutions for the worksheet we used (in part) during the fifth meeting.

Formal logic view
Document Handout 1: Logic, the 'Art of Thinking'

Introduction to the course. Remarks on validity.

Formal logic, Validity view
Document Worksheet: Practice QL and QL= (Solutions)

Suggested Solutions for the worksheet we used in the ninth meeting.

Formal logic view
Subscribe to Formal logic