Heinrich Wansing

Caroline Willkommen

Roberto Ciuni

This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism and possible worlds semantics. The developments presented here focus on challenging problems in the specification of fundamental philosophical notions, as well as presenting new techniques and tools, thereby contributing to the development of the field. Each chapter contains a bibliography, to assist the reader in making connections in the specific areas covered. Thus this work provides both a starting point for further investigations into philosophical logic and an update on advances, techniques and applications in a dynamic field. The chapters originate from papers presented during the Trends in Logic XI conference at the Ruhr University Bochum, June 2012.

Recent Trends in Philosophical Logic

English summary: The desire to examine the logic of action has a long tradition going back to Anselm of Canterbury and reaching up to the present day. What distinguishes an action? When does a sentence describe an action? And how can one describe this within a logical system? The Stit theory provides a simple answer to the last two questions. A sentence (symbol for Ancient Greek Phi) is an action, as far as it can be transformed to 'agenti sees to it that (symbol for Ancient Greek Phi)' without changing the logical value of the sentence. This study demonstrates why this view is not only straight forward and practical when it comes to complementing this type of logic of action with operators of belief, desire and intention, but it also shows why such a description can be reconciled with Donald Davidson's thesis that actions are based on events. Thus the study attempts to build a bridge between the Stit theory and Davidson's theory of action in which the concept of intention plays a role. German description: Eine Logik von Handlungen betrachten zu wollen, hat eine lange Tradition von Anselm von Canterbury bis in die Gegenwart. Was kennzeichnet eine Handlung? Wann beschreibt ein Satz eine Handlung? Und wie lasst sich dies in einem logischen System beschreiben? Die Stit-Theorie gibt eine einfache Antwort auf die beiden zuletzt gestellten Fragen. Ein Satz varphidruckt eine Handlung aus, wenn es einen Akteur gibt, so dass sich der Wahrheitswert des Satzes nicht andert, wenn er durch "der Akteur sorgt dafur, dass varphi" paraphrasiert wird.In diesem Buch wird gezeigt, warum diese Ansicht nicht nur einfach und praktisch ist, um eine solche Handlungslogik um Operatoren fur Uberzeugungen, Wunsche und Intentionen zu erweitern, sondern auch warum sich diese Beschreibung mit der Ansicht Donald Davidsons vereinen lasst, dass Handlungen Ereignisse zugrunde liegen. So wird versucht, eine Brucke zwischen der Stit-Theorie und Davidsonscher Handlungstheorie zu schlagen, bei der der Begriff der Intention eine Rolle spielt. Dabei wird der Intentionsoperator in dem logischen System bdi-stit_{dint, bestehend aus Handlungsoperatoren und den Operatoren fur die mentalen Zustande, alternativ axiomatisiert.

Caroline Willkommen

About

Books

Join the club