Since a lot of people who support physicalism don't consider an intelligence explosion to be that likely, this seems to be unhelpful. Note also that one could also easily not be a physicalist and still consider an intelligence explosion to be likely. For example, one could consistently believe that humans have non-physical souls (whatever that means) and also think that there could be physical extremely efficient self-optimizing agents. This would be a weird position, but it mainly seems weird simply because they aren't ideas that commonly go together, not because there is any logical problem.
None of this changes the fact that if a theologian decides to defend the argument I outlined, he or she might end up doing useful work. I'm not assuming premise #1 but saying it needs to be argued for.
What's the argument, summarised?
Edit: The argument is self-summarising, it seems. Worthy to cross-post. Edit2: If it were sufficiently clever, that is. It's not.
I highly doubt you'd get anything useful out of a theologian, even if they did try to defend the argument. You're much more likely to get pointless rhetoric like an argument that an intelligence explosion is impossible because God created man in his image -- and thus human intelligence is the upper bound of what's possible, since nothing can be more intelligent than the image of God than God himself.
That is actually very clever. I wonder if one could do this for other arguments. The form would be something along these lines, perhaps?
Then one has the enemy-tribe argue for proposition 1.
We do see theologians try to respond to these sorts of issues. Look at the many attempts to deal with {fate, free will, existence of evil, God's omniscience,God's omnipotence, God's omnibenevolence}. We don't get deep controversies. Instead we get theologians competing with how sophisticated they can make arguments to try to have their cake and eat it too. Meanwhile in almost any tribe(whether united by religion, politics or something else), the vast majority of members go about their days without giving any serious thought to whether any of their tribes standard beliefs contradict each other.
Oh my, an engine that inputs theologians... That is clever, but the output is not very refined or directed. Would it be possible to, say, create a compelling proof that denies God's existence on the basis of P=NP? This way you could hack their free cycles for some real work. Maybe even construct a memeplex that spreads throughout different religions, imagine the computational power you could harness!
I've actually thought of this before. I bet that some intelligent Christian non-physicalists would be a good way of externally testing the validity of arguments about an intelligence explosion. They can think about the problem while not considering that there's any possibility of it being correct, which reduces the chance that their emotions would get in the way. I'll ask some theology buffs to think about it.
Unless this is a joke, I confess to being confused here. Given A > B, it does not necessarily follow that -B > -A.
You can make a Bayesian argument here based on confirmation of expected evidence, expressed as probabilities, but this does not work as a classical syllogism.