41

Logic 42

hopes or at least goes upon the assumption that the dispute will come to something that is to say that both parties will at length find themselves forced to a common belief which will be definitive and final.
For otherwise why dispute?
To reach a final and compulsory belief is therefore ehat the reasonable disputant aims at.
But what he aims at is the truth.
Therefore by the truth he means nothing more than a finally compulsory belief. If then you can prove to him that a necessary proposition is such that [st?ere] will be final unshakeable compulsion preventing him from imaging it to false you have proved to him that it has those characters which he expresses by saying that the proposition is true.
Now to say that a necessary proposition is true. Now to say that a necessary true.
The proposition is therefore true by definition if by inconcievable is meant eternally