De la méthode mathématique et correspondance Bolzano-Exner

Voici des textes essentiels pour comprendre la naissance du courant analytique en Europe centrale et ses prolongements au XXe siècle. Le premier, De la méthode mathématique, est aujourd'hui un classique de la philosophie des mathématiques. Bernard Bolzano l'a extrait de son Introduction à la Théorie des grandeurs pour l'envoyer à Franz Exner, nommé professeur de philosophie à l'université de Prague en 1831. Il y présente à la fois ses plus importantes innovations en logique et sa philosophie des mathématiques conçue en opposition à Kant. Le deuxième, Correspondance Bolzano-Exner, est le débat qui s'en suivit, principalement autour du problème de l'objet des représentations et des deux thèses controversées de la logique de Bolzano, à savoir sa conception des objets logiques en soi (proposition en soi), indépendants de la pensée et de la langue, et son concept d'intuition. Là s'est joué le sort de la philosophie autrichienne. Bolzano n'a pas réussi à convaincre Exner qui lui oppose avec ténacité les idées de Herbart. Ce dernier dominera donc la pensée autrichienne dans la deuxième moitié du XIXe siècle. Ces thèmes furent repris plusieurs fois au cours des deux derniers siècles (par Frege, Twardowski, Husserl, Quine) et n'ont jamais cessé d'être actuels. Ce débat âpre et ardu s'adresse à nous aussi.