Friday, May 4, 2012

No gentlemen are bankers

Pure logic, according to Ernest Nagel (and James Newman) at least. In the classic book on Gödel's theorem the following example appears:
Where g stands for gentlemen, p for polite, and b for bankers, with the bar on top meaning not. So gentlemen are contained in polite, bankers are contained in not-polite, so it follows that gentlemen are contained in not-bankers. Of course you can substitute polite with other epithets. But they got it right. As I said, it's pure logic.

2 comments:

  1. The logic is wrong.
    Consider the follow and tell me where the trick is:
    Aristotle=Man
    Aristotle=X
    Ergo
    Man=X
    But that is only true if X=mortal; not if X=Greek
    Regards.

    ReplyDelete

Atonella Stirarti's Godley-Tobin Lecture

There was a problem during the 7th Godley-Tobin Lecture. I disconnected everyone when I was trying to fix a problem with Professor Stirati&#...