The problems of philosophy and the systems designed to solve them are formulated in terms which tend to refer, not to the realm of actuality, but to the realms of possibility and necessity: to what might be and what must be, rather than to what is.