This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world.
The papers range from historical considerations to new philosophical, logical and mathematical developments of this impressive School, including applications to Computer Science, Mathematics, Metalogic, Scientific and Analytic Philosophy, Theory of Models and Linguistics.
Table of Contents
Part I. Twardowski’s School. The Period of Crystallization of LWS.-Introduction. The School: Its Geneses, Development and Significance.-Kazimierz Twardowski: a great teacher of great philosophers.-Jan Łukasiewicz: a creator of new ideas in logic and a reinterpreter of its history.-Kazimierz Ajdukiewicz:The Cognitive Role of Language.-Tadeusz CzeŜowski.-Tadeusz Kotarbinski: Socrates of Warsaw.-Zygmunt Zawirski’s life and scientific work.-Stanisław Leśniewski: Original and Uncompromising Logical Genius.-Izydora Dąmbska: the first lady of the twentieth century Polish philosophy.-Maria Kokoszyńska-Lutman.-Seweryna Łuszczewska-Romahnowa.-On existential dependence and independence in the world of thoughts and states ofaffairs.-The Biography of Józef I.M. Bocheński.-Jan Salamucha (1903-1944).-Part II. Warsaw School of Logic, its main Figures and Ideas. The Period of Prosperity.-Łukasiewicz and his followers in many-valued logic.-Tomorrow’s sea-battle and the beginning of temporal logic.-Leśniewski and Mereology.-Alfred Tarski (1901–1983).-Stanisław Jaśkowski: life and work.-Czesław Lejewski: Propagator of Lvov–Warsaw Ideas Abroad.-Adolf Lindenbaum, metric spaces and decompositions.-Andrzej Mostowski, a biograpical note.-Jerzy Słupecki (1904–1987).-Bolesław Sobociński. The Ace of the Second Generation of the LWS.-Many-Valued Logics in the Iberian Peninsula.-Ontology of logic and mathematics in Lvov-Warsaw School.-A view of revival of Mathematical Logic in Warsaw, 1945 -1975.-Andrzej Mostowski and the notion of a model.-All Quantifiers versus the Quantifier All.-Helena Rasiowa (1917-1994).-Andrzej Grzegorczyk, a logician par excellent.-Roman Suszko – logician and philosopher.- Backmatter