Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : Lolli, Gabriele (1942-....)
Titre(s) : From Logic to Practice [Texte électronique] : Italian Studies in the Philosophy of Mathematics / edited by Gabriele Lolli, Marco Panza, Giorgio Venturi
Titre d'ensemble : From logic to practice
Publication : Cham : Springer, 2015
Description matérielle : 1 ressource dématérialisée
Collection : Boston Studies in the Philosophy and History of Science ; 308
SpringerLink : Bücher
Autre(s) auteur(s) : Panza, Marco (1958-....). Éditeur scientifique
Venturi, Giorgio. Éditeur scientifique
Sujet(s) : Épistémologie génétique
Sciences -- Philosophie
Philosophie
Indice(s) Dewey : 120 (23e éd.) = Épistémologie, causalité, humanité
Identifiants, prix et caractéristiques : ISBN 9783319104348
Identifiant de la notice : ark:/12148/cb446773392
Notice n° :
FRBNF44677339
(notice reprise d'un réservoir extérieur)
Table des matières : PART I: THE HISTORICAL DIMENSION OF MATHEMATICS ; Chapter 1: A Geometrical Constructive Approach to Infinitesimal Analysis: Epistemological Potential and Boundaries of Tractional Motion; Pietro Milici ; Chapter 2: Plane and Solid Geometry: A Note on Purity of Methods; Paolo Mancosu and Andrew Arana ; Chapter 3: Formalization and Intuition in Husserl's Raumbuch; Edoardo Caracciolo ; PART II: LOOKING AT MATHEMATICS THROUGH LOGIC ; Chapter 4: Frege's Grundgesetze and a Reassessment of Predicativity; Francesca Boccuni ; Chapter 5: A Deflationary Account of the Truth of the Gödel Sentence G; Mario Piazza and Gabriele Pulcini ; Chapter 6: Rule-following and the Limits of Formalization: Wittgenstein's Considerations Through the Lens of Logic; Paolo Pistone ; Chapter 7: Paradox and Inconsistency: Revising Tennant's Distinction Through Schroeder-Heister's Assumption Rules; Luca Tranchini ; Chapter 8: Costructability and Geometry; Alberto Naibo ; Chapter 9: A Cut-like Inference in a