What does “The set of all Fs is non-empty” mean? Surely it means “There exist at least one F”, and we are back to what “exist” means. So your definition does not taboo “exist”, it just rewords it without adding anything to the understanding of the issue.
Surely you wouldn’t maintain that the only possible tabooings of “existence” are instrumentalist-friendly ones.
Usually it’s just a postulate. I’ve yet to come across a different definition that is not a simple rewording or obfuscation. I would be very interested in seeing something non-instrumentalist that is.
What does “The set of all Fs is non-empty” mean? Surely it means “There exist at least one F”, and we are back to what “exist” means. So your definition does not taboo “exist”, it just rewords it without adding anything to the understanding of the issue.
Usually it’s just a postulate. I’ve yet to come across a different definition that is not a simple rewording or obfuscation. I would be very interested in seeing something non-instrumentalist that is.