1st GPMR Workshop on Logic & Semantics

Medieval Logic and Modern Applied Logic

Rheinische Friedrich-Wilhelms-Universität Bonn, Germany

June 28-30, 2007


Aims and Scope of the Workshop.

The workshop GPMR-LS1 is the inaugural workshop of the working group "Logic & Semantics" of the Gesellschaft für Philosophie des Mittelalters und der Renaissance. We aim to bring together all researchers interested in logical and semantical aspects of medieval and early modern philosophy, and cordially invite them to attend our workshop.

Der Workshop GPMR-LS1 ist das erste Treffen des Arbeitskreises "Logic & Semantik" der Gesellschaft für Philosophie des Mittelalters und der Renaissance. Es ist unser Ziel, alle an logischen and semantischen Aspekten der mittelalterlichen und frühneuzeitlichen Philosophie interessierten Wissenschaftler zusammenzubringen, und wir laden diese herzlich zu unserem Workshop ein.

As a consequence, the topic of the workshop, "Medieval Logic and Modern Applied Logic", is to be understood as an emphasis, not an exclusive topic. Presentations concerning all parts of medieval and early modern logic and semantics are welcome.

Daher ist das Thema unseres Workshops, "Mittelalterliche Logik und Moderne Angewandte Logik", als ein Schwerpunkt, nicht als ein ausschließliches Thema zu verstehen. Präsentationen zu allen Bereichen der mittelalterlichen und frühneuzeitlichen Logik und Semantik sind erwünscht.

Concerning the emphasis, we aim at

  1. isolating and identifing techniques and theories in medieval logic which may be of use to solving modern questions of applied logic;
  2. explaining conceptually difficult parts of medieval logic by applying techniques of modern logic.

In unserem Schwerpunktthema ist es unser Ziel,

  1. Techniken und Theorien der mittelalterlichen Logik zu isolieren und identifizieren, welche in der Lage sind, moderne Fragen der angewandten Logik zu lösen;
  2. begrifflich schwierige Teile der mittelalterlichen Logik durch Techniken der modernen Logik zu erklären.

Examples of this would be applications of supposition and ampliation theory to modern semantics, game semantics for obligationes, formalizing medieval theories of deontic and epistemic logic within the framework of modern action and modal logic, investigating medieval solutions to insolubilia, and similarities in approach between medieval authors and modern developments.

Beispiele hierfür wären Anwendungen der Suppositions- und Ampliationstheorie auf moderne Semantik, Spielsemantiken für obligationes, Formalisierungen mittelalterlicher Theorien deontischer und epistemischer Logik im Rahmen der modernen Aktions- und Modallogik, Untersuchungen von mittelalterlichen Lösungen der insolubilia und Ähnlichkeiten des Zugangs zwischen mittelalterlichen Autoren und modernen Entwicklungen.