The course seeks to bring together two sub-disciplines within linguistics: historical linguistics and formal semantics. Both of these sub-disciplines have evolved from distant intellectual fields: the first comes from the philological world, while the second has its origins in the world of mathematical logic. Recently, there has been a rapprochement between these fields dealing mostly with the study of changes of meaning, grammaticalization and reanalysis.