Formal methods and empirical practices. Conversations with Patrick Suppes