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.
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.
Chisholm, R. M.: 1989, Theory of Knowledge, 3rd ed. Prentice-Hall, Englewood Cliffs.
Crisp, T. M.: 2000, 'Gettier and Plantinga's Revised Account of Warrant', Analysis 60(265), 42–50.
Dancy, J.: 1985, An Introduction to Contemporary Epistemology, Blackwell, Oxford.
Dancy, J. and E. Sosa (eds): 1992, A Companion to Epistemology, Blackwell Reference, Oxford.
Everitt, N. and A. Fisher: 1995, Modern Epistemology: A New Introduction, McGraw-Hill, New York, London.
Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi: 1995, Reasoning About Knowledge, MIT Press, Cambridge, MA, London.
Floridi, L.: 1996, Scepticism and the Foundation of Epistemology: A Study in the Metalogical Fallacies, Brill, Leiden.
Gettier, E.: 1963, 'Is Justified True Belief Knowledge?', Analysis 23, 121–123.
Goldman, A.: 1967, 'A Causal Theory of Knowing', Journal of Philosophy 64(12), 355–372.
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.
Greco, J. and E. Sosa (eds): 1999, The Blackwell Guide to Epistemology, Blackwell Publishers, Oxford.
Griffiths, A. P. (ed.): 1967, Knowledge and Belief, Oxford University Press, London.
Halpern, J. and B. Tuttle: 1993, 'Knowledge, Probability and Adversaries', Journal of the Association for Computing Machinery 40, 917–962.
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.
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.
Hetherington, S. C.: 1996, Knowledge Puzzles: An Introduction to Epistemology, Westview Press, Boulder, CO, Oxford.
Kirkham, R. L. 1984, 'Does the Gettier Problem Rest on a Mistake?', Mind 93, 501–513.
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.
Nozick, R: 1981, Philosophical Explanation, Harvard University Press, Cambridge, MA.
Pappas, G. S. (ed.): 1979, Justification and Knowledge: New Studies in Epistemology, Reidel, Dordrecht, Holland; Boston.
Pappas, G. S. and M. Swain (ed.): 1978, Essays on Knowledge and Justification, Cornell University Press, Ithaca, London.
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.
Plantinga, A.: 1993a, Warrant: The Current Debate, Oxford University Press, New York, Oxford.
Plantinga, A.: 1993b, Warrant and Proper Function, Oxford University Press, Oxford.
Pust, J.: 2000, 'Warrant and Analysis', Analysis 60 (265), 51–57.
Roth, M. D. and L. Galis (ed.): 1970, Knowing: Essays in the Analysis of Knowledge, Random House, New York.
Schreiber, D. S. G.: 1987, 'The Illegitimacy of Gettier Examples', Metaphilosophy 18, 49–54.
Shope, R. K.: 1983, The Analysis of Knowing: A Decade of Research, Princeton University Press, Princeton.
Steup, M.: 1996, An Introduction to Contemporary Epistemology, Prenctice Hall, Upper Saddle River.
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.
Zagzebski, L.: 1994, 'The Inescapability of Gettier Problems', Philosophical Quarterly 44(174), 65–73.
Author information
Authors and Affiliations
Rights 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
Published:
Issue Date:
DOI: https://doi.org/10.1023/B:SYNT.0000047709.27594.c4