EXPLANATION in Logic, Ontology and Science