The Permutation Game
Kant had already said that this proof was baloney, because “existence” wasn’t a predicate like goodness or knowledge. But Russell and analytic philosophy took it one step further. In math and formal logic, existence isn’t a predicate — it’s a quantifier. Like in the sentence, “For every natural number, there is a larger natural number.” We’re not making deep existence claims here, just singling out an element in a system.
So if we can come up with a model that’s foundationally and structurally sound, and works, let’s use it. What looked like an impossible problem wasn’t a problem after all; we’d just gotten twisted up in the way we talked about it.
So philosophy of mathematics => mathematical philosophy. Change of grammar => change of perspective.
shaking off logical ambiguity.


