Logics and falsifications : a new perspective on constructivist semantics / Andreas Kapsner.
Tipo de material:
TextoSeries Trends in Logic, Studia Logica Library ; 40Editor: Cham : Springer International Publishing : Springer, 2014Descripción: x, 217 páginas : 18 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319052069
- BC1-199
Contenidos:
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.
No hay ítems correspondientes a este registro
Springer eBooks
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.
Para consulta fuera de la UANL se requiere clave de acceso remoto.