T
twinc
Guest
the crux or nub of the problem is that things can exist and yet not be real - twincSorry to keep correcting. But x is a variable that ranges over a domain of discourse, and by itself it is unbound–so it needs either a universal quantifier (Ax) or an existential quantifier (Ex). ** But that is not problematic at all. **So we don’t “need to know” what x “refers” to, because it just “refers” to a SET of objects, not any particular objects like names do.
On the other hand, “John” “Washington DC” “a” “b” “c” are constants, or names–and these DO refer to particular objects.
That’s correct.
Sure, no one disagrees here. Tautologies are propositions that are necessarily and trivially true.
Be careful though. Tautologies are not “things.” They are propositions. And it all depends on what you think exists. Do propositions exist? I say they do. But some people will differ. You just need to keep in mind that this is a question for metaphysics or *philosophy of language *to answer, not logic. It’s crucial that you understand that.