display all the ideas for this combination of philosophers
1 idea
13341 | Using the definition of truth, we can prove theories consistent within sound logics [Tarski] |
Full Idea: Using the definition of truth we are in a position to carry out the proof of consistency for deductive theories in which only (materially) true sentences are (formally) provable. | |
From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.407) | |
A reaction: This is evidently what Tarski saw as the most important first fruit of his new semantic theory of truth. |