Tuesday, July 22, 2014

The Continuum Hypothesis and Mathematical Platonism

Does the fact that an apparently straightforward mathematical proposition can be neither proved nor disproved show something deep about the nature of mathematics?

To be a little superficial, the Platonist position in philosophy of mathematics is that the number 17, and all of its friends and relations down to distant cousins, exist quite independently of us. Mathematical truth is discovered in something closely analogous to the way rare jungle fauna are discovered by exploring zoologists. The truths of mathematics are not invented, stipulated, or constructed, not directly, not indirectly, not even very indirectly.  

Tuesday, July 15, 2014

Jefferson Davis and the Moral Right to Abolish Slavery

Here is a meditation on the question whether Lincoln was, or you would be, morally in the right in using unlawful force against the institution of chattel slavery.