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)

This paper aims to assess medieval terminism, particularly supposition theory, in the development of Aristotelian thought in the Latin West. The focus is on what the present author considers the gist of Aristotle’s strategy of argument, to wit conceptual focalization and categorization. This argumentative strategy is more interesting as it can be compared to the modern tool known as ‘scope distinction’.

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.

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)

Each inhabitant of our world Gilbert calls an id quod est or subsistens. Its main constituents are the subsistentiae and these are accompanied by the 'accidents', quantity and quality. The subsistent owes its status to a collection of inferior members of the Aristotelian class of accidents, which to Gilbert 's mind are rather 'accessories' or 'attachments from without'. The term 'substantia' is used both to stand for substance and substantial form, i.e., that by which something is subsistent. The collection of (...) subsistentiae or the forma totius is called natura. However, 'natura' is also used to stand for either just one subsistentia or all the forms found in a subsistens even including its 'accidental' forms. The inclusion of all kinds of accidents is seldom found in the intension of the word 'natura'. One of the key notions featuring in Gilbert 's ontology is esse aliquid. 'To be a-something' has a threefold import. First, it means 'to be only some thing', and to miss perfection. Second, it has the positive sense of 'being a something', i.e. 'being determinate and well-delineated', not indefinite, not formless that is. Third, 'to be a something' implies concreteness, corporealness and singularity. (shrink)