Stanisław Leśniewski

[Revised entry by Peter Simons on November 10, 2015. Changes to: Main text, Bibliography] Stanisław Leśniewski (1886 - 1939) was one of the principal founders and movers of the school of logic
Philosophy News image
[Revised entry by Peter Simons on November 10, 2015. Changes to: Main text, Bibliography] Stanisław Leśniewski (1886 - 1939) was one of the principal founders and movers of the school of logic that flourished in Warsaw between the two world wars. He was the originator of an unorthodox system of the foundations of mathematics, based on three formal systems: Protothetic, a logic of propositions and their functions; Ontology: a logic of names, and functors of arbitrary order; and Mereology, a general theory of part and whole. His concern for utmost rigor in the formalization and execution of logic, coupled with...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus