# The Leading eBooks Store Online

## 4,267,188 members ⚫ 1,417,821 ebooks

Most popular at the top

#### Intensional Mathematics

Elsevier Science 1985; US$ 72.95``Platonism and intuitionism are rival philosophies of Mathematics, the former holding that the subject matter of mathematics consists of abstract objects whose existence is independent of the mathematician, the latter that the subject matter consists of mental construction... both views are implicitly opposed to materialistic accounts of mathematics... more...

#### Quantification in Nonclassical Logic

Elsevier Science 2009; US$ 235.00Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy and language in ancient times; they were studied by traditional informal methods until the 20th century. In the last century the tools became highly mathematical, and both modal logic and quantification found numerous applications... more...

#### Aristotle's Modal Proofs

Springer Netherlands 2010; US$ 127.64Aristotle’s modal syllogistic is his study of patterns of reasoning about necessity and possibility. This volume provides a simple interpretation of Aristotle’s modal syllogistic using standard predicate logic, making it accessible to a wide range of readers. more...

#### Kripke’s Worlds

Springer Basel 2013; US$ 66.14Possible world models were introduced by Saul Kripke in the early 1960s. Basically, a possible worlds model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics: logics of necessity and possibility (alethic logics), logics of time (temporal logics), logics of knowledge and belief (epistemic... more...

#### Intuition and the Axiomatic Method

Springer Netherlands 2006; US$ 174.06Following developments in modern geometry, logic and physics, many scientists and philosophers in the modern era considered Kant’s theory of intuition to be obsolete. But this only represents one side of the story concerning Kant, intuition and twentieth century science. Several prominent mathematicians and physicists were convinced that the formal... more...

#### Provability, Computability and Reflection

Elsevier Science 2000; US$ 275.00Provability, Computability and Reflection more...

#### Essays on Non-Classical Logic

World Scientific Publishing Company 2001; US$ 35.00 US$ 31.85This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and... more...

#### A Short Introduction to Intuitionistic Logic

Springer US 2006; US$ 92.83Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading... more...

#### Function Algebras on Finite Sets

Springer Berlin Heidelberg 2006; US$ 116.04Functions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose universes are such functions (so-called function algebras), have been intensively studied. This book gives a broad introduction to the theory of function algebras and leads to the cutting edge of research. To familiarize the... more...

#### One Hundred Years of Intuitionism (1907-2007)

Birkhäuser Basel 2008; US$ 116.04Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples... more...