There is a similar joke in Bob Meyer's 1971 paper 'Entailment' which he calls 'the calculus of pure irrelevance'. He runs an argument:
1) Everybody's intuitions are linguistic prejudices. 2) Lewis's intuitions are proofs. Therefore, 3) the owl, for all his feathers, was a-cold.
In the calculus of pure irrelevance you can prove the conclusion directly thus, as he puts, 'ending reliance on intuition once an for all'. It's a funny paper well worth a read.
There is a similar joke in Bob Meyer's 1971 paper 'Entailment' which he calls 'the calculus of pure irrelevance'. He runs an argument:
ReplyDelete1) Everybody's intuitions are linguistic prejudices.
2) Lewis's intuitions are proofs.
Therefore, 3) the owl, for all his feathers, was a-cold.
In the calculus of pure irrelevance you can prove the conclusion directly thus, as he puts, 'ending reliance on intuition once an for all'. It's a funny paper well worth a read.
wow... another level of humor. cool!
ReplyDeletekindly visit me back & support