Greu de spus ce este cunoașterea. Cu cât se discută mai mult asupra acestui concept, cu atât mai multe sunt opiniile divergente. Epistemologia este teoria cunoașterii, iar una dintre întrebările caracteristice epistemologiei se referă la ce au în comun toate nenumăratele tipuri de cunoștințe pe care ni le atribuim. O distincție majoră între diferitele tipuri de cunoaștere este cunoașterea descriptivă, declarativă sau propozițională (care necesită un grad mai mare de sofisticare intelectuală din partea celui care caută cunoașterea) și cunoașterea cunoștințelor sau a abilităților.Pentru ca o descriere, declarație sau afirmație să fie cunoaștere, trebuie ca aceasta să fie o credință, să fie adevărată, și să fie justificată. O declarație de credință este o expresie a credinței în cineva sau ceva. Credința trebuie să fie adevărată pentru a fi cunoaștere. Platon, în Gorgias, susține că credința este cel mai frecvent invocat purtător de adevăr. În multe dintre dialogurile lui Platon, precum Menon și, în special, Theaitetos, Socrate consideră cunoașterea ca fiind credința adevărată explicată sau definită într-un fel. Justificarea credinței implică un motiv bun pentru a face acest lucru. Definiția cunoașterii ca o credință adevărată justificată a fost acceptată pe scară largă până în 1960, când filosoful american Edmund Gettier a provocat discuții majore pe scară largă.