Diversity Reading List

Comment: This book can be used in a variety of advanced undergraduate and postgraduate courses. Chapters 1, 2, 3 and 8 may be useful in an advanced undergraduate or beginning graduate course, where an emphasis is placed on classical logic and on a range of different proof calculi (mainly for classical logic). Chapters 4, 5 and 6 deal almost exclusively with non-classical logics. Chapters 7 and 9 are rich in meta-logical results, including results that have been obtained specifically using sequent calculus formalizations of various logics. These last five chapters might be used in a graduate course that embraces classical and nonclassical logics together with their meta-theory. To facilitate the use of the book as a text in a course, the text is peppered with exercises. In general, the starring indicates an increase in difficulty, however, sometimes an exercise is starred simply because it goes beyond the scope of the book or it is very lengthy. Solutions to selected exercises may be found on the web at the URL www.ualberta.ca/˜bimbo/ProofTheoryBook.

Comment: This book is adequate for a first course on formal logic. Moreover, its table of contents follows that of Quine's "Methods of Logic", thus it can serve as an introduction or as a reference text for the study of the latter.

Comment: This book is ideal for a first introduction course to formal logic. It doesn't presuppose any logical knowledge. It covers propositional and first-order logic (monadic and relational).

Comment: This article introduces all the necessary tools in order to understand both the proof-theoretic and the model-theoretic aspects of first-order classical logical consequence. As such it can be used as a main reading in an introductory logic course covering classical first-order logic (assuming the students will have already looked at classical propositional logic). Moreover, the article covers some metatheoretic results (soundness, completeness, compactness, upward and downward Löwenheim-Skolem), which makes it suitable as a reading for a slightly more advanced course in logic. Finally, the article includes a brief incursion into the topic of logical pluralism. This makes it suitable to be used in a course on non-classical logics with an introduction module on classical logic.

Comment: A very accessible paper, requiring virtually no previous knowledge of logic or feminist philosophy. It is particularly appropriate for the "logic" session of a course on teaching philosophy. It can also be proposed as a preliminary reading for an intro to Logic course, insofar as knowledge of the interaction between stereotype threat and logic performance can have a positive effect on the performance of those potentially affected (as argued in the paper itself).

Comment: An introduction to sentential and first-order logic with a mixed philosophical and computational focus; rigorous presentation of the formalism interspersed with brief philosophical reflections on concepts, practical exercises, and pointers at technical 'real-world' applications.

Comment: Presupposes some familiarity with Aristotelian and Fregean logic, as well as ideas in analytic philosophy of language (e.g., theories of reference). This would be a good piece for countering the prejudice that nothing worthy of being called logic was done in the classical Chinese tradition. It is also a good piece for expanding students' imaginative horizons and showing them how their ideas of what logic is have been culturally shaped.