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, na
[Trends in Logic] Recent Trends in Philosophical Logic Volume 41 || A Dialetheic Interpretation of Classical Logic
β Scribed by Ciuni, Roberto; Wansing, Heinrich; Willkommen, Caroline
- Book ID
- 121796163
- Publisher
- Springer International Publishing
- Year
- 2014
- Tongue
- German
- Weight
- 160 KB
- Edition
- 2014
- Category
- Article
- ISBN
- 3319060805
No coin nor oath required. For personal study only.
β¦ Synopsis
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.
π SIMILAR VOLUMES
Kawalec's monograph is a novel defence of the programme of inductive logic, developed initially by Rudolf Carnap in the 1950s and Jaakko Hintikka in the 1960s. It revives inductive logic by bringing out the underlying epistemology. The main strength of the work is its link between inductive logic an