Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem

From: Brian Quincy Hutchings (QncyMI_at_netscape.net)
Date: 10/09/04 

Date: 9 Oct 2004 15:54:38 -0700

ny total tutorial in predicate logic was reading
_The Laws of Form_ through to the middle
of the chapter with second-order equations;
it purports to be the unmentioned "arithmetic"
of boolean/predicate logic. I agree.
     of course, I've come across examples, before & since.
 
my point was taht the "time dimension" is simply ignored,
although it is naturally required, even to ennunciate the "paradox;"
the same applies to Lord Berty's Village Barber conundrum;
it's just a conundrum!
 
Aristotle is great for the syllogisms,
if nothing else. too bad large factions of the Church promoted him
for centuries (and still do).

Barb Knox <see@sig.below> wrote in message news:<ck7cam$b0n$1@lust.ihug.co.nz>...
 
> It sure doesn't look that way: there is no explicit reference to time in
> "This statement is false". By what deeper analysis to do you impute some
> time reference?

--ils duces d'Enron!
http://larouchepub.com