Ported to Linux and Cygwin December 2022 after many efforts since 1995
Wilder_Life By Dennis J. Darland dennis.darland@hotmail.com
Wilder_Life Added for Dennis J. Darland's Philosophy April 2023

*** Yes

*** Yes

*** Yes

*** Yes

*** Yes

*** Yes
> > > > > > > > > > > > > > > > > > 
*** Yes
> 
> %% This file uses queries to demonstrate my points about
> %% the non-existence of any TRUE opacity.
> 
> %% This is an example with a mini universe for queries of high complexity.
> 
> %% I use an example from Quine's Word & Object. (pp.144-151).
> 
> %% The Story of Cicero and Catiline is given
> %% in _Caesar and Christ_, by Will Durant, pp. 140-147.
> 
> %% "Tully" is not in the index of that work (or "De Senectute").
> 
> %% Wikipedia gives the full name as "Marcus Tullius Cicero"
> %% and notes "The name is infrequently anglicized as Tully."
> %% It also does not mention "De Senectute".
> 
> %% "De Senectute" is in Wikipedia under "Writings of Cicero"
> 
> %% Tom believes that Cicero denounced Catiline.
> %% Tom does not know Cicero = Tully.
> 
> %% In my philosophy, for Tom at that time,
> %% "Cicero" R Toms_idea_of_Cicero
> %% and
> %% Toms_idea of_Cicero S Cicero
> %%
> %%
> %% but not 
> %% "Cicero" R Toms_idea_of_Tully
> %% 
> %%
> %% In my program the relation R is represented by the universal
> %% qqqq(rrrr,Subject, Time, Type, Word, Idea)
> %% In my program the relation S is represented by the universal
> %% qqqq(ssss,Subject, Time, Type, Idea, Object)
> 
> %% R | S is represented by rrss
> 
> write_time(Ignore)?
Time Skipped for Test Suite

*** Yes
Ignore = @.
--1> 

*** No
> %% I indicate for each query whether the immediate response should be
> %% TRUE = Yes or FALSE = No
> 
> %% There may be subsequient No responses - as I may have asked for additional answers with semicolons.
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %% 1 words
> %% 2 ideas
> %% 3 objects
> 
> %% 4 words_ideas
> %% 5 words_objects
> %% 6 ideas_objects
> 
> %% 7 words_ideas_objects
> 
> %% begin check for opaque beliefs for each case.
> %% Theoretically the arguments could be variables - to find ANY cases.
> %% But there are so many combinations that there is too little memory.
> 
> 
> truly_opaque_believes_words( tom, now, [[denounced_word],
|    				 [cicero_word],
|    				 [catiline_word]] )?

*** No
> ;
> 
> 
> truly_opaque_believes_words( tom, now, [[denounced_word],
|    				 [tully_word],
|    				 [catiline_word]] )?

*** No
> ;
> 
> 
> truly_opaque_believes_in_ideas( tom, now, [tom_denounced_idea,
|    					 tom_cicero_idea,
|    					 tom_catiline_idea])?

*** No
> ;
> 
> 
> truly_opaque_believes_objects( tom, now,  [[denounced], [cicero], [catiline]])?

*** No
> ;
> 
> 
> truly_opaque_believes_words_ideas( tom, now,  [[denounced_word, tom_denounced_idea],
|    				       [cicero_word, tom_cicero_idea],
|    				       [catiline_word, tom_catiline_idea]])?

*** No
> ;
> 
> 
> truly_opaque_believes_words_ideas( tom, now,  [[denounced_word, tom_denounced_idea],
|    				       [tully_word, tom_tully_idea],
|    				       [catiline_word, tom_catiline_idea]])?

*** No
> ;
> 
> 
> truly_opaque_believes_words_objects( tom, now,  [[denounced_word, denounced],
|    					 [cicero_word, cicero],
|    					 [catiline_word, catiline]])?

*** No
> ;
> 
> 
> truly_opaque_believes_words_objects( tom, now,  [[denounced_word, denounced],
|    					 [tully_word, cicero],
|    					 [catiline_word, catiline]])?

*** No
> ;
> 
> 
> truly_opaque_believes_ideas_objects( tom, now,  [[tom_denounced_idea, denounced],
|    					 [tom_cicero_idea, cicero],
|    					 [tom_catiline_idea, catiline]])?

*** No
> ;
> 
> 
> truly_opaque_believes_ideas_objects( tom, now,  [[tom_denounced_idea, denounced],
|    					 [tom_tully_idea, cicero],
|    					 [tom_catiline_idea, catiline]])?

*** No
> ;
> 
> 
> truly_opaque_believes_words_ideas_objects( tom, now,
|    				     [[denounced_word, tom_denounced_idea, denounced],
|    				     [cicero_word, tom_cicero_idea, cicero],
|    				     [catiline_word, tom_catiline_idea, catiline]])?

*** No
> ;
> 
> 
> truly_opaque_believes_words_ideas_objects( tom, now,
|    				     [[denounced_word, tom_denounced_idea, denounced],
|    				     [tully_word, tom_tully_idea, cicero],
|    				     [catiline_word, tom_catiline_idea, catiline]])?

*** No
> ;
> 
> %% pseudo_opaque
> 
> 	
> 
> pseudo_opaque_believes_words( tom, now, [[denounced_word],
|    				 [cicero_word],
|    				 [catiline_word]] )?

*** No
> ;
> 
> 
> pseudo_opaque_believes_words( tom, now, [[denounced_word],
|    				 [tully_word],
|    				 [catiline_word]] )?

