Saved in:
| Main Author: | |
|---|---|
| Format: | Recurso digital |
| Language: | |
| Published: |
Zenodo
2025
|
| Online Access: | https://doi.org/10.5281/zenodo.15513894 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- <p>This work presents a formal proof of David Hume’s “is–ought” problem using the Theory of Ontological Conflicts (TOC). The core idea is that normative statements (what ought to be) cannot be derived from factual statements (what is) without an ontological level shift, captured by the semantic invariant Δμ. The proof demonstrates that any attempt to move from a factual proposition to a normative conclusion necessarily implies a non-zero ontological distance (Δμ > 0). This formalism establishes a logical boundary between observation and prescription, providing a structural foundation for Hume’s Law and setting limits on the moral capacities of AI systems. The result has implications for ethics, legal AI, and epistemology.</p>