I survey some important semantical and axiomatic theories of self-referential truth. Kripke's fixed-point theory, the revision theory of truth and appraoches involving fuzzy logic are the main examples of semantical theories. I look at axiomatic theories devised by Cantini, Feferman, Freidman and Sheard. Finally some applications of the theory of self-referential truth are considered.

One of the most important views in the recent discussion of epistemological scepticism is Neo-Mooreanism. It turns a well-known kind of sceptical argument (the dreaming argument and its different versions) on its head by starting with ordinary knowledge claims and concluding that we know that we are not in a sceptical scenario. This paper argues that George Edward Moore was not a Moorean in this sense. Moore replied to other forms of scepticism than those mostly discussed nowadays. His own anti-sceptical (...) position turns out to be very subtle and complex; furthermore it changed over time. This paper follows Moore's views of what the sceptical problem is and how one should respond to it through a series of crucial papers with the main focus being on Moore's 'Proof of an External World'. An appendix deals with the much neglected relation between epistemological scepticism and moral scepticism in Moore. (shrink)