%% Copyright (C) 2017, 2019, 2021 Dennis J. Darland load("RULES2/life_0001.lf")? load("FACTS2/facts_0071.lf")? load("RULES2/rules_0071.lf")? load("RULES2/rules_0072.lf")? %% This file is part of darland's philosophy. %% darland's philosophy is free software: you can redistribute it and/or modify %% it under the terms of the GNU General Public License as published by %% the Free Software Foundation, either version 3 of the License, or %% (at your option) any later version. %% darland's philosophy is distributed in the hope that it will be useful, %% but WITHOUT ANY WARRANTY; without even the implied warranty of %% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the %% GNU General Public License for more details. %% You should have received a copy of the GNU General Public License %% along with darland's philosophy. If not, see . %% This file only checks rules (relating to propositions). trace_input(true)? %% This file uses queries to illustrate my points about belief %% 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 predicate %% rrrr(Subject, Time, Type, Word, Idea) %% In my program the relation S is represented by the predicate %% ssss(Subject, Time, Type, Idea, Object) %% R | S is represented by rrss write_time(Ignore)? %% 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. %% There are 7 relations of both understanding and belief. %% Those of understanding are defined in terms of rrrr and ssss %% Those of belief require also a belief_in_ideas relation. %% The 7 cases are: %% words %% ideas %% objects %% words_ideas %% words_objects %% ideas_objects %% words_ideas_objects %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% BELIEF %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% qqqq(conceptual_feeling_in_ideas, quine_dc, believes, now, [quine_denounced_idea_dc, quine_cicero_idea_dc, quine_catiline_idea_dc])? qqqq(conceptual_feeling_in_ideas, quine_dc, believes, now, [quine_denounced_idea_dc, quine_tully_idea_dc, quine_catiline_idea_dc])? %% Checks on Belief follow. %% 1 positive qqqq(test_sa_words, Subject, Time, believes)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; %% 1 negative qqqq(test_not_sa_words, Subject, Time, believes)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; %% 2 positive qqqq(test_sa_ideas, Subject, Time, believes)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; %% 2 negative qqqq(test_not_sa_ideas, Subject, Time, believes)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; %% 3 positive qqqq(test_sa_objects, Subject, Time, believes)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; %% 3 negative qqqq(test_not_sa_objects, Subject, Time, believes)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; %% 4 positive qqqq(test_sa_words_ideas, Subject, Time, believes)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; %% 4 negative qqqq(test_not_sa_words_ideas, Subject, Time, believes)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; %% 5 positive qqqq(test_sa_words_objects, Subject, Time, believes)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; %% 5 negative qqqq(test_not_sa_words_objects, Subject, Time, believes)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; %% 6 positive qqqq(test_sa_ideas_objects, Subject, Time, believes)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; %% 6 negative qqqq(test_not_sa_ideas_objects, Subject, Time, believes)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; %% 7 positive qqqq(test_sa_words_ideas_objects, Subject, Time, believes)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; %% 7 negative qqqq(test_not_sa_words_ideas_objects, Subject, Time, believes)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; %% Checks on Belief follow. %% 3 positive qqqq(test_sa_objects, Subject, Time, believes_truly)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; %% 3 negative qqqq(test_not_sa_objects, Subject, Time, believes_truly)? ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; write_stats(Ignore)? halt?