HOME > 상세정보

상세정보

Logics and falsifications [electronic resource] : a new perspective on constructivist semantics

Logics and falsifications [electronic resource] : a new perspective on constructivist semantics

자료유형
E-Book(소장)
개인저자
Kapsner, Andreas.
서명 / 저자사항
Logics and falsifications [electronic resource] : a new perspective on constructivist semantics / Andreas Kapsner.
발행사항
Cham :   Springer International Publishing :   Imprint: Springer,   2014.  
형태사항
1 online resource (x, 217 p.) : ill.
총서사항
Trends in logic, studia logica library,1572-6126 ; 40
ISBN
9783319052069
요약
This 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.
일반주기
Title from e-Book title page.  
내용주기
Introduction -- 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.
서지주기
Includes bibliographical references and index.
이용가능한 다른형태자료
Issued also as a book.  
일반주제명
Philosophy. Logic. Language and languages --Philosophy. Computational linguistics.
바로가기
URL
000 00000nam u2200205 a 4500
001 000046047486
005 20200925170043
006 m d
007 cr
008 200916s2014 sz a ob 001 0 eng d
020 ▼a 9783319052069
040 ▼a 211009 ▼c 211009 ▼d 211009
050 4 ▼a P39
082 0 4 ▼a 401.43 ▼2 23
084 ▼a 401.43 ▼2 DDCK
090 ▼a 401.43
100 1 ▼a Kapsner, Andreas.
245 1 0 ▼a Logics and falsifications ▼h [electronic resource] : ▼b a new perspective on constructivist semantics / ▼c Andreas Kapsner.
260 ▼a Cham : ▼b Springer International Publishing : ▼b Imprint: Springer, ▼c 2014.
300 ▼a 1 online resource (x, 217 p.) : ▼b ill.
490 1 ▼a Trends in logic, studia logica library, ▼x 1572-6126 ; ▼v 40
500 ▼a Title from e-Book title page.
504 ▼a Includes bibliographical references and index.
505 0 ▼a Introduction -- 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 ▼a This 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.
530 ▼a Issued also as a book.
538 ▼a Mode of access: World Wide Web.
650 0 ▼a Philosophy.
650 0 ▼a Logic.
650 0 ▼a Language and languages ▼x Philosophy.
650 0 ▼a Computational linguistics.
830 0 ▼a Trends in logic, studia logica library; ▼v 40.
856 4 0 ▼u https://oca.korea.ac.kr/link.n2s?url=http://dx.doi.org/10.1007/978-3-319-05206-9
945 ▼a KLPA
991 ▼a E-Book(소장)

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/e-Book 컬렉션/ 청구기호 CR 401.43 등록번호 E14033545 도서상태 대출불가(열람가능) 반납예정일 예약 서비스 M

관련분야 신착자료