[MD] Putnam on Is-Ought and Truth

craigerb at comcast.net craigerb at comcast.net
Thu Apr 29 20:33:17 PDT 2010




[ Horse ] 
> If it is true that X > Y 
> and 
> If it is true that Y > Z 
> then 
> It is true that X > Z 
> else 
> False 

Only h alf right. 
If   X = 10; Y = 8 ; Z = 5, then it is true that (X > Y & Y > Z) & then X > Z. 
But    If  X = 10; Y = 5; Z = 8, then  (X > Y & Y > Z) is elsewise but not False that X > Z. 
Better go back & fix those old programs. 
Craig  


More information about the Moq_Discuss mailing list