New york raymond smullyan, whose merry, agile mind led him to be a musician, a magician, a mathematician, and, most cunningly, a puzzlecreating logician, died feb. I tend rather to be critical of precise statements. There seems to be plenty of them, but when i checked them in amazon, most of them said its for children. Smullyan sep 17, timon karnezos rated it really liked it.
Smullyan, firstorder logic avigad, jeremy, journal of symbolic logic, 1996. Some questions about presentation of firstorder logic in a. We shall also make the inessential assumption that if l can derive a conclu sion q from a proposition p taken as a premise, he will then believe. Smullyan, diagonalization and selfreference and first order logic harkleroad, leon, modern logic, 1996. This page describes raymond smullyan s puzzles one of the 12 best mental exercises. Though, the amazon seems kind of weird when they mark their books with age. He teaches logic at cuny graduate center and mathematics at the systems lehman college. Smullyan, an internationally known mathematical logician, is the author of several books including alice in puzzle land, this book needs no title, and five thousand b. Smullyans accessible narrative provides memorable examples of concepts related to proofs, propositional logic and firstorder logic, incompleteness theorems, and incompleteness. Smullyan and a great selection of related books, art and collectibles available now at. I m rereading raymond smullyan, first order logic 1968 dover reprint. This is the best treatment of tableaux i have come across, nicely covering both propositional logic and first order logic.
Smullyan is author of fourteen books and of numerous research articles on the topics of mathematical logic, firstorder logic, set theory, theory of computable. Smullyan a beginner 27s guide to mathematical logic dover publications 2014. Smullyan is a wellknown logician and inventor of mathematical and logical puzzles. First order logic english, paperback, smullyan raymond m. Chapter 12 surveys fundamental theoretical results in. Vi more on first order logic 275 23 craigs interpolation lemma 277 24 robinsons theorem 285 25 beths definability theorem 291 26 a unification 297. Recently, i was studying godels incompleteness theorems and some other logic concepts, and i came across raymond smullyan s book. The paperback of the first order logic by raymond r. Firstorder logic cs 2740 knowledge representation m.
Smullyan, a generalization of intuitionistic and modal logics fitting, melvin, journal of symbolic logic, 1977. Propositional logic from the viewpoint of analytic tableaux. The first dover book by raymond smullyan was first order logic 1995. This is the best treatment of tableaux i have come across, nicely covering both propositional logic and firstorder logic. The method of tableaux chapter ii analytic tableaux 15 we now describe an extremely elegant and efficient proof procedure. Click and collect from your local waterstones or get free uk delivery on orders over. First order logic for the tableau method, and then treat the basic syntactic and semantic fundamentals of propositional logic. I had to reread several paragraphs over and over again before their obvious simplicity shone through. He earned a bsc from the university of chicago in 1955 and his ph. The puzzling and paradoxical worlds of raymond smullyan.
So, i thought i would check out some of his books and maybe even order some. I first encountered raymond smullyan through his popular logic puzzle books. This completely selfcontained study, widely considered the best book in the field, is intended to serve. So b lied when he said that a said that he was a knave. Hauskrecht limitations of propositional logic world we want to represent and reason about consists of a number of objects with variety of properties and relations among them propositional logic. Represents statements about the world without reflecting this. In fact, smullyan tableaux and truthtables are incomparable in terms of psimulation. This is the most dense book ive ever read, but to say it has been rewarding would be an understatement. Its a wonderful booklet i liked it very much, but a little bit terse. In this book he has written a stimulating and challenging exposition of firstorder logic that will be welcomed by logicians, mathematicians, and anyone interested in the field.
A beginners guide to mathematical logic isbn 9780486492377. The merry prankster raymond smullyan 19192017, mathematician, logician, magician, creator of extraordinary puzzles, philosopher, pianist, and man of many parts. Im rereading raymond smullyan, first orderlogic 1968 dover reprint. A beginners guide to mathematical logic by raymond m. Law language, puzzles blog, language, logic, puzzles, writing 10 comments one day, when a speaker was introducing logician and puzzlist raymond smullyan, he remarked that professor smullyan is unique.
It is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in analytic or cutfree methods. Smullyan department of philosophy indiana university bloomington in 47405 abstract. Buy a cheap copy of first order logic book by raymond m. Considered the best book in the field, this completely selfcontained study is both an introduction to quantification theory and an exposition of new results and. Raymond smullyan offers clear, incremental presentations of difficult logic concepts with creative explanations and unique problems related to proofs, propositional logic and firstorder logic, undecidability, recursion theory, and other topics. Subramani1 1lane department of computer science and electrical engineering west virginia university completeness, compactness and inexpressibility subramani first. Some questions about presentation of firstorder logic in. Block tableaux and gentzen systems for firstorder logic.
After preliminary m this completely selfcontained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new. In almost all of them, one can distinguish two main groups of puzzles. This page describes raymond smullyans puzzles one of the 12 best mental exercises. Raymond smullyan offers clear, incremental presentations of difficult logic concepts with creative explanations and unique problems related to proofs, propositional logic and first order logic, undecidability, recursion theory, and other topics.
Author raymond smullyan offers clear, incremental presentations of difficult logic concepts. Smullyan city university of new york and indiana university dover publications, inc. The paperback of the firstorder logic by raymond r. Smullyanstyle tableaux and truthtables intuitively, one proof system is at least as good as the next i it never requires a longer proof for the same theorem. Diagonalization and selfreference oxford logic guides by raymond m. Educational introduction to best mental exercises and logical thinking by using essential, interesting and entertaining information supplemented with free photos and images which are in the public domain or licensed under a creative commons license or gnu free documentation license. His brother emile ten years his senior came into his bedroom and said. Publication date 19861015 topics book, logic, riddles collection opensource. A thrill if you can cope with the highspeed, no fuss, complete but concise style, i. A beginners guide to mathematical logic dover books on. What is the name of this book the riddle of dracula and. It is impossible for either a knight or a knave to say, i m a knave, because a knight wouldnt make the false statement that he is a knave, and a knave wouldnt make the true statement that he is a knave.
Smullyan has 38 books on goodreads with 16020 ratings. Bow en, editors, pr o c e dings of the 5th international symp osium on lo gic pr gr amming, pages 10701080, cambridge, ma. Propositional and first order logic background knowledge. Raymond smullyan was given his first logical conundrum when he was five, on april 1, 1925. Recent years have brought a number of his magical books of logic and math puzzles. Smullyan department of philosophy indiana university bloomington in 47405 abstract by treating belief as a modality and combining this with problems about constant truth tellers and constant liars knights and knaves we obtain. Firstorder logic propositional logic only deals with facts, statements that may or may not be true of the world, e. Smullyan, apart from his purely logical work, produced a certain number of booklets on logical puzzles. Raymond smullyan, whose merry, agile mind led him to be a musician, a magician, a mathematician and, most cunningly, a puzzlecreating logician, died. May 25, 1919 february 6, 2017 was an american mathematician, magician, concert pianist, logician, taoist, and philosopher born in far rockaway, new york, his first career was stage magic.
Mathematical logic for computer science is a mathematics textbook. Propositional and first order logic propositional logic first order logic basic concepts propositional logic is the simplest logic illustrates basic ideas usingpropositions p 1, snow is whyte p 2, otday it is raining p 3, this automated reasoning course is boring p i is an atom or atomic formula each p i can be either true or false but never both. There are two chapters on the basic theory of the logic. He wrote over a dozen books of logic puzzles and texts on mathematical logic.
Raymond smullyan, a wellknown mathematician and logician, is oscar owing professor of philo so phy at indiana university and professor emeritus of the city university of new yorklehman college and graduate center, his many writings include three previous volumes of recreational logic and math problems, what is the name of this. Firstorder logic 1 need for more than propositional logic in normal speaking we could use logic to say something like. The first dover book by raymond smullyan was firstorder logic 1995. He highlights each subject with inventive explanations and unique problems.
Tableaux early work by beth and hintikka around 1955. Combining stories of great writers and philosophers with quotations and riddles, this completely original text for first courses in mathematical logic examines problems related to proofs, propositional logic and first order logic, undecidability, and other topics. When introducing the notion formation tree, smullyan define a formation tree for a formula x as an ordered dyadic tree whose points are occurrences of formulas. This completely selfcontained study, widely considered the best b.
Resting on the observation that it is impossible for the premises of a valid argument to be true while the conclusion is false, this method attempts to interpret or evaluate the premises in such a way that they are all simultaneously satisfied. Buy a cheap copy of firstorder logic book by raymond m. Slides of the diagrams and tables in the book in both pdf and latex can be down. But that means todays subject matter is firstorder logic, which is extending propositional logic so that we can talk about things. Recently, i got confused when reading a book about first order logic written by raymond m smullyan. Professor of mathematics and philosophy at the city university of new york cuny, smullyan, 63, is the author of two highly regarded works on mathematical logic, and published his first popular book just five years ago. This new logic affords us much greater expressive power. Smullyan, diagonalization and selfreference and firstorder logic harkleroad, leon, modern logic, 1996. Smullyan, firstorder logic craig, william, journal of symbolic logic, 1975.
Tableaux reasoning for propositional logic chiara ghidini. In this book he has written a stimulating and challenging exposition of first order logic that will be welcomed by logicians, mathematicians, and anyone interested in the field. Smullyan, an internationally known mathematical logician, is the author of several books including alice in puzzle land, this book needs no title, and. Syntax we shall now introduce a generalisation of propositional logic called. But that means todays subject matter is firstorder logic, which is extending propositional logic. Pdf solving smullyan puzzles with formal systems researchgate.
It uses the distinction between individual variables to be used bound and individual parameters to be used free pag. Jul 16, 2014 he wrote over a dozen books of logic puzzles and texts on mathematical logic. Each function and predicate symbol has an arity k0. Springerverlag, first order logic pages first order logic raymond r. First, merge all leaves into just two, one for t and one for f. Except for this preface, this study is completely selfcontained. What are some nice puzzle book from raymond smullyan. Written by a creative master of mathematical logic, this introductory text.
1564 1118 1408 1305 300 97 1387 1416 1337 1532 1110 197 69 1603 1059 949 1638 254 678 657 605 792 1555 417 1130 1492 562 1364 1602 1068 958 905 759 83 1463 366 589 1173 771 38