This lecture has been devoted to presenting the general framework of our thinking and a brief conceptual and historical overview. Although the project of defining knowledge goes back to Plato's Theaetetus, where it is presented as "true opinion endowed with reason ", it is in the contemporary philosophy of knowledge that the general framework has been systematically set for the undertaking to define our usual notion of knowledge, and to question the truth conditions of knowledge attributions of the form "X knows that P". Almost all analyses start from the traditional definition: the necessary conditions for a subject to know that P (have propositional knowledge) are :
a) that he believes that P (that he holds P to be true, the belief condition) ;
b) that P is true (condition of truth, or factivity), and
c) that he has a good reason, a good guarantee, or that he is fully justified in believing that P.