El problema de Gettier es un problema de gnoseología moderna que surge al presentar contraejemplos a la definición de la lógica proposicional del "conocimiento" como "creencia verdadera justificada" (CVJ).