Вы уже готовы упростить логику. Три категории и никакой сложности.

Кажется, что языки программирования примитивны: ни тебе силлогизмов, ни модусов, ни хитрых умозаключений — сплошные команды, циклы да переменные. Аристотель с Аль-Фараби покачали бы головами: где ваша онтология, где категории сущего? Но это не примитивность. Это гениальное упрощение, которое делает логику исполняемой. Языки программирования не отбрасывают логику — они вынимают из неё только то, что можно превратить в действие: хранимые сущности (данные), действующие операторы (изменения) и качественные различия (отличия). Оказывается, всё многообразие мира для машины сворачивается в эти три кита — и этого достаточно, чтобы пересобрать любую мысль в работающий код.

Многие думают логика это способ работы мозга. Но это не работа. Это разговор.

Логика это способ правильно говорить. Т.е. правильно использовать категории которыми говорят в языках.

В языках программирования меньше категорий. Языки программирования примитивней человеческих языков. А значит и понять любую формулировку на них легче.

Вот три категории:

- Данные (хранимые сущности)

- Изменения (действующие операторы)

- Отличия (качественные различия)

Для вычислительной машины этого достаточно.

Просто поймите, все что хранится: переменные, константы, массивы. Это данные. Все операторы и функции это изменения. А все типы, модификаторы, дополнительные операторы (extends) это отличия.