Prawda i fałsz są własnościami sądów, nie rzeczy ani aktów psychicznych.

typ prawdysens
ontologicznadotyczy stanu rzeczy
semantyczna (logiczna)własność zdania / sądu

Prawda semantyczna:

zdanie jest prawdziwe ↔ stan rzeczy jest taki, jak zdanie głosi

To klasyczna teoria korespondencyjna.