Skip to main content

New answers tagged

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 ...
Sonyjaaaaa's user avatar
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, ...
Michael Carey's user avatar
4 votes

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 ...
Bumble's user avatar
  • 26k
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 ...
lee pappas's user avatar
4 votes

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 ...
David Gudeman's user avatar

Top 50 recent answers are included