Logic and structure, Dirk Dalen