Добірка наукової літератури з теми "Preuves et Réfutations"

Le présent article veut (1) montrer que la théorie qualitative de la vérisimilarité exposée par Karl R. Popper dans Conjectures and Refutations et Objective Knowledge est compatible avec sa méthode des conjectures, corroborations et réfutations; (2) faire voir pourquoi cette théorie apparaît néanmoins trop forte d'un point de vue intuitif; (3) montrer comment le système poppérien permet de contourner la preuve formelle présentée par Pavel Tichy en 1974 à l'encontre de la théorie qualitative de la vérisimilarité; (4) proposer une nouvelle définition de la vérisimilarité qui apparaisse non seulement logiquement fondée, mais plus intuitivement acceptable et davantage liée à la méthodologie poppérienne que la définition originelle.

Cette étude présente une lecture rhétorique de l’ouvrage de Jacques Monod, Le Hasard et la nécessité . La nouvelle rhétorique de Chaïm Perelman propose, dans les années 1960, un élargissement du champ d’action de la rhétorique antique à tout discours argumentatif, ce qu’est cet Essai de philosophie naturelle sur la biologie moderne . L’exorde de l’ouvrage laisse d’emblée apparaître que Monod maîtrise les normes rhétoriques mais qu’il en fait usage avec une certaine liberté. La narration, chargée d’exposer les concepts de sa philosophie, présente l’objectivité de la nature comme postulat de toute recherche scientifique et philosophique. Si la démarche argumentative est cohérente, l’exposé des concepts est parfois difficile d’accès, ce qui compromet l’objectif premier de tout discours argumentatif : gagner l’adhésion du plus grand nombre. La réfutation de Monod se focalise sur quelques philosophes, et sur le marxisme en particulier, selon des procédés rhétoriques reposant essentiellement sur les différentes formes de polémiques. Sa confirmation est le cœur de son ouvrage : il y expose les avancées en biologie moléculaire comme autant de preuves de son postulat d’objectivité. Monod en profite, par un habile procédé rhétorique, pour présenter son épistémologie, fondée sur le hasard des mutations et la nécessité de la sélection naturelle. La péroraison donne lieu à une ultime digression où il tente de concilier valeur et vérité dans une éthique de la connaissance. Sortant alors du cadre imposé par les normes de la rhétorique, Monod ne peut convaincre tous ses lecteurs comme le prouve la correspondance qu’il a reçue. Il fait cependant montre de réels talents d’écrivain.

In a recent article in this journal Nadav Na’aman dismissed the proposal that a large number of Israelites migrated to Judah after the fall of the Northern Kingdom in 720 BCE. Na’aman based his rebuttal on three points: the lack of evidence of a proliferation of Israelite theophoric names in Judah; the demography of the Shephelah between 720 BCE and the Sennacherib campaign in 701 BCE; and observations regarding the growth of Jerusalem in the same time-slot. In this paper I challenge all three observations on both factual and methodological grounds, and emphasize that the Israelites-in-Judah theory provides a compelling explanation for the incorporation of Israelite texts – including those which compete with Judahite traditions or are adverse to the Davidic Dynasty – into the Hebrew Bible. I then take the opportunity to update my views regarding the settlement expansion and demographic growth in Jerusalem in particular and Judah in general in the late 8In einem vor Kurzem in dieser Zeitschrift erschienenen Artikel lehnte Nadav Na’aman die These ab, dass nach dem Untergang des Nordreiches im Jahre 720 v. Chr. eine große Zahl an Israeliten nach Juda abgewandert sei. Na’aman begründete seine Zurückweisung mit drei Punkten: Dem Mangel an Belegen für eine Zunahme an theophoren Namen israelitischen Ursprungs in Juda; der Demographie der Schephela zwischen 720 v. Chr. und dem Feldzug Sanheribs im Jahre 701 v. Chr.; und schließlich einigen Beobachtungen hinsichtlich des Wachstums von Jerusalem im selben Zeitraum. Der Beitrag stellt alle drei Beobachtungen sowohl in sachlicher als auch in methodologischer Hinsicht in Frage und hebt hervor, dass die Israeliten-in-Juda-Theorie eine überzeugende Erklärung für die Aufnahme israelitischer Texte in die hebräische Bibel bietet – selbst für jene, die mit judäischen Traditionen in einem spannungsreichen Verhältnis stehen oder sich zur Dynastie der Davididen ablehnend verhalten. Darüber hinaus bietet er eine aktualisierte Darstellung der Ausweitung des Siedlungsraumes und des demographischen Wachstums während des späten achten und des frühen siebten Jahrhunderts v. Chr. in Jerusalem im Speziellen und in Juda im Allgemeinen.Dans un récent article de ce périodique, Nadav Na‘aman a rejeté l’idée selon laquelle un grand nombre d’Israélites auraient migré vers Juda après la chute du royaume du Nord en 722 av. J.-C. Na’aman a basé sa réfutation sur trois points : le manque de preuves d’une prolifération des noms théophores israélites en Juda ; la démographie de la Shéphela entre 720 av. J.-C. et la campagne de Sennachérib en 701 av. J.-C. ainsi que des observations sur l’agrandissement de Jérusalem à la même époque. Dans cet article, je conteste ces trois points, en me basant sur des arguments factuels et méthodologiques. J’insiste sur le fait que la théorie des »Israélites en Juda« fournit une explication convaincante pour comprendre l’incorporation des textes israélites dans la Bible hébraïque, y compris ceux qui concurrencent les traditions judéennes ou ceux qui s’opposent à la dynastie davidique. Par la même occasion je modifie mon point de vue sur l’expansion urbaine et l’essor démographique à la fin du 8

