Logicism and its Philosophical Legacy
5,970円 The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a profound influence on the development of philosophy in the twentieth century. This volume of classi...
Formal Languages in Logic
5,970円 Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the...
Graph Structure and Monadic Second-Order ...
30,380円 The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constructed out of more basic elements. Separately the properties of graphs can be studied in a logical language called monadic second-order logic. In th...
Everyday Arguments and the Theory of Argu...
4,500円 The theory of arguments is developed as it was actually practiced by the early Greek probabilists. It is then illustrated by a number of examples of actual arguments. How does one handle facts, simple or complex, introduced by one's opponent in an argument? How can one use antitheses and reversal...
Non-commutative Multiple-Valued Logic Alg...
6,076円 This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-valued logic algebras; a subject which has attracted much interest in the past few years because of its impact on information science, artificial intelligence and other subjects. A study of the newe...
Kurt Gödel and the Foundations of Mathema...
11,276円 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 theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of cho...
Handbook of Logic and Language
22,733円 The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the in...
Not Exactly
2,113円 Not everything is black and white. Our daily lives are full of vagueness or fuzziness. Language is the most obvious example - for instance, when we describe someone as tall, it is as though there is a particular height beyond which a person can be considered 'tall'. Likewise the terms 'blond' or ...
Kripke’s Worlds
10,331円 Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, descrip...
Set Theory
9,723円 What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbook presents classical set theory in an intuitive but concrete manner. T...
Modal Logic for Philosophers
7,031円 This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus....
Puzzling Adventures
2,010円 Hours of recreational reckoning. Collected and enhanced from Dennis Shasha's popular Scientific American column, here are thirty-six of the most innovative and emotive mathematical puzzles ever to appear in its pages. Edgy, challenging and representing the ultimate in recreational mathematical ga...
楽天Koboの電子書籍!マンガ、小説、雑誌のレビュー高評価、最安値をチャック!