This guidebook is for college instructors who teach a course in Introduction to Logic at a teachers college or provide a workshop in this subject for in-service mathematics teachers. It can also be used by high school mathematics teachers for teaching students who are capable and interested in Logic.Learning is based on reading Alice's Adventures in Wonderland, and discussing quotes from that book as a trigger for developing basic notions in Logic. This guidebook includes the student's worksheets with exemplary solutions, the background in elementary logic, and pedagogical comments. There is a student's workbook that accompanies this guidebook which includes the student's worksheets without solutions.Ordinary textbooks for such a course are purely mathematical in their nature, and students usually find the course difficult, boring and very technical. Our approach is likely to motivate the students through reading the classic novel Alice's Adventures in Wonderland, written by Lewis Carroll who was not only one of the best storytellers but also a logician.Click here for Student’s Workbook

This is a student's workbook that accompanies the teacher's guidebook of the same title. It is for students who take a course in Introduction to Logic at a teachers college, whose instructor decides to provide students with a learning environment based on reading Alice's Adventures in Wonderland, and discussing quotes from that book as a trigger for developing basic notions in Logic.This workbook includes worksheets for independent work or for small-group activities. It is also possible to use this workbook in a workshop for in-service mathematics teachers, and also for teaching logic at high school level for capable and interested students.Click here for Teacher’s Guidebook

This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.

Introduction to Logic combines likely the broadest scope of any logic textbook available with clear, concise writing and interesting examples and arguments. Its key features, all retained in the Second Edition, include: • simpler ways to test arguments than those available in competing textbooks, including the star test for syllogisms • a wide scope of materials, making it suitable for introductory logic courses (as the primary text) or intermediate classes (as the primary or supplementary book) • engaging and easy-to-understand examples and arguments, drawn from everyday life as well as from the great philosophers • a suitability for self-study and for preparation for standardized tests, like the LSAT • a reasonable price (a third of the cost of many competitors) • exercises that correspond to the LogiCola program, which may be downloaded for free from the web. This Second Edition also: • arranges chapters in a more useful way for students, starting with the easiest material and then gradually increasing in difficulty • provides an even broader scope with new chapters on the history of logic, deviant logic, and the philosophy of logic • expands the section on informal fallacies • includes a more exhaustive index and a new appendix on suggested further readings • updates the LogiCola instructional program, which is now more visually attractive as well as easier to download, install, update, and use.

Understand Logic is a comprehensive introduction to this fascinating though sometimes challenging subject. As well as looking at logic in theoretical terms the book considers its everyday uses and demonstrates how it has genuine practical applications. It will take you step by step through the most difficult concepts and is packed with exercises to help you consolidate your learning at every stage. Covering everything from syllogistic logic to logical paradoxes and even looking at logic in Alice in Wonderland, this is the only guide you will ever need.

Lewis Carroll's books have delighted children and adults for generations, but behind their exuberant fantasy and delightful nonsense was the mind of a brilliant mathematician. Now his forgotten achievements in the world of numbers are brought to light by acclaimed author and mathematician Robin Wilson. Here he explores the curious imagination of a man whose pioneering work at Oxford University included investigations into voting patterns and tennis seeding, who dreamt up numerical conundrums in bed at night and who filled his writings with problems, paradoxes, puzzles and teasing games of logic. Taking us into a world of mock turtles and maps, gryphons and gravity, Lewis Carroll in Numberland reveals the singular mind of a genius.

This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers propositional and first order logic — their syntax, reasoning systems and semantics. Soundness and completeness results for Hilbert's and Gentzen's systems are presented, along with simple decidability arguments. The general applicability of various concepts and techniques is demonstrated by highlighting their consistent reuse in different contexts.Unlike in most comparable texts, presentation of syntactic reasoning systems precedes the semantic explanations. The simplicity of syntactic constructions and rules — of a high, though often neglected, pedagogical value — aids students in approaching more complex semantic issues. This order of presentation also brings forth the relative independence of syntax from the semantics, helping to appreciate the importance of the purely symbolic systems, like those underlying computers.An overview of the history of logic precedes the main text, while informal analogies precede introduction of most central concepts. These informal aspects are kept clearly apart from the technical ones. Together, they form a unique text which may be appreciated equally by lecturers and students occupied with mathematical precision, as well as those interested in the relations of logical formalisms to the problems of computability and the philosophy of logic.This revised edition contains also, besides many new exercises, a new chapter on semantic paradoxes. An equivalence of logical and graphical representations allows us to see vicious circularity as the odd cycles in the graphical representation and can be used as a simple tool for diagnosing paradoxes in natural discourse.