(although “because our 1st-order logic can handle recursion” is not it, etc.).
That was there because of this line from your post: “The theory should provide sufficient tools to define recursive functions and/or other necessary concepts.”
Okay, thanks. My understanding is definitely vaguest at the point where the agent’s program is converted into the wff [w(x)]. Still, the argument is at the point of seeming very plausible to me.
Not so much rusty as never pursued beyond the basics. The logic I know is mostly from popular books like Gödel, Escher, Bach, plus a philosophy course on modal logic, where I learned the basic concepts used to talk about interpretations of theories.
That was there because of this line from your post: “The theory should provide sufficient tools to define recursive functions and/or other necessary concepts.”
Doesn’t make it an explanatory sufficient condition to conclude what you did: I object to your use of “because”.
Okay, thanks. My understanding is definitely vaguest at the point where the agent’s program is converted into the wff [w(x)]. Still, the argument is at the point of seeming very plausible to me.
No worries. Your logic seems rusty though, so if you want to build something in this direction, you should probably reread a good textbook.
Not so much rusty as never pursued beyond the basics. The logic I know is mostly from popular books like Gödel, Escher, Bach, plus a philosophy course on modal logic, where I learned the basic concepts used to talk about interpretations of theories.