Abstract I offer a new reconstruction of Hegel's criticism Kant's idealism. Kant held that we impose categorial form on experience, while sensation provides its matter. Hegel argues the matter receive cannot guide our imposition it. Contra recent interpretations, argument does not depend conceptualist account perception or view categories as empirically conditioned. His objection is that, given...

A methodology for the description of hierarchical system requirements and formal specifications is presented. We will specifically deal with the issues (1) hierarchical structure of system properties, (2) system requirements, (3) system specifications, (4) soundness and completeness, (5) synthesis of formal specificaitons.