Skip to main content
Log in

ON THE LOGICAL UNSOLVABILITY OF THE GETTIER PROBLEM

  • Published:
Synthese Aims and scope Submit manuscript

Abstract

The tripartite account of propositional, fallibilist knowledge that p as justified true belief can become adequate only if it can solve the Gettier Problem. However, the latter can be solved only if the problem of a successful coordination of the resources (at least truth and justification) necessary and sufficient to deliver propositional, fallibilist knowledge that p can be solved. In this paper, the coordination problem is proved to be insolvable by showing that it is equivalent to the ''coordinated attack'' problem, which is demonstrably insolvable in epistemic logic. It follows that the tripartite account is not merely inadequate as it stands, as proved by Gettier-type counterexamples, but demonstrably irreparable in principle, so that efforts to improve it can never succeed.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

REFERENCES

  • Alston, W.: 1986, 'Epistemic Circularity', Philosophy and Phenomenological Research 47, 1–30.

  • Apel, K. O.: 1975, 'The Problem of Philosophical Fundamental-Grounding in Light of a Transcendental Pragmatic of Language', Man & World 8, 239–275.

    Article  Google Scholar 

  • Chisholm, R. M.: 1989, Theory of Knowledge, 3rd ed. Prentice-Hall, Englewood Cliffs.

    Google Scholar 

  • Crisp, T. M.: 2000, 'Gettier and Plantinga's Revised Account of Warrant', Analysis 60(265), 42–50.

    Article  Google Scholar 

  • Dancy, J.: 1985, An Introduction to Contemporary Epistemology, Blackwell, Oxford.

    Google Scholar 

  • Dancy, J. and E. Sosa (eds): 1992, A Companion to Epistemology, Blackwell Reference, Oxford.

    Google Scholar 

  • Everitt, N. and A. Fisher: 1995, Modern Epistemology: A New Introduction, McGraw-Hill, New York, London.

    Google Scholar 

  • Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi: 1995, Reasoning About Knowledge, MIT Press, Cambridge, MA, London.

    Google Scholar 

  • Floridi, L.: 1996, Scepticism and the Foundation of Epistemology: A Study in the Metalogical Fallacies, Brill, Leiden.

    Google Scholar 

  • Gettier, E.: 1963, 'Is Justified True Belief Knowledge?', Analysis 23, 121–123.

    Article  Google Scholar 

  • Goldman, A.: 1967, 'A Causal Theory of Knowing', Journal of Philosophy 64(12), 355–372.

    Article  Google Scholar 

  • Gray, J. N.: 1978, 'Notes on Database Operating Systems', in R. Bayer, R. Graham, and G. Seegmuller (eds), Operating Systems: An Advanced Course, Springer-Verlag, Berlin, pp. 393–481.

    Chapter  Google Scholar 

  • Greco, J. and E. Sosa (eds): 1999, The Blackwell Guide to Epistemology, Blackwell Publishers, Oxford.

    Google Scholar 

  • Griffiths, A. P. (ed.): 1967, Knowledge and Belief, Oxford University Press, London.

    Google Scholar 

  • Halpern, J. and B. Tuttle: 1993, 'Knowledge, Probability and Adversaries', Journal of the Association for Computing Machinery 40, 917–962.

    Article  Google Scholar 

  • Halpern, J. Y.: 1995, 'Reasoning About Knowledge: A Survey', in D. Gabbay, C. J. Hogger, and J. A. Robinson (eds), Handbook of Logic in Artificial Intelligenceand Logic Programming, Oxford University Press, Oxford, pp. 1–34. A version of the paper similar to the published version is available in postscript and pdf from http://www.cs.cornell.edu/home/halpern/abstract.html.

    Google Scholar 

  • Halpern, J. Y. and Y. Moses: 1990, 'Knowledge and Common Knowledge in a Distributed Environment', Journal of the Association for Computing Machinery 37(3), 549–587.

    Article  Google Scholar 

  • Hetherington, S. C.: 1996, Knowledge Puzzles: An Introduction to Epistemology, Westview Press, Boulder, CO, Oxford.

    Google Scholar 

  • Kirkham, R. L. 1984, 'Does the Gettier Problem Rest on a Mistake?', Mind 93, 501–513.

    Article  Google Scholar 

  • Lenzen, W.: 1978, Recent Work in Epistemic Logic, North-Holland, Amsterdam.

  • Morris, S. and H. S. Shin: 1997, 'Approximate Common Knowledge and Co-ordination: Recent Lessons from Game Theory', Journal of Logic, Language and Information 6, 171–190.

    Article  Google Scholar 

  • Nozick, R: 1981, Philosophical Explanation, Harvard University Press, Cambridge, MA.

    Google Scholar 

  • Pappas, G. S. (ed.): 1979, Justification and Knowledge: New Studies in Epistemology, Reidel, Dordrecht, Holland; Boston.

    Google Scholar 

  • Pappas, G. S. and M. Swain (ed.): 1978, Essays on Knowledge and Justification, Cornell University Press, Ithaca, London.

    Google Scholar 

  • Pease, M., R. Shostak, and L. Lamport: 1980, 'Reaching Agreement in the Presence of Faults', Journal of the Association for Computing Machinery 27(2), 228–234.

    Article  Google Scholar 

  • Plantinga, A.: 1993a, Warrant: The Current Debate, Oxford University Press, New York, Oxford.

    Book  Google Scholar 

  • Plantinga, A.: 1993b, Warrant and Proper Function, Oxford University Press, Oxford.

    Book  Google Scholar 

  • Pust, J.: 2000, 'Warrant and Analysis', Analysis 60 (265), 51–57.

    Article  Google Scholar 

  • Roth, M. D. and L. Galis (ed.): 1970, Knowing: Essays in the Analysis of Knowledge, Random House, New York.

    Google Scholar 

  • Schreiber, D. S. G.: 1987, 'The Illegitimacy of Gettier Examples', Metaphilosophy 18, 49–54.

    Article  Google Scholar 

  • Shope, R. K.: 1983, The Analysis of Knowing: A Decade of Research, Princeton University Press, Princeton.

    Google Scholar 

  • Steup, M.: 1996, An Introduction to Contemporary Epistemology, Prenctice Hall, Upper Saddle River.

    Google Scholar 

  • Steup, M.: 2001, 'The Analysis of Knowledge', Stanford Encyclopedia of Knowledge, http://plato.stanford.edu/entries/knowledge-analysis/.

  • Wooldridge, M. J.: 2002, An Introduction to Multiagent Systems, J. Wiley, Chichester.

    Google Scholar 

  • Zagzebski, L.: 1994, 'The Inescapability of Gettier Problems', Philosophical Quarterly 44(174), 65–73.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Floridi, L. ON THE LOGICAL UNSOLVABILITY OF THE GETTIER PROBLEM. Synthese 142, 61–79 (2004). https://doi.org/10.1023/B:SYNT.0000047709.27594.c4

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:SYNT.0000047709.27594.c4

Keywords

Navigation