Also offered as LING 353 . Syntactic and semantic study of various systems of formalization for modalities, tenses, and other intensional concepts. Normally offered alternate years. Includes proof of the unsolvability of the Halting Problem and analysis of Church's thesis, as well as exploration of the extension of the concept of computability to real-valued functions. Normally offered alternate years.
Topics vary from year to year.
May be repeated for credit. Graduate version of PHIL 305 . Open to philosophy graduate students only. About Please direct questions to the appropriate Rice department .