more on this theme     |     more from this thinker


Single Idea 13340

[filed under theme 5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction ]

Full Idea

It has been found useful in defining semantical concepts to deal first with the concept of satisfaction; both because the definition of this concept presents relatively few difficulties, and because the other semantical concepts are easily reduced to it.

Gist of Idea

Satisfaction is the easiest semantical concept to define, and the others will reduce to it

Source

Alfred Tarski (The Establishment of Scientific Semantics [1936], p.406)

Book Ref

Tarski,Alfred: 'Logic, Semantics, Meta-mathematics' [Hackett 1956], p.406


A Reaction

See Idea 13339 for his explanation of satisfaction. We just say that a open sentence is 'acceptable' or 'assertible' (or even 'true') when particular values are assigned to the variables. Then sentence is then 'satisfied'.

Related Idea

Idea 13339 A sentence is satisfied when we can assert the sentence when the variables are assigned [Tarski]


The 7 ideas from 'The Establishment of Scientific Semantics'

Semantics is the concepts of connections of language to reality, such as denotation, definition and truth [Tarski]
A language containing its own semantics is inconsistent - but we can use a second language [Tarski]
A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski]
'"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth [Tarski]
A sentence is satisfied when we can assert the sentence when the variables are assigned [Tarski]
Satisfaction is the easiest semantical concept to define, and the others will reduce to it [Tarski]
Using the definition of truth, we can prove theories consistent within sound logics [Tarski]