Lano, K., The intuitionistic alternative set theory, Annals of Pure and Applied Logic 59 141–156 The Alternative Set Theory, as defined in Vopenka and Sochor, demonstrates how a set theory which avoids actually infinite sets can serve as a framework for much of classical mathematics. This paper defines a theory which can serve as an intuitionistic analogue of AST, and examines motivations for alternative formulations of classical AST from an intuitionistic and finitistic viewpoint. The intuitionistic AST uses appropriate modifications (...) of the concepts of AST, with the notion of feasibility replacing finiteness, and with new distinctions between alternative definitions of Countable Class and Revealment. Results of classical AST which are still valid in this new system are given, and an interpretation of the corresponding classical system in the intuitionistic system is defined. This shows that the adoption of an intuitionistic logic does not essentially deprive us of classical methods or results for AST. (shrink)

Les travaux de Patrice Bret occupent une place centrale en histoire des sciences et en histoire des techniques. Ce livre entend les mettre à l'honneur, qu'il s'agisse de l'histoire des savoirs académiques, du régime techno-politique du XVIIIe siècle, des interactions entre savants et praticiens à l'heure de la chimie lavoisienne, des circulations culturelles et des traductions ou encore de la place des femmes de sciences. Les contributions réunies dans ce volume illustrent, par leur diversité, l'influence de Patrice Bret dans la (...) communauté historienne. Nous proposons ainsi de mettre en perspective son oeuvre en la replaçant dans un contexte intellectuel, scientifique et épistémologique. Un constat s'impose : loin de distinguer entre les approches conceptuelles, érudites et méthodologiques, Patrice Bret joue un rôle de premier plan dans un milieu scientifique qui a choisi de conjuguer le renouvellement des questionnements avec la production d'instruments de recherche et les interrogations de repérage, de dénomination, d'identification, seules à même de contrer les récits téléologiques qui ont longtemps prévalu dans ce domaine. Si l'histoire des sciences et l'histoire des techniques sont de nos jours à l'avant-poste du renouvellement de la science historique, c'est aussi grâce au rôle de passeur de Patrice Bret. (shrink)