Logic 2

**A New York Times Critics' Top Book of 2021 • A Booklist Top Ten Biography of 2021 • A Kirkus Reviews Best Science Book of 2021 The first major biography written for a general audience of the logic……続きを見る

Kenneth J. Arrow's pathbreaking "impossibility theorem" was a watershed innovation in the history of welfare economics, voting theory, and collective choice, demonstrating that there is no voting ru……続きを見る

How a computational framework can account for the successes and failures of human cognition At the heart of human intelligence rests a fundamental puzzle: How are we incredibly smart and stupid at t……続きを見る

This truly philosophical book takes us back to fundamentals - the sheer experience of proof, and the enigmatic relation of mathematics to nature. It asks unexpected questions, such as 'what makes ma……続きを見る

This revised and considerably expanded 2nd edition, published in 2008, brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevan……続きを見る

Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this concep……続きを見る

Dimension three is an important test-bed for hypotheses in higher category theory and occupies something of a unique position in the categorical landscape. At the heart of matters is the coherence t……続きを見る

愈想贏，就愈會輸，這是賽局理論道出的困境， 也是人類衝突、背叛、彼此威脅、耗盡資源的原因。 《人生就是賽局》幫助我們認識賽局理論全貌， 只有了解僵局如何形成，才能扭轉情勢、提高合作效率。 本書內容包括：……続きを見る

**"An ambitious and meticulous foray into the nature of being." -- The Boston Globe A landmark exploration of the relationship between emotion and reason** Since Descartes famously proclaimed, "I th……続きを見る

conceptual, realist) theories of predication. Chapter IV.4 centers on an important class of expressions used for predication in connection with quantities: mass expressions. This chapter reviews the……続きを見る

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a rema……続きを見る

Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of the range of approaches possible in the topic. The v……続きを見る

The remarkable properties of the numbers one through nine In Single Digits, Marc Chamberland takes readers on a fascinating exploration of small numbers, from one to nine, looking at their history, ……続きを見る

Gödel's incompleteness theorem is a foundational result in mathematics that proves that any axiomatic theory of numbers will be either inconsistent or incomplete. Turing’s Halting problem is a ……続きを見る

Monoidal Topology describes an active research area that, after various past proposals on how to axiomatize 'spaces' in terms of convergence, began to emerge at the beginning of the millennium. It c……続きを見る

In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-dut……続きを見る

Set theory is a rich and beautiful subject whose fundamental concepts permeate virtually every branch of mathematics. One could say that set theory is a unifying theory for mathematics, since nearly……続きを見る

An Observer Book of the Year A Times Science Book of the Year A New Statesman Book of the Year A Financial Times Science Book of the Year 'Astonishingly bold' Daily Mail 'It is hard to imagine a mor……続きを見る

This textbook gives an introduction to axiomatic set theory and examines the prominent questions that are relevant in current research in a manner that is accessible to students. Its main theme is t……続きを見る

This book is an essay on the epistemology of classifications. Its main purpose is not to provide an exposition of an actual mathematical theory of classifications, that is, a general theory which wo……続きを見る

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……続きを見る

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highli……続きを見る

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 Scien……続きを見る

This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theo……続きを見る

Building on the success of the first edition, An Introduction to Number Theory with Cryptography, Second Edition, increases coverage of the popular and important topic of cryptography, integrating i……続きを見る

From one of the founders of symbolic logic comes this collection of writings on logical subjects and related questions of probability. George Boole invented Boolean logic, the basis of modern digita……続きを見る

Cybersecurity Analytics is for the cybersecurity student and professional who wants to learn data science techniques critical for tackling cybersecurity challenges, and for the data science student ……続きを見る

This volume provides a broad perspective on the state of the art in the philosophy and conceptual foundations of quantum mechanics. Its essays take their starting point in the work and influence of ……続きを見る

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in th……続きを見る

This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning graduate students to help them prepare for advance……続きを見る