Courses

Fall 2015

Philosophy and Mathematics

  • Reading Seminar: Diagonalization and Self-Reference. Professors Beall, Dzhafarov, and Solomon. Time TBA.
  • MATH 5026: Model Theory. Professor Dzhafarov. Mondays, Wednesdays, and Friday 10:10-11.

Spring 2015

Philosophy

  • PHIL 5320.01: Seminar in the History of Philosophy: Frege. Professor Marcus. Mondays 9:30-12.
  • PHIL 5397-01: Truth. Professor Bar-On and Simmons. Wednesdays 1:30-4.

Mathematics

  • MATH 5026: Recursion Theory. Professor Westrick. Tuesday, Thursday 9:30-10:45.
  • MATH 3260: Introduction to Mathematical Logic. Professor Dzhafarov. Monday, Wednesday, Friday 10:10-11.
  • Reading Group: Automata Theory. Professor Solomon. Tuesday 3:45-5:00.

Fall 2014

Philosophy

  • PHIL 5307: Modal Logic. Professor Simmons. Thursdays 9:30-12.
  • PHIL 5397: Introduction to Probability for Philosophers who Don’t Know (But Want to Know) Basic Probability. Professors Beall and Ripley. Tuesday 1:30-4:00.

Mathematics

  • MATH 5026: Set Theory. Professor Solomon. Monday, Wednesday, Friday 12:20-1:10.

Spring 2014

Philosophy

  • PHIL 5344: Seminar in Philosophical Logic. Professor Ripley. Wednesday 9:00-11:30.
  • PHIL 5397: Philosophy of Mathematics: Neologicism. Professor Rossberg. Thursday 9:30-12:30.

Mathematics

  • MATH 5026: Reverse mathematics. Professor Dzhafarov. Monday, Wednesday, Friday 3:35-4:25.
  • Reading Group: Models of Peano Arithmetic. Professors Dzhafarov and Solomon. Monday 11:30-12:45.

Linguistics

  • LING 5420: Semantics II. Professor Kaufmann. Tuesday, Thursday 9:30-10:45.

Fall 2013

Philsophy

  • PHIL 5307: Introduction to Philosophical Logics. Professor Beall. Tuesday 1:30-4:00.

Mathematics

  • MATH 5260: Mathematical Logic I. Professor Solomon. Tuesday, Thursday 11:15-12:15.
  • Reading Group: Models of Peano Arithmetic. Professors Dzhafarov and Solomon. Monday 11:30-12:45.

Linguistics


Spring 2013

Philosophy

  • PHIL 5397: Truth. Professor Lynch. Wednesday 1:00-4:00.

Mathematics

  • MATH 5026: Topics in Mathematical Logic: Algorithmic Randomness. Professor Franklin. Monday, Wednesday, Friday 1:00-1:50.
  • MATH 3260: Introduction to Mathematical Logic. Professor Solomon.

Fall 2012

Philosophy

  • PHIL 5307: Introduction to PhilosophicalLogics. Professor Beall. Tuesday 1:30-4:00.
  • PHIL 5344: Topics in Philosophical Logic: Truth WithoutDetachment. Professor Beall. Monday 1:00-4:00.

Mathematics

  • MATH 5026: Topics in Mathematical Logic: ModelTheory. Professor Solomon. Tuesday, Thursday 9:30-10:45.

Linguistics

  • LING 6410: Semantics Seminar: Prioritizing Modality. Professor Kaufmann.
  • LING 6420: Topics in Semantics. Professor Gajewski. Thursday 12:30-3:30.

Spring 2012

Mathematics

  • MATH 5026: Topics in Mathematical Logic: Proof Theoryof Arithmetic. Professor Towsner. Monday, Wednesday,
    Friday 11:00-11:50.

Fall 2011

Philosophy

  • PHIL 5307: Introduction to PhilosophicalLogics. Professor Beall.
  • PHIL 5320: Seminar in the History of Philosophy:Carnap. Professor Rossberg.

Mathematics

  • MATH 5026: Topics in Mathematical Logic: ComputabilityTheory. Professor Solomon. Wednesday, Friday
    10:30-11:45.

Spring 2011

Philosophy

  • PHIL 5342: Seminar in the Philosophy of Language. Professor Shapiro.
  • PHIL 5399: Seminar in Paraconsistent Set Theory. Professor Weber.

Mathematics

  • MATH 5260: Mathematical Logic I. Professor Solomon.

Linguistics

  • LING 6420: Presupposition. Professor Gajewski.

Fall 2010

Philosophy

  • PHIL 5307: Introduction to PhilosophicalLogics. Professor Beall.
  • PHIL 5397: Seminar in the History of Philosophy: Frege. Professor Rossberg.

Spring 2010

Philosophy

  • PHIL 5397: Philosophy of Mathematics. Professor Rossberg. Monday 1:30-4:30.

Fall 2009

Philosophy

  • PHIL 5344: Truth and Paradox. Professor Beall, Wednesday 1:00-4:00.

Fall 2008

Philosophy

  • PHIL 5397: Second-Order Logic and Plural Quantification. Professor Rossberg. Monday 3:30-6:00.