Abstract

In this note, I defend Melia 2000 against objections in Daly and Langford 2010. I show that my formulation of the Comprehension Schema is correct while their modification is inadequate and that their approach to the problem through infinitary sentences is irrelevant to my original arguments. Finally, I argue that it is not a puzzle that we could find mathematics indispensable in our theorising, even when the mathematics is false