Logic makes generalisations from connecting shapes
We generalise relations which describe logical connections, and this logic (used critically) can become a useful tool in our thinking even in the form we apply in information technology.
Today we use the same logical relations, syllogisms that Greek philosophy organised into a system, and they appear in the basic programming formulas in the field of making deductions.
Modern logic uses such relations depending on the circumstances. For example, it uses modalities to express that a deduction is only valid to a certain period, certain people or certain objects, and such modalities come with similar logical description. This topic will be discussed in more detail later, in the chapter about the methods of artificial intelligence.