# What’s Wrong with Tonk(?)

@article{Cook2005WhatsWW, title={What’s Wrong with Tonk(?)}, author={Roy T. Cook}, journal={Journal of Philosophical Logic}, year={2005}, volume={34}, pages={217-226} }

In "The Runabout Inference Ticket" A. N. Prior (1960) examines the idea that logical connectives can be given a meaning solely in virtue of the stipulation of a set of rules governing them, and thus that logical truth/consequence can be explicated in terms of the meanings (so understood) of the logical connectives involved. He proposes a counterexample to such a view, his notorious binary connective tonk (which I will symbolize as 0), whose meaning is given by the following introduction and… Expand

#### Topics from this paper

#### 30 Citations

Talking with Tonkers

- Philosophy
- 2015

© 2015, Jared Warren This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License <www.philosophersimprint.org/015024/> A popular view in the philosophy of logic… Expand

Prior’s tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism

- Philosophy, Computer Science
- Synthese
- 2015

This article argues, on the basis of categorical inferentialism, that there is fully complete semantics of proofs for tonk, which allows for the unification of realist and antirealist conceptions of meaning by virtue of the categorical logical basis of metaphysics. Expand

HOW A SEMANTICS FOR TONK SHOULD BE

- Computer Science
- The Review of Symbolic Logic
- 2015

A semantics with non-transitive and non-reflexive entailment based on the idea that complex formulae are true or false relative to them being assessed as premise or as conclusion is developed. Expand

Logic and Natural Selection

- Mathematics, Computer Science
- Logica Universalis
- 2010

It is concluded that logic resides in the authors' language, in the shape of inferential rules governing the logical vocabulary of the language, which means that knowledge of (the laws of) logic is inseparable from the possession of the logical constants they govern. Expand

Tonk-A Full Mathematical Solution

- 2008

There is a long tradition (See e.g. [9, 10]) starting from [12], according to which the meaning of a connective is determined by the introduction and elimination rules which are associated with it.… Expand

Logica Universalis Logic and Natural Selection

- 2010

Is logic, feasibly, a product of natural selection? In this paper we treat this question as dependent upon the prior question of where logic is founded. After excluding other possibilities, we… Expand

What is inferentialism?

- 2011

Inferentialism is the conviction that to be meaningful in the distinctively human way, or to have a 'conceptual content', is to be governed by a certain kind of inferential rules. The term was coined… Expand

A Proof-Theoretic Defence of Meaning-Invariant Logical Pluralism

- Computer Science
- 2016

It is proposed that a connective is defined by those rules which are conservative and unique, while at the same time expressing only connective-induced structural information, which is the key to stabilizing the meaning of the connectives across multiple determinations of the consequence relation. Expand

Stanford Encyclopedia of Philosophy Sentence Connectives in Formal Logic

- 2016

Natural language sentence-linking words (like "and", "or'') have traditionally had aspects of their use simulated by corresponding connectives in various systems of fonnal logic. (In fact we use the… Expand

Hopeful Monsters: A Note on Multiple Conclusions

- Philosophy
- 2020

Arguments, the story goes, have one or more premises and only one conclusion. A contentious generalisation allows arguments with several disjunctively connected conclusions. Contentious as this… Expand

#### References

SHOWING 1-8 OF 8 REFERENCES

The logic of paradox

- Philosophy, Computer Science
- J. Philos. Log.
- 1979

A new way of handling the logical paradoxes is suggested, where instead of trying to dissolve them, or explain what has gone wrong, the authors should accept them and learn to come to live with them. Expand

The Concept of Logical Consequence

- Mathematics, Philosophy
- 1986

Introduction 1. Representational semantics 2. Tarski on logical truth 3. Interpretational semantics 4. Interpreting quantifiers 5. Modality and consequence 6. The reduction principle 7. Substantive… Expand

Analetheism and dialetheism

- Philosophy
- 2004

Graham Priest (1987) argues that dialetheism alone avoids familiar revenge problems, and in that respect enjoys expressive virtues that rival theories lack.1 In this paper we present a rival theory –… Expand

Entailment : the logic of relevance and necessity

- Computer Science
- 1975

The Description for this book, Entailment: The Logic of Relevance and Necessity. Vol. I, will be forthcoming.