國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Structural analysis of non-classical...

(1998 :)

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Structural analysis of non-classical logicsedited by Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin.
其他題名:	the proceedings of the second Taiwan Philosophical Logic Colloquium /
其他作者:	Yang, Syraya Chin-Mu.
團體作者:
出版者:	Berlin, Heidelberg :Springer Berlin Heidelberg :2016.
面頁冊數:	xv, 278 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	Logic, Symbolic and mathematical
電子資源:	http://dx.doi.org/10.1007/978-3-662-48357-2
ISBN:	9783662483572$q(electronic bk.)

Structural analysis of non-classical logicsthe 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$q(electronic bk.)

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

254195
Logic, Symbolic and mathematical

LC Class. No.: QA9.A1

Dewey Class. No.: 511.3

Structural analysis of non-classical logicsthe proceedings of the second Taiwan Philosophical Logic Colloquium /
LDR:03452nmm a2200325 a 4500 001 482060
003 DE-He213
005 20160802171712.0
006 m d
007 cr nn 008maaau
008 161007s2016 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 $3 254195
650 0 $a Logic $3 217984
650 1 4 $a Philosophy. $3 176573
650 2 4 $a Logic. $3 180785
650 2 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
700 1 $a Yang, Syraya Chin-Mu. $3 738502
700 1 $a Deng, Duen-Min. $3 738503
700 1 $a Lin, Hanti. $3 738504
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Logic in Asia: studia logica library. $3 738505
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-48357-2
950 $a Religion and Philosophy (Springer-41175)