This will be a very brief overview of some formal considerations and the Liar. The handout can be found here.