Tue, Aug 4, 2009
In case you’re curious about what the text behind the trollcat is (and because I’m inordinately proud of having composed such a cringeworthy piece of gibberish):
“My dear boy, while a sentence of a predicate logic may be a well formed formula with no free variables, a “sentence qua sentence” is viewed by most as requiring the expression of a proposition that makes an assertion concerning a fixed truth value with respect to the nominal structure of L!
In stark contrast, the truth value of a formula with free variables may very well be indeterminate with respect to any structure, and may range over several values which could be members of a universe, relations or functions, which themselves are concerned with variable truth value.
For example, a signature containing a constant symbol 0 for the number 0, a unary function symbol s for the successor function and a binary function symbol + for addition is necessarily closed. This ably demonstrates that a closed expression is not necessarily a ground expression, and therefore a ground formula is a closed formula, but not a ground formula, because it contains a logical variable, even though that variable is not free!”
when the dust settles u will be in a grant to have alot more people in the future see how creative u r
*snigger* are you sure ur not HarryLyme on Twitter? JK! i’m so gonna link to this the next time he pokes me, hahahaha. TIA!
.-= slum_goddess´s last blog ..it’s Iron Mommy & stuff =-.
genius cat is a genius
The dialectic of troll is not antithetical to cat.
You lost me at “a fixed truth value with respect to the nominal structure of L!”
Which is probably not such a bad thing.
I lost myself much earlier. :/
i had to stop at “sentence qua sentence” haha nice one.
TL;DR BG dammit! *steals the nerd kitty*
You lost me at “while a sentence of predicate logic”.
Epic Trollcat is epic.
Click here to cancel reply.
Mail (will not be published) (required)
Notify me of followup comments via e-mail
You can add images to your comment by clicking here.
© 2009 Trollcats.