Evrim Ağacı Bilim Terimleri Sözlüğü, bilim dünyasında sıkça kullanılan terimlerin anlamlarını ve açıklamalarını içerir.
Geleneksel bilgi tanımının üç koşulundan ilki olan Doğruluk Koşulu, geleneksel olarak gerçeklik ya da olguya uygun olma anlamına gelir. Epistemolojide doğruluk ile ilgili ifadeler zihinsel yapı ve özelliklerden değil, zihnimizden bağımsız varlıklarla ifadelerimizin uygunluğu anlamına gelir. Burada doğrunun, olgularla tekabül etme ilişkisine dayanan tekabüliyet/benzeşme (correspondence) kuramını varsaymaktayız. Bu kuramdan yola çıkacak olursak, doğru olmayan şey bilinemez; bu açıdan bilginin ilk koşulu tanımlamış olur. Bu koşulu daha iyi anlamak adına şu soruyu kendimize tekrar sorabiliriz; “Doğru olmayan şey bilinebilir mi?”, “Bildiğimizi iddia ettiğimiz şeyin doğru olmaması mümkün mü?”. Çoğu epistemolog için iki sorunun cevabı da “Hayır.” şeklindedir. Çoğu epistemolog için bilinen, bilme eyleminin diğer tarafından bulunan belli türden bir gerçeklik varsayılmalıdır. Çünkü çoğu zaman x’i bilmek türünden bir eylem, belirli bir tür gerçekliği (x’in kendisini veya x’i bilen öznenin kendisini) varsayar. Birşeyin doğru olduğunu iddia ederken veya doğruluğa uygunluk kuramı ile düşünürken kast ettiğimiz çoğu zaman şudur: ifade ettiğimiz önerme (önerme doğru veya yanlış olabilen yargı cümleleridir lütfen unutmayın), işaret ettiği nesneye uygunluk sergiler. Yani “Duvar beyazdır” dediğim zaman, bu yargı bildiren cümle; yani önerme, eğer duvar beyaz ise işaret ettiğini nesneye uygundur. Öyleyse “Duvar beyazdır” önermesi doğrudur ve doğruluğu uygunluk kuramına uygundur.