Skip to content
MetalogicIntermediate12 minPlanned

Truth-Bearers

Sentences, statements, or propositions: what logic's validities are about

Planned, not yet written

This rung already has its place in the Metalogic ladder and a fixed job in the order. The prose is what is missing. Writing it out of sequence would break the guarantee that nothing here uses a term before an earlier article defines it.

Will definetruth-bearereternal sentence
Assumespropositiontype-token distinctiontruth