Неслабая такая просьба )
Вообще, чтобы что-то понять, нужно навести порядок.
Правильное наведение порядка почти всегда сводится к тому, чтобы выбросить лишнее. Тогда оставшееся просто не будет нуждаться в упорядочивании )
При кажущемся обилии современных знаний, реального знания не так уж много.
Обычно в каждой предметной теме это одно-два-три сильных утверждения, а остальные слова, чтобы оправдать деньги автору на жизнь ))
Соответственно, я различаю следующие слои:
- теория множеств (Канторовская, конечно)
- термины математической логики, как просто переформулировка утверждений теории множеств для применения к учету высказываний.
- исчисление предикатов, как прикладной математический аппарат для работы с семантикой в филологическом смысле
- выделение из всего многообразия математических и литературных текстов факта, что любая семантика сводится к
а. поиску где объект и где операция над объектом.
б. построении иерархии в устройстве объектов и операций
И все, этого формального аппарата достаточно для того, чтобы потрошить любое существующее в мире содержание.
Но, обычно люди обламываются на изучении математической логики из-за терминологических барьеров.
Там есть кое-что, что ломает мозг. Это как лишение девственности. Один раз неприятно, зато потом открывается целое направление жизни )
