Hi guys,(adsbygoogle = window.adsbygoogle || []).push({});

I stumbled upon this lovely quote from the philosopher of science Wesley Salmon: "The fool hath said in his heart that there is no null set. But if that were so, then the set of all such sets would be empty, and hence,itwould be the null set. Q.E.D." (in Martin Gardner, Mathematical Magic Show, 1989, p.33)

This proof was obviously meant by Salmon as having to be taken with a grain of salt. Nevertheless, I don't believe he took it to be nothing but a joke. What I would like to know is if this proof holds up in any of the formalized systems of set theory. In other words: is it possible to formalize Salmon's proof?

The problem with that, I think, is that Salmon presupposes a principle of comprehension. He seems to reason as follows: if there is a property E such that Ex means "x is an empty set", then there must be a set S containing all objects of which E is true. Hence if -∃x(Ex), then S must be an empty set.

The problem, of course, is that comprehension leads to paradoxes in set theory and is therefore replaced by extensionality as a way to identify sets. One of these paradoxes is that comprension can lead to self-inclusion which can lead to Russell's paradox. In Salmon's proof, too, there seems to be paradoxical self-inclusion, since S being the set of all empty sets must be an element of itself if it is an empty set, in which case it wouldn't be empty...

I would like to hear what you think? Is Salmon's proof complete nonsense from a formal point of view? Or are there formel systems in which it could be expressed? And if so, how?

Thank you

P.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Salmon's 'proof' for the existence of the empty set

Loading...

Similar Threads - Salmon's 'proof' existence | Date |
---|---|

I An easy proof of Gödel's first incompleteness theorem? | Mar 6, 2018 |

I Cantor's decimal proof that (0,1) is uncountable | Sep 27, 2017 |

A A "Proof Formula" for all maths or formal logic? | Apr 19, 2017 |

I Regarding Cantor's diagonal proof. | Feb 28, 2017 |

I No existence of Variance | Jan 7, 2017 |

**Physics Forums - The Fusion of Science and Community**