Notre Dame Journal of Formal Logic

Inclosures, Vagueness, and Self-Reference

Graham Priest


In this paper, I start by showing that sorites paradoxes are inclosure paradoxes. That is, they fit the Inclosure Scheme which characterizes the paradoxes of self-reference. Given that sorites and self-referential paradoxes are of the same kind, they should have the same kind of solution. The rest of the paper investigates what a dialetheic solution to sorites paradoxes is like, connections with a dialetheic solution to the self-referential paradoxes, and related issues—especially so called "higher order" vagueness.

Article information

Notre Dame J. Formal Logic, Volume 51, Number 1 (2010), 69-84.

First available in Project Euclid: 4 May 2010

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 03B52: Fuzzy logic; logic of vagueness [See also 68T27, 68T37, 94D05] 03B53: Paraconsistent logics
Secondary: 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30}

sorites paradoxes vagueness paradoxes of self-reference inclosure schema paraconsistency extended paradoxes higher order vagueness


Priest, Graham. Inclosures, Vagueness, and Self-Reference. Notre Dame J. Formal Logic 51 (2010), no. 1, 69--84. doi:10.1215/00294527-2010-005.

Export citation


  • [1] Beall, J. C., Transparent Disquotationalism, edited by J. C. Beall and B. Armour-Garb, Oxford University Press, Oxford, 2005.
  • [2] Colyvan, M., "Vagueness and truth", pp. 29--40 in From Truth to Reality: New Essays in Logic and Metaphysics, edited by H. Dyke, Routledge, London, 2008.
  • [3] Dummett, M., Frege: Philosophy of Mathematics, Duckworth, London, 1991.
  • [4] Dummett, M., "The philosophical significance of Gödel's theorem", Ratio, vol. 5 (1963), pp. 140--55. Reprinted in Dummett's Truth and Other Enigmas, Oxford: Oxford University Press, 1978.
  • [5] Field, H., Saving Truth from Paradox, Oxford University Press, Oxford, 2008.
  • [6] Hyde, D., "From heaps and gaps to heaps of gluts", Mind, vol. 106 (1997), pp. 641--60.
  • [7] McGee, V., Truth, Vagueness, and Paradox. An Essay on the Logic of Truth, Hackett Publishing Co., Indianapolis, 1990.
  • [8] Priest, G., "Paraconsistent logic", pp. 287--393 in Handbook of Philosophical Logic, edited by D. Gabbay and F. Guenthner, 2d edition, vol. 6, Kluwer Academic Publishers, 2002.
  • [9] Priest, G., "A site for sorites", pp. 9--23 in Liars and Heaps. New Essays on Paradox, edited by J. C. Beall, Oxford University Press, Oxford, 2003.
  • [10] Priest, G., "Non-transitive identity", pp. 406--16 in Cuts and Clouds: Essays in the Nature and Logic of Vagueness, edited by R. Dietz and S. Moruzzi, Oxford University Press, Oxford, 2009.
  • [11] Priest, G., In Contradiction. A Study of the Transconsistent, vol. 39 of Nijhoff International Philosophy Series, Martinus Nijhoff Publishers, Dordrecht, 1987. References are to the second, extended, edition. Oxford: Oxford University Press, 2006.
  • [12] Priest, G., Beyond The Limits of Thought, Cambridge University Press, Cambridge, 1995. References are to the second, extended, edition. Oxford: Oxford University Press, 2002.
  • [13] Priest, G., An Introduction to Non-classical Logic. From If to Is, 2d edition, Cambridge Introductions to Philosophy. Cambridge University Press, Cambridge, 2008.
  • [14] Shapiro, S., and C. Wright, "All things indefinitely extensible", Chapter 10 in Absolute Generality, edited by A. Rayo and G. Uzquiano, Oxford University Press, Oxford, 2006.