Gerhard Schurz (Düsseldorf) gives a talk at the MCMP Formal Ethics Workshop (11-13 October, 2012) titled "Formal Versions of Hume's Is-Ought Thesis".