Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Annals of Pure and Applied Logic 126 (2004) 34 www.elsevier.com/locate/apal

Summary: Annals of Pure and Applied Logic 126 (2004) 3≠4
Tarski once described himself as "being a mathematician (as well as a logician,
and perhaps a philosopher of a sort)". 1
This self-presentation displays well the enor-
mous scope of his scientiˇc activity. He produced fundamental works in mathematics,
logic, and philosophy, which summarized the old direction of research and opened new
perspectives. Set theory, topology, arithmetic, geometry, algebra, general and special
metamathematics, model theory, classical propositional calculus, Le√sniewski's systems,
many-valued logic, modal logic, intuitionistic logic, the calculus of relations, semantics,
the theory of truth. . . the list is not exhaustive. Although in the quoted self-presentation
mathematics stands as the ˇrst, perhaps logic should be regarded as Tarski's basic ˇeld.
Logic in this context must be understood very broadly as covering formal logic, the
foundations of mathematics, and the philosophy of mathematics. However, these three
sub-ˇelds of logic sensu largo should be again outlined widely in order to comprise
Tarski's works on various special and general problems. Most of his scientiˇc e orts
were devoted to a deeper understanding of fundamental concepts employed in mathe-
matics and other sciences. This has always been a task of logicians and philosophers.
This volume contains a collection of papers presented at the Alfred Tarski Cente-


Source: Artemov, Sergei N. - Faculty of Mechanics and Mathematics, Moscow State University


Collections: Computer Technologies and Information Sciences