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 falsification 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