Abstract

Souvent aujourd'hui on présente Bolzano comme ayant jeté les bases d'une « ontologie formelle ». On lui impute une théorie du « quelque chose en général » qui serait ontologique. Il est vrai que sa théorie combinatoire des représentations en soi permet de rendre compte de la constitution de « quelques choses » de différents degrés, sur un mode récursif. Pourtant, on pourra douter de ce que le réalisme strict qui est celui de Bolzano, et qui s'applique même aux représentations en soi, laisse réellement un espace pour ce qui pourrait être appelé à proprement parler des « objets formels ». Bolzano is often mentioned today as having layed the foundations for a « formal ontology ». He is supposed to have a theory of the « something in general » that is an ontological one. In fact his combinatory theory of representations in themselves allows an accounting for constituting « somethings » of different degrees, in a recursive way. However you must doubt whether Bolzano's strict realism, even concerning the representations in themselves, makes room for what could really be called « formal objects »