Alfred Tarski Quotes on Knowledge
Alfred Tarski was a Polish-American logician, mathematician, and philosopher and one of the founders of modern mathematical logic and model theory. This page collects quotes attributed to Alfred Tarski on the topic of knowledge, drawn from across the philosopher's works.
Quotes
-
Attributed to Alfred Tarski:
“Snow is white if and only if snow is white.”
-
Attributed to Alfred Tarski:
“Truth in a formalized language can be defined by recursion on the structure of its sentences.”
-
Attributed to Alfred Tarski:
“Logic must distinguish object language from metalanguage to escape the liar.”
-
Attributed to Alfred Tarski:
“A theory may admit several non-isomorphic models, each as legitimate as the others.”
-
Attributed to Alfred Tarski:
“Decidability is the dream and rarely the reality of formal systems.”