I was thinking that upside down A and backwards E were feeling lonely. Yes, ∀ and ∃ love each other very much, but they could really use a new friend. Introducing Angle I: Now, Angle I, , is just like her friends ∀ and ∃. She can be used in a formula such as ∀x∃yz(Pxyz). But how should we understand what is going on with the failure of the quantified tertium non datur? With that […]
Why should anyone believe that the concept of equinumerosity is any more fundamental than any other concept? . . This has bugged me for years….