logique moderne