Logica moderna ...