John F. Sowa wrote:
> Since IKL uses the word 'proposition' as a technical term, it is
> important to use that word in a way that minimizes confusion among
> IKL adopters. I think I agree with Pat about the IKL formalism,
> and I think that I know what he meant by the following statements:
> 1. A proposition has a fixed truth value.
> 2. But a proposition might have different truth values in different
> However, this conjunction is likely to cause confusion (or at least
> lengthy discussions such as this thread). (01)
This was one of my major concerns. (02)
> My recommendation is to replace the above statements with something
> along the following lines:
> 1. The IKL model theory defines an evaluation function Phi, which
> for any proposition p, determines a truth value Phi(p).
> 2. Inside a nested context, however, the proposition p could have
> a truth value that is different from the value Phi(p) that would
> be determined outside any nested context.
> This avoids the word 'fixed' without introducing the word 'changing'
> or any term such as 'proposition-in-a-context'. (03)
And this looks like a reasonable recommendation. (04)
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (06)