大葉大學圖書館 |

Structural analysis of non-classical logics[electronic resource] :the proceedings of the second Taiwan Philosophical Logic Colloquium /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	511.3
書名/作者:	Structural analysis of non-classical logics : the proceedings of the second Taiwan Philosophical Logic Colloquium // edited by Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin.
其他作者:	Yang, Syraya Chin-Mu.
團體作者:	Clark Conference
出版者:	Berlin, Heidelberg : : Springer Berlin Heidelberg :, 2016.
面頁冊數:	xv, 278 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Logic, Symbolic and mathematical - Congresses.
標題:	Logic
標題:	Philosophy.
標題:	Logic.
標題:	Mathematical Logic and Foundations.
標題:	Mathematical Logic and Formal Languages.
ISBN:	9783662483572
ISBN:	9783662483565
內容註:	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.
電子資源:	http://dx.doi.org/10.1007/978-3-662-48357-2

Structural analysis of non-classical logics[electronic resource] :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:

379726
Logic, Symbolic and mathematical
--Congresses.

LC Class. No.: QA9.A1

Dewey Class. No.: 511.3

Structural analysis of non-classical logics[electronic resource] :the proceedings of the second Taiwan Philosophical Logic Colloquium /
LDR:03452nam a2200325 a 4500 001 455390
003 DE-He213
005 20160802171712.0
006 m d
007 cr nn 008maaau
008 161227s2016 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 Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
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 : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2016.
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 Congresses. $3 379726
650 0 $a Logic $3 158066
650 1 4 $a Philosophy. $3 179430
650 2 4 $a Logic. $3 191646
650 2 4 $a Mathematical Logic and Foundations. $3 464911
650 2 4 $a Mathematical Logic and Formal Languages. $3 463478
700 1 $a Yang, Syraya Chin-Mu. $3 653703
700 1 $a Deng, Duen-Min. $3 653704
700 1 $a Lin, Hanti. $3 653705
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Logic in Asia: studia logica library. $3 653706
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-48357-2
950 $a Religion and Philosophy (Springer-41175)