Heinrich Wansing

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.

ABSTRACT We consider certain objections against Fagin's and Halpern's logic of general awareness and interpret them as doubts whether there exists a correspondence theory for awareness logic with respect to sieve models. We present a non-compositional translation from epistemic formulas into first-order logic as the essential ingredient of such a correspondence theory and define a suitable notion of bisimulation. Moreover, in order to further underline the power of sieve models, we prove the Lewis system SI to be complete for a relational interpretation which is equivalent to the sieve model semantics.