Les logiques sont de puissants outils qui permettent la spécification de systèmes informatiques et la preuve de l'adéquation de leurs implantations avec ces spécifications. Dans le cadre des logiques sous-structurelles, nous mettons en place des outils de démonstration automatique et de construction de contre-modèles. Ces logiques intègrent la notion de ressource ; au niveau de la recherche de preuve, la gestion des ressources permet la mise en place de procédures plus efficaces ; au niveau de l'interprétation sémantique, la notion de ressource permet de construire des modèles fidèles et complets. Nous établissons un lien entre la notion syntaxique de réfutation et la notion sémantique de contre-modèle. Nous en déduisons des méthodes de démonstration de la propriété des modèles finis ainsi que des algorithmes de construction de contre-modèles. En logique intuitionniste propositionnelle, la gestion fine de ressources permet d'en déduire une implantation efficace de la recherche de preuves. En logique intuitionniste linéaire, les modèles à base de ressources permettent une preuve élégante de la propriété des modèles finis. Nous établissons un lien entre la sémantique des ressources et la sémantique à base de réseaux de Petri, ce qui permet de raffiner les résultats de complétude partiels connus jusqu'alors
Logics can be used as powerful tools for specifying computer systems and proving the soundness of their implementations with respect to these specifications. In the field of substructural logics, we develop tools and methods for automated deduction and counter-model generation. These logics involve the notion of resource : at the level of proof-search, the management of resources enables more efficient procedures : at the semantic level, resource models provide sound and complete interpretations. We develop a link between the syntactic notion of refutation and the semantic notion of counter-model. We deduce methods for proving the finite model property and algorithms for implementation of a proof-search procedure, based on a fine management of resources. In intuitionistic linear logic, resource based models constitute the core of an elegant proof of the finite model property. Furthermore, we establish a link between resource models and Petri net based models, from which we improve the proeceding partial completness results

Nous avons specifie et developpe un environnement informatique d'apprentissage humain sur cabri-geometre, qui est base sur des formalisations du systeme didactique. En particulier, il est concu comme element d'un milieu antagoniste qui a pour objectif de permettre l'apprentissage de la preuve dans un cadre de resolution de problemes. Nous proposons un modele base sur les principes d'un micromonde de preuve permettant a l'eleve d'interagir avec un agent rationnel auquel il exprime les connaissances qu'il souhaite utiliser afin de resoudre un probleme et de construire une preuve. La fonction de l'agent rationnel est d'assurer les retroactions qui soient liees a la coherence propre au raisonnement de l'eleve et non a une conception a priori de ce que devrait etre la resolution. Pour cela, nous nous basons sur la theorie d'agents semi-empiriques. Une des caracteristiques de notre systeme, en tant qu'element du milieu antagoniste, est le fait qu'il refute la demarche de l'utilisateur quand cela est possible pour l'environnement. L'eleve exprime sa connaissance sous la forme d'enonces. La relation elementaire entre les enonces est le modus ponens. Pour un probleme de geometrie donne, l'eleve pourra construire la figure correspondante dans cabri-geometre et produire les enonces qu'il souhaite dans le micromonde de preuve. L'agent rationnel peut analyser la structure de l'ensemble des enonces et diagnostiquer s'il a ou non la structure d'une preuve relativement a un enonce donne comme conclusion. De plus, il peut evaluer un enonce dans le cadre de la figure construite dans cabri-geometre et eventuellement le refuter en produisant le dessin d'un contre-exemple. Il est a noter que les competences de l'agent rationnel sont limitees a l'analyse de raisonnements directs simples (excluant donc, dans cette premiere approche, le raisonnement par l'absurde, par cas, ou par recurrence).