Clear all
Work #1561 · Early

Semantical Considerations on Modal Logic

Saul Kripke
1963 · English
Mathematical-logical paper · Mathematical logic / modal logic

Kripke's 1963 systematic statement — quantified modal logic and the relations among modal systems

Attribute Fingerprint

Rows where works disagree are highlighted in gold. The full ontology grid is shown.

Attribute Semantical Considerations on Modal Logic (Early)
Time · Extent Infinite
Time · Ontological Status Substantival
Time · Grain Continuous
Time · Freedom Non-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 Local
Matter · Extent Infinite
Matter · Ontological Status Substantival
Matter · Conservation Conserved
Matter · Dimensionality Three
Matter · Locality Local
Observer · Time Instance Single
Observer · Space Instance Single
Observer · Knowledge Extent Mediated
Observer · Knowledge Retainment Partial
Observer · Physicality Embodied
Observer · Agency Active
Observer · Number Plural
Observer · Metaphysical Agency Impersonal
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 Non-conserved
Information · Granularity Continuous

Dimension-by-Dimension Evidence

What each work's passages reveal about its stance on each of the six dimensions.

Time

Semantical Considerations on Modal Logic

1963.

Space

Semantical Considerations on Modal Logic

Harvard / Princeton.

Matter

Semantical Considerations on Modal Logic

Single 12-page paper.

Observer

Semantical Considerations on Modal Logic

Early Kripke.

Energy

Semantical Considerations on Modal Logic

Systematic-logical energies.

Information

Semantical Considerations on Modal Logic

Single systematic paper.

Internal Tensions

Where each work's argument pulls against itself.

Semantical Considerations on Modal Logic

Together with the 1959 paper, set the framework for almost all subsequent modal logic.