For if Jesus - Margin, “That is, Joshua.” The Syriac renders it, “Joshua the son of Nun.” “Jesus” is the Greek mode of writing “Joshua,” and there can be no doubt that Joshua is here intended. The object is to prove that Joshua did” not” give the people of God such a rest as to make it improper to speak of a “rest” after that time. “If Joshua had given them a complete and final rest; if by his conducting them to the promised land all had been done which had been contemplated by the promise, then it would not have been alluded to again, as it was in the time of David.” Joshua “did” give them a rest in the promised land; but it was not all which was intended, and it did not exclude the promise of another and more important rest.
Then would he not - Then “God” would not have spoken of another time when that rest could be obtained. The “other day” here referred to is that which is mentioned before by the phrase “today,” and refers to the time in which it is spoken of long after Joshua, to wit, in the time of David.