Skip to content

Tag Archives: logic

Gödel’s Second Incompleteness Theorem…

… Explained in Words of One Syllable, by George Boolos (not Boole). If it could be proved that two plus two is five, then it could be proved that five is not five, and then there would be no claim that could not be proved, and math would be a lot of bunk. If you’ve [...]

The answer is obvious

Geoff Pullum asks if “and/or” means “and AND or” or “and OR or”, and decides for the latter. Well, duh. Clearly it means “and AND/OR or”. (He does have a point though: if you think like a logician, it’s clearly an unnecessary connective. “And AND or” is logically equivalent to “and”, while “and OR or” [...]