An Argument for Minimal Logic

Nils Kürbis

doi:10.1111/1746-8361.12267

An Argument for Minimal Logic

Nils Kürbis

Philosophy

Research output: Contribution to journal › Article › peer-review

6 Citations (Scopus)

205 Downloads (Pure)

Abstract

The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and the logical constant ¬. A rule based account of the meanings of logical constants that appeals to the notion of incompatibility in the introduction rule for negation ensures the existence and uniqueness of the negation of every proposition. But it endows the negation operator with no more formal properties than those it has in minimal logic.

Original language	English
Pages (from-to)	31-63
Number of pages	33
Journal	DIALECTICA
Volume	73
Issue number	1-2
Early online date	21 Jul 2019
DOIs	https://doi.org/10.1111/1746-8361.12267
Publication status	E-pub ahead of print - 21 Jul 2019

Keywords

Negation
Falsity
Incompatibility
Parmenides
Plato
Logic

Access to Document

10.1111/1746-8361.12267

An Argument for Minimal Logic_KURBIS_Firstonline21July2019_GREEN AAMAccepted author manuscript, 201 KB

Cite this

@article{f0f94c0527124787ae1db4cccd60c2cf,

title = "An Argument for Minimal Logic",

abstract = "The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and the logical constant ¬. A rule based account of the meanings of logical constants that appeals to the notion of incompatibility in the introduction rule for negation ensures the existence and uniqueness of the negation of every proposition. But it endows the negation operator with no more formal properties than those it has in minimal logic.",

keywords = "Negation, Falsity, Incompatibility, Parmenides, Plato, Logic",

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

year = "2019",

month = jul,

day = "21",

doi = "10.1111/1746-8361.12267",

language = "English",

volume = "73",

pages = "31--63",

journal = "DIALECTICA",

issn = "0012-2017",

publisher = "Wiley-Blackwell",

number = "1-2",

}

TY - JOUR

T1 - An Argument for Minimal Logic

AU - Kürbis, Nils

PY - 2019/7/21

Y1 - 2019/7/21

N2 - The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and the logical constant ¬. A rule based account of the meanings of logical constants that appeals to the notion of incompatibility in the introduction rule for negation ensures the existence and uniqueness of the negation of every proposition. But it endows the negation operator with no more formal properties than those it has in minimal logic.

AB - The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and the logical constant ¬. A rule based account of the meanings of logical constants that appeals to the notion of incompatibility in the introduction rule for negation ensures the existence and uniqueness of the negation of every proposition. But it endows the negation operator with no more formal properties than those it has in minimal logic.

KW - Negation

KW - Falsity

KW - Incompatibility

KW - Parmenides

KW - Plato

KW - Logic

UR - http://www.scopus.com/inward/record.url?scp=85069437756&partnerID=8YFLogxK

U2 - 10.1111/1746-8361.12267

DO - 10.1111/1746-8361.12267

M3 - Article

SN - 0012-2017

VL - 73

SP - 31

EP - 63

JO - DIALECTICA

JF - DIALECTICA

IS - 1-2

ER -

An Argument for Minimal Logic

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this