Work Classification Layer
Compare Works
Pick two or more works to set their attribute fingerprints, dimension-by-dimension passages, and shared school embodiments side by side. Especially useful for author-stage comparisons (Wittgenstein early vs late) and for setting a single tradition's foundational texts against each other.
Formal Logic
Prior's 1955 textbook — comprehensive presentation of modern formal logic with historical and philosophical context
Attribute Fingerprint
Rows where works disagree are highlighted in gold. The full ontology grid is shown.
| Attribute | Formal Logic (Early) |
|---|---|
| Time · Extent | Infinite |
| Time · Ontological Status | Substantival |
| Time · Grain | Discrete |
| Time · Freedom | Deterministic |
| Time · Traversability | Linear |
| Time · Dimensionality | One |
| Time · Direction | Uni-directional |
| Space · Extent | Infinite |
| Space · Ontological Status | Substantival |
| Space · Curvature | Flat |
| Space · Dimensionality | Three |
| Space · Locality | Non-Local |
| Matter · Extent | Infinite |
| Matter · Ontological Status | Substantival |
| Matter · Conservation | Conserved |
| Matter · Dimensionality | Three |
| Matter · Locality | Non-Local |
| Observer · Time Instance | Single |
| Observer · Space Instance | Single |
| Observer · Knowledge Extent | Total |
| Observer · Knowledge Retainment | Total |
| Observer · Physicality | Embodied |
| Observer · Agency | Active |
| Observer · Number | Plural |
| Observer · Metaphysical Agency | None |
| Observer · Moral Authority | Reason |
| Observer · Theological Method | — |
| Energy · Extent | Infinite |
| Energy · Ontological Status | Substantival |
| Energy · Conservation | Conserved |
| Energy · Dispersibility | Irreversible |
| Information · Ontological Status | Substantival |
| Information · Cosmic Conservation | Conserved |
| Information · Personal Conservation | Conserved |
| Information · Granularity | Discrete |
Dimension-by-Dimension Evidence
What each work's passages reveal about its stance on each of the six dimensions.
Time
Formal Logic
The 1955 mid-twentieth-century analytic-logical moment; the deeper historical sweep of logical inquiry.
Space
Formal Logic
The Manchester-Oxford analytic-philosophical setting.
Matter
Formal Logic
The formal-logical apparatus the textbook expounds.
Observer
Formal Logic
The analytic-philosophical student as proper addressee.
Energy
Formal Logic
The intellectual energies of mid-twentieth-century analytic logic.
Information
Formal Logic
The systematic logical content of the textbook.
Internal Tensions
Where each work's argument pulls against itself.
Formal Logic was rapidly superseded as a textbook by more strictly-mathematical-logical successors; its historical-philosophical depth has kept it valued by historians of logic.