El problema de Gettier es un problema en gnoseología moderna que surge al presentar contraejemplos a la definición clásica de conocimiento como «creencia verdadera justificada» y que obligan a modificar la definición.
Desde al menos el Teeteto de Platón,[1]​ la gnoseología contaba con una definición generalmente satisfactoria del conocimiento proposicional: si S es un sujeto y p una proposición, entonces S sabe que p si y sólo si:

S cree que p
p es verdadera
S está justificado en creer que pPor ejemplo, Newton sabe  que de alguna manera  tiene una manzana si y sólo si:

Newton cree que tiene una manzana
Es verdad que tiene una manzana
Newton está justificado en creer que tiene una manzanaSin embargo, en 1963, Edmund Gettier publicó un artículo de tres páginas titulado ¿Es el conocimiento creencia verdadera justificada? en el que argumentó que la definición clásica no es suficiente. Gettier mostró que hay casos en los que una creencia verdadera justificada puede fallar en ser conocimiento. Es decir, hay casos en los que los tres requisitos se cumplen, y sin embargo intuitivamente nos parece que no hay conocimiento. Retomando el ejemplo anterior, podría ser que Newton crea que tiene una manzana y esté justificado en ello (por ejemplo, porque parece una manzana), pero que sin embargo la manzana sea de cera. En ese caso, según la definición clásica, Newton no posee conocimiento, porque falta que sea verdad que tiene una manzana. Pero supongamos también que dentro de la manzana de cera hay otra manzana, más pequeña, pero real. Entonces Newton cumple con los tres requisitos: Newton cree que tiene una manzana; Newton está justificado en su creencia; y de hecho tiene una manzana. Sin embargo, intuitivamente nos parece que Newton no posee conocimiento, sino que solamente tuvo suerte (lo que se llama suerte epistémica).
Frente a este problema, muchos filósofos contemporáneos intentaron y aún intentan reparar la definición, dando lugar a nuevas corrientes gnoseológicas. Otros filósofos han propuesto problemas ligeramente diferentes, que se han incorporado a los contraejemplos enunciados por Gettier. El conjunto de estos problemas y el desafío que plantean a la cuestión ¿qué es conocer? recibe el nombre de el problema de Gettier. Aunque se han dedicado cientos de artículos a esta cuestión, no hay consenso respecto a la solución al problema general.[2]​ El problema de Gettier es uno de los motores principales de la gnoseología contemporánea.