Mathematical foundations

This volume investigates what is beyond the Principle of Non-Contradiction.

This book is a tribute to Professor Ewa Orlowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017.

This textbook presents the basics of philosophy that are necessary for the student and researcher in science in order to better understand scientific work.

This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.

This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading philosopher, mathematician and computer scientist.

This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic.

This book explores the unique relationship between two different approaches to understand the nature of knowledge, reality, and existence.

Ultralogic as Universal?

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.

This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory.

This monograph proposes a new way of implementing interaction in logic.

Through its engaging and unusual problems, this book demonstrates methods of reasoning necessary for learning number theory.

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions.

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions.

In this first volume of The Sylvan Jungle, the editors present a scholarly edition of the first chapter, "e;Exploring Meinong's Jungle,"e; of Richard Routley's 1000-plus page book,  Exploring Meinong's Jungle and Beyond.

This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles.

This collection of prize-winning essays addresses the controversial question of how meaning and goals can emerge in a physical world governed by mathematical laws.

This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday.

This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology.

This book examines the role of acts of choice in classical and intuitionistic mathematics.

This book offers an introduction to artificial adaptive systems and a general model of the relationships between the data and algorithms used to analyze them.

This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications.

This book explains exactly what human knowledge is.

This book explores new findings on the long-neglected topic of theory construction and discovery, and challenges the orthodox, current division of scientific development into discrete stages: the stage of generation of new hypotheses; the stage of collection of relevant data; the stage of justification of possible theories; and the final stage of selection from among equally confirmed theories.

While it is well known that the Delian problems are impossible to solve with a straightedge and compass - for example, it is impossible to construct a segment whose length is cube root of 2 with these instruments - the discovery of the Italian mathematician Margherita Beloch Piazzolla in 1934 that one can in fact construct a segment of length cube root of 2 with a single paper fold was completely ignored (till the end of the 1980s).

This volume presents essays by pioneering thinkers including Tyler Burge, Gregory Chaitin, Daniel Dennett, Barry Mazur, Nicholas Humphrey, John Searle and Ian Stewart.

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.

This volume collects nine essays that investigate the work of Gottlob Frege.

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic.

This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan's work on self-reference.

This monograph details several different methods for constructing simple relation algebras, many of which are new with this book.

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic.

This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world.

The first volume of a pair that charts relation algebras from novice to expert level, this text offers a comprehensive grounding for readers new to the topic.

This volume offers a wide range of both reconstructions of Nikolai Vasiliev's original logical ideas and their implementations in the modern logic and philosophy.

The second volume of a pair that charts relation algebras from novice to expert level, this text brings the well-grounded reader to the frontiers of research.

Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes.

This book offers insight into the nature of meaningful discourse.

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century.

This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC.

This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka.

This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory.

This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and reasoning about epistemic norms, and it shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework.

This book offers a defense against non-classical approaches to the paradoxes.

This book offers an inspiring and naive view on language and reasoning.

This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems.

This book is an exploration and defense of the coherence of classical theism's doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects.

This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change.

This visionary and engaging book provides a mathematical perspective on the fundamental ideas of numbers, space, life, evolution, the brain and the mind.

Now in its third decade, the Colorado Mathematical Olympiad (CMO), founded by the author, has become an annual state-wide competition, hosting many hundreds of middle and high school contestants each year.