Proof and Falsity: A Logical Investigation

Nils Kürbis

doi:10.1017/9781108686792

Proof and Falsity: A Logical Investigation

Nils Kürbis

Philosophy

Research output: Book/Report › Book › peer-review

29 Citations (Scopus)

Abstract

This book argues that the meaning of negation, perhaps the most important logical constant, cannot be defined within the framework of the most comprehensive theory of proof-theoretic semantics, as formulated in the influential work of Michael Dummett and Dag Prawitz. Nils Kürbis examines three approaches that have attempted to solve the problem - defining negation in terms of metaphysical incompatibility; treating negation as an undefinable primitive; and defining negation in terms of a speech act of denial - and concludes that they cannot adequately do so. He argues that whereas proof-theoretic semantics usually only appeals to a notion of truth, it also needs to appeal to a notion of falsity, and proposes a system of natural deduction in which both are incorporated. Offering new perspectives on negation, denial and falsity, his book will be important for readers working on logic, metaphysics and the philosophy of language.

Original language	English
Publisher	Cambridge: Cambridge University Press.
Number of pages	320
ISBN (Electronic)	9781108686792
ISBN (Print)	9781108481304
DOIs	https://doi.org/10.1017/9781108686792
Publication status	Published - 2019

Keywords

Negation
Denial
Falsity
Truth
Proof theory
Logic

Access to Document

10.1017/9781108686792

https://www.cambridge.org/core/books/proof-and-falsity/15D593600E73AA48210ABE694BED6029#fndtn-information

Cite this

@book{b75198b9ecce40b2baeba4f48084b076,

title = "Proof and Falsity: A Logical Investigation",

abstract = "This book argues that the meaning of negation, perhaps the most important logical constant, cannot be defined within the framework of the most comprehensive theory of proof-theoretic semantics, as formulated in the influential work of Michael Dummett and Dag Prawitz. Nils K{\"u}rbis examines three approaches that have attempted to solve the problem - defining negation in terms of metaphysical incompatibility; treating negation as an undefinable primitive; and defining negation in terms of a speech act of denial - and concludes that they cannot adequately do so. He argues that whereas proof-theoretic semantics usually only appeals to a notion of truth, it also needs to appeal to a notion of falsity, and proposes a system of natural deduction in which both are incorporated. Offering new perspectives on negation, denial and falsity, his book will be important for readers working on logic, metaphysics and the philosophy of language.",

keywords = "Negation, Denial, Falsity, Truth, Proof theory, Logic",

author = "Nils K{\"u}rbis",

year = "2019",

doi = "10.1017/9781108686792",

language = "English",

isbn = "9781108481304",

publisher = "Cambridge: Cambridge University Press.",

}

TY - BOOK

T1 - Proof and Falsity

T2 - A Logical Investigation

AU - Kürbis, Nils

PY - 2019

Y1 - 2019

N2 - This book argues that the meaning of negation, perhaps the most important logical constant, cannot be defined within the framework of the most comprehensive theory of proof-theoretic semantics, as formulated in the influential work of Michael Dummett and Dag Prawitz. Nils Kürbis examines three approaches that have attempted to solve the problem - defining negation in terms of metaphysical incompatibility; treating negation as an undefinable primitive; and defining negation in terms of a speech act of denial - and concludes that they cannot adequately do so. He argues that whereas proof-theoretic semantics usually only appeals to a notion of truth, it also needs to appeal to a notion of falsity, and proposes a system of natural deduction in which both are incorporated. Offering new perspectives on negation, denial and falsity, his book will be important for readers working on logic, metaphysics and the philosophy of language.

AB - This book argues that the meaning of negation, perhaps the most important logical constant, cannot be defined within the framework of the most comprehensive theory of proof-theoretic semantics, as formulated in the influential work of Michael Dummett and Dag Prawitz. Nils Kürbis examines three approaches that have attempted to solve the problem - defining negation in terms of metaphysical incompatibility; treating negation as an undefinable primitive; and defining negation in terms of a speech act of denial - and concludes that they cannot adequately do so. He argues that whereas proof-theoretic semantics usually only appeals to a notion of truth, it also needs to appeal to a notion of falsity, and proposes a system of natural deduction in which both are incorporated. Offering new perspectives on negation, denial and falsity, his book will be important for readers working on logic, metaphysics and the philosophy of language.

KW - Negation

KW - Denial

KW - Falsity

KW - Truth

KW - Proof theory

KW - Logic

UR - https://www.cambridge.org/gb/academic/subjects/philosophy/logic/proof-and-falsity-logical-investigation?format=HB

U2 - 10.1017/9781108686792

DO - 10.1017/9781108686792

M3 - Book

SN - 9781108481304

BT - Proof and Falsity

PB - Cambridge: Cambridge University Press.

ER -

Proof and Falsity: A Logical Investigation

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this