PHL309 Logic, Language, and Thought

Professor: Craig DeLancey

Office: CC212A

Email: craig.delancey@oswego.edu

**Current Assignments**
**11 May**
Final exam 8:00 - 10:00 am. Sorry! I don't schedule them!
I will post questions sometime soon. Material you can study
include:
Some thoughts about questions:
- 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."
- Stating and understanding Godel's First
Incompleteness Theorem;
- Stating and understanding Godel's Second
Incompleteness Theorem;
- Knowing how to give an informal intepretation of the
Godel sentence;
- Understanding Godel numbering;
- Basic understanding of Turing machines;
- Making a simple Turing machine;
- 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);
- Definition of Descriptive Complexity and Chaitin Random;
- interpreting the import of the Halting Problem;
- the Incompressibility Result;
- What are: Platonism, Kantianism, Logicism, Formalism,
Radical Conventionalism?

I'll have office hours 1:30 - 4:00 pm.

**Tentative Assignments (subject to revision)**