Что касается логики, то в XVIII в. в России она является предметом преподавания прежде всего в духовных академиях и семинариях.
      В 1701 г. была учреждена Киевская духовная академия на основе могилянского коллегиума. Первым префектом ее был Стефан Яворский. В Киевской духовной академии, начиная со Стефана Яворского, установилась традиция, что курсы философии и логики читал сам префект. Курсы логики читались на латинском языке сперва в духе средневековой схоластики (по образцу компендиума Петра Испанского), некоторое время была в ходу картезианская логика, а затем – в духе вольфинской неосхоластики.
      Курсы логики, читанные Стефаном Яворским и следовавшими за ним префектами Киевской духовной академии, остались не напечатанными и хранятся в Киевской публичной библиотеке.
      Подобная постановка преподавания логики была в XVIII в. и в Московской славяно-греко-латинской академии. В ней логика преподавалась как одно из «семи свободных искусств». Став местоблюстителем патриаршего престола, Стефан Яворский преобразил эту Московскую академию по образцу Киевской духовной академии, перенеся центр тяжести учения в ней на латинский язык вместо ранее господствовавшего греческого языка.
      В 1814 г. Славяно-греко-латинская академия была закрыта и на ее основе была учреждена Московская духовная академия.
      В 1797 г. были созданы в России еще две духовные академии – Казанская и Петербургская.
      В XVIII в. в России возникли и первые центры светской науки: в 1725 г. была открыта Петербургская академия наук и в 1755 г. – Московский университет. При Петербургской академии наук в XVIII в. для обучения юношества были учреждены гимназия и университет.
      В первой половине XVIII в. преподавание логики в Киевской духовной академии и Московской славяно-греко-латинской академии носило схоластический характер. С критикой этой схоластической логики выступил Василий Никитич Татищев (1686–1750), видный государственный деятель и многосторонний ученый, первый историк России.
      Он требовал отмежевания науки от религии и утверждал, что только то может быть признано истинным, что подтверждается чувственным опытом и разумом. Он был знаком с математическим естествознанием и с западноевропейской философией (с учениями Декарта, Гоббса, Локка, Пьера Бейля и др.). Его собственное мировоззрение было дуалистическим и рационалистическим. Он критически относился к богословию и вел борьбу со схоластикой. Он обвинял церковнослужителей в том, что они стремятся держать народ в невежестве и слепой вере.
      В своем произведении «Разговор двух приятелей о пользе наук и училищ» (1733) Татищев выступает в защиту просвещения и говорит, что наука дает людям подлинное благополучие.
      Обличая духовенство как врагов науки и прогресса, Татищев приводил в качестве примера Исиакию, в которой глубокий упадок культуры и науки обусловлен засилием римско-католического духовенства, религиозным фанатизмом и церковной цензурой над печатью.
      Татищев развивал учение, что в материальном мире господствуют естественные законы и все причинно обусловлено. Источником человеческого знания о материальном мире он признавал воздействие предметов внешнего мира на органы чувств и последующую обработку этих данных умом.
      Выступая против схоластики, Татищев солидаризируется с Декартом и примыкает к его критике силлогистики. Он восхваляет Декарта за опровержение философии Аристотеля и его логики. «Пустым, силлогизмам» Татищев противопоставляет подлинно научные доказательства, образцы которых он усматривает у Декарта. Он подверг суровой критике Московскую духовную академию за господство в ней пустой бесплодной схоластики, за то, что она не дает своим питомцам никаких реальных знаний и учит их только искусству пустых словопрений. Татищев говорит о необходимости отличать от подлинных наук лженауки, которые сеют суеверия и предрассудки и приносят вред обществу.
      Ратуя за просвещение народа, Татищев говорил о необходимости обучения элементарной грамоте всех крестьянских детей – как мальчиков, так и девочек. Он высказывался за необходимость развития сети учебных заведений в России, в особенности технических, требовал свободы научной мысли как необходимого условия для процветания научного знания. Он дал классификацию наук, в которой на первое место ставил науки, необходимые для жизни, на второе – полезные науки, на третье – науки «развлекательные», на четвертое – науки, удовлетворяющие лишь любознательность, и на последнее место – лженауки.
      Таким образом, здесь в основу классификации положен признак практического значения наук, и с этой точки зрения науки делятся на подлинные и лженауки; что касается подлинных наук, то они относятся, с одной стороны, к необходимым и полезным, а с другой – к служащим для развлечения и удовлетворения любознательности. Прогресс общества, по мнению Татищева, зависит от «умопросвещения» – от развития наук и распространения знаний.
      Одновременно с Татищевым протекала деятельность другого выдающегося прогрессивного русского писателя, Антиоха Дмитриевича Кантемира (1708–1744). Сын молдавского господаря, воспитанник Московской славяно-греко-латинской академии и гимназии при Петербургской академии наук, Кантемир был ревностным сторонником петровских реформ. В историю русской литературы он вошел как родоначальник русской сатиры, а в историю русской философии – как видный пропагандист просветительских идей в России. Его сатира «К уму своему. На хулящих учение» (1729 г.) осмеивает противников просвещения и науки; его философский трактат «Письма о природе и человеке» (1742 г.) написан в духе философии Просвещения.
      Кантемир наиболее высоко ставил философию Декарта, примыкал к картезианскому дуализму, принимал основные положения механической физики Декарта и придерживался картезианского рационализма. Осуждая пифагорейскую философию за приписывание ею числам мистической силы, являющейся якобы причиной физических явлений, Кантемир признавал самым крупным философом древности Аристотеля, но и философию Аристотеля он считал ошибочной и говорил, что ошибки аристотелевской философии были исправлены Декартом и что только декартова философия с ее строго научными доказательствами дает ясное истинное познание всего происходящего в мире.
      Кантемир впервые ввел в русскую науку такие логические термины, как «понятие» и «наблюдение».
      В основном Кантемир в своих философских и логических воззрениях примыкал к тому направлению французской философии XVII-XVIII вв., которое вело свое происхождение от Декарта.
      В середине XVIII в. влияние картезианской философии сказалось в России и на преподавании логики. В 50-х годах XVIII в. в Киевской и Московской академиях логику преподавали, ориентируясь на учебник картезианца Э. Пуршо (его книга «Insti-tutiones philosophicae» вышла первым изданием в 1695 г. в Париже на латинском языке и выдержала ряд изданий). В Московской славяно-греко-латинской академии в 1756–1757 гг. лекции по логике читал на латинском языке по учебнику Пуршо Владимир Каллиграф.
      Влияние картезианской логики Э. Пуршо чувствуется в известной мере и на учебнике логики, составленном в Москве М. Петровичем в 1759 г и носящем заглавие «Логика теоретическая, собранная из разных авторов и удобным порядком расположенная» .
      Автор этого учебника – префект Московской славяно-греко-латинской академии иеромонах Макарий Петрович – был сербом по происхождению. В то время курсы логики в России читались на латинском языке, сочинение же Макария было первым учебником логики, написанным на русском языке Сам автор сообщает, что он в своей логике не следовал никому из предшествовавших составителей учебников, но отовсюду брал то, что ему представлялось ценным. Он говорит, что использована и античная логика (Аристотеля), и новая логика (Вольф и Пуршо). Но он относится отрицательно к ухищрениям схоластической логики Сочинение Макария Петровича осталось не опубликованным, оно дошло до нас в трех рукописных экземплярах. Что касается логической терминологии, то Макарий в основном следует М. В. Ломоносову, давшему в своей «Риторике» (1748 г.) первое по времени изложение логики на русском языке (так, например, Макарий, вслед за Ломоносовым, «суждение» называет «рассуждением», контрарные суждения называет противными, единичные – особыми, и т. д.).
      Как видно из порядка расположения материала и из самого содержания сочинения Макария Петровича, его основным источником служила книга Пуршо. В особенности об этом свидетельствует раздел, в котором излагается учение о суждениях – предложениях, так как такие виды суждений, приводимые в сочинении Макария, как «отлучительное» (exclusive), «выключительное» (exceptiva) и тому подобные, не получили права гражданства в логике за исключением картезианской логики (эти виды суждений анализировались в «Логике Пор-Рояля»).
      О тесной связи учебника Макария с логикой Пуршо говорят приводимые В. Зубовым сопоставления, показывающие, что Макарий нередко буквально передает формулировки Пуршо. Таково, например, определение истины, как «согласия наших помыслов с самими вещами, о которых помышляем».
      После непродолжительного господства картезианского направления в преподавании логики в России в XVIII в. наступает полоса засилия в официальном преподавании вольфианской логики. Учебники вольфианской школы обладали определенными дидактическими достоинствами, они отличались ясностью, стройностью и последовательностью изложения, но были написаны в духе узкого рационализма и нередко страдали излишним многословием и педантическим доктринерством. Вольфианство во многом было родственно средневековой схоластике и заслуженно получило название неосхоластики.
      Лучшими учебниками логики в немецкой вольфианской литературе были два компендиума самого Христиана Вольфа (одно на латинском и другое на немецком языке) и вышедшие из вольфианской школы учебники А. Г. Баумгартена (ученика Вольфа) и Г. Ф. Мейера (ученика Баумгартена). Учебнику Мей-ера Кант отдавал предпочтение перед всеми прочими руководствами по логике и использовал его при составлении собственных лекций. На русский язык в XVIII в. было переведено сочинени.е «славного Вольфа»: «Разумные мысли о силах человеческого разума и их исправном употреблении в познании правды» (перевод с латинского, выполненный в 1753 г., был издан в Петербурге в 1765г.).
      Особый успех в России имела логика вольфианца Хр. Баумейстера, которая трижды была переведена с латинского на русский язык и выдержала четыре издания (первое издание вышло в 1760 г. в изд-ве Московского университета в переводе А. Павлова, второе – в 1787 г. с исправлениями и дополнениями проф. Д. Синковского). В 1766 г. было переведено с латинского иа русский язык сочинение вольфианца И. Г. Гейнекция: («Основания умственной и нравственной философии вообще с сокращенною историей философии».
      Во второй половине XVIII в. русская переводная литература по логике обогатилась изданием переводов статей из «Большой французской энциклопедии» и сочинениями Кондильяка. Я. П. Козельский опубликовал «Статьи о философии и частях ее из Французской энциклопедии» (1770 г.). Перевод «Логики» Э. Кондильяка на русский язык вышел первым изданием в 1792 г.
      Таким образом, в XVIII в. в России в логике совершается переход от схоластики сначала к картезианству, затем к вольфианству и наконец поворот к французским энциклопедистам, влияние же кантианства стало сказываться лишь в XIX в.
      Основоположник русской материалистической мысли энциклопедист Михаил Васильевич Ломоносов (1711–1765) проложил новый путь в различных отраслях научного знания и своими исследованиями обогатил физику, химию, геологию, минералогию, климатологию, экономическую географию, философию, историю, психологию, логику, эстетику. В философии М. В. Ломоносов стоял на позиции механического материализма, причем в его научном мировоззрении уже сильно были выражены отдельные элементы диалектики: идеи всеобщей взаимосвязи и взаимообусловленности явлений природы и всеобщего развития, положение о единстве теории и практики и о неразрывной связи эмпирического и рационального моментов в познавательном процессе.
      М. В. Ломоносов держался того взгляда, что между теорией и практикой существует самая тесная, неразрывная связь и поэтому истинный ученый должен быть одновременно и теоретиком и практиком в своей области. В одном из своих ранних сочинений «Элементы математической химии» (1741 г.) он пишет: «Занимающиеся одной практикой – не истинные химики. Но и те, которые услаждают себя одними умозрениями, не могут считаться истинными химиками» . Вместе с тем истинный ученый, указывает Ломоносов, должен быть также и философом, поскольку научная теория истинна лишь в том случае, если она опирается на правильные философские основы. Из философских дисциплин в этом отношении Ломоносов особое значение придает логике, так как каждая наука лишь постольку наука, поскольку она доказывает то, что утверждает.
      В науке все высказываемое должно быть доказано. Только то, что доказано, может считаться научной истиной. Ученый должен уметь доказывать, давать объяснение изучаемых явлений, а это предполагает знание философии. Ввиду этих соображений Ломоносов в «Элементах математической физики» счел необходимым предпослать философские основы естествознания Здесь он дает формулировку двух основных законов мышления – закона противоречия и закона достаточного основания: «Одно и то же не может одновременно быть и не быть»; «Ничто не происходит без достаточного основания» . Эти положения Ломоносов называет философскими аксиомами.
      В этом признании наивысшими принципами бытия и познания философских аксиом – закона противоречия и закона достаточного основания – у М. В. Ломоносова имеются точки соприкосновения с Христианом Вольфом, лекции которого он слушал в Марбургском университете во время своей заграничной научной командировки и на которого он неоднократно ссылается в своих «Элементах математической химии», именуя его «знаменитым» (illustris) Вольфом.
      Принимая вольфианские формулировки законов противоречия и достаточного основания, Ломоносов дает им иное толкование, отвергая тот идеалистический и рационалистический смысл, какой они имели у Вольфа. М. В. Ломоносов противопоставляет лейбнице-вольфианской монадологии свое материалистическое учение об атомах и корпускулах. По учению Ломоносова, сложное тело состоит из корпускул, а последние из атомов (а не из нематериальных монад), свойства же тел и все, что в них происходит, обусловлены сущностью и природой самих тел . В сочинении «О нечувствительных частицах тела» Ломоносов пишет: «Материя есть то, из чего состоит тело и от чего зависит его сущность» .
      Выступая против идеализма Вольфа, Ломоносов критикует и его рационалистический метод, претендующий на чисто дедуктивное выведение из основных принципов всей системы научного знания.
      Ломоносов подчеркивает, что подобная чистая умозрительная система несостоятельна, так как научная теория возможна лишь в неразрывной связи с практикой и эмпирией, с наблюдением и экспериментом.
      Формальная логика изложена М. В. Ломоносовым в связи с риторикой В 1743 г. М. В- Ломоносов написал сочинение «Краткое руководство к риторике на пользу любителей сладкоречия». Затем это сочинение было значительно расширено – увеличено в своем объеме в три раза и опубликовано в 1748 г. под заглавием «Краткое руководство к красноречию. Книга первая, в которой содержится риторика, показующая общие правила обоего красноречия, т. е. оратории и поэзии, сочиненная в пользу любящих словесные науки» (первое издание вышло в 1748 г., второе было выпущено Московским университетом в 1759 г. и последнее вышло в 1765 г.).
      Поскольку целью красноречия Ломоносов считает убедить в истинности того, что говорится («слушателей и читателей о справедливости речи удостоверить» ), он счел необходимым изложить в этом сочинении и основы логики. Вначале он дает учение о понятии. Термин «понятие» у него отсутствует, и вместо него употребляется термин «простая идея». Ломоносов развивает материалистическое учение о понятии. Он говорит, что идеи суть «представления вещей или действие в уме нашем» .
      Идеи Ломоносов делит на простые и сложные. Сложные идеи представляют собой соединение двух или нескольких представлений. К сложным идеям он относит суждения, умозаключения и доказательства. Далее он приводит деление идей на род и вид, указывая, что род выражает общее сходство единичных («особенных») вещей, которые являются видами данного рода. Так, река есть род, виды этого рода: Нева, Двина, Днепр, Висла и т. д. От отношения рода к его видам Ломоносов отличает отношение целого к его частям. Целое есть соединение его частей Так, город состоит из улиц, домов, башен, которые являются его частями.
      Рассматривая категории вещей и их свойства, Ломоносов делит свойства вещей на материальные и «жизненные». К материальным свойствам он относит те, которые одинаково присущи как одушевленным, так и неодушевленным телам. Это – величина, фигура, тяжесть, твердость, упругость, движение, звон, цвет, вкус, запах, теплота, холод и т. д. Ломоносов не проводит различия между первичными и вторичными качествами тел, и, следовательно, в вопросе о свойствах тел он более последовательно проводит материалистическую линию, чем Локк, Галилей и представители метафизического механистического материализма. Ломоносов признает и так называемые вторичные качества, объективно присущие самим вещам.
      Последовательно материалистически М. В Ломоносов рассматривает все психическое как свойство высокоорганизованной материи. Он относит к «жизненным» свойствам (к свойствам тел живой природы) и «душевные дарования» (память, сообразительность, волю), и страсти (радость и печаль, любовь и ненависть, честь и стыд, желание и отвращение и т. д.), и свойства человеческой личности (ее добродетели и пороки). В качестве специальной категории Ломоносов выделяет «имена» О категориях «действие и страдание» он говорит, что они образуют неразрывное единство – когда одно тело воздействует на другое, производит в нем какое-нибудь изменение, то первое тело производит действие, а второе испытывает страдание. Категории времени и пространства истолковываются Ломоносовым материалистически как объективно существующие.
      В особую группу Ломоносов выделяет «противные» вещи, которые одновременно вместе существовать не могут, как, например, день в ночь, зной и стужа, богатство и бедность.
      В качестве термина, служащего для обозначения понятия «суждение», у Ломоносова употребляется слово «рассуждение». Суждение он считает сложной идеей, поскольку в нем соединяется большее число представлений. Будучи выражены в словесной или письменной форме, эти рассуждения называются предложениями. В суждении мы мыслим что-либо о чем-нибудь, и потому каждое суждение, по Ломоносову, состоит из трех частей: из подлежащего (то, о чем мы мыслим), сказуемого (то, что мы мыслим о подлежащем) и связки, соединяющей подлежащее со сказуемым. В речи связка нередко пропускается, но каждому предложению можно придать чисто логическую форму, хотя иногда такое предложение принимаем искусственный вид, не свойственный тому или другому языку. Так, если предложению «огонь горит» придать чисто логическую форму, то получим фразу: «Огонь есть горящий» (выражение, не свойственное русскому языку).
      Суждения – предложения Ломоносов делит на утвердительные и отрицательные, на общие и особенные (единичные). Что касается частных суждений, которые играют роль в аристотелевской логике, то Ломоносов не дает им права гражданства в логике, очевидно, отрицая их логическую познавательную значимость.
      Своеобразие предлагаемой Ломоносовым классификации суждений состоит в том, что она принимает два вида суждений: общие и единичные, тогда как ранее принимали деление суждений либо на общие и частные (по распределенности или нераспределенное™ термина подлежащего), либо на общие, частные и единичные (по объему подлежащих). Это нововведение Ломоносова оказывает большое влияние на его учение об умозаключениях, вызывая реформу учения о категорическом силлогизме.
      Чем вызвана эта реформа традиционной логики, сам Ломоносов не говорит. Надо полагать, что Ломоносову была ясна несуразность включения единичных суждений в разряд общих, как это было принято в логике со времени Аристотеля. С другой стороны, изгнание из логики частных суждений с подлежащим «некоторые» в смысле «некоторые, а может быть, и все» было продиктовано истолкованием логического смысла этих суждений как вероятных общих суждений, т. е. как таких, в которых дается эмпирическое обобщение того, что все случаи, которые мы наблюдали в опыте, подходят под это общее положение, поскольку в нашем опыте никогда не встречалось противоречащего случая (в противном частное суждение не могло бы иметь значения «а может быть, и все»). Ввиду таких именно соображений все суждения делятся на общие и единичные. Тут играет роль и утвержденная Ломоносовым связь научной теории с практикой.
      Наука устанавливает законы природы, формулируемые в общих суждениях, а практика имеет всегда дело с единичными конкретными случаями, для которых необходимо делать выводы из установленных наукой общих положений (математических формул, законов природы, научных гипотез).
      Ломоносов дает следующие определения общего и особенного суждения: «Общие суть те, в которых сказуемое приписывается или отъемлется подлежащему как роду», «Особенные суть те, в которых сказуемое приписывается или отъемлется подлежащему как виду» 8.
      FIXME 8М В Ломоносов Полное собрание сочинений, т. VII, стр. 118.
      В качестве поясняющих примеров приводятся для общего суждения: «Всяк человек есть смертен», а для особенного: «Се-мироний есть великодушен». Общее понятие всегда есть некий род, а единичное всегда есть только вид. Именно в этом смысле, как видно из определения и приводимых примеров, надо понимать устанавливаемое Ломоносовым деление суждений на общие и особенные.
      Об умозаключении Ломоносов говорит, что его назначение заключается в том, чтобы служить изобретению доводов. Доказательства, по определению Ломоносова, суть сложные идеи, удостоверяющие остроту справедливости высказанного положения.
      По учению Ломоносова, доказательства состоят из одного или нескольких связанных между собой силлогизмов, силлогизм же состоит из трех рассуждений, из коих два первые называются «посылками» (этот термин впервые в русской логике встречается у Ломоносова), а третье, которое выводится из посылок, называется «следствием». Ученье Ломоносова о категорическом силлогизме, который он называет «прямым силлогизмом», является новым, оригинальным. Он утверждает, что если обе посылки общие, то и заключение всегда должно быть общим. Отсюда явствует, что Ломоносов отвергает такие модусы III и IV фигур, как Darapti, Felapton, Bramantip, Fesaro. Вообще он не признает познавательной ценности III и IV фигур, притом его силлогизмы отличаются от аристотелевских, поскольку он не дает в логике права гражданства частным суждениям / и О, с другой стороны, вводит в силлогистику единичные суждения как особую категорию, отличную от общих суждений.
      Что касается среднего термина, то Ломоносов, в отличие от Аристотеля, учит, что он всегда должен быть в одной посылке общим, а в другой особенным. Общим он бывает всегда в подлежащем общих предложений и в сказуемом отрицательных, особенным всегда в подлежащем особенных предложений и в сказуемом утвердительных предложений. Ломоносов вслед за Аристотелем признает, что средний термин в силлогизме заключает в себе указание на причину того, что утверждается или отрицается в заключении.
      Поясним взгляд Ломоносова на природу силлогизма на примере. Силлогизм модуса Cesare второй фигуры: «Ни одна рыба не есть млекопитающее животное, все киты – млекопитающие животные; следовательно, киты не рыбы» – следует, по Ломоносову, представлять в следующем виде: «Ни одна рыба не есть млекопитающее животное; всякий кит есть одно из млекопитающих животных; ergo, ни один кит не рыба, потому что он животное млекопитающее».
      Ломоносов отмечает, что, кроме категорического силлогизма, бывают «ограниченные» силлогизмы, «ограниченные условием или разделением». Для них Ломоносов устанавливает термины «условный» и «раздельный», тогда как категорический силлогизм он называет «положительным».
      О сокращенных силлогизмах Ломоносов говорит, что они применимы и к условным и к разделительным силлогизмам.
      Переходя к индукции, Ломоносов лишет: «Что рассуждается о каждом виде, ни единого не выключая, то же рассуждать должно и о всем роде» .
      Эта аксиома лежит в основе как полной, так и неполной индукции с той лишь разницей, что при полной индукции гарантируется полная достоверность того, что никаких исключений нет, поскольку проверены все виды или все отдельные случаи, тогда как при неполной индукции отсутствие исключений лишь предполагается на основании того, что такие исключения до сих пор не встречались в нашем опыте. Данные Ломоносовым формулировки аксиом силлогизма и индукции говорят о том, что дедукция и индукция друг друга обуславливают, и эта мысль о внутренней связи и взаимообусловленности дедукции и индукции является ценным диалектическим моментом в его теории умозаключений. Имея в виду эту взаимосвязь, Ломоносов называет категорический силлогизм «прямым», а индукцию «обратным» силлогизмом. Индукцию он истолковывает как оборотную сторону категорического силлогизма.
      Далее Ломоносов приводит аксиому для иного типа умозаключений, а именно для выводов от частей к целому: «Что о всех частях рассуждаем, то должно рассуждать и о всем целом» . Но обратного вывода от целого к частям логика не допускает. Вывод от частей к целому имеет столь же широкое применение в науках, как и выводы от общего к частному и от частного к общему. Таким образом, Ломоносов указывает, что дедукция и индукция суть не единственные законные виды умозаключений.
      Ломоносов ставит в неразрывную связь мышление и язык (в частности, понятие и слово, суждение и предложение), но не отождествляет их. Напротив, он критикует номинализм, который ставит знак равенства между понятием и словом, и, с другой стороны, критикует реализм понятий, признающий реальное существование понятий самих по себе и приписывающий им первичность в отношении к вещам материального мира (Ломоносов называет номиналистов «именинниками», а реалистов «вещественниками»). Ломоносов говорит о двух логических функциях слов: одни из них выражают логические термины (подлежащее и сказуемое суждение), другие же обозначают связи между мыслями.
      О значении логики Ломоносов говорит, что для познания и правильного поведения необходим природный рассудок, подкрепленный «логикою, которая после грамматики есть первая предводительница ко всем наукам» . В частности, о познавательном значении умозаключений он говорит, что посредством них познаются скрытые от нашего непосредственного восприятия процессы природы, а также благодаря им открываются причины явлений.
      Оригинальные логические теории М. В. Ломоносова нашли себе продолжателей в начале XIX в. у А. С. Лубкина и во второй половине XIX в. у М. И. Карийского.
      Ценный вклад в развитие логики сделал также современник М. В. Ломоносова академик Петербургской академии наук знаменитый математик Эйлер.
      Леонард Эйлер (1707–1783) является классическим представителем математического естествознания. Уже магистерскую речь он посвятил сравнению принципов картезианской и ньютоновской физики. В споре между дифференциальным методом Лейбница и методом флюксий Ньютона Эйлер становится на сторону Лейбница, основываясь на принципиальном рассмотрении понятия бесконечности.
      Эйлер отстаивал взгляд, что движение следует принимать исключительно как процесс перемены места, а место есть часть бесконечного пространства, в котором заключаются тела. Но так как мы не можем составить определенной идеи об этом бесконечном неизмеримом пространстве, то обычно мы рассуждаем о конечном пространстве и о границах тел в нем и по этим данным судим о движении и покое тел. Так, мы говорим, что тело, которое относительно этих границ сохраняет свое положение, находится в покое и, наоборот, то тело движется, которое изменяет свое положение относительно них.
      При этом определении движения тел и их покоя мы пользуемся чисто математическими понятиями. Мы имеем право применять это для своих идей, независимо от того, есть ли в самой действительности такое бесконечное пространство или его нет. Мы просто лишь постулируем, что тот, кто хочет рассуждать об абсолютном движении, должен представлять себе такое пространство и по нему судить о состоянии или движении тела. В этом случае приходится представить себе бесконечное пустое пространство, в котором находятся тела.
      В течение ряда лет Эйлера интересовала проблема абсолютного и относительного пространства, абсолютного и относительного времени. Он ставит вопрос, какое значение в науке имеют понятия о чисто абсолютных пространстве и времени, следует ли их считать только постулатами и гипотезами. Но, замечает Эйлер, абсурдно, чтобы чистые плоды воображения могли бы служить реальными принципами механики в качестве ее основы. Эйлер считает, что об истинной природе пространства и времени дает нам знание не непосредственное чувственное наблюдение и не психологический анализ (как у Беркли), но сущность пространства и времени можно познать исключительно лишь по той функции, которую они играют в системе математической физики.
      Решающую роль в познании сущности пространства и времени, по его мнению, играет то, какое понятие о них удовлетворительно служит для целей точного объяснения явлений природы. Вопрос упирается в то, насколько та или иная концепция пространства и времени является годной для дедукцирования основ механики и ее теорем. Не произвольные предположения, а соответствие со всей совокупностью физических явлений должно быть положено в основу решения вопроса о природе пространства и времени.
      И Эйлер выступает как сторонник учения об абсолютном пространстве и абсолютном времени. Несомненная реальность абсолютного пространства и абсолютного времени, по мнению Эйлера, доказывается тем, что признание этого требуется всей совокупностью нашего научного познания мира. И если философы, решающие проблему пространства и времени путем психологического анализа (как Беркли), или рационалисты лейбнице-воль-фианской школы объявляют понятия пространства и времени чистыми абстракциями и отрицают у них объективное содержание, то они, указывает Эйлер, впадают в самообман, источник которого коренится в многозначности абстракции Подняться до идеи чистого пространства и чистого времени возможно лишь посредством мышления, и вопрос заключается в том, каким образом мы образуем общее родовое понятие.