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.

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é...

"Proceedings of the 11th IVR World Congress on Philosophy of Law and Social Philosophy... held on August 14-20, 1983 in Helsinki"--Introd.

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)

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.

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)

L’étymologie du terme d’analyse suggère une remontée du procès déductif qui caractérise la synthèse, cette dernière étant aux yeux des Grecs la manière normale de conduire la démonstration d’un théorème à la solution d’un problème. Mais derrière cette métaphore de la remontée se dissimulent ordinairement deux démarches radicalement différentes.Une première forme d’analyse, dont les mathématiques grecques gardent déjà les traces, consiste effectivement à retourner la chaîne des présupposés de ce qu’on cherche à établir.Une toute autre forme d’analyse, qui n’apparaîtra qu’au (...) xviie siècle, consistera à substituer, à la simple recherche des propriétés et relations de l’objet proprement arithmétique ou géométrique, la considération directe de certaines de ces propriétés ou relations, que les notions algébriques auront alors permis d’ériger en entités nouvelles, devenues comme indépendantes. (shrink)

Celem pracy jest podanie reguł semantycznych dla logik, w których funkcjonują obok siebie funktory modalne i funktory deontyczne. Idea wspólnego traktowania tych funktorów. a w szczególności badania związków między nimi, została zapoczątkowana jeszcze w 1671 r. przez Leibnitza w "Elementa juris naturalis". Autor rozróżnia trzy następujące koncepcje dotyczące wzajemnych relacji między rozważanymi dwoma rodzajami funktorów logicznych: 1) koncepcję Leibnitza, wg. której konieczność implikuje obowiązek; 2) koncepcję, w której konieczność jest nieporównywalna z obowiązkiem; 3) zmodyfikowaną koncepcję [2] drogą pomysłowej modyfikacji znanej (...) semantyki Kripkego - autor wprowadza dodatkowe rozróżnienie światów na pozytywne i negatywne. Interesująco wypadają też porównania reguł semantyk dla trzech wymienionych wyżej koncepcji i rozważania wzajemnych powiązań czterech pojęć deontycznych: silnego obowiązku, silnego zakazu, słabego przyzwolenia i słabej "dowolności" - okazuje się, że spośród szesnastu możliwych relacji aż osiem spełnionych jest równocześnie we wszystkich trzech semantykach, Artykuł kończą uwagi na temat możliwych konsekwencji i zastosowań zaprezentowanego materiału. (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)

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)

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)

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.