No abstract

Résumé Dans une perspective très proche de celle que Brunschwig adopte dans l'extrait mis en exergue, nous voudrions montrer comment un certain courant de la logique contemporaine a retrouvé, sous d'autres attendus, une configuration théorique qu'on peut attribuer à Aristote (au moins au moment de la rédaction des Topiques) et dans laquelle la logique et la rhétorique (ou au moins la dialectique 2 ) se complètent dans le cadre conceptuel homogène de la dialectique, entendue comme une certaine forme relativement codifiée de débat critique, et constituent les outils méthodologiques complémentaires indispensables à une théorie de la connaissance scientifique. AbstractThe aim of the paper is to show how a contemporary dynamic approach to logic has built up anew the links between logic and rhetoric established by Aristotle in the framework of dialectics -at least in the context of the Topica. Dialectics is understood here as a kind of codified debate meant to furnish a methodological instrument for the theory of scientific knowledge. The claim is that the contemporary reconstruction of dialectics conceives rhetoric not only as the place where literary forms of reasoning and logic meet but also as the place where logic and scientific knowledge meet.

Nous présentons ici une version modale des dialogues de recherche de conditions (SSD) que nous avons introduits dans [Rahman & Keiff 2004]. La sémantique utilisée correspondà celle des systèmes modaux non normaux.Abstract: We present here a modal version of the structure seeking dialogues (SSD) that were introduced in [Rahman & Keiff 2004]. For this purpose, we use a semantics that corresponds to the semantics of non normal modal systems.

Cette courte introduction a pour but de donner au lecteur peu familier des systèmes dialogiques un aperçu des notions fondamentales de cette approche de la logique. Nous présenterons d'abord la dialogique standard, c'est-à-dire les systèmes correspondantàl al o g i q u ep r o p o s itionnelle classique et intuitionniste : nous commencerons par spécifier le langage dont nous nous servons, puis nous verrons les différents types de règles qui définissent les jeux dialogiques standard. Nous présenterons ensuite l'extension modale de cette logique propositionnelle, avec les règles correspondant aux systèmes K, T, B, S4, S5 et D 1. Nous finirons avec le langage modal hybride, introduit dans [Blackburn 2001a] et [Rahman & Keiff 2004].

No abstract