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

Open Educational Resources

First Steps in Formal Logic 2014

Picture license: 
Public Domain/Out of Copyright

Logic is concerned with the rules of coherent and systematic reasoning. In this course, we will think about 'logical' thinking, explore the nature of validity, and learn a new symbolic way to lay bare the formal structure of arguments.

Date created:

2014-04-16 13:59
Tutor: 
Peter Wyss
Subjects: 
Philosophy
Keywords: 
Logic, Logico-Philosophicus, Social sciences
Course type: 
Weekly class

Resources for this course

Displaying 1 - 14 of 14
Type Resource Description People Full details
Link Validity and Soundness

An article in the Internet Encyclopedia of Philosophy.

 view
Link Book: Formal Logic

A link to Peter Smith's website that accompanies his book 'Formal Logic': plenty of additional material.

 view
Link Book: Logic Manual

A link to Volker Halbach's website that accompanies his book 'The Logic Manual', additional material for download.

 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.

 view
Document Validity Revisited (Additional Note 1)

Sketch of three related approaches to validity.

 Peter Wyss view
Document Horseshoe and Turnstiles (Additional Note 2)

Further background about the connection between material implication, logical consequence, and deducibility.

 Peter Wyss view
Document Trees (Additional Note 3)

More background about the tree method.

 Peter Wyss view
Document Meno Argument (Worksheet)

A Passage from Plato's Meno logically explored.

 Peter Wyss view
Document Exercise 4, 6c (Additional Note 4)

On the question whether every formula in a natural deduction needs to be used.

 Peter Wyss view
Document More on Reading QL (Additional Note 5)

Further background on the quantifiers; some equivalences explained.

 Peter Wyss view
Document Practice: QL and QL= (Worksheet)

Translation exercises.

 Peter Wyss view
Document Practice: QL and QL= (Solutions)

Solutions to the QL/QL= Worksheet.

 Peter Wyss view
Link Translation Tips

A link to Peter Suber's translation tips for PL, QL, and QL=.

 view
Document Exploring ND Rules for QL (Additional Notes 6)

An attempt to clarify the rule for Universal Introduction and Existential Eliminiation.

 Peter Wyss view