Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

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...


Showing 1 - 12 of 12 results for “stefania centrone”
Skip side bar filters

  • Temporal Logic

    From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing

    by Stefania Centrone, Klaus Mainzer ...
    Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of ... Read more

    $55.99 USD

  • Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis

    by Stefania Centrone, Pierluigi Minari ...
    Series series Philosophy and Religion (R0)
    This book offers the first-ever English translation of Oskar Becker’s Zur Logik der Modalitäten. This essay, published in 1930, is a pioneering yet often neglected contribution in the context of prewar modal logic research in Europe. Becker’s text is complemented by an extended commentary that explains, analyzes and highlights Becker’s accomplishments and the philosophical background of his ... Read more

    $98.09 USD

  • Logic and Philosophy of Mathematics in the Early Husserl

    by Stefania Centrone ...
    Series Book 345 - Synthese Library
    Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics. Unlike most phenomenologists, the author refrains from ... Read more

    $89.09 USD

  • Essays on Husserl's Logic and Philosophy of Mathematics

    Edited by Stefania Centrone ...
    Series series Philosophy and Religion (R0)
    Essays on Husserl’s Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl’s work in the field of logic, of the philosophy of logic and of the philosophy of mathematics. The aim is to provide an in-depth reconstruction and analysis of the discussion between Husserl and his most important interlocutors, and to ... Read more

    $143.99 USD

  • Reflections on the Foundations of Mathematics

    Univalent Foundations, Set Theory and General Thoughts

    Edited by Stefania Centrone, Deborah Kant, Deniz Sarikaya ...
    Series series Philosophy and Religion (R0)
    This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections ... Read more

    $143.09 USD

  • Mathesis Universalis, Computability and Proof

    Edited by Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster ...
    Series series Philosophy and Religion (R0)
    In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […]shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” Leibniz considers all mathematical disciplines as branches of the mathesis and conceives the mathesis as a ... Read more

    $107.09 USD

People who read these also enjoyed

  • On the Existence of Digital Objects

    by Yuk Hui ...
    Series series Electronic Mediations
    Digital objects, in their simplest form, are data. They are also a new kind of industrial object that pervades every aspect of our life today—as online videos, images, text files, e-mails, blog posts, Facebook events.Yet, despite their ubiquity, the nature of digital objects remains unclear.On the Existence of Digital Objects conducts a philosophical examination of digital objects and their ... Read more

    $15.99 USD

  • Advances in Proof-Theoretic Semantics

    Edited by Thomas Piecha, Peter Schroeder-Heister ...
    Series series Mathematics and Statistics (R0)
    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, ... Read more

    Free

  • The Theory of Logical Types (Routledge Revivals)

    by Irving Copi ...
    Series series Routledge Revivals
    This reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its various different formulations (Simple and Ramified), the difficulties connected with each, and the criticisms that have been directed against it. Professor Copi seeks to make the subject accessible to the non-specialist and yet provide a ... Read more

    $57.99 USD

  • Gödel, Tarski and the Lure of Natural Language

    Logical Entanglement, Formalism Freeness

    by Juliette Kennedy ...
    Is mathematics 'entangled' with its various formalisations? Or are the central concepts of mathematics largely insensitive to formalisation, or 'formalism free'? What is the semantic point of view and how is it implemented in foundational practice? Does a given semantic framework always have an implicit syntax? Inspired by what she calls the 'natural language moves' of Gödel and Tarski, Juliette ... Read more

    $27.89 USD

  • The Evolution of Logic

    by W. D. Hart ...
    Series series The Evolution of Modern Philosophy
    Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy (and mathematics) by excellent ... Read more

    $33.69 USD

  • Interpreting Gödel

    Critical Essays

    Edited by Juliette Kennedy ...
    The logician Kurt Gödel (1906–1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results ... Read more

    $30.39 USD