What’s Wrong with Tonk(?)

  title={What’s Wrong with Tonk(?)},
  author={Roy T. Cook},
  journal={Journal of Philosophical Logic},
  • R. Cook
  • Published 2005
  • Philosophy, Computer Science
  • Journal of Philosophical Logic
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

Talking with Tonkers
© 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 logicExpand
Prior’s tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism
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
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
  • J. Peregrin
  • 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
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
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, weExpand
What is inferentialism?
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 coinedExpand
A Proof-Theoretic Defence of Meaning-Invariant Logical Pluralism
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 theExpand
Hopeful Monsters: A Note on Multiple Conclusions
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 thisExpand


The logic of paradox
  • G. Priest
  • 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
Introduction 1. Representational semantics 2. Tarski on logical truth 3. Interpretational semantics 4. Interpreting quantifiers 5. Modality and consequence 6. The reduction principle 7. SubstantiveExpand
Analetheism and dialetheism
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
The Description for this book, Entailment: The Logic of Relevance and Necessity. Vol. I, will be forthcoming.
Tonk, Plonk and Plink
The Runabout Inference-Ticket