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
Type Title Description Keywords Full details
Document 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
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 Additional Note: Destructive Dilemma

A direct comparison of the tree method and natural deduction. For thinking it through.

Formal logic view
Document 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
Link 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
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 Exercises 1

Arguments, Soundness and Validity.

Formal logic view
Document Exercises 2

Translating into PL, wffs, quotation.

Formal logic, Proposition view
Document Exercises 3

Formalise sentences and calculate truth values in PL.

Formal logic, truth tables view
Subscribe to Formal logic