La dynamique des sciences se deploie selon des temporalites multiples qui possedent leurs propres rythmes. De ce point de vue, l'exercice qui consiste a scander en decennies l'histoire de la logique et des sciences formelles est perilleux. Peut-on aller au-dela et tenter de donner sens a cette decennie des annees trente? La fin du logicisme, l'avenement de nouvelles logiques, le developpement du formalisme, ses limitations internes, sa critique externe et les approches formelles du langage sont six traits caracteristiques explores dans (...) ce recueil d'articles qui font apparaitre l'eloignement ainsi que la proximite des annees trente et de cette fin de siecle. (shrink)

L'objet en general, le X kantien, le quelque chose en general, l'objet comme tel apparaissent comme des concepts ultimes de l'ontologie. Cette derniere peut-elle etre identifiee a une theorie de l'objet? Qu'en est-il des relations conceptuelles et historiques entre theorie de l'objet et ontologie formelle? La reponse a ces questions passe par une reevaluation du projet bolzanien et husserlien d'ontologie formelle, une discussion des problemes epineux poses par la theorie meinongienne de l'objet et enfin une enquete sur les apophantismes semantiques (...) (Wittgenstein), les reductions physicalistes (Quine). L'objet quelconque est le premier livre a presenter de maniere detaillee ces problematiques. Il contient un etat des lieux de l'ontologie formelle en tant que projet intellectuel complementaire des sciences cognitives, une histoire des theories metaphysiques de l'objet, une explication de l'ontologie de la variable dans le cadre des nouvelles ontologies formelles. (shrink)