Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


1-12 sur 12 résultats pour « stefania centrone »
Skip side bar filters

  • Versuche über Husserl

    Modifié par Stefania Centrone ...
    Collections series Blaue Reihe
    Husserls Werk ist an begrifflichen Herausforderungen gewiss nicht arm, was durchaus seiner messianischen Überzeugung entspricht, »dass aus meiner Lebensarbeit eine völlige Umwälzung des ganzen Stils, der notwendigen Problemstellung der gesamten Philosophie der Jahrtausende hervorgeht«. Dieser Band versammelt acht leicht verständliche Interpretationen namhafter Husserl-Forscher zu den zentralen ... En savoir plus

    $28.99 CAD ou Gratuit avec Kobo Plus

  • Temporal Logic

    From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing

    par 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 ... En savoir plus

    $68.99 CAD

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

    par Stefania Centrone, Pierluigi Minari ...
    Collections 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 ... En savoir plus

    $128.99 CAD

  • Logic and Philosophy of Mathematics in the Early Husserl

    par Stefania Centrone ...
    Collections series Philosophy and Religion (R0)
    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 ... En savoir plus

    $115.99 CAD

  • Mathesis Universalis, Computability and Proof

    Modifié par Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster ...
    Collections 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 ... En savoir plus

    $140.99 CAD

  • Essays on Husserl's Logic and Philosophy of Mathematics

    Modifié par Stefania Centrone ...
    Collections 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 ... En savoir plus

    $179.99 CAD

  • Reflections on the Foundations of Mathematics

    Univalent Foundations, Set Theory and General Thoughts

    Modifié par Stefania Centrone, Deborah Kant, Deniz Sarikaya ...
    Collections 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 ... En savoir plus

    $179.39 CAD

Les lecteurs de ces romans ont aussi aimé

  • On the Existence of Digital Objects

    par Yuk Hui ...
    Collections 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 ... En savoir plus

    $24.99 CAD

  • Advances in Proof-Theoretic Semantics

    Modifié par Thomas Piecha, Peter Schroeder-Heister ...
    Collections 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, ... En savoir plus

    Gratuit

  • The Theory of Logical Types (Routledge Revivals)

    par Irving Copi ...
    Collections 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 ... En savoir plus

    $83.81 CAD

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

    Logical Entanglement, Formalism Freeness

    par 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 ... En savoir plus

    $31.19 CAD

  • The Evolution of Logic

    par W. D. Hart ...
    Collections 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 ... En savoir plus

    $37.59 CAD