
May 25th, 2005
02:13 pm  Warning: Evolution might be involved! I would approve of putting evolution warning stickers on text books if they looked like this:
Maybe it's time to make such stickers and distribute them to certain school boards. Any takers? Current Mood: amused Current Music: "She's Going Out of My Mind", JB

I'll put it in layman's terms: there are more than two truthvalues and there is at least one statement that is both true and false. Ah, the Sri Syadasti school. Basically. However, what makes it all the more beautiful is that I came to it after studying academic logic derived from the Aristotelian tradition ... that and the fact that my birthday is March 19 (go Van Van Mojo! ... or is it Patamunzo Lingananda?). I came to the first part since prelinearity (for all statements, p and q, (p > q) v (q > p)) follows from bivlance (for all p, p v ~p) and, in natural language argumentation, prelinearity is total bullshit, and if a logical principle doesn't work with natural language, I don't find it acceptable; I came to the second by considering the irrelevant consequences of ex contradictione quodlibet (such as, for all q and p, q > (p > q) ), which follows from the law of noncontradiction. I just consider statements like "This statement is false" as all that's sufficient to show that there is at least one true contradiction (it's true if and only if its false). I'm rationally justified in my apparent irrationality! It's sweet!  From:  unnamed525 
Date:  May 26th, 2005 09:38 pm (UTC) 

  Re: Just to check  (Link) 

Yes ... in any formal axiomatic system strong enough to do natural number theory (which requires that it's secondorder, has identity, and has the predicate "... is a natural number"), there exists a truth expressible in the system which is not provable using the system (that is, it's incomplete). GÃ¶del's Second Incompleteness Theorem states that for all such systems, its completeness entails its inconsistency. Paraconsistent logics, ones which reject ex contradictione quodlibet by accepting the meaningfulness of statements like "This statement is false", can apparently be complete. 
