On Sat, 22 Jul 2006 19:11:53 -0600, Virgil <firstname.lastname@example.org> wrote:
>In article <email@example.com>, > Lester Zick <DontBother@nowhere.net> wrote: > >> >But for anything to be *demonstrably* true, its demonstration must >> >depend on the truth of other things, so it will not be unconditionally >> >true after all. >> >> True in syllogistic inference but not in tautological inference. > >As Zick has not shown that there is any such thing as "tautological >inference", it remains true in all forms of inference which have been >shown to exist.
You are indeed the very model of a modern mathematiker.