T 1.2.4.25

We may apply the same reasoning to curve and right lines. Nothing is more apparent to the senses, than the distinction betwixt a curve and a right line; nor are there any ideas we more easily form than the ideas of these objects. But however easily we may form these ideas, 'tis impossible to produce any definition of them, which will fix the precise boundaries betwixt them. When we draw lines upon paper or any continu'd surface, there is a certain order, by which the lines run along from one point to another, that they may produce the entire impression of a curve or right line; but this order is perfectly unknown, and nothing is observ'd but the united appearance. Thus even upon the system of indivisible points, we can only form a distant notion of some unknown standard to these objects. Upon that of infinite divisibility we cannot go even this length; but are reduc'd meerly to the general appearance, as the rule by which we determine lines to be either curve or right ones. But tho' we can give no perfect definition of these lines, nor produce any very exact method of distinguishing the one from the other; yet this hinders us not from correcting the first appearance by a more accurate consideration, and by a comparison with some rule, of whose rectitude from repeated trials we have a greater assurance. And 'tis from these corrections, and by carrying on the same action of the mind, even when its reason fails us, that we form the loose idea of a perfect standard to these figures, without being able to explain or comprehend it.