= 27d567bc2d48d9f40e9ccc20ea370b15)
Larks comments on The role of mathematical truths - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (81)
∃x∃y ( ~(x=y) & ( ∀z ( ~(z=x) ⊃ (z=y) ) & ( ~(z=y) ⊃ (z=x) ) )
Only works in a limited universe of discourse, though.
Or ∃x∃y ( ~(x=y) & ∀z ( z=y or z=x) )
Still, that's not 'twoness'. That's a sentence that's only satisfied when there are two things, and could be taken as a definition of what it means to assert that there are two things, or even as a definition of there being two such things, but it's not 'twoness'. 'Twoness' implies number is a property of objects, which I think Frege pretty conclusively disproved.