Leśniewski's Systems of Logic and Foundations of Mathematics

種類:

電子ブック

責任表示:

by Rafal Urbaniak

出版情報:

Cham : Springer International Publishing : Imprint: Springer, 2014

著者名:

• Urbaniak, Rafal
• SpringerLink (Online service)

シリーズ名:

Trends in Logic, Studia Logica Library ; 37

ISBN:

9783319004822 [3319004824]    

注記:

This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw Leśniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school. The author’s nuanced survey eschews secondary commentary, analyzing Leśniewski's core philosophical views and evaluating the formulations that were to have such a profound influence on the evolution of mathematical logic. One of the undisputed leaders of the cohort of brilliant logicians that congregated in Poland in the early twentieth century, Leśniewski was a guide and mentor to a generation of celebrated analytical philosophers (Alfred Tarski was his PhD student). His primary achievement was a system of foundational mathematical logic intended as an alternative to the Principia Mathematica of Alfred North Whitehead and Bertrand Russell. Its three strands—‘protothetic’, ‘ontology’, and ‘mereology’, are detailed in discrete sections of this volume, alongside a wealth other ch

ローカル注記:

学内専用E-BOOKS (local access only)