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.