Skip to main content


Showing posts from November, 2011

Lesniewski book draft

Finally, I have finished drafting and proofreading a book about Lesniewski's systems. To some extent it is based on my PhD thesis, but it has gone through major revisions and around 1/3 of it is new material. Anyway, if you feel like accessing the draft in exchange for a promise to let me know what you think by June 2012, please get in touch. Synopsis.  Stanisław  Leśniewski (1886--1939), a Polish logician, a representative of the Lvov-Warsaw school and Alfred Tarski's PhD supervisor, developed his philosophically (and nominalistically) motivated foundations of mathematics as an alternative to the system of Principia Mathematica . He constructed three systems: a generalized propositional calculus called Protothetic , his own (higher-order) logic of predication dubbed Ontology ,  and a theory of parthood known as Mereology . This books presents, explicates and critically discusses Leśniewski's work and some more recent developments stemming from it. In contrast to the te

The TE paper now available in Synthese

The draft about logic and platonic thought experiments I talked about  before has now been superseded by the final version now available (open access) in Synthese. Here .  (By the way, Springer normally charges around 2000 Euro for publishing open access. But if at least one of your affiliations is with a Polish academic institution, it's free. I'm not sure why.)