Continued studies in both the synchronic and diachronic grammar of classical Sanskrit.

The phonology, morphology, and syntax of the classical Sanskrit language, emphasizing the position of Sanskrit within the Indo-European language family and its importance for Indo-European linguistics.

Formal semantics for sentential and first-order predicate logic, including both soundness and completeness results for first-order logic. Additional topics may include Goedel's incompleteness results, the Skolem-Lowenheim theorem, or possible world semantics for modal logics.

Symbolic-mathematical logic, examining the propositional and predicate calculi, with emphasis on problems in translation and formalization and topics in the philosophy of logic and mathematics.

Identification and examination of the salient structural similarities and differences between German and English.

Topics such as formal and ordinary languages, meaning, reference, truth, definition, analyticity, ambiguity, metaphor, symbolism, and the uses of language.

The Indo-European language family: the various early Indo-European dialects, their grammatical structures, and the evolution of those structures from the proto-language.

A special topic not otherwise offered in the English curriculum. Topics and instructors vary from semester to semester.

An introduction to the formal analysis of sentential meaning, from a linguist's perspective. After first isolating a truth-conditional notion of literal meaning, we will use techniques from logic to describe how the meanings of sentences are built from those of their parts.

The positions of Greek and Latin within the Indo-European language family with special attention to the phonological evolution of both Greek and Latin from Proto-Indo-European.