Tonk Strikes Back∗

  • Denis Bonnay IHPST-CNRS, University Paris 1
  • Benjamin Simmenauer IHPST-CNRS, University Paris 1


What is a logical constant? In which terms should we characterize the meaning of logical words like “and”, “or”, “implies”? An attractive answer is: in terms of their inferential roles, i.e. in terms of the role they play in building inferences. More precisely, we favor an approach, going back to Dosen and Sambin, in which the inferential role of a logical constant is captured by a double line rule which introduces it as reflecting structural links (for example, multiplicative conjunction reflects comma on the right of the turnstyle). Rule-based characterizations of logical constants are subject to the well known objection of Prior’s fake connective, tonk. We show that some double line rules also give rise to such pseudo logical constants. But then, we are able to find a property of a double line rules which guarantee that it defines a genuine logical constant. Thus we provide an alternative answer to Belnap’s requirement of conservatity in terms of a local requirement on double line rules.


Download data is not yet available.

Author Biographies

Denis Bonnay, IHPST-CNRS, University Paris 1
Benjamin Simmenauer, IHPST-CNRS, University Paris 1
How to Cite
BONNAY, Denis; SIMMENAUER, Benjamin. Tonk Strikes Back∗. The Australasian Journal of Logic, [S.l.], v. 3, july 2005. ISSN 1448-5052. Available at: <>. Date accessed: 12 aug. 2020. doi: