One might try to say that "circle(x)" is to be taken as an abbreviation for "instantiates(x,circularity)". But then by the same token, "instantiates(x,circularity)" will need to be taken as an abbreviation for "instantiates((x,circularity),instantiation)". And so on ad infinitum. And if one rejects the expansion of "instantiates(x,circularity)", then run my argument with Necessarily(instantiates(a,circularity) → instantiation exists).
Press the back button on your browser to go back to the post