When1: 1935
When2: 1983
Who: Alfred Tarski [Tarski, Alfred]
What: logician/mathematician
Where: Poland/USA
works\ Concept of Truth in Formalized Languages [1933]; On the Concept of Logical Consequence [1936]; Introduction to Logic and to the Methodology of Deductive Science [1937]; Semantic Conception of Truth [1944]; Undecidable Theories [1953]; Axiomatic Method: with special reference to geometry and physics [1957]; Equational logic and equational theories of algebra [1968]; Logic, Semantics and Metamathematics [1983]
Detail: He lived 1902 to 1983, founded modern logical theory, studied part and whole relations {mereology, Tarski}, helped develop quantum logic, and invented Banach-Tarski theorem.
Convention establishes basic-linguistic-element use and meaning {basic vocabulary}, which can construct complex term and sentence meanings {compositional semantics} {recursive semantics}.
Formal languages have consistent syntax, in which sentences form correctly or not. Formal language uses objects to replace language variables and predicates to replace language functions {interpretation, Tarski}. Truth is about interpretation {semantic theory of truth}. Determining truth requires defining what constitutes satisfying interpretation {satisfaction, Tarski}, which requires metalanguage {Tarski's theorem}. Formal languages have true interpretations {model, Tarski}. Premise sets can be models. If premise model is sentence model, sentences are premise-set consequences {theory of logical consequence} {logical consequence theory}.
For two sentence systems, sentences in one system can derive from sentences in other system {equipollence, Tarski}.
Mathematical Sciences>Mathematics>History>Logic
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224