Search

This paper summarizes logical investigations in Poland in the years 1945–1975 conducted by logicians living and working in the country. We concentrate on mathematical logic and the foundations of mathematics. Thus, we omit works in semantics (except logical model theory) and methodology of science; that is, other branches of general logic (logic sensu largo). We also skip investigations into the history of logic, one of the favorites of Polish logicians, except for mentioning reconstructions of some earlier systems. We also try to outline sociological circumstances relevant for the development of logic after the Second World War. [ABSTRACT FROM AUTHOR]

A. Fraenkel and Y. Bar-Hillel in their classic Foundations of Set Theory (published in 1958) wrote ‘There is probably no country which has contributed, relatively to the size of its population, so much to mathematical logic and set theory and Poland. Leaving the explanation of this curious fact to sociology…’.1 However, the development of logic (and any other scientific field as well) in a given country, is not a linear function of the size of its population. In fact, there are several factors that conditioned the enormous development of mathematical logic and the foundations of mathematics in Poland, particularly in the years 1918–1939. The following circumstances can be taken into account as elements for a sociological explanation of this fact (curious or not, but that is another matter): the philosophical context (the rise of the Lvov-Warsaw School), the mathematical context (Polish Mathematical School and the Janiszewski program, the co-operation of philosophers and mathematicians in teaching and doing logic, the amount of logical teaching in secondary schools and universities, and several organizational enterprises (the place of logic at universities, journals, scientific societies). [ABSTRACT FROM AUTHOR]