Le groupe de recherches en ontologie formelle et logique développementale inscrit ses activités dans la la lignée des travaux du logicien polonais Stanislaw Lesniewski. Ses trois systèmes - protothétique, ontologie, méréologie - sont à la source des études actuelles en métaphysique analytique.Nous visons à centraliser toutes les informations concernant l'oeuvre de Lesniewski et de ses successeurs.