Modelling, Logical and Philosophical Aspects of Foundations