Från Rilpedia

Korrespondensteorin för sanning beskriver sanning som korrespondens mellan en trosuppfattning och (vanligtvis) en yttervärld.

Det som gör trosuppfattningen "Detta äpple är grönt" sann, är om äpplet som åsyftas verkligen är grönt.

Något skall alltså "svara emot" en trosuppfattning. Vad detta något är, och hur det gör det, kan sägas vara en ontologisk fråga.

Jämför med Aristoteles sanningsdefinition.