11 found
Order:
See also
Giambattista Formica
Pontifical Urbaniana University
  1. In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics.Giambattista Formica & Michèle Friend - 2021 - In Elena Aladova, Pablo Barceló, Johan van Benthem, Gerald Berger, Katrin M. Dannert, Neil Dewar, Răzvan Diaconescu, Ivo Düntsch, Wojciech Dzik, M. Eyad Kurd-Misto, Giambattista Formica, Michèle Friend, Robert Goldblatt, Georg Gottlob, Erich Grädel, Robin Hirsch, Ian Hodkinson, Marcel Jackson, Peter Jipsen, Roger D. Maddux, J. B. Manchak, Ewa Orłowska, Andreas Pieris, Boris Plotkin, Tatjana Plotkin, Vaughan R. Pratt, Ian Pratt-Hartmann, Tarek Sayed Ahmed, James Owen Weatherall, Dag Westerståhl, James Wimberley, Krzysztof Wójtowicz & Christian Wüthrich (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer Verlag. pp. 383-408.
    Hilbert’s axiomatic approach to the sciences was characterized by a dynamic methodology tied to scientific and mathematical fields under investigation. In particular, it is an analytic art for choosing axioms but, at the same time, it has to include dynamically synthetic procedures and meta-theoretical reflections. Axioms have to be useful, or capture something, or help as part of explanations. The Andréka-Németi group use several formal axiomatic theories together to re-capture, predict, recover or explain the phenomena of special relativity, general relativity (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Von Neumann's Methodology of Science: From Incompleteness Theorems to Later Foundational Reflections.Giambattista Formica - 2010 - Perspectives on Science 18 (4):480-499.
    In spite of the many efforts made to clarify von Neumann’s methodology of science, one crucial point seems to have been disregarded in recent literature: his closeness to Hilbert’s spirit. In this paper I shall claim that the scientific methodology adopted by von Neumann in his later foundational reflections originates in the attempt to revaluate Hilbert’s axiomatics in the light of Gödel’s incompleteness theorems. Indeed, axiomatics continues to be pursued by the Hungarian mathematician in the spirit of Hilbert’s school. I (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3. La materia della rappresentazione nella scienza assiomatizzata.Giambattista Formica - 2007 - Quaestio 7 (1):505-533.
    In "La science et l’hypothèse" Henri Poincaré scrive: «Compito dello scienziato è ordinare; si fa la scienza con i fatti, come si fa una casa con le pietre; ma un cumulo di fatti non è una scienza, proprio come un mucchio di pietre non è una casa» . Oltre a richiamare qualcosa che a molti potrebbe persino apparire ovvio – cioè che la scienza non possa in alcun modo ridursi ad un mero agglomerato di fatti che il ricercatore registra in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  93
    Realism Behind the Reduction in Wittgenstein’s Tractatus.Giambattista Formica - 2016 - Quaestio 16:225-243.
    The paper deals with the controversial issue of realism in Wittgenstein’s Tractatus. Most of the problems are grounded in the logical-linguistic foundation of important ontological notions given within the text (such as object, state of affairs, fact, etc.). This has led some scholars to think that there is no conception of the world in the Tractatus that is independent of language and that in his work Wittgenstein is simply engaged in a logical investigation of what it is essential for any (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  22
    Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic.Elena Aladova, Pablo Barceló, Johan van Benthem, Gerald Berger, Katrin M. Dannert, Neil Dewar, Răzvan Diaconescu, Ivo Düntsch, Wojciech Dzik, M. Eyad Kurd-Misto, Giambattista Formica, Michèle Friend, Robert Goldblatt, Georg Gottlob, Erich Grädel, Robin Hirsch, Ian Hodkinson, Marcel Jackson, Peter Jipsen, Roger D. Maddux, J. B. Manchak, Ewa Orłowska, Andreas Pieris, Boris Plotkin, Tatjana Plotkin, Vaughan R. Pratt, Ian Pratt-Hartmann, Tarek Sayed Ahmed, James Owen Weatherall, Dag Westerståhl, James Wimberley, Krzysztof Wójtowicz & Christian Wüthrich (eds.) - 2021 - Springer Verlag.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  5
    Da Hilbert a von Neumann. La svolta pragmatica nell'assiomatica.Giambattista Formica - 2013 - Roma RM, Italia: Carocci.
    I teoremi di Gödel suscitano un interesse sempre crescente nella riflessione filosofica contemporanea. Rimane però in discussione fra gli studiosi come si sia arrivati alla loro scoperta e quale sia il loro significato per il dibattito sui fondamenti delle scienze. Nel volume si ripercorrono le vicende che portarono alla formulazione dei teoremi di incompletezza, a partire dall’incontro tra von Neumann e Gödel al Congresso di Königsberg nel 1930, e si indaga, riferendosi in particolare al lavoro di von Neumann, sull’impatto che (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  10
    On the Procedural Character of Hilbert’s Axiomatic Method.Giambattista Formica - 2019 - Quaestio 19:459-482.
    Hilbert’s methodological reflection has certainly shaped a new image of the axiomatic method. However, the discussion on the procedural character of the method is still open, with commentators subs...
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. John von Neumann’s Discovery of the 2nd Incompleteness Theorem.Giambattista Formica - forthcoming - History and Philosophy of Logic:1-25.
    Shortly after Kurt Gödel had announced an early version of the 1st incompleteness theorem, John von Neumann wrote a letter to inform him of a remarkable discovery, i.e. that the consistency of a formal system containing arithmetic is unprovable, now known as the 2nd incompleteness theorem. Although today von Neumann’s proof of the theorem is considered lost, recent literature has explored many of the issues surrounding his discovery. Yet, one question still awaits a satisfactory answer: how did von Neumann achieve (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  14
    L’incompletezza è un problema filosofico ancora aperto? A proposito della Corrispondenza di Kurt Gödel.Giambattista Formica - 2004 - Quaestio 4 (1):515-520.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  3
    Persons Making Judgements. A Reform for Epistemology?Giambattista Formica - 2018 - Quaestio 18:598-603.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  6
    L'esistenza Fragile.Giambattista Formica - 2004 - Rivista di Storia Della Filosofia 4.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark