Cette édition numérique a été réalisée à partir d'un support physique, parfois ancien, conservé au sein du dépôt légal de la Bibliothèque nationale de France, conformément à la loi n° 2012-287 du 1er mars 2012 relative à l'exploitation des Livres indisponibles du XXe siècle. Pages de début Introduction I - Entre fait et norme II - Le passage de l'énonciatif au normatif III - Promesse et obligation IV - Actes psychosociaux et faits institutionnels V - Le langage du droit VI (...) - De l'intuitif audiscursif VII - Retour a hume Épilogue Pages de fin. (shrink)

Les conceptions anthropologiques de Pascal ne se dissocient pas de ses préoccupations d'ordre physique et surtout mathématique.

un essai de reconstitution Jean-Louis Gardies. n'avait, dans cette voie, cherché et réussi à en éviter qu'une seule. Le disciple ici va plus loin que le maître dans la voie que ce dernier avait ouverte, puisqu'il ne présuppose pas, mais ...

Cette édition numérique a été réalisée à partir d'un support physique, parfois ancien, conservé au sein du dépôt légal de la Bibliothèque nationale de France, conformément à la loi n° 2012-287 du 1er mars 2012 relative à l'exploitation des Livres indisponibles du XXe siècle. Pages de début Avant-propos Liste des principaux symboles Introduction LIVRE I - Modalités élémentaires I - Les modalités ontiques II - Les modalités temporelles III - Les modalités déontiques IV - Les modalités épistémiques LIVRE II - (...) Modalités composées I - La compatibilité des systèmes normatifs II - Les normes hiérarchiques III - La combinaison des différents ordres de modalités IV - La formalisation despropositions complétives Conclusion Bibliographie sommaire Pages de fin. (shrink)

L'emploi du raisonnement par l'absurde a été source de contestations au cours de l'histoire des sciences. L'auteur en propose une définition, puis montre comment un tel raisonnement indirect peut se retourner en un raisonnement direct qui lui soit logiquement équivalent, ce dont Aristote avait pressenti la possibilité...

According to the author the nature of promise presents a twofold problem. First refers to the question why and how an utterance may cause action; second – to the question why and how this action may cause a duteous state, or action. The conclusions drawn from these analyses can facilitate legal statements concerning the nature of promise.

The difficulty to interpret the iteration of modalities, already ontic and still more deontic, incites to pay attention to the system B of basic modal logic that John L. Pollock proposed in 1967. The Pollock’s system brought all the theses which, in the classical ontic modal systems, from Sl to S5, contain no iteration of the modal functors. With this basic ontic system we characterize a basic deontic system, and a basic ontico-deontic system, the former including all the theses of (...) the first two. Each of the three systems is based axiomatically and assorted with a semantics for which the soundness and the completeness hold. (shrink)

La démocratie athénienne a élaboré une forme très particulière de procès laquelle a modelé à son tour le style de l'argumentation, en particulier dans les démonstrations mathématiques. Le procès de la raison qu'Athènes nous a légué s'est ainsi initialement construit à l'imitation du procès judiciaire.

De nombreux mathematiciens ont affirme que les objets dont ils traitaient n'etaient pas le produit de leur esprit, qu'ils existaient, comme existent les fleuves et les montagnes, les animaux et les plantes que peuvent rencontrer, decouvrir, examiner l'explorateur, le geographe, le zoologiste ou le botaniste. Sur quelques exemples empruntes a l'histoire des mathematiques, depuis les Grecs jusqu'aux Modernes en passant pas la tradition arabo-islamique et la Geometrie de Descartes, l'ouvrage s'attache a la question de savoir si les objets de la (...) mathematique peuvent effectivement avoir un autre mode d'existence, que celui d'objets construits, elabores par l'esprit du mathematicien. Un tel examen amene a reconsiderer la notion d'existence en tant que telle. Comment dire en effet si les objets de la mathematique existent par eux-memes sans s'interroger, sinon prealablement, du moins parallelement sur ce que cette notion peut en l'occurrence signifier? (shrink)

Georges Kalinowski, né en 1916 à Lublin, est dédédé le 21 octobre 2000 à Dijon, où, depuis la mort de son épouse, il s'était retiré auprès de sa fille, son gendre et ses petits-enfants.

This paper sketches a history of definition of identity from the Aristotle’s Topics down to the modern set theory. The author tries to explain particularly: first, how the transformation of the concept of predicate at the end of the nineteenth century made it necessary to revise the leibnitian definition of the identity of individuals; secondly, why Dedekind, Peano, Schröder, etc. made, between two possible definitions of identity of predicates or of sets, a choice which later made it necessary to postulate (...) in set theory the axiom of extensionality. (shrink)

This paper sketches a history of definition of identity from the Aristotle’s Topics down to the modern set theory. The author tries to explain particularly: first, how the transformation of the concept of predicate at the end of the nineteenth century made it necessary to revise the leibnitian definition of the identity of individuals; secondly, why Dedekind, Peano, Schröder, etc. made, between two possible definitions of identity of predicates or of sets, a choice which later made it necessary to postulate (...) in set theory the axiom of extensionality. (shrink)

Les deux siecles qui se sont ecoules entre la naissance deTheetete et la mort d'Archimede ont connu un developpement des mathematiques certes exceptionnel, bien qu'il faille aujourd'hui le reconstituer a partir des seuls textes qui nous soient parvenus. Le present ouvrage cherche a contribuer a une telle reconstitution a travers ces etudes; l'auteur, qui s'etait precedemment attache a analyser l'heritage que les mathematiques ont recu d'Eudoxe de Cnide, essaie de montrer que la synthese euclidienne temoigne d'une sorte de concurrence entre (...) l'oeuvre de celui-ci et celle de Theetete, l'une et l'autre procedant d'une originalite radicale, qu'Euclide aura beaucoup de peine a concilier dans ses Elements. Le travail s'appuie moins sur les temoignages historiques que sur les textes mathematiques eux-memes; ce sont les anomalies de leurs ajustements qui laissent deviner, par l'incompatibilite de certaines de leurs inspirations philosophiques, l'irreductible diversite de leurs origines. (shrink)