Alfred Tarski - Logician

Logician

Tarski's student, Vaught, has ranked Tarski as one of the four greatest logicians of all time --- along with Aristotle, Gottlob Frege, and Kurt Gödel. However, Tarski often expressed great admiration for Charles Sanders Peirce, particularly for his pioneering work in the logic of relations.

Tarski produced axioms for logical consequence, and worked on deductive systems, the algebra of logic, and the theory of definability. His semantic methods, which culminated in the model theory he and a number of his Berkeley students developed in the 1950s and 60s, radically transformed Hilbert's proof-theoretic metamathematics.

"In view, metamathematics became similar to any mathematical discipline. Not only its concepts and results can be mathematized, but they actually can be integrated into mathematics. ... Tarski destroyed the borderline between metamathematics and mathematics. He objected to restricting the role of metamathematics to the foundations of mathematics."

Tarski's 1936 article "On the concept of logical consequence" argued that the conclusion of an argument will follow logically from its premises if and only if every model of the premises is a model of the conclusion. In 1937, he published a paper presenting clearly his views on the nature and purpose of the deductive method, and the role of logic in scientific studies. His high school and undergraduate teaching on logic and axiomatics culminated in a classic short text, published first in Polish, then in German translation, and finally in a 1941 English translation as Introduction to Logic and to the Methodology of Deductive Sciences.

Tarski's 1969 "Truth and proof" considered both Gödel's incompleteness theorems and Tarski's undefinability theorem, and mulled over their consequences for the axiomatic method in mathematics.

Read more about this topic:  Alfred Tarski

Famous quotes containing the word logician:

    Le Corbusier was the sort of relentlessly rational intellectual that only France loves wholeheartedly, the logician who flies higher and higher in ever-decreasing circles until, with one last, utterly inevitable induction, he disappears up his own fundamental aperture and emerges in the fourth dimension as a needle-thin umber bird.
    Tom Wolfe (b. 1931)

    From a drop of water a logician could infer the possibility of an Atlantic or a Niagara without having seen or heard of one or the other.
    Sir Arthur Conan Doyle (1859–1930)