Truthmaker

A truthmaker for a truthbearer is that entity in virtue of which the truthbearer is true. Philosophers have speculated on the question whether every truthbearer requires a truthmaker. Parmenides' classic claim that what does not exist cannot be thought about has been read as a claim that every truthbearer must have a truthmaker, since otherwise the truthbearer is not about anything. A falsemaker for a proposition is that existent reality in virtue of which that proposition is false, assuming it is false.