tms-premises-require-no-justification

IN premisesummaries/2026/08/24/wiki-Reason_maintenance.md

Created 2026-08-24T17:11:23+00:00

In a Truth Maintenance System, premises (fundamental assumptions) require no justification, while every non-premise node must have at least one valid justification to enter the belief set.

Summary

This sets the ground rule for what the system can and cannot accept: the foundational assumptions it is built on are taken as given without needing proof, but everything else must be backed by at least one valid line of reasoning before it is allowed into the working set of conclusions. In practice, this means the system will never silently adopt an unsupported claim — if a justification fails or is removed, the thing it supported drops out unless something else can still vouch for it.