Clear all
Work #660 · Mid

The Concept of Truth in Formalized Languages

Alfred Tarski
1933 (Polish); 1935 (German); 1956 (English) · Polish
Mathematical-logical paper on semantics · Foundations of semantics / analytic philosophy

Tarski's 1933/35 foundational paper on the semantic theory of truth — "snow is white" is true iff snow is white

Attribute Fingerprint

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

Attribute The Concept of Truth in Formalized Languages (Mid)
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 Partial
Observer · Knowledge Retainment Total
Observer · Physicality Embodied
Observer · Agency Both
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 Continuous

Dimension-by-Dimension Evidence

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

Time

The Concept of Truth in Formalized Languages

The eternal time of truth-predicate semantic relation.

Space

The Concept of Truth in Formalized Languages

The formal-semantic space of object and meta language.

Matter

The Concept of Truth in Formalized Languages

The world spoken of in language.

Observer

The Concept of Truth in Formalized Languages

The semantic theorist.

Energy

The Concept of Truth in Formalized Languages

Energies of semantic satisfaction.

Information

The Concept of Truth in Formalized Languages

Foundational semantic-truth framework.

Internal Tensions

Where each work's argument pulls against itself.

The Concept of Truth in Formalized Languages

Tarski's semantic theory of truth foundational for Davidson, Quine, Williamson, and analytic philosophy of language.