JTB理論（Justified true belief）是知識論中對知識的一種定義，認為知識是“確證的真信念”。具體來說，是指當且僅當下面三個條件得到滿足時，“S知道P”這一命題才得以成立：
1.P為真；
2.S相信P為真；
3.S確證地或有理由相信P為真。
對於知識定義的這一理論受到了來自葛梯爾問題的反駁，其中提出即便上述三要素都得到滿足，在某些情況下仍不能說“S知道P”。對此，羅伯特·諾齊克提出了“真理追蹤”（truth-tracking），認為只要合理地闡明“確證”的意義，就能夠化解葛梯爾的反駁。他保留了原先JTB理論中的前兩個條件，並將第三個“確證”條件改為“如果P為非真，S就不相信P；如果P為真，S就相信P”。