Чем вызвана эта реформа традиционной логики, сам Ломоносов не говорит. Надо полагать, что Ломоносову была ясна несуразность включения единичных суждений в разряд общих, как это было принято в логике со времени Аристотеля. С другой стороны, изгнание из логики частных суждений с подлежащим «некоторые» в смысле «некоторые, а может быть, и все» было продиктовано истолкованием логического смысла этих суждений как вероятных общих суждений, т. е. как таких, в которых дается эмпирическое обобщение того, что все случаи, которые мы наблюдали в опыте, подходят под это общее положение, поскольку в нашем опыте никогда не встречалось противоречащего случая (в противном частное суждение не могло бы иметь значения «а может быть, и все»). Ввиду таких именно соображений все суждения делятся на общие и единичные. Тут играет роль и утвержденная Ломоносовым связь научной теории с практикой.

Наука устанавливает законы природы, формулируемые в общих суждениях, а практика имеет всегда дело с единичными конкретными случаями, для которых необходимо делать выводы из установленных наукой общих положений (математических формул, законов природы, научных гипотез).

Ломоносов дает следующие определения общего и особенного суждения: «Общие суть те, в которых сказуемое приписывается или отъемлется подлежащему как роду», «Особенные суть те, в которых сказуемое приписывается или отъемлется подлежащему как виду» 8.

FIXME 8М В Ломоносов Полное собрание сочинений, т. VII, стр. 118.

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

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

По учению Ломоносова, доказательства состоят из одного или нескольких связанных между собой силлогизмов, силлогизм же состоит из трех рассуждений, из коих два первые называются «посылками» (этот термин впервые в русской логике встречается у Ломоносова), а третье, которое выводится из посылок, называется «следствием». Ученье Ломоносова о категорическом силлогизме, который он называет «прямым силлогизмом», является новым, оригинальным. Он утверждает, что если обе посылки общие, то и заключение всегда должно быть общим. Отсюда явствует, что Ломоносов отвергает такие модусы III и IV фигур, как Darapti, Felapton, Bramantip, Fesaro. Вообще он не признает познавательной ценности III и IV фигур, притом его силлогизмы отличаются от аристотелевских, поскольку он не дает в логике права гражданства частным суждениям / и О, с другой стороны, вводит в силлогистику единичные суждения как особую категорию, отличную от общих суждений.

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

Поясним взгляд Ломоносова на природу силлогизма на примере. Силлогизм модуса Cesare второй фигуры: «Ни одна рыба не есть млекопитающее животное, все киты – млекопитающие животные; следовательно, киты не рыбы» – следует, по Ломоносову, представлять в следующем виде: «Ни одна рыба не есть млекопитающее животное; всякий кит есть одно из млекопитающих животных; ergo, ни один кит не рыба, потому что он животное млекопитающее».

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

О сокращенных силлогизмах Ломоносов говорит, что они применимы и к условным и к разделительным силлогизмам.

Переходя к индукции, Ломоносов лишет: «Что рассуждается о каждом виде, ни единого не выключая, то же рассуждать должно и о всем роде»[96].

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

Далее Ломоносов приводит аксиому для иного типа умозаключений, а именно для выводов от частей к целому: «Что о всех частях рассуждаем, то должно рассуждать и о всем целом»[97]. Но обратного вывода от целого к частям логика не допускает. Вывод от частей к целому имеет столь же широкое применение в науках, как и выводы от общего к частному и от частного к общему. Таким образом, Ломоносов указывает, что дедукция и индукция суть не единственные законные виды умозаключений.

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

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