Open Educational Resources

First Steps in Formal Logic 2014

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
Course type: 

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.

Link Book: Formal Logic

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

Link Book: Logic Manual

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

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.

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=.

Document Exploring ND Rules for QL (Additional Notes 6)

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

Peter Wyss view