Skip Navigation
UT wordmark
College of Liberal Arts wordmark
philosophy masthead
David Sosa, Chair 2210 Speedway, WAG 316, Stop C3500, Austin, TX 78712 • 512-471-4857

Preparation for the Logic Seminar

The doctoral program in philosophy at the University of Texasincludes a seminar in logic, PHL 389, to be taken in the springsemester of the first year.  This seminar is intended to be a secondcourse in symbolic logic: that is, students are expected to havemastered first-order logic with identity by the beginning of the springof their first year. If you have taken an introductory course insymbolic logic at your undergraduate institution in the not-very-remotepast, that should suffice.  However, in order to ensure that everyoneis adequately prepared, we have put together some suggested texts andpractice problems.

In addition, we intend to ask each entering student to take adiagnostic test in logic, to help both the student and the GraduateAdviser to have a good idea about the amount of further preparation, ifany, that may be needed to meet the expectations of Phl 389. Thisdiagnostic test will closely resemble the practice problems on the linkbelow.

Phl 389 will also make use of two tools with which you may not yetbe familiar: basic set theory and mathematical induction.  Competencein these areas is not, strictly speaking, a prerequisite for theseminar. However, you chances of success in 389 will be greatlyenhanced if you take some time to familiarize yourself with these inadvance. Consequently,  we list some texts below that also cover thesetopics, and both the practice problems and the diagnostic test willinclude examples of problems in elementary set theory and mathematicalinduction.

Recommended Texts:

Texts Covering First-Order Logic Only:

  • Begmann, Moore and Nelson, The Logic Book, chapters 1 through 10.
  • Bonevac, Deduction, chapters 1 through  8.
  • Copi, Symbolic Logic, chapters 1-5.
  • DeHaven, The Logic Course, through chapter 10.
  • Kahane, Logic and Philosophy, chapters 2-8.
  • Kalish, Montague and Mar, Logic: Techniques of Formal Reasoning, Chapters I -V.
  • Lemmon, Beginning Logic, through chapter 4.
  • Mates, Elementary Logic, through chapter 7.
  • Quine, Methods of Logic, through chapter 8.
  • Suppes, Introduction to Logic, through chapter 5.

Comprehensive Texts (including first-order logic, set theory and mathematical induction):

  • John Barwise and Jon Etchemendy, Language, Proof and Logic (through ch. 16) (CSLI, 2002).
  • Robert Causey, Logic, Sets and Recursion (Jones and Bartlett, Boston, 1994).
  • Nicholas Asher, Daniel Bonevac & Robert Koons, Logic, Sets and Functions (Kendall/Hunt, Dubuque, Iowa, 1999).

Introduction to Set Theory:

  • Herbert Enderton, Elements of Set Theory (Academic Press, 1977), chapters 1, 2, and 4.
  • E. J. Lemmon, Beginning Logic, Appendix B.

Mathematical Induction:

  • Herbert Enderton, A Mathematical Introduction to Logic (Harcourt, 2000), chapters 0 and 1.
  • Peter J. Eccles, An Introduction to Mathematical Reasoning: Numbers, Sets and Functions (Cambridge University Press, 1997), chapters 1-6.
  • Ethan Bloch, Proofs and Fundamentals (Birkhauser Boston, 2000 ), chapters 1-3, and 6.
  • The introductory chapter from Munkress  Topology, Herstein's Basic Algebra, and Devlin's The Joy of Sets.

bottom border