Logic
What is a variable and what function does it play in such quantified propositions as "There is at least a thing, x, such that x is F", or "Every x is such that it is F"? Does the variable refer to something in the world? Or does it refer only to things assigned to constants? In other words: does the variable stand for things or words? And if it stands for things, does it stand for named things or even for unnamed things?
Accepted:March 23, 2011
Accepted:
March 23, 2011