NoSuchPlace comments on Irrationality Game III - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (204)
I would still consider this to be a single thing, the same way that "P and Q" is still a statement.
Phrasing this in different way when I say "exist" I mean "either exist in the sense of quantifying over relations or elements"(definition subject to revision as I learn more non-first order logic).