История логики.

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

Карпов говорит об антиномическом столкновении доказательств.

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

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

Высоко оценивает труд В. Н. Карпова М. Владиславлев. Он говорит, что из всех отечественных сочинений по логике до 1880 т. «Синтетическое изложение логики» Карпова является единственно оригинальным и оно выделяется логической стройностью плана и самостоятельностью взглядов и направления Однако это сочинение не было должным образом оценено и оказало мало влияния из-за недостатков языка: оно изложено не везде ясно и вразумительно и местами представляет затруднения для читателя. Между тем по своей ценности и оригинальности этот труд должен был занять почетное место в мировой научной литературе по логике, Недостатком курса логики Карпова М. Владиславлев считает то, что он ие охватил индуктивных приемов мышления, ограничившись одной только чисто формальной логикой.

Отметим еще сочинение П. Пащенко «Руководство к изучению логики» (М., 1840), в котором он, следуя Бахману (последователь Шлейермахера), стремится внести в его учение материалистическую тенденцию.

Пащенко критикует Бахмана, указывая, что тот ошибочно, идеалистически истолковывает закон исключенного третьего.

По Бахману, мышление есть «произведение свободного духа». Поэтому его учение о законе исключенного третьего является Идеалистическим, неправильным. Закон исключенного третьего Бахман «обосновывает» тем, что невозможно непосредственно соединить в одном акте мышления «положение и неположение», «потому что мышление разрушилось бы от противоречия»[86]. Поэтому и истинный смысл этого закона, по Бахману, заключается в том, что если кто-нибудь хочет мыслить о чем-нибудь, тот должен решиться или на утверждение, или на отрицание и должен сказать: это есть или А, или не-А.

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

Закон исключенного третьего Бахман формулирует так: «Утверждение и отрицание, положение и неположение исчерпывают определимость предмета мышления и вместе исключают себя взаимно; ибо основываются на противоположной деятельности духа».

Здесь фактически говорится не о законе исключенного— третьего, а о соотношении отрицания и утверждения при определении предмета мышления. Причем отрицание и утверждение тоже объясняются чисто идеалистически: они противоположны потому, что основываются на «противоположной деятельности духа»[87]. Против этих положений Бахмана и выступает Пащенко. Он считает закон исключенного третьего самостоятельным законом мышления. По его мнению, tertium non datur нельзя выводить из закона противоречия, так как закон противоречия, говоря о несовместимости в одном акте мышления отрицания и утверждения, не упоминает о том, что они так исчерпывают сферу определимости предмета мышления, что третьего ничего не остается.

Профессор Московского университета М. Троицкий давал высокую оценку книге Пащенко, указывая, что Пащенко первый изложил теорию индукции в России.

В 1807 г. вышло в Петербурге сочинение профессора Казанского университета Александра Степановича Лубкина (1770— 1815) «Начертания логики».