This paper defines in a formal and computational way the notion of ‘consilience’, a term introduced by Whewell in 1847 for the evaluation of scientific theories. Informally, as it has been used to date, a model or theory is ‘consilient’ if it is predictive, explanatory and unifies the evidence. Centred in a constructive framework, where new terms can be introduced, an initial and more classical...