From 537ee944328438dc14582441d347ee9a32dcf363 Mon Sep 17 00:00:00 2001 From: continuist Date: Mon, 21 Jul 2025 20:43:05 -0400 Subject: [PATCH] Update Argument_for_EMR.md --- Argument_for_EMR.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Argument_for_EMR.md b/Argument_for_EMR.md index 004e915..6c07f4e 100644 --- a/Argument_for_EMR.md +++ b/Argument_for_EMR.md @@ -3,7 +3,7 @@ ## Step 1: From Formal Describability to Ontological Identity 1. A **formal system** is a set of axioms, inference rules, and symbols capable of expressing truths about a domain. -2. If a domain (like reality) can be **fully and self-sufficiently described** by a formal system — such that no semantic interpretation or metaphysical foundation is required beyond that system — then **nothing external** to the system is needed to account for the domain’s structure. +2. If a domain (like reality, from the largest macrostructures to the smallest microstructures) can be **fully and self-sufficiently described** by a formal system — such that no semantic interpretation or metaphysical foundation is required beyond that system — then **nothing external** to the system is needed to account for the domain’s structure. 3. In such a case, the system is not merely a model of the domain; it **is** the domain in structure and function. **Conclusion 1**: If something is fully and self-sufficiently describable by a formal system, it **is** that formal system in ontological terms.