Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
www.elsevier.com/locate/apal
Editorial
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