Title: Logic in the organisation of knowledge