Logic 7

By North-American standards, philosophy is not new in Quebec: the first men tion of philosophy lectures given by a Jesuit in the College de Quebec (founded 1635) dates from 1665, and the oldest logi……続きを見る

The book presents surveys describing recent developments in most of the primary subfields of General Topology, and its applications to Algebra and Analysis during the last decade, following the prev……続きを見る

One can distinguish, roughly speaking, two different approaches to the philosophy of mathematics. On the one hand, some philosophers (and some mathematicians) take the nature and the results of math……続きを見る

Presenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories;……続きを見る

The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is th……続きを見る

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio……続きを見る

Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. ……続きを見る

This masterpiece of mathematical fiction is a delightfully instructive and highly entertaining satire that has charmed readers since its first publication in 1884. The work of English educator and S……続きを見る

This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians……続きを見る

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in phil……続きを見る

This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set……続きを見る

"Intuition" has perhaps been the least understood and the most abused term in philosophy. It is often the term used when one has no plausible explanation for the source of a given belief or opinion.……続きを見る

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduce……続きを見る

First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy. Logic from A to Z is a unique glossary of terms used in formal logi……続きを見る

This book has grown out of eight years of close collaboration among its authors. From the very beginning we decided that its content should come out as the result of a truly common effort. That is, ……続きを見る

Paradoxes of the Infinite presents one of the most insightful, yet strangely unacknowledged, mathematical treatises of the 19th century: Dr Bernard Bolzano’s Paradoxien. This volume contains an adep……続きを見る

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem……続きを見る

続きを見る

In this new text, Steven Givantーthe author of several acclaimed books, including works co-authored with Paul Halmos and Alfred Tarskiーdevelops three theories of duality for Boolean algebras with o……続きを見る

This book develops a naturalistic aesthetic theory that accounts for aesthetic phenomena in mathematics in the same terms as it accounts for more traditional aesthetic phenomena. Building upon a vie……続きを見る

Focusing on an approach of solving rigorous problems and learning how to prove, this volume is concentrated on two specific content themes, elementary number theory and algebraic polynomials. The be……続きを見る

The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and philosophers in the 1920s and 1930s. I……続きを見る

This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionis……続きを見る

Lewis Carroll's Miscellaneous Pieces includes The Game of Logic (1886) Eight or Nine Wise Words about Letter Writing (1890) and Feeding the Mind (1907). In the first work Carroll presents a min……続きを見る

The main item in the present volume was published in 1930 under the title Das Unendliche in der Mathematik und seine Ausschaltung. It was at that time the fullest systematic account from the standpo……続きを見る

At the turn of the century, Gottlob Frege and Edmund Husserl both participated in the discussion concerning the foundations of logic and mathematics. Since the 1960s, comparisons have been made betw……続きを見る

In 1907 Luitzen Egbertus Jan Brouwer defended his doctoral dissertation on the foundations of mathematics and with this event the modem version of mathematical intuitionism came into being. Brouwer ……続きを見る

The modern discussion on the concept of truthlikeness was started in 1960. In his influential Word and Object, W. V. O. Quine argued that Charles Peirce's definition of truth as the limit of inquiry……続きを見る

There are many books on lattice theory in the field, but none interfaces with the foundations of probability. This book does. It also develops new probability theories with rigorous foundations for ……続きを見る

Karl Menger was born in Vienna on January 13, 1902, the only child of two gifted parents. His mother Hermione, nee Andermann (1870-1922), in addition to her musical abilities, wrote and published sh……続きを見る