Все наши мысли, слова и дела должны отличаться ясностью, основательностью и порядком. Польза логики в том, что она учит этому. Логика сама должна быть образцом ясности, основательности и порядка в изложении. Она должна осуществлять-в себе предписываемые ею правила.
Материей мышления Карпов считает запас представлений, признаки представлений он делит на ближайшие (непоеред'-ственные^ и отдаленные (опосредствованные), простые и сложные, существенные и случайные, общие и частные.
Переходя к законам мышления, Карпов прежде всего ставит вопрос: откуда такие законы? Где скрижаль, на которой они начертаны? Одни учат, что законы мышления в нас, другие, что они вне нас. Нельзя извне навязать рассудку законы мышления, они принадлежат самому рассудку. Однако отсюда еще не следует, что рассудку, как полагал Кант, надо приписать самозаконодательство. По мнению Карпова, законы мышления нельзя назвать опытными, опыт не является источником их происхождения. Они не являются также созданием самого рассудка, как учил Кант. По Карпову, законы мышления богом вложены в душу человека, вечны и неизменны. Предполагать, что законы мышления имеют свой источник вне нас, значит считать, что их можно отменять и заменять другими законами в зависимости от внешней ситуации.
В. Карпов принимает три основных закона мышления— тождества, противоречия и достаточного основания. Что же касается закона исключенного третьего, то он считает его содержащимся в законе противоречия, одним из видов его
Карпов дает следующую формулу закона тождества: «Всякий предмет мышления надо мыслить как этот определенный предмет, а не какой-либо иной».
Тождественность предмета, согласно Карпову, бывает абсолютная и относительная; рассудок полагает предметы тождественными лишь относительно, потому что нельзя усмотреть сходства по всем признакам двух вещей. Закон тождества требует определенности всякого понятия. Он требует, чтобы, начав речь о какой-либо определенной материи, мы незаметно не изменяли бы ее значение, не смешивали бы ее с другим предметом.
Определение понятия у Карпова совершенно формалистично: понятие есть осознание многих признаков, объединяемых его именем. Совершенствами понятия являются его ясность, раздельность и полнота (полная сумма признаков), отсутствие чего есть недостаток понятия.
В. Карпов различает в понятии материю и форму, понимая под материей понятия его содержание, а под формой его объем. Материя понятия изменяется, когда к нему мы присоединяем какой-нибудь новый признак или отнимаем один из тех признаков, которые у него уже имеются. Мы изменяем форму понятия, если расширяем или суживаем их объем. Правила, которыми рассудок руководствуется при изменении материи (содержания) понятий, суть законы отвлечения и ограничения, а правила, которыми он руководствуется при изменении формы (объема) по» нятий, суть законы образования родов и видов.
Логический закон, определяющий взаимное отношение объема и содержания понятий, таков: чем больше объем понятия, тем меньше его содержание, и чем больше содержание, тем мень ше объем.
Система понятий в целом образует две пирамиды: по объему понятие пирамидально растет сверху вниз, заканчиваясь неделимым понятием, у которого объем самый узкий — единичный предмет; по содержанию понятие растет снизу вверх, заканчиваясь понятием с самым узким содержанием — понятием бытия.
Категории — высшие всеобщие предикаты; это последние объемы, которыми рассудок определяет все свои понятия. Карпов признает категориями два понятия: понятие бытия и понятие отношения.
В. Карпов дает следующее определение суждения: «Суждение есть положение взаимного отношения понятий». Различая в суждении материю и форму, он под материей суждения понимает входящие в него понятия, а под формой — отношение между ними. Отвергая субъективистское кантовское понимание модальности суждений, Карпов дает правильное ее истолкование: в суждении сказуемое либо только может относиться к подлежащему, либо действительно относится, либо должно относиться.
По учению Карпова, условное суждение есть суждение содержания, а разделительное есть суждение объема.
Умозаключение, по Карпову, есть выведение одного суждения из другого через формальное соотношение заключающихся в них понятий.
Основанием всех умозаключений Карпов считает аксиому силлогизма — dictum de omni et de nullo.
Основными видами умозаключений Карпов считает дедукцию, индукцию и аналогию. Аналогию Карпов наравне с индукцией понимает как восхождение от частного к общему: аналогия подводит частное под общее.
Изучение форм мышления в отдельности — понятия, суждения и умозаключения — составляет, по Карпову, элементарную часть логики. Далее в его системе логики следует учение о соединении форм мышления в одно целое. И, наконец, последняя часть его логики трактует о системе и методе развития системы.