Skip to main content

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...
  • Modern Logic 1850-1950, East and West

    Series series Mathematics and Statistics (R0)
    This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', whose academic work was essential in promoting the algebraic tradition of logic, as represented by ... Read more

    $49.49 USD

People who read this also enjoyed

  • Mathematics and the Roots of Postmodern Thought

    This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that has driven the controversy. It traces the root of postmodern theory to a debate on the foundations of mathematics early in the 20th century, then compares developments in mathematics to what took place ... Read more

    $41.39 USD

  • Set Theory

    With an Introduction to Real Point Sets

    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.To allow flexibility of topic selection in courses, the book is organized into four relatively ... Read more

    $80.99 USD

  • Visual Reasoning with Diagrams

    Series series Mathematics and Statistics (R0)
    Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early ... Read more

    $89.99 USD

  • Hilbert’s Program

    An Essay on Mathematical Instrumentalism

    by M. Detlefsen ...
    Series series Philosophy and Religion (R0)
    Hilbert's Program was founded on a concern for the phenomenon of paradox in mathematics. To Hilbert, the paradoxes, which are at once both absurd and irresistible, revealed a deep philosophical truth: namely, that there is a discrepancy between the laws accord ing to which the mind of homo mathematicus works, and the laws governing objective mathematical fact. Mathematical epistemology is, ... Read more

    $89.09 USD

  • Hybrid Logic and its Proof-Theory

    Series series Mathematics and Statistics (R0)
    This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a ... Read more

    $89.99 USD

  • Structural Analysis of Non-Classical Logics

    The Proceedings of the Second Taiwan Philosophical Logic Colloquium

    Series series Springer Nature Proceedings excluding Computer Science
    This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate ... Read more

    $89.09 USD

  • New Essays on Frege

    Between Science and Literature

    Series series Philosophy and Religion (R0)
    This volume collects nine essays that investigate the work of Gottlob Frege. The contributors address Frege’s work in relation to literature and fiction (Dichtung), the humanities (Geisteswissenschaften), and science (Wissenschaft). Overall, the essays consider internal connections between different aspects of Frege’s work while acknowledging the importance of its philosophical context.There are ... Read more

    $89.09 USD

  • Objectivity, Realism, and Proof

    FilMat Studies in the Philosophy of Mathematics

    Series series Philosophy and Religion (R0)
    This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge.The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their ... Read more

    $116.99 USD

  • Logical Modalities from Aristotle to Carnap

    The Story of Necessity

    Interest in the metaphysics and logic of possible worlds goes back at least as far as Aristotle, but few books address the history of these important concepts. This volume offers new essays on the theories about the logical modalities (necessity and possibility) held by leading philosophers from Aristotle in ancient Greece to Rudolf Carnap in the twentieth century. The story begins with an ... Read more

    $43.49 USD

  • On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic

    by Enric Trillas ...
    Series series Engineering (R0)
    This book offers an inspiring and naïve view on language and reasoning. It presents a new approach to ordinary reasoning that follows the author’s former work on fuzzy logic. Starting from a pragmatic scientific view on meaning as a quantity, and the common sense reasoning from a primitive notion of inference, which is shared by both laypeople and experts, the book shows how this can evolve, ... Read more

    $89.09 USD

  • Conditionals and Modularity in General Logics

    Series series Computer Science (R0)
    This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity ... Read more

    $89.09 USD