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

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

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

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

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

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

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

.

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

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

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

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

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

Оригинальные логические теории М. В. Ломоносова нашли себе продолжателей в начале XIX в. у А. С. Лубкина и во второй половине XIX в. у М. И. Карийского.