Hakutulokset: Kirjoja kirjailijalta Stefania Centrone
yhteensä 12 hakutulosta
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
This book offers the first-ever English translation of Oskar Becker's Zur Logik der Modalitaten. This essay, published in 1930, is a pioneering yet often neglected contribution in …
Reflections on the Foundations of Mathematics
This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work …
Logic and Philosophy of Mathematics in the Early Husserl
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 …
Mathesis Universalis, Computability and Proof
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes "e;the mathesis [...] shall deliver the method through which things that are conceivable can …
Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing
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 …
Essays on Husserl's Logic and Philosophy of Mathematics
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 …
Essays on Husserl's Logic and Philosophy of Mathematics
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 …
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
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 …
Mathesis Universalis, Computability and Proof
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 …
Essays on Husserl's Logic and Philosophy of Mathematics
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 …
Reflections on the Foundations of Mathematics
This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work …
Logic and Philosophy of Mathematics in the Early Husserl
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 …