Knot and Tonk: Nasty connectives on many-valued truth-tables for classical sentential logic
View / Open Files
Authors
Publication Date
2015Journal Title
Analysis
ISSN
0003-2638
Publisher
Oxford University Press
Language
English
Type
Article
This Version
AM
Metadata
Show full item recordCitation
Button, T. (2015). Knot and Tonk: Nasty connectives on many-valued truth-tables for classical sentential logic. Analysis https://www.repository.cam.ac.uk/handle/1810/252396
Abstract
Prior’s Tonk is a famously horrible connective. It is defined by its inference rules. My aim in this paper is to compare Tonk with some hitherto unnoticed nasty connectives, which are defined in semantic terms. I first use many-valued truth-tables for classical sentential logic to define a nasty connective, Knot. I then argue that we should refuse to add Knot to our language. And I show that this reverses the standard dialectic surrounding Tonk, and yields a novel solution to the problem of many-valued truthtables for classical sentential logic. I close by outlining the technicalities surrounding nasty connectives on many-valued truth-tables.
Identifiers
This record's URL: https://www.repository.cam.ac.uk/handle/1810/252396
Rights
Licence:
http://www.rioxx.net/licenses/all-rights-reserved