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: Hardback
Length: 316 pages
Publication date: 09 May 2019
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. After thoroughly examining these approaches, Kürbis concludes that they fall short in adequately capturing the essence of negation. He argues that while proof-theoretic semantics typically relies on the notion of truth, it also requires the inclusion of a notion of falsity to fully understand the nature of negation. In response, Kürbis presents a novel system of natural deduction that incorporates both truth and falsity. This system offers fresh perspectives on negation, denial, and falsity, making it an invaluable resource for readers engaged in logic, metaphysics, and the philosophy of language. By exploring these complex concepts in greater detail, this book contributes to our understanding of the fundamental aspects of reasoning and truth-seeking.

Weight: 710g
Dimension: 181 x 254 x 24 (mm)
ISBN-13: 9781108481304