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

Title	Description	Keywords	Full details
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
Translation Tips	A link to Peter Suber's translation tips for PL, QL, and QL=.	Formal logic	view
Logic I, Fall 2009	Full course with lecture notes, readings, assignments etc.. It studies modern formal logic, including predicate logic and sentential calculus....	Reason, Argument, Validity, Formal logic	view
Handout 4: Propositional Logic II	All dyadic connectives, reductions (equivalences), paradoxes of the material implication.	Formal logic, conditional, truth tables, dyadic connectives	view
Exercises 4 (Solution for 5)	Solutions for the three natural deductions of exercise 5a–c.	Formal logic, natural deduction	view
Handout 17: Non-Classical Logic	Rough sketches of many-valued logic and free logic.	Formal logic, bivalence, non-classical logic	view
Practice: QL and QL= (Worksheet)	Translation exercises.	predicate logic, Formal logic, identity	view
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
Additional Note: Clarifying the Rules for Trees	Further explanation of the puzzle we noted in the sixth class.	Formal logic	view
Exercises 1	Arguments, Soundness and Validity.	Formal logic	view

Search form

You are here