PHL309 Logic, Language, and Thought
Professor: Craig DeLancey
Office: CC212A

Current Assignments
12 December
Final exam in our classroom, 10:30-12:30 am.

Some study questions:
  1. Explain the Turing test (what is the test set-up? What is this strange set-up meant to control for?). (Some folks -- for shame! -- forgot this very important concept. Turing calls it the "imitation game," but it is now called the "Turing Test."
  2. Stating and understanding Godel's First Incompleteness Theorem;
  3. Stating and understanding Godel's Second Incompleteness Theorem;
  4. Knowing how to give an informal intepretation of the Godel sentence;
  5. Understanding Godel numbering;
  6. Basic understanding of Turing machines;
  7. Making a simple Turing machine;
  8. What is the Church-Turing thesis?;
  9. the Halting Problem and either reductio ad absurdum argument showing the problem cannot be solved (that is, prove the Halting result using either the diagonal argument or the impossible machine argument);
  10. Definition of Descriptive Complexity and Chaitin Random;
  11. interpreting the import of the Halting Problem;
  12. the Incompressibility Result;
  13. What are: Platonism, Kantianism, Logicism, Formalism, Radical Conventionalism?
  14. What is the Lucas-Penrose argument against the claim that human thought is [all] computation.

Tentative Assignments (subject to revision)