Hi,
Ah, language. So easy to use, yet so hard to explain! I'm sure it's my explanation and not your understanding that is lacking, so let me try a bit more.
Then, according to your theory, (1) is semantically equal to 'I believe that he arrived in Montreal last week', I think you are putting words in my mouth a little. I didn't say they are semantically equal, did I?What I said was that the 'should have ' version was a sort of prediction/obligation statement.
but (2) is NOT equal to 'I believe that he arrived in Montreal 500 years ago'?? If it's not, what does it mean? How would you rewrite (2), if you were supposed to? Because I don't think these statements are equivalent, let's concentrate on
'He should have arrived in Montreal 500 years ago.'
If you say this, I take the meaning that he didn't. My point is that you can have ideas about today or last week in terms of predictions/obligations, but it's pretty hard to have such ideas about 500 years ago. Or thousands of years ago, when many religions were created.
I hoped to clarify things with my 'Montreal' example, but perhaps we should get back to
'Men should have created religions which . . . teach .. values...'
This suggests not only that men didn't, but also that you have grounds for thinking they had an obligation to create such religions.
We are getting tied up in knots here. I don't mind, as long as you can put up with my attempts at explanation, but please don't lose track of the fact that there are so many other and simpler ways to say what I think you are trying to say.
Best wishes, Clive