The papers that constitute the present volume are a result of the interface between logic and knowledge where flow of information, agentivity, and the dialogical approach interweave in new and exciting ways in the context of what van Benthem calls the dynamic turn. Moreover one can read the present volume as providing different complementary variations and perspectives that should motivate and render future new cross-fertilizing dialogues between explicit epistemic and dialogical approaches. Indeed, according to this reading we could distinguish the following pairs of interlocutors: While the paper of F. Soler-Toscano & F.R. Velazquez-Quesada and Laura Leonides explore the dynamics induced by the arrival of new information in scientific processes such as abduction by means of non-monotonic approaches to reasoning and knowledge, V. Fiutek studies the other side of the coin of non-monotonic reasoning, namely belief revision, in a dialogical setting. While the paper of P. Seban and H. van Ditmarsch develops a model theoretic semantics for a generalization of Public Announcement Logic (PAL) in order to formalize the concept of 'having the permission to say something to somebody'. S. Magnier provides the semantic basis for the dialogical perspective on multi-agent public announcement logic with common knowledge. While the paper of T. Tulenheimo explores the expressivity of interval-based temporal logic, N. Clerbout studies the expressivity of the dialogical approach in relation to a modal logic with actuality operator. Another study of the expressivity power of dialogical logic is the contribution of Fontaine and Redmond who show how the inferential properties of the standard free logics can be expressed in the dialogical framework by delving in the local meaning of the quantifiers. The papers of C. Bares Gomez and of Aude Popek present a new feature of the dynamic turn, namely its sensitivity and ability to deal with historic studies such as the study of conditionals in Ugaritic language and the reconstruction of the medieval theory of Obligationes.

A travers cet ouvrage nous produisons un lien specifique entre l'epistemologie et la logique epistemique. Si de nombreuses tentatives de conciliation entre logique epistemique et epistemologie se sont averees fructueuses, c'est la possibilite d'une etude argumentative de la logique epistemique qui est ici exploree. Etudier la logique epistemique a partir d'une approche argumentative de la logique, c'est-adire au sein de dialogues, nous permet a la fois de benefi cier d'un cadre d'etude dynamique pour explorer le dynamisme et la signifi cation du langage de la logique epistemique mais aussi d'ouvrir de nouvelles pistes de recherches a la confl uence de la logique et du droit. Les considerations juridico-logiques que nous developpons portent en premier lieu sur la notion de condition suspensive dans le droit, puis plus generalement sur la forme conditionnelle des normes juridiques."

Hugh MacColl (1837-1909) fut un mathematicien et logicien qui passa les premieres annees de sa vie en Ecosse. Apres quelques annees de travail en differents lieux de Grande-Bretagne, il s'installa a Boulogne-sur-Mer (France), ou il developpa la majeure partie de son oeuvre et devint citoyen francais. Hugh MacColl fut connu en son temps pour ses contributions novatrices dans le monde de la logique. MacColl represente la premiere approche du pluralisme logique. Sa premiere contribution pour l'algebre logique du 19 DEGREESieme siecle fut son calcul qui n'autorise pas seulement une classe d'interpretation (comme dans l'algebre de Boole) mais aussi une interpretation propositionnelle. MacColl donna une preference a l'interpretation propositionnelle en raison de sa generalite et l'appela logique pure. Le connecteur principal de sa logique pure est le conditionnel et par consequent, son algebre contient un operateur specifique pour cet operateur. Dans /Symbolic Logic and its Applications/ (1906) (reimprime dans notre volume), MacColl publia la version achevee de sa(ses) logique(s) ou des propositions sont qualifiees soit de certaines, soit de impossibles, soit de contingentes, ou encore de vraies ou de fausses. Apres sa mort ses contributions au monde logique ne semblent pas avoir recues ni les remerciements ni les etudes systematiques qu'elles auraient meritees. Plus encore, nombre de ses idees furent attribuees a ses successeurs; les exemples les plus connus sont: la notion d'implication stricte, la premiere approche formelle de la logique modale et la discussion des paradoxes de l'implication materielle, habituellement attribuee a C.I. Lewis. Il en va de meme pour ce qui est de ses contributions a la logique probabiliste (probabilite conditionnelle), logique plurivalente (relationnelle), logique de la pertinence et logique connexe. Le fait qu'il ait aussi explore la possibilite de construire un systeme formel capable de raisonner avec des fictions est moins connu. Ce dernier point semble etre lie avec sa reconstruction formelle du syllogisme aristotelicien par le biais de la logique connexe. Le present volume comprend une reimpression des principaux ecrits logiques de Mac