Philosophical Logic: Current Trends in Asia -

Philosophical Logic: Current Trends in Asia (eBook)

Proceedings of AWPL-TPLC 2016
eBook Download: PDF
2017 | 1st ed. 2017
XVI, 296 Seiten
Springer Singapore (Verlag)
978-981-10-6355-8 (ISBN)
Systemvoraussetzungen
149,79 inkl. MwSt
  • Download sofort lieferbar
  • Zahlungsarten anzeigen

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology.

The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to cut-elimination, and a Boolean approach to causal discovery, to name but a few. Readers may find a wide range of applications of these original works in current research of philosophical logic, especially in the structural and conceptual analysis of some significant semantic properties and formal systems. The variety of topics and issues discussed here will appeal to readers from a broad spectrum of disciplines, ranging from mathematical/philosophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond.



This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology.The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to cut-elimination, and a Boolean approach to causal discovery, to name but a few. Readers may find a wide range of applications of these original works in current research of philosophical logic, especially in the structural and conceptual analysis of some significant semantic properties and formal systems. The variety of topics and issues discussed here will appeal to readers from a broad spectrum of disciplines, ranging from mathematical/philosophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond.

Representing and Completing Lattices by Propositions of Cover Systems.- A Uniform Algebraic Approach to Cut Elimination via Semi-completeness.- Ancient Indian Logic, Paksa and Analogy.- Provability and Decidability of Arithmetical Sentences.- On the Minimization Principle in the Boolean Approach to Causal Discovery.- Contentual and Formal Aspects of Gentzen's Consistency Proofs.- Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument.- Cut free Labelled Sequent Calculus for Dynamic Logic of Relation Changers.- On Second Order Propositional Intuitionistic Logics.- Classical Model Existence Theorem in Subclassical Predicate Logics. II.- On Incorporating Reasoning Time into Epistemic Logic.- Proof-theoretic Embedding from Visser’s Basic Propositional Logic to Modal Logic K4 via Non-Labelled Sequent Calculi.- Varieties of Parthood.- Infinite “Atomic” Mereological Structures.

Erscheint lt. Verlag 25.11.2017
Reihe/Serie Logic in Asia: Studia Logica Library
Logic in Asia: Studia Logica Library
Zusatzinfo XVI, 296 p. 7 illus.
Verlagsort Singapore
Sprache englisch
Themenwelt Geisteswissenschaften Philosophie Allgemeines / Lexika
Geisteswissenschaften Philosophie Logik
Mathematik / Informatik Informatik Theorie / Studium
Mathematik / Informatik Mathematik Allgemeines / Lexika
Mathematik / Informatik Mathematik Logik / Mengenlehre
Schlagworte Ancient Indian Logic • Causal Models • Consistency Proof • Cover Systems • Epistemic Logics • Modal Logics • Parthood and Mereological Structure • Provability and Decidability • (Second-order) Intuitionistic Logics • Supervaluationism and Vagueness
ISBN-10 981-10-6355-9 / 9811063559
ISBN-13 978-981-10-6355-8 / 9789811063558
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
PDFPDF (Wasserzeichen)
Größe: 4,3 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.

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