國立虎尾科技大學 |

Structural Analysis of Non-Classical Logics = The Proceedings of the Second Taiwan Philosophical Logic Colloquium /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Structural Analysis of Non-Classical Logics/ edited by Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin.
其他題名:	The Proceedings of the Second Taiwan Philosophical Logic Colloquium /
其他作者:	Yang, Syraya Chin-Mu.
面頁冊數:	XV, 278 p.online resource. :
Contained By:	Springer Nature eBook
標題:	Logic. -
電子資源:	https://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. - 1st ed. 2016. - XV, 278 p.online resource. - 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:

558909
Logic.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Structural Analysis of Non-Classical Logics = The Proceedings of the Second Taiwan Philosophical Logic Colloquium /
LDR:03843nam a22004095i 4500 001 977158
003 DE-He213
005 20200630081436.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|eng d
020 $a 9783662483572 $9 978-3-662-48357-2
024 7 $a 10.1007/978-3-662-48357-2 $2 doi
035 $a 978-3-662-48357-2
050 4 $a BC1-199
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
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.
250 $a 1st ed. 2016.
264 1 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2016.
300 $a XV, 278 p. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
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. $3 558909
650 0 $a Mathematical logic. $2 bicssc $3 810627
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. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1103505
700 1 $a Deng, Duen-Min. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1103506
700 1 $a Lin, Hanti. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1103507
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783662483565
776 0 8 $i Printed edition: $z 9783662483589
776 0 8 $i Printed edition: $z 9783662517123
830 0 $a Logic in Asia: Studia Logica Library, $x 2364-4613 $3 1261685
856 4 0 $u https://doi.org/10.1007/978-3-662-48357-2
912 $a ZDB-2-REP
912 $a ZDB-2-SXPR
950 $a Religion and Philosophy (SpringerNature-41175)
950 $a Philosophy and Religion (R0) (SpringerNature-43725)