The logical structures of natural languages, as English or Italian, are the foundation of our reasoning and understanding. These logical structures, however, are far from clear but they allow us to behave very efficiently. There are in fact formal tools such as fuzzy logic and fuzzy control, which reproduce what happens in natural languages. This paper deals with ‘consecutio temporum’, i.e. the sequence of tenses, which has always been considered as an example of “good logic” derived from Latin. The concept of Ockham's razor helped us to analyse the ‘consecutio temporum’ , which best illustrates the relationship between formal logic and the logic of natural languages.
