This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.

Logical Options introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, second-order logic, modal logics, intuitionistic logic, three-valued logic, fuzzy logic, and free logic. Each logic is introduced with a brief description of some aspect of its philosophical significance, and wherever possible semantic and proof methods are employed to facilitate comparison of the various systems. The book is designed to be useful for philosophy students and professional philosophers who have learned some classical first-order logic and would like to learn about other logics important to their philosophical work.

The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. This volume covers many areas of contemporary logic: model theory, proof theory, set theory, and computer science, as well as philosophical logic, including tutorials on cardinal arithmetic, on Pillay's conjecture, and on automatic structures. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic.

Twenty-nine collected essays represent a critical history of Shakespeare's play as text and as theater, beginning with Samuel Johnson in 1765, and ending with a review of the Royal Shakespeare Company production in 1991. The criticism centers on three aspects of the play: the love/friendship debate.

This book offers a comprehensive overview of cutting-edge approaches for decision-making in hierarchical organizations. It presents soft-computing-based techniques, including fuzzy sets, neural networks, genetic algorithms and particle swarm optimization, and shows how these approaches can be effectively used to deal with problems typical of this kind of organization. After introducing the main classical approaches applied to multiple-level programming, the book describes a set of soft-computing techniques, demonstrating their advantages in providing more efficient solutions to hierarchical decision-making problems compared to the classical methods. Based on the book Fuzzy and Multi-Level Decision Making (Springer, 2001) by Lee E.S and Shih, H., this second edition has been expanded to include the most recent findings and methods and a broader spectrum of soft computing approaches. All the algorithms are presented in detail, together with a wealth of practical examples and solutions to real-world problems, providing students, researchers and professionals with a timely, practice-oriented reference guide to the area of interactive fuzzy decision making, multi-level programming and hierarchical optimization.

Are there objects that are “thin” in the sense that not very much is required for their existence? Frege famously thought so. He claimed that the equinumerosity of the knives and the forks suffices for there to be objects such as the number of knives and the number of forks, and for these objects to be identical. The idea of thin objects holds great philosophical promise but has proved hard to explicate. Øystein Linnebo aims to do so by drawing on some Fregean ideas. First, to be an object is to be a possible referent of a singular term. Second, singular reference can be achieved by providing a criterion of identity for the would-be referent. The second idea enables a form of easy reference and thus, via the first idea, also a form of easy being. Paradox is avoided by imposing a predicativity restriction on the criteria of identity. But the abstraction based on a criterion of identity may result in an expanded domain. By iterating such expansions, a powerful account of dynamic abstraction is developed. The result is a distinctive approach to ontology. Abstract objects such as numbers and sets are demystified and allowed to exist alongside more familiar physical objects. And Linnebo also offers a novel approach to set theory which takes seriously the idea that sets are “formed” successively.

This book provides tools for making decisions in an environment of uncertainty. In Chapter 1 the author explains the most important aspects of the concept of relation. From this start arise the other three concepts that cover practically all processes from which decisions stem. These three concepts are: attribution from which the concept of assignment arises; and grouping, which includes the concept of an original function. The techniques presented, as well as the models and algorithms developed, constitute an invaluable aid for those who must make decisions. Audience: Researchers and graduate students interested in mathematics applied to economics and management.