Ramseying liars

Barry Hartley Slater

DOI: http://dx.doi.org/10.12775/LLP.2004.003


Despite the volume of discussion on the Liar Paradox recently, there is one stream of largely British thought on the matter which is hardly represented in the wider literature. This paper points out salient aspects of the history of this tradition, from its origin in forms of propositional quantification found in Ramsey, through to more precise symbolisations which have emerged more recently. But its purpose is to exposit, with respect to a number of contested cases, the ensuing results. Thus it goes on to apply the analysis to several other well known paradoxes, including one rarely discussed, which reveals more fully the consequent consistency and completeness of natural language.


Liar; Curry and Gödel Paradoxes; propositions; epsilon calculus

Full Text:



Brown, B., “Yes, virginia, there really are paraconsistent logics”, Journal of Philosophical Logic, 28 (1999): 489–500.

Goodstein, R.L., “On the formalisation of indirect discourse”, Journal of Symbolic Logic, 23 (1958): 417–419.

Haack, S., Philosophy of Logics, C.U.P., Cambridge, 1978.

Kneale,W., “Propositionsandtruthinnaturallanguages”, Mind,81(1972): 225–243.

Leisenring, A.C., Mathematical Logic and Hilbert’s Epsilon Symbol, Macdonald, London, 1969.

Priest, G.G., “A bedside readers guide to the conventionalist philosophy of mathematics”. In J. Bell, J. Cole, G. Priest, and A. Slomson (eds.), The Proceedings of the Bertrand Russell Memorial Logic Conference, Udlum, Denmark, 1971, Leeds University Press, Leeds, 1973.

Priest, G.G., “The logic of paradox”, Journal of Philosophical Logic, 8 (1979): 219–241.

Prior, A.N., Objects of Thought, O.U.P., Oxford, 1971.

Slater, B.H., “Prior’s analytic”, Analysis, 46 (1986): 76–81.

Slater, B.H., “Hilbertian reference”, Nous, 22 (1988): 283–97.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism