Use of truth in logic

27 February 2014
17:15
Kentaro Fujimoto
Abstract
Formal truth theory sits between mathematical logic and philosophy. In this talk, I will try to give a partial overview of formal truth theory, from my particular perspective and research, in connection to some areas of mathematical logic.