b. 1956
Andrzej Pietruszczak is a Polish logician and formal ontologist at Nicolaus Copernicus University in Toruń, known for rigorous axiomatic work in mereology and the foundations of formal ontology. He has systematized and extended classical mereological theories, examining their logical relationships and models. His treatise *Metamereology* is a comprehensive formal study of part-whole theories.
Authored *Metamereology*, a landmark systematic treatment of mereological theories and their interrelations
Developed axiomatic foundations distinguishing and comparing classical and non-classical mereologies
Contributed to formal analysis of the type-token distinction and inscription-based individuation of linguistic objects
Advanced the Toruń school of formal logic and ontology in Poland
Applied model-theoretic methods to settle open questions in part-whole theory
Dive Deeper
Explore Modality & Possibility→