Logicians are perhaps of rather limited use to the world (as I’m occasionally reminded by Mrs Logic Matters). But they can be tolerably helpful when you are in danger of inadvertently confusing use and mention, or if you want to avoid getting into muddles about variables, and so on.
A set is merely the result of collecting objects of interest, and it is usually identified by enclosing its elements with braces (curly brackets).
No: what gets surrounded by curly brackets in forming an expression identifying a set are expressions designating the elements, not the elements themselves. (And odd to say that sets are usually identified this way, using lists enclosed in curly brackets, when that only works for finite sets!)
Or how about this:
A property is a statement that asserts something about one or more variables. For example, the two statements “x is a real number” and “ and ” are clearly properties that assert something, respectively, about x and y.
Ok: it makes sense to say e.g. that
“ is a real number” asserts something about ,
because is a denoting term. But it doesn’t express any complete claim to say that
” x is a real number” asserts something about x
if “x” is left as a dangling free variable. And we can’t tidy up by imagining there is a governing quantifier, as you can’t quantify across quotes. Anyway, a property isn’t a statement of any kind (even if we allow open sentences with unbound variables to count as statements) — properties are what are expressed by open sentences, or are their semantic values, or some such.
How about this?
[An example of a compound sentence is]
(means “P and Q” and is called conjunction)
What convention on quotation marks is in play which would make it right to have the quotation marks this way round? And, being pernickety — but why not? — it is certainly not the case that the wff is called “conjunction”! It is a conjunction.
Quite rightly, any logician would balk at write each of the above. Not so the mathematician Daniel Cunningham in his brand new book Set Theory: A First Course (CUP, 2016). Those quotations are all from the first six pages.
This seems a huge pity as the book later promises well as an introductory set theory text. I’ll report back in due course on the real content, once the book gets going. But it really is worth talking to your local friendly logician to avoid silly foul-ups like these.