This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are prov...

This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field. Raymond Smullyan, mathematician, philosopher, musician and inventor of logic puzzles, made a lasting impact on the study of mathematical logic; accordingly, this book spans the many personalitie...

Looking for a head start in your undergraduate degree in mathematics? Maybe you've already started your degree and feel bewildered by the subject you previously loved? Don't panic! This friendly companion will ease your transition to real mathematical thinking. Working through the book you will develop an arsenal of techniques to help you unlock the meaning of definitions, theorems and proofs, solve problems, and write mathematics effectively. All the major methods of proof - direct method...

The main purpose of this book is the development of a new method for the semantical analysis of meaning, that is, a new method for analyzing and describing the meanings of linguistic expressions. This method, called the method of extension and intension, is developed by modifying and extending certain customary concepts, especially those of class and property. The method will be contrasted with various other semantical methods used in traditional philosophy or by contemporary authors. Thes...

A Dictionary of Logic expands on Oxford's coverage of the topic in works such as The Oxford Dictionary of Philosophy, The Concise Oxford Dictionary of Mathematics, and A Dictionary of Computer Science. Featuring more than 450 entries primarily concentrating on technical terminology, the history of logic, the foundations of mathematics, and non-classical logic, this dictionary is an essential resource for both undergraduates and postgraduates studying phi...

At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. The book is suitable for use in courses or for independent study. Assuming relatively little mathematical background, it is ideal fo...

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of ...

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs. The second chapter of the book discusses the techniques in proving if/then statements by contrapositive and proofing by contradiction. It also includes the negation statement, and/or. It examines various theorems, such as the if and only-if, or equivalence theorems, the existence th...

'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incomp...

Students and instructors alike will benefit from this rigorous, unfussy text, which keeps a clear focus on the basic probabilistic concepts required for an understanding of financial market models, including independence and conditioning. Assuming only some calculus and linear algebra, the text develops key results of measure and integration, which are applied to probability spaces and random variables, culminating in central limit theory. Consequently it provides essential prerequisites t...

An accessible introduction to philosophical logic, suitable for undergraduate courses and above.Rigorous yet accessible, Logical Methods introduces logical tools used in philosophy—including proofs, models, modal logics, meta-theory, two-dimensional logics, and quantification—for philosophy students at the undergraduate level and above. The approach developed by Greg Restall and Shawn Standefer is distinct from other texts because it presents proof constru...

Understanding Analysis outlines an elementary, one-semester course designed to expose students to the rich rewards inherent in taking a mathematically rigorous approach to the study of functions of a real variable. The aim of a course in real analysis should be to challenge and improve mathematical intuition rather than to verify it. The philosophy of this book is to focus attention on the questions that give analysis its inherent fascination. Does the Cantor set contain any irrat...