By a “logical theory” do you mean what logicians usually mean by a “theory”? A deductively closed set of sentences?
Wow! Well, that eliminates a lot of the arbitrary character I was objecting to in using programs to represent the world/decision problem. But there still are a lot of deductive systems to choose among. I await your next post with interest.
By a “logical theory” do you mean what logicians usually mean by a “theory”? A deductively closed set of sentences?
Wow! Well, that eliminates a lot of the arbitrary character I was objecting to in using programs to represent the world/decision problem. But there still are a lot of deductive systems to choose among. I await your next post with interest.
I won’t settle the choice, only point out the generality of notion and how it applies, direction to look for further refinements.