K. formulates a non-Aristotelian system which is based on the complete rejection of identity and its derivatives, and shows what simple but powerful structural factors of sanity can be found in science. He presents a theory of 'general semantics', stressing the similarity of empirical and verbal structures.