From: utzoo!decvax!harpo!floyd!rhm
Newsgroups: net.misc
Title: Re: ravings on Smullyan and Logical Equivalence
Article-I.D.: floyd.412
Posted: Mon Aug  2 10:40:22 1982
Received: Tue Aug  3 00:38:46 1982
References: watmath.3174

I don't know Smullyan - I do know his book.
The first few lectures in a logic course stress the importance of
quantification.  Without the discipline of quantification, one is left
to make some decision about the meaning of the English word "is".
Inclusion of pontifical statements in a book on logic about the true
meaning of sentences like "Good food is not cheap." simply sets the
study of logic back to the middle ages.
Smullyan's book is a goldmine of incorrectly and insufficiently quantized
sentences.

I still hope that the net does not fill up with bits and pieces of
the rather carelessly formulated problems from Smullyan's book.