Filosofoek, ia ahobatez, bi egia moten arteko bereizketa onartu ohi dute. Alde batetik egia beharrezkoak eta egia kontingenteak bereizi eta bereizten dira. Lan honetan aipatutako bereizketaz ari gara, batez ere txanponaren alderdi bat jorratuz, egia beharrezkoak zertan diren aztertuz hain zuzen ere. Irakurleak bereizketaren jarraipen historikoa ere aurkituko du. Horrez gain, hiru testu berri-klasikoen itzulpena burutu dugu: Quineren enpirismoaren bi dogma, Tarskiren egia eta froga eta Kripkeren identitatea eta beharrezkotasuna.