Papers in Philosophical Logic: Mathematics is megethology