A new(?) way of looking at an old way of looking at things

[paulhope]

Consider this model: the "system" S is a (propositional, I guess) description of a domain and all its happenings. There's a set of operations which are the operations of reason--call them R

Comments

[epictetus_rex]

Well, since K is uncomputable, that just about wraps it up for epistemology. ;)

[paulhope]

Rookie mistake.

[epictetus_rex]

Mistake? What do you mean? This is the most important result in epistemology ever! A meta-proof of the nonprovability of epistemological positions? GOLD!! PUBLISH that motherfucker!

[doclabyrinth]

and not a moment too soon!

[paulhope]

Whoah, way to make another snipe at epistemology? what's with this grudge?

[doclabyrinth]

not so much a grudge; let's call it a playful rivalry.

[anosognosia]

Epistemology ftw. Grr.