PHL309 Logic, Language, and Thought
Professor: Craig DeLancey
Office: CC212A
Email: craig.delancey@oswego.edu


Current Assignments
12 May
Our scheduled time for the final exam 10:30 am -- 12:30 pm.

Some study indicators:
  1. Any question from the midterm is fair game;
  2. 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.");
  3. State and understand Godel's First Incompleteness Theorem;
  4. State and understand Godel's Second Incompleteness Theorem;
  5. Know how to give an informal intepretation of the Godel sentence;
  6. What is a Godel sentence? What does it show about the system in which you can state a Godel sentence?
  7. Understand Godel numbering;
  8. Basic understanding of Turing machines;
  9. Make a simple Turing machine;
  10. What is the Church-Turing thesis?;
  11. 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);
  12. Define of Descriptive Complexity and Chaitin Random;
  13. interpret the import of the Halting Problem;
  14. the Incompressibility Result;
  15. What are: Platonism, Kantianism, Logicism, Formalism, Radical Conventionalism, Structuralism?
  16. What is the Lucas-Penrose argument against the claim that human thought is [all] computation?
Please note that evaluations can be done on Blackboard.


Tentative Assignments