The International workshop 'Frontiers of Combining Systems' is the only forum that is exclusively devoted to research efforts in this interdisciplinary area. This volume contains selected, edited papers from the second installment of the workshop. The contributions range from theorem proving, rewriting and logic to systems and constraints. While there is a clear emphasis on automated tools and logics, the contributions to this volume show that there exists a rapidly expanding body of solutions of particular instances of the combination problem, (...) and at the same time, that the issue of developing general frameworks for intergrating formalisms and systems is taking on an increasingly important position on the international research agenda. The idea of combining formal systems and algorithms has been attracting interest in areas as diverse as constraint logic programming, automated deduction, verification, information retrieval, computational linguistics, artificial intelligence, and logic. As any interesting real world system is a complex composite entity, decomposing its descriptive requirements (for design, verification, or maintenance purposes) into simpler, more restricted tasks is appealing as it is often the only plausible way of tackling complex modelling problems. A core body of notions, questions and results is beginning to emerge in the area, and we are beginning to understand the computational and logical impact of combining methods and algorithms. (shrink)

IT is well known that the art of logic (logica or diale(c)tica) knew a remarkable flourishing period during the twelfth century. In the first half of the century its main centres in Paris were: the School of Notre DameI, of St. Victor2, of the Petit Pont3 and of Mont Ste Geneviève4. The present paper aims to offer some new evidence from the manuscripts on the teaching of logic as given in the School of Mont Ste.

We study a propositional bimodal logic consisting of two S4 modalities £ and [a], together with the interaction axiom scheme a £ϕ → £ aϕ. In the intended semantics, the plain £ is given the McKinsey-Tarski interpretation as the interior operator of a topology, while the labelled [a] is given the standard Kripke semantics using a reflexive and transitive binary relation a. The interaction axiom expresses the property that the Ra relation is lower semi-continuous with respect to the topology. The (...) class of topological Kripke frames characterised by the logic includes all frames over Euclidean space where Ra is the positive flow relation of a differential equation. We establish the completeness of the axiomatisation with respect to the intended class of topological Kripke frames, and investigate tableau calculi for the logic, although tableau completeness and decidability are still open questions. (shrink)

Le but de cet article est une critique de la philosophie politique de M. Eric Weil. Par opposition à M. Weil, l'auteur définit la „politique" ici comme l'art du réalisable, à préciser comme : l'art d'arriver à court terme à une organisation de la société qu'on estime meilleure, et cela en employant tous les moyens permis. L'homme politique n'est pas, ainsi que l'affirme M. Weil, un „saint de Vtmiversel”, qui, en ce qui concerne l'emploi de la violence, se trouve au-dessus (...) de la loi. Ce „politicien-éducateur” est en vérité l'appui des régimes totalitaires et est d'ailleurs inconcevable en dehors de ceux-ci. En outre la théorie de M. Weil contient un certain nombre de contradictions internes et, si on la mesure à la pratique, elle se trouve être déficiente à beaucoup d'égards. Contre la conception platonicienne de M. Weil l'auteur défend la thèse que la politique n'est pas une infraction, regrettable mais inévitable, à „la morale”. C'est la tâche de l'homme politique de supprimer toutes les absurdités, inconséquences et injustices qui entachent les structures de la société. Ce qui, concrètement, est absurde, inconséquent ou injuste n'est pas déterminé par „la morale”, mais par la conscience du droit et par le sentiment moral d'une époque donnée. Les „certitudes” d'où part l'homme politique ne sont pas des Idées platoniciennes, mais des hypothèses de travail, qui dérivent leur contenu non pas de la contemplation des Idées, mais d'une notion de ce qui est juste et désirable, notion qui est déterminée par les conditions matérielles et spirituelles et qui se trouve dans un changement continuel. (shrink)

Basically, a historian's conception of history is to be judged by the status he assigns to historical fact. We on our part have defined fact as the mental entity to which direct reference is made by a descriptive statement accepted as true (1.2-1.4). Next, we have tried to throw further light on this conception, not least by enlisting the aid of linguistics (1.5-1.7). History-as distinct from what others have termed 'history in an objective sense'-has been defined as 'histoire connaissance', whose (...) central concerns it is to render insightful what we have called the vis-à-vis (XYZ), sometimes indicated by the, to me repellent, term 'histoire réalité' (2.2). Further reflection on what ultimately constitutes fact has led us to adopt, in line with others, an extension of Kuhn's paradigm concept. (shrink)