Abstract
The Hooded Man Paradox of Eubulides concerns the apparent failure of the substitutivity of identicals in epistemic (and other intentional) contexts. This paper formulates a number of different versions of the paradox and shows how these may be solved using semantics for quantified epistemic logic. In particular, two semantics are given which invalidate substitution, even when rigid designators are involved.
Similar content being viewed by others
REFERENCES
Boër, S. E. and Lycan, W. G.: 1986, Knowing Who, MIT Press, Cambridge, MA.
Boh, I.: 1993, Epistemic Logic in the Later Middle Ages, Routledge, London.
Bressan, A.: 1972, A General Interpreted Modal Calculus, Yale University Press, New Haven, CT.
Fitting, M. and Mendelsohn, R.: 1998, First Order Modal Logic, Kluwer Academic Publishers, Dordrecht.
Frege, G.: 1952, On sense and reference, in P. Geach and M. Black (trans.), Translations from the Writings of Gottlob Frege, Basil Blackwell, Oxford.
Gupta, A.: 1980, The Logic of Common Nouns, Yale University Press, New Haven, CT.
Hicks, R. D. (trans.): 1925, Diogenes Laertius: Lives of Eminent Philosophers, Harvard University Press, Cambridge, MA.
Hintikka, J.: 1962, Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca, NY.
Hintikka, J.: 1971, Semantics for propositional attitudes, Ch. 10 of Linsky (1971).
Horcutt, M. O.: 1972, Is epistemic logic possible?, Notre Dame J. Formal Logic 13, 433-453.
Hughes, G. E. and Cresswell, M.: 1968, Introduction to Modal Logic, Methuen, London.
Kaplan, D.: 1971, Quantifying in, Ch. 9 of Linsky (1971).
Kneale, W. and Kneale, M.: 1962, The Development of Logic, Clarendon Press, Oxford.
Kripke, S.: 1979, A puzzle about belief, in A. Margalit (ed.), Meaning and Use, Reidel, Dordrecht, pp. 239-283.
Kripke, S.: 1980, Naming and Necessity, Basil Blackwell, Oxford.
Lewis, D.: 1968, Counterpart theory and quantified modal logic, J. Philos. 65, 113-126; reprinted as Ch. 3 of Philosophical Papers, Vol. 1, Oxford University Press, Oxford, 1983.
Linsky, L.: 1971, Reference and Modality, Oxford University Press, Oxford.
Parks, Z.: 1974, Semantics for contingent identity systems, Notre Dame J. Formal Logic 15, 333-334.
Parks, Z.: 1976, Investigations into quantified modal logic, Studia Logica 35, 109-125.
Parks, Z. and Smith, T. L.: 1974, The inadequacy of Hughes and Cresswell's semantics for contingent identity systems, Notre Dame J. Formal Logic 15, 331-332.
Priest, G.: 2000, Objects of thought, Australasian J. Philos. 78, 494-502.
Priest, G.: 2001, An Introduction to Non-Classical Logic, Cambridge University Press, Cambridge.
Quine, W. V. O.: 1971, Quantifiers and propositional attitudes, Ch. 8 of Linsky (1971).
Rantala, V.: 1982, Impossible world semantics and logical omniscience, Acta Philosophica Fennica 35, 106-115.
Salmon, N.: 1986, Frege's Puzzle, Ridgeview Publishing Co., Atascadero, CA.
Salmon, N.: 1995, Being in two minds: Belief with doubt, Noûs 29, 1-20.
Yi, B.: 1999, Is two a property?, J. Philos. 96, 163-190.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Priest, G. The Hooded Man. Journal of Philosophical Logic 31, 445–467 (2002). https://doi.org/10.1023/A:1020153327867
Issue Date:
DOI: https://doi.org/10.1023/A:1020153327867