Logics and Falsifications

A New Perspective on Constructivist Semantics

  • Andreas Kapsner

Part of the Trends in Logic book series (TREN, volume 40)

Table of contents

  1. Front Matter
    Pages i-x
  2. Andreas Kapsner
    Pages 1-7
  3. Background

    1. Front Matter
      Pages 9-10
    2. Andreas Kapsner
      Pages 11-29
    3. Andreas Kapsner
      Pages 31-55
    4. Andreas Kapsner
      Pages 57-79
  4. Falsifications

    1. Front Matter
      Pages 81-83
    2. Andreas Kapsner
      Pages 105-122
  5. Logics

    1. Front Matter
      Pages 123-124
    2. Andreas Kapsner
      Pages 175-193
  6. Summary

    1. Front Matter
      Pages 195-195
    2. Andreas Kapsner
      Pages 197-201
  7. Back Matter
    Pages 203-217

About this book


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


Analetheism Anti-Realism Constructive Logic Dialetheism Falsificationism Faultless Disagreement Intuitionistic Logic Kripke Semantics Michael Dummett Nelson Logic Paraconsistent Logic, Gluts Philosophical Logic Strong Negation

Authors and affiliations

  • Andreas Kapsner
    • 1
  1. 1.Munich Center of Mathematical PhilosophyLudwig-Maximilians-UniversitätMunichGermany

Bibliographic information