Knot and Tonk: Nasty Connectives on Many-Valued Truth-Tables for Classical Sentential Logic
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Button, Timothy https://orcid.org/0000-0002-8865-9795
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.
Description
Keywords
5003 Philosophy, 50 Philosophy and Religious Studies
Journal Title
Analysis
Conference Name
Journal ISSN
0003-2638
1467-8284
1467-8284
Volume Title
Publisher
Oxford University Press (OUP)