Чем занимается логика, пока вы не смотрите

"§ 1. Высказывания и формы высказываний

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



(СИМВОЛИЧЕСКАЯ ЛОГИКА
Под редакцией Я. А. Слинина, Э. Ф. Караваева, А. И. Мигунова

Рекомендовано Ученым советом С.-Петербургского государственного университета в качестве учебника для студентов и аспирантов философских факультетов университетов
ИЗДАТЕЛЬСТВО С.-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА 2005)

Как у профессиональных логиков логика стала действующим лицом - это большая для меня загадка. Видимо они никогда не занимались установлением смысла слов, предложений и книг, которые печатаются под их редакцией.

А студентам, которым рекомендуют эти учебники, вообще ничего не надо делать. Ведь все за них уже делают учебники, предметы и науки.