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.
|
Semantic Defectiveness: A Dissolution of Semantic Pathology |
|
|
1 | (12) |
|
|
|
|
|
Emptiness and Discharge in Sequent Calculus and Natural Deduction |
|
|
13 | (18) |
|
|
|
|
|
The Knowability Paradox in the Light of a Logic for Pragmatics |
|
|
31 | (16) |
|
|
|
|
|
A Dialetheic Interpretation of Classical Logic |
|
|
47 | (12) |
|
|
|
|
|
Strongly Semantic Information as Information About the Truth |
|
|
59 | (16) |
|
|
|
Priest's Motorbike and Tolerant Identity |
|
|
75 | (10) |
|
|
|
|
|
|
|
|
|
How to Unify Russellian and Strawsonian Definite Descriptions |
|
|
85 | (18) |
|
|
|
Tableau Metatheorem for Modal Logics |
|
|
103 | (24) |
|
|
|
On the Essential Flatness of Possible Worlds |
|
|
127 | (12) |
|
|
|
|
|
139 | (6) |
|
|
|
Da Costa Meets Belnap and Nelson |
|
|
145 | (22) |
|
|
|
|
|
Explicating the Notion of Truth Within Transparent Intensional Logic |
|
|
167 | (12) |
|
|
|
Leibnizian Intensional Semantics for Syllogistic Reasoning |
|
|
179 | (16) |
|
|
|
Inter-Model Connectives and Substructural Logics |
|
|
195 | |
|
|
Roberto Ciuni is Humboldt Postdoctoral Researcher at the Ruhr University Bochum, where he carries his project, A Tempo-Modal STIT Logic for Responsibility Attribution in Many-Step Action. His main areas of research are: Logics of Agency (especially STIT), Logics of Rational Interaction, Branching-Time Logics. Among his recent achievements, there is a paper on tempo-modal STIT in Studia Logica 96/3, coauthored with Alberto Zanardo.
Roberto Ciuni Heinrich Wansing is Professor of Logic and Epistemology at Ruhr University Bochum. His main areas of research are: Non-Classical Logics, Modal Logic, Proof Theory and Epistemology.
Caroline Willkommen was a Postdoctoral Fellow at the Ruhr University Bochum. Her main area of research is in the Logics of Agency, particularly BDI and STIT.
