Waruna
Мышление бывает наглядно-образное, наглядно-действенное и абстрактно-логическое. Логика изучает абстрактно-логическое мышление, которое принимает формы понятий, высказываний и умозаключений. Именно этими формами и оперирует логика, о чем, видимо, и говорит Матемаг.

При этом Матемаг явно имеет в виду формальную логику, которая абстрагируется от смысла. Вроде бы есть разделы, которые этого не делают (типа трансцедентальной логики), но тогда получается, что вы с Матемагом говорите о разных предметах, нарушая принцип тождества. Ну вот, я не очень понимаю, как можно использовать бритву Оккама, асбтрагируясь от смысла высказываний.