ω + 1

philosophy, mathematics, and other joys

Two Ways to Quantify: Substitutionalism

Sep 8, 2019

Substitutionalism is the claim that all objectual quantification is substitutional quantification. The strong variant claims that some substitutional quantification is not objectual quantification.