Order:
Disambiguations
Gabriella Crocco [21]G. Crocco [1]
See also
Gabriella Crocco
Université d'Aix-Marseille III
  1.  48
    Informal and Absolute Proofs: Some Remarks from a Gödelian Perspective.Gabriella Crocco - 2019 - Topoi 38 (3):561-575.
    After a brief discussion of Kreisel’s notion of informal rigour and Myhill’s notion of absolute proof, Gödel’s analysis of the subject is presented. It is shown how Gödel avoids the notion of informal proof because such a use would contradict one of the senses of “formal” that Gödel wants to preserve. This Gödelian notion of “formal” is directly tied to his notion of absolute proof and to the question of the general applicability of concepts, in a way that overcomes both (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  89
    Gödel on Concepts.Gabriella Crocco - 2006 - History and Philosophy of Logic 27 (2):171-191.
    This article is an attempt to present Gödel's discussion on concepts, from 1944 to the late 1970s, in particular relation to the thought of Frege and Russell. The discussion takes its point of departure from Gödel's claim in notes on Bernay's review of ?Russell's mathematical logic?. It then retraces the historical background of the notion of intension which both Russell and Gödel use, and offers some grounds for claiming that Gödel consistently considered logic as a free-type theory of concepts, called (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  89
    Conditionals: from philosophy to computer science.G. Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) - 1995 - New York: Oxford University Press.
    This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. Gödel, Carnap and the Fregean heritage.Gabriella Crocco - 2003 - Synthese 137 (1-2):21 - 41.
    Thorough a detailed analysis of version III of Gödel's Is mathematics syntax of language?, we propose a new interpretation of Gödel's criticism against the conventionalist point of view in mathematics. When one reads carefully Gödel's text, it brings out that, contrary to the opinion of some commentators, Gödel did not overlook the novelty of Carnap's solution, and did not criticise him from an old-fashioned conception of science. The general aim of our analysis is to restate the Carnap/Gödel debate in the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  20
    Kurt Gödel Philosopher-Scientist.Gabriella Crocco & Eva-Maria Engelen (eds.) - 2016 - Marseille: Presses universitaires de Provence.
    This volume represents the beginning of a new stage of research in interpreting Kurt Gödel’s philosophy in relation to his scientific work. It is more than a collection of essays on Gödel. It is in fact the product of a long enduring international collaboration on Kurt Gödel’s Philosophical Notebooks (Max Phil). New and significant material has been made accessible to a group of experts, on which they rely for their articles. In addition to this, Gödel’s Nachlass is presented anew by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  12
    Kurt Gödel's Philosophical Remarks (Max Phil).Gabriella Crocco & Eva-Maria Engelen - 2016 - In Gabriella Crocco & Eva-Maria Engelen (eds.), Kurt Gödel : Philosopher-Scientist. pp. 33-79.
    The authors describe the construction, development and content of Kurt Gödel’s Philosophical Remarks—the Max Phil notebooks—for the first time in detail and giving a thorough technical description of them. The Max Phil notebooks are part of the Nachlass that is handed down to us in the shorthand Gabelsberger. The notebooks start as an intellectual diary and then evolve to be philosophical notebooks that contain an outline of Gödel’s rational metaphysics as well as some of his reflections on logic, mathematics, physics, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  10
    Logic and the Classification of Philosophical Systems.Gabriella Crocco - 2016 - Philosophia Scientiae 20:127-148.
    La classification des systèmes philosophiques de Jules Vuillemin fonde les relations entre science et philosophie en éliminant la possibilité d’une philosophie scientifique. Elle éclaire la pratique de la philosophie, en explicitant les choix possibles tout en rejetant le relativisme. Elle se fonde sur ce que Vuillemin appelle une sémiologie générale, qui convoque toutefois l’analyse logique. L’article propose une ébauche d’analyse structurale de la déduction permettant de fonder la classification sur des moyens exclusivement logiques.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  5
    Gödel’s Absolute Proofs and Girard’s Ludics: Mutual Insights.Gabriella Crocco & Myriam Quatrini - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 51-89.
    Is it possible to characterize the notion of proof in terms of acts, without focusing on a specific domain of application and a specific linguistic formalization of it? This is the question that this paper addresses through a comparative analysis between two logicians who reflected on this issue: Kurt Gödel and Jean-Yves Girard. A comparative analysis of their respective theoretical frames, their respective results, the similarities and the differences between their methodological assumptions is proposed. More specifically, the aim of the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  5
    Carnap and Gödel, Again.Gabriella Crocco - 2023 - In Paola Cantù & Georg Schiemer (eds.), Logic, Epistemology, and Scientific Theories – From Peano to the Vienna Circle. Springer Nature Switzerland. pp. 217-246.
    Difficulties and ambiguities of Carnap’s conception of logic and mathematics are the main target of Gödel’s analysis in his famous drafts of “Is mathematics Syntax of Language?”. In a recent article, Gregory Lavers discusses two main recent dismissive analyses of Gödel’s drafts, concluding at a defense of Gödel’s arguments against Carnap’s position in the 1930. Lavers partially integrates in his examination an argument that I presented in a paper published in 2003. Yet, there are three important differences between my understanding (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  6
    Conditionals: From Philosophy to Computer Science.Gabriella Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) - 1995 - New York: Studies in Logic and Computati.
    Internationally recognized logicians present current thinking on the understanding of the role of deduction in human reasoning.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  11
    Alan W. Richardson, Carnap's Construction of the World. The Logical Aufbau and the Emergence of Logical Empiricism.Gabriella Crocco - 2000 - Erkenntnis 52 (1):127-131.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  61
    Alan W. Richardson, Carnap's construction of the world. The logical aufbau and the emergence of logical empiricism.Gabriella Crocco - 2000 - Erkenntnis 52 (1):127-131.
  13.  20
    Alan W. Richardson's Carnap's Construction of the World.Gabriella Crocco - 2000 - Erkenntnis 52 (1):127-131.
    After considering the main theses of Alain Richardson's analysis of Carnap's Aufbau, and in particular Richardson's motivation for criticising the Quinean naturalisation of epistemology, we focus on the alleged neo-kantian influence on Carnap work. There is something lacking in Richardson rational reconstruction of Camap's work before 1939: the German logical tradition of Frege and Hilbert which Carnap was evidently confronted with. The themes of this tradition appear and disappear here and there in Richardson's book, but the real weight of its (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  10
    Science’s metaphysical decisions and a general Criticism of Pure Reason : The Unfinished Pluralism of La Philosophie de l’algèbre.Gabriella Crocco - 2020 - Philosophia Scientiae 24:131-157.
    Après avoir indiqué ce qu’il entend par Mathématiques pures et par Théorie de la connaissance, Vuillemin annonce, dans l’Introduction au premier tome de La Philosophie de l’algèbre, que son but est double. En considérant le « rapport étroit » et l’« affinité d’inspiration » entre ces deux disciplines, il se propose d’examiner, d’une part, « comment une connaissance pure est possible » et, d’autre part, de « critiquer, reformer et définir, autant qu’il se pourra, la méthode propre à la philosophie (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  7
    Gödel and the Paradox in Max Phil X.Gabriella Crocco & Julien Julien Bernard - 2016 - In Gabriella Crocco & Eva-Maria Engelen (eds.), Kurt Gödel Philosopher-scientist.
    This article is devoted to the analysis of the remarks of Gödel's Maxims and Philosophical remarks (Max Phil) that present a solution to the paradoxes of set theory, and to the analysis of the context. It is divided in two parts. The first part contains two remarks from the notebook IX, (pp. 48b, 51) on the question of the strategies for the solution of paradoxes. They clearly show Gödel’s preference for the strategy of limited ranges of significance. The reasons why (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  20
    Intuition, construction et convention dans la théorie de la connaissance de Poincaré.Gabriella Crocco - 2004 - Philosophiques 31 (1):151-177.
    La conception des mathématiques chez Poincaré est une pièce maîtresse de sa théorie de la connaissance. Les mathématiques y jouent un rôle constitutif et médiateur, très proche de celui que Kant leur avait assigné dans sa Critique. Afin d’éclaircir les rapports complexes entre les notions d’intuition, de construction et de convention chez Poincaré, nous nous appuyons sur les analogies et les contrastes avec la source kantienne. La continuité et la cohérence de la théorie de la connaissance de Poincaré en sortent (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  28
    Introduction: Inferences and Proofs.Gabriella Crocco & Antonio Piccolomini D’Aragona - 2019 - Topoi 38 (3):487-492.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  10
    Introduction of the editors.Gabriella Crocco & Eva-Maria Engelen - 2016 - In Gabriella Crocco & Eva-Maria Engelen (eds.), Kurt Gödel : Philosopher-Scientist.
    The editors present the essays that are collected in the volume and which are the outcome of talks given at the international conference “Kurt Gödel Philosopher: From Logic to Cosmology” that was held in Aix en Provence (France) in summer 2013. Many of the authors belong to a group of scientists who have contributed to an ANR project with the same title under the direction of Gabriella Crocco.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  55
    Méthode structurale et systèmes philosophiques.Gabriella Crocco - 2005 - Revue de Métaphysique et de Morale 1 (1):69-88.
    L'application de la notion de structure à l'analyse des systèmes philosophiques est sans doute l'un des développements les plus fructueux de ce qu'on a appelé le structuralisme. La tradition inaugurée par Martial Gueroult et poursuivie par Victor Goldschmidt, Jules Vuillemin et d'autres a conduit à une fondation critique de la notion de système philosophique et a renouvelé profondément la méthode de l'histoire de la philosophie. En cherchant à reconstituer les orientations principales de cette tradition, nous essayons d'abord de distinguer le (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  8
    Poincaré et le problème de l’esprit.Gabriella Crocco - 2016 - Revue de Métaphysique et de Morale 90 (2):209.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  14
    Structure, consequence relation and logic.Gabriella Crocco & L. Farinas del Cerro - 1994 - In Dov M. Gabbay (ed.), What is a Logical System? Oxford University Press.
  22.  16
    Sur la classification des systèmes philosophiques et la logique.Gabriella Crocco - 2016 - Philosophia Scientiae 20:127-148.
    La classification des systèmes philosophiques de Jules Vuillemin fonde les relations entre science et philosophie en éliminant la possibilité d’une philosophie scientifique. Elle éclaire la pratique de la philosophie, en explicitant les choix possibles tout en rejetant le relativisme. Elle se fonde sur ce que Vuillemin appelle une sémiologie générale, qui convoque toutefois l’analyse logique. L’article propose une ébauche d’analyse structurale de la déduction permettant de fonder la classification sur des moyens exclusivement logiques.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark