Recent content by PhiloLearner

The answer is ... :smile: http://hcs.harvard.edu/~hrp/issues/1996/Boolos.pdf

Similar subject titles but different contents :smile:

According to the late philosopher and logician George Boolos, who was a professor at MIT, the hardest logical puzzle is one that was invented by the logician and puzzle-master Raymond Smullyan, and modified slightly by the computer scientist John McCarthy. Here is the puzzle : :cool:

Nope. He only got a PH.D in history of science.

A more elegant way to use SD Derivation system SD is more elegant than other systems of natural deduction such as that of Copi's, thanks to F.B.Fitch. :smile: Now there is a trend of using SD system in logic books as the only system of natural deduction. To make the system more elegant...

The fastest proof of Peirce's Law is to prove the contrapositive ¬P→¬((P→Q)→P) :smile:

Truth-table method is a decision procedure, not a method of proof.