We see this world, though our eyes, as a collection of foreign objects, like the sun, the moon, or a mountain. These objects have different properties, such as the color of a pink rose, the sheer size of a mountain, or the warmth from the winter sun. And as we perceive these objects and their properties, we recognize patterns emerging.

Patterns through time, such as the cyclic pattern of certain stars in the night sky at certain moon cycles. And patterns in space, such as tiny grains of sand by the ocean, or giant rocks in the mountains.

Logic would be the pattern in all the patterns perceived in our world. Thus allowing us to think and reason about things which we have maybe never even seen before.

We use logic to recognize patterns - to classify what is happening.

We use logic to synthesize patterns - to deduce what might happen, or might have happened or not.

Computer programs are not logic - they are algorithms (machines). But they use the logic that we encode into them to recognize input, to synthesize a model, and finally to synthesize output using the model.