An approach to the formal theory of waste management

A solid foundation for a formal theory of waste management is offered in terms of consistent building blocks: language, conceptual schemes, models, and sentence systems. The language used to formulate the theory is the PSSP language, which is a formal modeling language having certain unique features stemming from the ontology behind the language. Via conceptual schemes, which are explications of domain concepts translated to the PSSP language, the language is enriched to cover domain terms and to become the theory-language of waste management. The models have functionality, which makes it possible to simulate waste management. The functionality is implemented as mutual communication of objects representing reality, i.e. activities and things acted on. The models are transparent dynamic object hierarchies capable of providing a holistic view of waste management, providing consistent explanation of all waste related concepts and offering a formal methodology of waste management. The plausibility test requires more sentence systems, i.e. propositions with empirical reference to waste management, to be included.