more from Alfred Tarski

Single Idea 19195

[catalogued under 4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables]

Full Idea

Logical sentences are often assigned preliminary conditions under which they are true or false (often given as truth tables). However, these are outside the system of logic, and should not be regarded as definitions of the terms involved.

Gist of Idea

Truth tables give prior conditions for logic, but are outside the system, and not definitions


Alfred Tarski (The Semantic Conception of Truth [1944], 15)

Book Reference

'Semantics and the Philosophy of Language', ed/tr. Linsky,Leonard [University of Illinois 1972], p.29

A Reaction

Hence, presumably, the connectives are primitives (with no nature or meaning), and the truth tables are axioms for their use? This opinion of Tarski's may have helped shift the preference towards natural deduction introduction and elimination rules.