Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the re

ontolog-forum

Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the re

from [John Black] [Permanent Link][Original]

To:	"[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From:	"John Black" <JohnBlack@xxxxxxxxxxx>
Date:	2008年1月18日 08:27:19 -0500
Message-id:	<07d401c859d5$da7a8db06601ドルa8c0@KASHORI001 >

(disputing myself)

on Thur. Jan. 17, 2008, at 11:38, John Black wrote:

JB>In other words, my intuition says that in this case: (ist today (and A (not A))), today is not a valid context for that tautology because there is no other context, which if it took the place of "today", would change the value of that tautology.

I just realized that if A = "(President JimmyCarter)" and the time interval was 'time-interval:1950-2000' then A would in fact be both true and false within that interval - just at different times points or intervals within that interval. In other words:

(ist time-interval:1950-2000 (and (President JimmyCarter) (not (President JimmyCarter)))).

So today is is a "valid context" (if there is such a thing) since there are other intervals that make that proposition true.

I'm going back to more reading and thinking.....

John

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ 
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ 
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx  (01)

[More with this subject...]

<Prev in Thread]	Current Thread	[Next in Thread>
Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"], (continued) Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Sharma, Ravi Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Duane Nickull Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Sharma, Ravi Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Pat Hayes Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Pat Hayes Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Mills Davis Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Pat Hayes Message not available Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Deborah MacPherson Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Pat Hayes Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , John Black Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universeof discourse" and individuals in the "real world"], John Black <= Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universeof discourse" and individuals in the "real world"] , Pat Hayes Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Christopher Menzel Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universeof discourse" and individuals in the "real world"] , John Black Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Pat Hayes Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , John Black Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Patrick Cassidy Message not available Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Deborah MacPherson Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Pat Hayes Message not available Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Deborah MacPherson Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , John F. Sowa

Previous by Date:	Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , york earwaker
Next by Date:	Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , Christopher Menzel
Previous by Thread:	Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universe of discourse" and individuals in the "real world"] , John Black
Next by Thread:	Re: [ontolog-forum] Scheduling a Discussion [was: CL, CG, IKL and the relationship between symbols in the logical "universeof discourse" and individuals in the "real world"] , Pat Hayes
Indexes:	[Date] [Thread] [Top] [All Lists]