Recent Trends in Philosophical Logic (eBook)

eBook Download: PDF
2014
VIII, 209 Seiten
Springer International Publishing (Verlag)
978-3-319-06080-4 (ISBN)

Lese- und Medienproben

Recent Trends in Philosophical Logic -
Systemvoraussetzungen
96,29 inkl. MwSt
  • Download sofort lieferbar
  • Zahlungsarten anzeigen

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.



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.

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.

Chapter 1. Semantic Defectiveness: A Dissolution of Semantic Pathology; Bradley Armour-Garb and James A. Woodbridge.- Chapter 2. Emptiness and discharge in sequent calculus and natural deduction; Michael Arndt and Luca Tranchini.- Chapter 3. The Knowability Paradox in the light of a Logic for Pragmatics; Massimiliano Carrara and Daniele Chi.- Chapter 4. A Dialetheic Interpretation of Classical Logic; Massimiliano Carrara and Enrico Martino.- Chapter 5. Strongly semantic information as information about the truth; Gustavo Cevolani.- Chapter 6. Priest's Motorbike and Tolerant Identity; Pablo Cobreros, Paul Egré, David Ripley and Robert van Rooij.- Chapter 7. How to unify Russellian and Strawsonian definite descriptions; Marie Duži.- Chapter 8. Tableau Metatheorem for Modal Logics; Tomasz Jarmuzek.- Chapter 9. On the Essential Flatness of Possible Worlds; Neil Kennedy.- Chapter 10. Collective Alternatives; Franz von Kutschera.- Chapter 11. da Costa meets Belnap and Nelson; Hitoshi Omori and Katsuhiko Sano.- Chapter 12. Explicating the Notion of Truth within Transparent Intensional Logic;  Jiří Raclavský.- Chapter 13. Leibnizian intensional semantics for syllogistic reasoning; Robert van Rooij.- Chapter 14. Inter-Model Connectives and Substructural Logics; Igor Sedlár.

Erscheint lt. Verlag 29.4.2014
Reihe/Serie Trends in Logic
Trends in Logic
Zusatzinfo VIII, 209 p. 12 illus.
Verlagsort Cham
Sprache englisch
Themenwelt Geisteswissenschaften Philosophie Allgemeines / Lexika
Geisteswissenschaften Philosophie Erkenntnistheorie / Wissenschaftstheorie
Geisteswissenschaften Philosophie Logik
Mathematik / Informatik Mathematik
Technik
Schlagworte Advances in Philosophical Logic • Knowability Paradox • Mathematical Logic • Natural deduction • Non-Classical Logic • paraconsistent logic • proof systems • Trends in Logic
ISBN-10 3-319-06080-5 / 3319060805
ISBN-13 978-3-319-06080-4 / 9783319060804
Haben Sie eine Frage zum Produkt?
PDFPDF (Wasserzeichen)
Größe: 2,5 MB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasser­zeichen und ist damit für Sie persona­lisiert. Bei einer missbräuch­lichen Weiter­gabe des eBooks an Dritte ist eine Rück­ver­folgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Zusätzliches Feature: Online Lesen
Dieses eBook können Sie zusätzlich zum Download auch online im Webbrowser lesen.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
Ein Methodenbuch

von Gregor Damschen; Dieter Schönecker

eBook Download (2024)
De Gruyter (Verlag)
24,95
Ein Methodenbuch

von Gregor Damschen; Dieter Schönecker

eBook Download (2024)
De Gruyter (Verlag)
24,95
Gesundheitsschutz - Selbstbestimmungsrechte - Rechtspolitik

von Hartmut Kreß

eBook Download (2024)
Kohlhammer Verlag
34,99