My dissertation, Truth, Belief, and Inquiry: A New Theory of Knowledge is available here

As part of its completion, I coded the following:

  • ConvinceMe Update - An update to ConvinceMe to include simplicity weight, allow for contradiction-together, etc.Coded in Java.
  • Calcuhater - A computer program used in an example of an unreliable (but prima facie plausible) belief-formation process. Coded in Ruby.
  • ECHO scripts - Several scripts to demonstrate the acceptability of certain propositions given other background propositions, evidence, etc. Coded in ECHO.

ConvinceMe Modifications at GitHub