000 04005nam a22004935i 4500
001 vtls000542934
003 RU-ToGU
005 20210922082334.0
007 cr nn 008mamaa
008 160915s2014 gw | s |||| 0|eng d
020 _a9783319052069
_9978-3-319-05206-9
024 7 _a10.1007/978-3-319-05206-9
_2doi
035 _ato000542934
040 _aSpringer
_cSpringer
_dRU-ToGU
050 4 _aBC1-199
072 7 _aHPL
_2bicssc
072 7 _aPHI011000
_2bisacsh
082 0 4 _a160
_223
100 1 _aKapsner, Andreas.
_eauthor.
_9448245
245 1 0 _aLogics and Falsifications
_helectronic resource
_bA New Perspective on Constructivist Semantics /
_cby Andreas Kapsner.
260 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2014.
300 _aX, 217 p. 18 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aTrends in Logic, Studia Logica Library,
_x1572-6126 ;
_v40
505 0 _aIntroduction -- Part 1. Background -- Introduction to Part One -- Constructivism -- Intuitionism -- Gaps, Gluts and Paraconsistency -- Part 2. Falsifications -- Introduction to Part Two -- From Proofs to Verifications, and on to Falsifications -- Falsificationism -- Part 3. Logics -- Introduction to Part Three -- Stage Five: Pure Falsificationism and Dual Intuitionistic Logic -- Stage Two: Expanded Verificationism and the Logic N3 -- Stage Four -- Stage Three: Hybrid Strategies -- Summary -- Appendix.
520 _aThis volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that Michael Dummett has offered over the last decades. From there, the author examines the ways in which falsifications can enter into a constructivist semantics, displays the full spectrum of options, and discusses the logical systems most suitable to each one of them. While the idea of introducing falsifications into the semantic account is Dummett's own, the many ways in which falsificationism departs quite radically from verificationism are here spelled out in detail for the first time. The volume is divided into three large parts. The first part provides important background information about Dummett’s program, intuitionism and logics with gaps and gluts. The second part is devoted to the introduction of falsifications into the constructive account, and shows that there is more than one way in which one can do this. The third part details the logical effects of these various moves. In the end, the book shows that the constructive path may branch in different directions: towards intuitionistic logic, dual intuitionistic logic and several variations of Nelson logics. The author argues that, on balance, the latter are the more promising routes to take. "Kapsner’s book is the first detailed investigation of how to incorporate the notion of falsificatio n into formal logic. This is a fascinating logico-philosophical investigation, which will interest non-classical logicians of all stripes." Graham Priest, Graduate Center, City University of New York and University of Melbourne.
650 0 _aPhilosophy (General).
_9566367
650 0 _alogic.
_9295753
650 0 _aLinguistics
_xPhilosophy.
_9310700
650 0 _aTranslators (Computer programs).
_9306125
650 1 4 _aPhilosophy.
_9138650
650 2 4 _aLogic.
_9295753
650 2 4 _aLanguage Translation and Linguistics.
_9304148
650 2 4 _aPhilosophy of Language.
_9309813
710 2 _aSpringerLink (Online service)
_9143950
773 0 _tSpringer eBooks
830 0 _aTrends in Logic, Studia Logica Library,
_9312728
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-05206-9
912 _aZDB-2-SMA
999 _c400052