*** No
> ;
> 
> 
> pseudo_opaque_believes_in_ideas( tom, now, [tom_denounced_idea,
|    					 tom_cicero_idea,
|    					 tom_catiline_idea])?

*** No
> ;
> 
> %% THIS is the only PSEUDO_OPAQUE case -- when only OBJECTS are considered.
> 	
> 
> pseudo_opaque_believes_objects( tom, now,  [[denounced], [cicero], [catiline]])?

*** Yes
--1> ;

*** No
> 
> 
> pseudo_opaque_believes_words_ideas( tom, now,  [[denounced_word, tom_denounced_idea],
|    				       [cicero_word, tom_cicero_idea],
|    				       [catiline_word, tom_catiline_idea]])?

*** No
> ;
> 
> 
> pseudo_opaque_believes_words_ideas( tom, now,  [[denounced_word, tom_denounced_idea],
|    				       [tully_word, tom_tully_idea],
|    				       [catiline_word, tom_catiline_idea]])?

*** No
> ;
> 
> 
> pseudo_opaque_believes_words_objects( tom, now,  [[denounced_word, denounced],
|    					 [cicero_word, cicero],
|    					 [catiline_word, catiline]])?

*** No
> ;
> 
> 
> pseudo_opaque_believes_words_objects( tom, now,  [[denounced_word, denounced],
|    					 [tully_word, cicero],
|    					 [catiline_word, catiline]])?

*** No
> ;
> 
> 
> pseudo_opaque_believes_ideas_objects( tom, now,  [[tom_denounced_idea, denounced],
|    					 [tom_cicero_idea, cicero],
|    					 [tom_catiline_idea, catiline]])?

*** No
> ;
> 
> 
> pseudo_opaque_believes_ideas_objects( tom, now,  [[tom_denounced_idea, denounced],
|    					 [tom_tully_idea, cicero],
|    					 [tom_catiline_idea, catiline]])?

*** No
> ;
> 
> 
> pseudo_opaque_believes_words_ideas_objects( tom, now,
|    				     [[denounced_word, tom_denounced_idea, denounced],
|    				     [cicero_word, tom_cicero_idea, cicero],
|    				     [catiline_word, tom_catiline_idea, catiline]])?

*** No
> ;
> 
> 
> pseudo_opaque_believes_words_ideas_objects( tom, now,
|    				     [[denounced_word, tom_denounced_idea, denounced],
|    				     [tully_word, tom_tully_idea, cicero],
|    				     [catiline_word, tom_catiline_idea, catiline]])?

*** No
> ;
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> %% Agnostic check
> %% begin check for lack of belief for each case.
> %% Theoretically the arguments could be variables - to find ANY cases.
> %% But there are so many combinations that there is too little memory.
> 
> 
> agnostic_words( tom, now,  [[denounced_word],
|    				 [catiline_word],
|    				 [cicero_word]] )?

*** Yes
> ;
> 
> agnostic_words( tom, now,  [[denounced_word],
|    				 [cicero_word],
|    				 [catiline_word]] )?

*** No
> ;
> 
> 
> agnostic_words( tom, now,  [[denounced_word],
|    				 [tully_word],
|    				 [catiline_word]] )?

*** No
> ;
> 
> 
> agnostic_in_ideas( tom, now,  [tom_denounced_idea,
|    					 tom_cicero_idea,
|    					 tom_catiline_idea])?

*** No
> ;
> 
> 
> agnostic_objects( tom, now,  [[denounced], [catiline], [cicero]])?

*** Yes
> ;
> 
> 
> agnostic_words_ideas( tom, now,  [[denounced_word, tom_denounced_idea],
|    				       [catiline_word, tom_catiline_idea],
|    				       [cicero_word, tom_cicero_idea]])?

*** Yes
> ;
> 
> 
> agnostic_words_ideas( tom, now,  [[denounced_word, tom_denounced_idea],
|    				       [tully_word, tom_tully_idea],
|    				       [catiline_word, tom_catiline_idea]])?

*** No
> ;
> 
> 
> agnostic_words_objects( tom, now,  [[denounced_word, denounced],
|    					 [catiline_word, catiline],
|    					 [cicero_word, cicero]])?

*** Yes
> ;
> 
> 
> agnostic_words_objects( tom, now,  [[denounced_word, denounced],
|    					 [tully_word, cicero],
|    					 [catiline_word, catiline]])?

*** No
> ;
> 
> 
> agnostic_ideas_objects( tom, now,  [[tom_denounced_idea, denounced],
|    					 [tom_catiline_idea, catiline],
|    					 [tom_cicero_idea, cicero]])?

*** Yes
> ;
> 
> 
> agnostic_ideas_objects( tom, now,  [[tom_denounced_idea, denounced],
|    					 [tom_tully_idea, cicero],
|    					 [tom_catiline_idea, catiline]])?

*** No
> ;
> 
> 
> agnostic_words_ideas_objects( tom, now,
|    				     [[denounced_word, tom_denounced_idea, denounced],
|    				     [catiline_word, tom_catiline_idea, catiline],
|    				     [cicero_word, tom_cicero_idea, cicero]])?

*** Yes
> ;
> 
> 
> agnostic_words_ideas_objects( tom, now,
|    				     [[denounced_word, tom_denounced_idea, denounced],
|    				     [tully_word, tom_tully_idea, cicero],
|    				     [catiline_word, tom_catiline_idea, catiline]])?

*** No
> ;
> 	
> write_stats(Ignore)?
Stats Skipped for Test Suite

*** Yes
Ignore = @.
--1> 

*** No
> halt?