Logique, informatique et sciences cognitives