國立虎尾科技大學 |

Structural analysis of non-classical logics = the proceedings of the second Taiwan Philosophical Logic Colloquium /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Structural analysis of non-classical logics/ edited by Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin.
Reminder of title:	the proceedings of the second Taiwan Philosophical Logic Colloquium /
other author:	Yang, Syraya Chin-Mu.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg : : 2016.,
Description:	xv, 278 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Logic, Symbolic and mathematical - Problems, exercises, etc. -
Online resource:	http://dx.doi.org/10.1007/978-3-662-48357-2
ISBN:	9783662483572

Structural analysis of non-classical logics = the proceedings of the second Taiwan Philosophical Logic Colloquium /
Structural analysis of non-classical logicsthe proceedings of the second Taiwan Philosophical Logic Colloquium /[electronic resource] :edited by Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin. - Berlin, Heidelberg :Springer Berlin Heidelberg :2016. - xv, 278 p. :ill., digital ;24 cm. - Logic in Asia: studia logica library,2364-4613. - Logic in Asia: studia logica library..

Logic and/or Truthmaking -- Socio-historical Causal Descriptivism -- Structural Models for Williamson's Modal Epistemology -- Admissible Semantics for Modal Logic with Quantifiers: Ultraproducts and Strong Completeness -- Incompatible Paraconsistencies -- Motivating the Causal Modeling Semantics, or, How I Come to Learn to Give Up the Possible-Worlds Semantics -- On Possibilistic Justification Logic -- What If Meanings Are Not Truth Conditions? -- How to Do Semantics without Semantic Values -- Revising A Labelled Sequent Calculus for Public Announcement Logic -- Interpolation Properties in Predicate Logics -- Logic for the Urn Game -- Phenomenal Sorites Paradoxes and Measurement-Theoretic Analysis of Goodman's Concept of Just Noticeable Difference -- Mereological Complementaion and Decidability -- Decidability of Exponential Diophantine Equations -- Channel Theoretical Reflections on Dynamic Logics of Speech Acts -- Constructive Embedding from Logics of Strict Implication to Modal Logics -- Common Knowledge and the Knowledge Account of Assertion.

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate logic. The book presents a wide range of applications of two well-known approaches in current research: (i) structural modeling of certain philosophical issues in the framework of non-classic logics, such as admissible models for modal logic, structural models for modal epistemology and for counterfactuals, and epistemological models for common knowledge and for public announcements; (ii) conceptual analysis of logical properties of, and formal semantics for, non-classical logics, such as sub-formula property, truthmaking, epistemic modality, behavioral strategies, speech acts and assertions. The structural analysis provided in this volume will appeal not only to graduate students and experts in non-classic logics, but also to readers from a wide range of disciplines, including computer science, cognitive science, linguistics, game theory and theory of action, to mention a few.

ISBN: 9783662483572

Standard No.: 10.1007/978-3-662-48357-2doiSubjects--Topical Terms:

580379
Logic, Symbolic and mathematical
--Problems, exercises, etc.

LC Class. No.: QA9.A1

Dewey Class. No.: 511.3

Structural analysis of non-classical logics = the proceedings of the second Taiwan Philosophical Logic Colloquium /
LDR:03452nam a2200325 a 4500 001 861267
003 DE-He213
005 20160802171712.0
006 m d
007 cr nn 008maaau
008 170720s2016 gw s 0 eng d
020 $a 9783662483572 $q (electronic bk.)
020 $a 9783662483565 $q (paper)
024 7 $a 10.1007/978-3-662-48357-2 $2 doi
035 $a 978-3-662-48357-2
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.A1
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
082 0 4 $a 511.3 $2 23
090 $a QA9.A1 $b T135 2016
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Structural analysis of non-classical logics $h [electronic resource] : $b the proceedings of the second Taiwan Philosophical Logic Colloquium / $c edited by Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin.
260 $a Berlin, Heidelberg : $c 2016. $b Springer Berlin Heidelberg : $b Imprint: Springer,
300 $a xv, 278 p. : $b ill., digital ; $c 24 cm.
490 1 $a Logic in Asia: studia logica library, $x 2364-4613
505 0 $a Logic and/or Truthmaking -- Socio-historical Causal Descriptivism -- Structural Models for Williamson's Modal Epistemology -- Admissible Semantics for Modal Logic with Quantifiers: Ultraproducts and Strong Completeness -- Incompatible Paraconsistencies -- Motivating the Causal Modeling Semantics, or, How I Come to Learn to Give Up the Possible-Worlds Semantics -- On Possibilistic Justification Logic -- What If Meanings Are Not Truth Conditions? -- How to Do Semantics without Semantic Values -- Revising A Labelled Sequent Calculus for Public Announcement Logic -- Interpolation Properties in Predicate Logics -- Logic for the Urn Game -- Phenomenal Sorites Paradoxes and Measurement-Theoretic Analysis of Goodman's Concept of Just Noticeable Difference -- Mereological Complementaion and Decidability -- Decidability of Exponential Diophantine Equations -- Channel Theoretical Reflections on Dynamic Logics of Speech Acts -- Constructive Embedding from Logics of Strict Implication to Modal Logics -- Common Knowledge and the Knowledge Account of Assertion.
520 $a This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate logic. The book presents a wide range of applications of two well-known approaches in current research: (i) structural modeling of certain philosophical issues in the framework of non-classic logics, such as admissible models for modal logic, structural models for modal epistemology and for counterfactuals, and epistemological models for common knowledge and for public announcements; (ii) conceptual analysis of logical properties of, and formal semantics for, non-classical logics, such as sub-formula property, truthmaking, epistemic modality, behavioral strategies, speech acts and assertions. The structural analysis provided in this volume will appeal not only to graduate students and experts in non-classic logics, but also to readers from a wide range of disciplines, including computer science, cognitive science, linguistics, game theory and theory of action, to mention a few.
650 0 $a Logic, Symbolic and mathematical $v Problems, exercises, etc. $3 580379 $3 739480
650 0 $a Logic $3 558651
650 1 4 $a Philosophy. $3 559771
650 2 4 $a Logic. $3 558909
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a Yang, Syraya Chin-Mu. $3 1103505
700 1 $a Deng, Duen-Min. $3 1103506
700 1 $a Lin, Hanti. $3 1103507
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Logic in Asia: studia logica library. $3 1103508
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-48357-2
950 $a Religion and Philosophy (Springer-41175)