Shows
MCMPFormal Methods in the Study of TruthLavinia 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...2016-06-1300 min