Commitment in Mathematics and Higher-order logic

I argue that a mistaken assumption about the relationship between semantics and commitment has lead philosophers of logic and mathematics astray. The assumption results from conflating the objects that are used in specifying truth-conditions with the objects that the truth-conditions thereby specified concern."


Pour une introduction, voir le papier “On specifying content ”, en particulier la première section : ”The parable of Willard and George“.