Access to the full content is only available to members of institutions that have purchased access. If you belong to such an institution, please log in or find out more about how to order.



Polish logic

DOI: 10.4324/9780415249126-Y077-1
Version: v1,  Published online: 1998
Retrieved April 24, 2024, from

Article Summary

The term ‘Polish logic’ was coined by McCall to signal the important contributions to modern logic by logicians from Poland between the wars. There were several centres of research, of which the Warsaw school, which grew out of the earlier Lwów–Warsaw philosophical movement, was the most significant. Its development was closely connected with the Warsaw school of mathematics, which gave it its characteristic mathematical bent.

Polish logic took as its point of departure the main trends in logical research of the time and it has influenced both subsequent logical research and subsequent work in the Western analytic tradition of philosophy. Its chief contributions were: (1) an enrichment of existing logical theory (including work on Boolean algebras, the sentential calculus, set theory, the theory of types); (2) new logical theories (for example, Leśniewski’s systems, Łukasiewicz’s many-valued logics, Tarski’s theory of truth, theory of the consequence operation and the calculus of systems); (3) new methods and tools as well as improvements of existing methods (for example, the matrix method of constructing sentential calculi, axiomatizability of logical matrices, algebraic and topological interpretations of deductive systems, permutation models for set theory, the application of quantifier elimination to decidability and definability problems); and (4) the application of formal methods to the study of the history of logic, resulting in a new understanding of the logics of Aristotle, the Stoics and the medievals.

Citing this article:
Zygmunt, Jan. Polish logic, 1998, doi:10.4324/9780415249126-Y077-1. Routledge Encyclopedia of Philosophy, Taylor and Francis,
Copyright © 1998-2024 Routledge.

Related Searches