Master 2 logique, ontologie, science