Sunday, November 27, 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 technical literature of the subject, this book is accessible to philosophy students with basic logic training.

Friday, November 18, 2011

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.)