For if Joshua had given them rest, God would not have spoken of another day later on.
8. For if Jesus had given them rest, or, had obtained rest for them, etc. He meant not to deny but that David understood by rest the land of Canaan, into which Joshua conducted the people; but he denies this to be the final rest to which the faithful aspire, and which we have also in common with the faithful of that age; for it...
Here, I. The apostle declares that our privileges by Christ under the gospel are not only as great, but greater than those enjoyed under the Mosaic law. He specifies this, that we have a promise left us of entering into his rest; that is, of entering into a covenant-relation to Christ, and a state of communion with God through Christ, and of growing up therein...
Commenting on Hebrews 4:1-10
For if Jesus had given them rest,.... That is, Joshua; for Hosheah, Joshua, and Jesus, are one and the same name; or Jesus himself, as two of Stephens's copies read; and so Joshua is called Jesus by the Septuagint interpreters on Exo 17:10 and other places where he is mentioned; and also, by Josephus (h), and Philo (i) the Jew.