@KitRedgrave though I would have thought that current logic and symbolic representation in AI was something supposed to realize the leibniz program, but it wasnt fully successful and that's why there's so much statistical stuff going on now (actually I wonder what L would have thought about statistical inference)