Lavinia Picollo (LMU/MCMP) gives a talk at the Workshop on Five Years MCMP: Quo Vadis, Mathematical Philosophy? (2-4 June, 2016) titled "Formal Methods in the Study of Truth". Abstract: The nature of truth has been an issue in philosophy since ancient times. Several theories have been proposed, the most popular of which is correspondentism, the idea that truth bearers are true as long as they correspond to certain chunks of reality. At the beginning of the XX century a rival theory emerged: deflationism. Unlike correspondentists, deflationists put forward an explanation of truth in logical terms. This leads to the formulation of formal truth systems, which requires the application of mathematical methods. First, I briefly introduce correspondentism and deflationism, and indicate how the latter prompts the search for formal systems. Second, I show why the obvious system cannot work and propose another way of constructing truth theories based on relative interpretations.