The Logical Structure Of Scientific Knowledge-Systems