tms-single-vs-multi-context-paraconsistency

IN premise — summaries/2026/08/24/wiki-Reason_maintenance.md

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

Single-context TMS maintains classical-logic consistency across all facts in memory; multi-context TMS enables paraconsistency by scoping consistency to a subset of facts tagged with logical inference history.

Summary

A single-context system treats every stored fact as part of one shared pool where any single contradiction can invalidate the whole thing. Multi-context instead lets you group facts by how they were derived, so a contradiction in one group doesn't drag the rest of the system down with it.