Proof and Falsity: A Logical Investigation

Nils Kürbis challenges the definition of negation in proof-theoretic semantics and proposes a new system of natural deduction that incorporates both truth and falsity. This book will be of interest to readers in logic, metaphysics, and the philosophy of language.

Format: Paperback / softback
Length: 316 pages
Publication date: 02 September 2021
Publisher: Cambridge University Press

This book makes a compelling argument that the meaning of negation, widely considered one of the most fundamental logical constants, cannot be adequately defined within the framework of the most comprehensive theory of proof-theoretic semantics, as formulated by influential scholars like Michael Dummett and Dag Prawitz. Nils Kürbis delves into three approaches that have been proposed to address this challenge: defining negation in terms of metaphysical incompatibility, treating negation as an undefinable primitive, and defining negation in terms of a speech act of denial. He meticulously examines each of these approaches and concludes that they fall short in adequately capturing the essence of negation.

Kürbis argues that proof-theoretic semantics, traditionally focused on truth, must also incorporate a notion of falsity to fully understand the nature of negation. He presents a novel system of natural deduction that incorporates both truth and falsity, offering fresh perspectives on negation, denial, and falsity. This book will be of significant interest to readers engaged in logic, metaphysics, and the philosophy of language, as it sheds light on these fundamental concepts and provides new insights into their intricacies.

Weight: 546g
Dimension: 168 x 243 x 22 (mm)
ISBN-13: 9781108716727