this is phil 5577...

  • solutions for hw 6 (Dec. 18, 2016) [pdf]
  • review (messy) (Dec. 13, 2016) [pdf]
  • notes on theory of number, v (Dec. 6, 2016) [pdf]
  • solutions for quiz 3 (Dec. 4, 2016) [pdf]
  • notes on the theory of number, iv (Dec. 1, 2016) [pdf]
  • notes on the theory of number, iii (Nov. 29, 2016) [pdf]
  • solutions for hw 5 (Nov. 25, 2016) [pdf]
  • frege's analysis of number, ii (Nov. 12, 2016) [pdf]
  • frege's analysis of number, i (Nov. 10, 2016) [pdf]
  • russell, *introduction to mathematical philosophy* (Nov. 8, 2016) [pdf]
  • solutions for quiz 2 (Nov. 4, 2016) [pdf]
  • solutions for hw 4 (Nov. 2, 2016) [pdf]
  • solutions for hw 3 (Oct. 27, 2016) [pdf]
  • tableaux rules (Oct. 27, 2016) [pdf]
  • translation practice (Oct. 26, 2016) [pdf]
  • notes on first-order logic (Oct. 10, 2016) [pdf]
  • solutions for quiz 1 (Oct. 6, 2016) [pdf]
  • in-class exercises 3 (Oct. 6, 2016) [pdf]
  • solutions for hw 2 (Sept. 29, 2016) [pdf]
  • solutions for hw 1 (Sept. 20, 2016) [pdf]
  • hint for homework 1 (Sept. 13, 2016) [html] [pdf]
  • in-class exercises 2 (Sept. 12, 2016) [html] [pdf]
  • in-class exercises 1 (Sept. 1, 2016) [html] [pdf]