A logical framework for hypotheses and their opposition relations