Logic, Knowledge, Science