In this article I try to articulate a defensible argumentation against the idea of an ontology of infinity. My position is phenomenologically motivated and in this virtue strongly influenced by the Husserlian reduction of the ontological being to a process of subjective constitution within the immanence of consciousness. However taking into account the historical charge and the depth of the question of infinity over the centuries I also include a brief review of the platonic and aristotelian views and also those (...) of Locke and Hume on the concept to the extent that they are relevant to my own discussion of infinity both in a purely philosophical and epistemological context. Concerning the latter context, I argue against Kanamori’s position, in The Infinite as Method in Set Theory and Mathematics, that the mathematical infinite can be accounted for solely in terms of epistemological articulation, that is, in the way it is approached, assimilated, and applied in the course of the construction of mathematical hierarchies. Instead I point to a subjectively constituted immanent ‘infinity’ in virtue of the a priori as well as factual characteristics of subjective constitution, underlying and conditioning any talk of infinity in an epistemological sense. From this viewpoint I also address some other positions on the question of a possible ontology of the mathematical infinite. My whole approach to the question of the infinite in an epistemological sense hinges on the assumption that the mathematical infinite subsumes the infinite of physical theories to the extent that physics and science in general deal with the infinite in terms of the corresponding mathematical language and the specific techniques involved. (shrink)

RésuméGian-Carlo Rota est l’un des rares grands mathématiciens de la deuxième moitié du XX e siècle dont l’intérêt pour la logique formelle soit aussi ouvertement déclaré et ne se soit jamais démenti, depuis sa formation d’étudiant à Princeton jusqu’à ses derniers écrits. Plus exceptionnel encore, il fait partie des rares lecteurs assidus de Husserl à s’être aperçu que la phé-noménologie poursuivait un projet de réforme de la logique formelle. L’article propose d’attester l’existence d’un tel projet chez Husserl ; d’en examiner (...) la réappropriation et les prolongements chez Rota.Gian-Carlo Rota is among the few great mathematicians of the second-half of the XXth century whose interest in formal logic is openly declared and has never flagged, since his training as a student in Princeton up to his last writings. Even more exceptional, he belongs to the rare diligent readers of Husserl, who noticed that phenomenology was pursuing a project of reform of formal logic. This paper propose to testify to the existence of such a project in Husserl; to examine how it is taken over and continued by Rota. Gian-Carlo Rota è uno dei pochi grandi matematici della seconda metà del ventesimo secolo, il cui interesse per la logica formale è, dalla sua formazione come studente a Princeton al suo ultimi scritti, apertamente dichiarato e mai negato. Cosa ancora più eccezionale, Rota è uno dei rari lettori assidui di Husserl ad aver percepito che la fenomenologia stava perseguendo un progetto di riforma della logica formale. L’articolo propone di attestare l’esistenza di un tale progetto in Husserl e di esaminare la sua riappropriazione e le sue estensioni proposte da Gian-Carlo Rota.This article is in French. (shrink)

This is an article whose intended scope is to deal with the question of infinity in formal mathematics, mainly in the context of the theory of large cardinals as it has developed over time since Cantor’s introduction of the theory of transfinite numbers in the late nineteenth century. A special focus has been given to this theory’s interrelation with the forcing theory, introduced by P. Cohen in his lectures of 1963 and further extended and deepened since then, which leads to (...) a development and further refinement of the theory of large cardinals ultimately touching, especially in view of the discussion in the last section, on the metatheoretical nature of infinity. The whole undertaking, which takes into account major stages of the research in large cardinals theory, tries to present a defensible argumentation against an ontology of infinity actually rooted in the notion of subjectivity within the world. This means that rather than talking of a general ontology of infinity in the ideal platonic or in the aristotelian sense of potentiality, even in the alternative sense of an ontology of the event in A. Badiou’s sense, one can argue from a subjective point of view about the impossibility of defining cardinalities greater than the first uncountable one \ that would correspond to a distinct existence in real world terms or would be supported by a mathematical intuition in terms of reciprocity with experience. The argumentation from the particular standpoint includes also certain comments on the delimitative character of Gödel’s constructive universe L and the influence of the constructive approach in narrowing the breadth of an ‘ontology’ of infinity. (shrink)

In this article I am going to argue for the possibility of a transcendental source of logic based on a phenomenologically motivated approach. My aim will be essentially carried out in two succeeding steps of reduction: the first one will be the indication of existence of an inherent temporal factor conditioning formal predicative discourse and the second one, based on a supplementary reduction of objective temporality, will be a recourse to a time-constituting origin which has to be assumed as a (...) non-temporal, transcendental subjectivity and for that reason as possibly the ultimate transcendental root of pure logic. In the development of the argumentation and taking into account W.V. Quine’s views in his well-known Word and Object, a special emphasis will be given to the fundamentally temporal character of universal and existential predicative forms, to their status in logical theories in general, and to their underlying role in generating an inherently non-finitistic character reflected, for instance, in the undecidability of certain infinity statements in formal mathematical theories. This is shown also to concern metatheorems of such vital importance as Gödel’s incompleteness theorems in mathematical foundations. Moreover in the course of the discussion the quest for the ultimate limits of predication will lead to the notions of separation and intentional correlation between an ‘observing’ subject and the object of ‘observation’ as well as to the notion of syntactical individuals taken as the irreducible non-analytic nuclei-forms within analytical discourse. (shrink)