Then the name is a part of the true proposition?

Another interesting example is the set of all true "reachable" propositions in an axiomatic system.

There is at least one true proposition (because of 1.

A judgment is a thought which states a true proposition.

And in what sense is a law of nature an "immutably true" proposition?

But of course a true proposition is more apt to be interesting than a false one.

In their view, this makes the proposition "God exists", not true or false, but meaningless.

Anything implied by a true elementary proposition is true.

Instead of only assigning propositions true or false, it also allows for a value representing ignorance.

Surely facts (or true propositions) reflect the world rather than affect it.