In a new paper just published in Mind, Rob Trueman helps us navigate the "higher order" turn in metaphysics, presenting a new deflationary view that justifies a standard but metaphysically controversial assumption. Read the paper here: philpapers.org/rec/TRUFPP
philpapers.org
My aim in this paper is to offer a novel justification for β-Equivalence. β-Equivalence is a standard principle of higher-order logic, but it is metaphysically controversial. My argument for β-Equival...
