# Tag Info

### What are some logically equivalent formulations of “uniqueness”?

You are reading the definition in a way that is not quite right. There is no logical term for "other". A better reading is "x is P and anything that is P is x". This seems to ...
• 10.5k

### What are some logically equivalent formulations of “uniqueness”?

To me, an intuitive way to express uniqueness would be something like: Francis is Pope and anybody who is not Francis is not Pope. But, "Anybody who is not Francis is not Pope," is the ...
• 26.3k
1 vote

### On the difference between a meta-variable and a propositional atom

Hmm, I see where you're coming from, but I think you might be overthinking this a bit. It seems you're kinda hung up on the whole meta-variable thing. Look, in propositional logic, we're dealing with ...
1 vote

### What are some logically equivalent formulations of “uniqueness”?

Uniqueness means different things for different mathematical objects, all related to how we view equality between objects. This is observed in your post, where you notice that two sets being equal, ...
1 vote

### What are some logically equivalent formulations of “uniqueness”?

As far as I have seen, the ubiquitous way of proving “x has property P uniquely” in mathematics is by showing “if there was some other y which also had property P, it would follow necessarily that y ...
• 1,110

Only top scored, non community-wiki answers of a minimum length are eligible