но что вообще изучает логика? какие объекты этой науки математически полезны, то есть кодируют сложный набор свойтсв и взаимосвязей в такую форму, о которой людям легче думать? ну как геометрические объекты в геометрии.


Зависит от раздела логики.

В теории моделей это теории и модели.

В теории рекурсии это теории с кодирование.

А в теории доказательств, вообще что-то третье.

(Reply to this) (Parent)