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

Elon Musk (& Vivek Ramaswamy) on hardship, because he knows so much about it

I noted (here on the blog and also here ) that I didn't think predictions about inflation acceleration and a recession as a result of a ...