Side 11 · Research substrate
Scientific publications
Logic studies validity, formal consequence, computability, proof and the limits of formal systems.
—publications
—direct
—adjacent
—methodological
How to read this layer.
Formal validity concerns relations between premises and conclusions inside a specified system. Truth of premises, empirical adequacy and practical relevance are separate questions.
DirectAdjacentMethodological
Mass rollout · Wave 9. Foundational work is prioritized over exhaustive coverage.
0 of 0 publications shown
Newest first · links open source records