On Tue, 01 Aug 2006 23:13:40 +0300, Aatu Koskensilta <firstname.lastname@example.org> wrote:
>Lester Zick wrote: >> On Sun, 30 Jul 2006 01:57:39 +0300, Aatu Koskensilta >> <email@example.com> wrote: >> >>> I'm disappointed. You don't seem to be at all familiar with inner model >>> theory. >> >> I'm more familiar with truth theory and logical mechanics in general. > >What is "truth theory" and what is "logical mechanics"?
Truth theory describes the mechanics for the general demonstration of truth and logical mechanics describes applications of truth theory in various contexts.