Single Idea 10479

[catalogued under 5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=]

Full Idea

Tarski's definition of logical consequence (1936) is that in a fully interpreted formal language an argument is valid iff under any allowed interpretation of its nonlogical symbols, if the premises are true then so is the conclusion.

Gist of Idea

Logical consequence: true premises give true conclusions under all interpretations

Source

report of Alfred Tarski (works [1936]) by Wilfrid Hodges - Model Theory 3

Book Reference

'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.9


A Reaction

The idea that you can only make these claims 'under an interpretation' seems to have had a huge influence on later philosophical thinking.