For that we need the language to define straight lines as the shortest distance between two points in a horizontal plane. We also need to agree that circles are lines which are equidistant from an imaginary point. In such a geometry we can be absolutely certain that it is impossible for a straight line to form a circle. In Euclid's geometry all sorts of certainties can be deduced within the model because the certainties are built into the model by definition. It is also possible to discover some unexpected certainties as for example in Pythagoras' Theorem.
Philosophers call such a system of certainties analytic truth.
Logic is merely the sum of certainties within our model, and the number of models we could invent is infinite. By adding the vertical to a two dimensional geometry we can make a three dimensional model. Then by including the dimension of time the model becomes four dimensional. By increasing the scope of the model we multiply the number of possible certainties within it. For example in Newton's physics it is impossible for objects to move against gravity unless there is a force greater than gravity to move them.