@@ -173,4 +173,25 @@ |0|0|1|4|Bob believes X.
|0|-0.6|1|6|Bob holds X to be true.
|1|0|0|2|X is true.
|0|0|0|1|X.
+
+
+----
+
+From my perspective VectorHermit has taken my question a long way in the wrong direction.
+
+Though the three factors that he mentions are interesting, only one needs to be addressed and that is the internal model that is held by Bob. The external truth of X is needed to evaluate just three statements:
+
+1. X
+
+2. X is true
+
+and
+
+8. Bob knows X.
+
+Saying that someone knows X implies that both Bob categorizes X as true __and__ X *is* true. In other words, given that Bob know X, you can infer that X is true and that Bob thinks X is true. And given that X is true and Bob thinks X is true, you can infer that Bob knows X is true.
+
+The external truth of X cannot be inferred by any of the other statements, as is easily seen by substituting something blatantly false like "the earth is flat" or "1+1=3" for X. I'm not sure where that leaves VectorHermit's analysis but I'm not hopeful.
+
+I also think Hermit is reading way too much into the statements, inferring process where none is implied. Only statement 17 "Bob infers X from other facts he thinks are true" mentions how he came to categorize, hold, think, or believe X is true (and I see absolutely no difference between those, not even connotative).
