Béziau's Translation Paradox

Theoria 71 (2):138-181 (2005)
Authors
Lloyd Humberstone
Monash University
Abstract
Jean-Yves Béziau (‘Classical Negation can be Expressed by One of its Halves’, Logic Journal of the IGPL 7 (1999), 145–151) has given an especially clear example of a phenomenon he considers a sufficiently puzzling to call the ‘paradox of translation’: the existence of pairs of logics, one logic being strictly weaker than another and yet such that the stronger logic can be embedded within it under a faithful translation. We elaborate on Béziau’s example, which concerns classical negation, as well as giving some additional background (especially from intuitionistic logic) to the example. Our interest is more on the logical exploration of the phenomenon Béziau’s case exemplifies than on the question of whether that phenomenon is (even prima facie ) paradoxical, though in Section 5 we do approach the latter question – somewhat obliquely – by considering an analogous phenomenon which it is hard to find puzzling.
Keywords definition  Connectives  translational embeddings  negation
Categories (categorize this paper)
Reprint years 2008
DOI 10.1111/j.1755-2567.2005.tb01011.x
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 33,634
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal Logic.Alexander Chagrov - 1997 - Oxford University Press.
Introduction to Mathematical Logic.Alonzo Church - 1956 - Princeton: Princeton University Press.
The Logic of Provability.George S. Boolos - 1995 - Cambridge University Press.

View all 32 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total downloads
74 ( #83,170 of 2,260,021 )

Recent downloads (6 months)
2 ( #217,982 of 2,260,021 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature