Иван Ефимович Орлов | |
---|---|
Дата рождения | 1 октября (25 октября) 1861 |
Место рождения | [Галич (Костромская область) |
Дата смерти | 1936 |
Страна | Российская империя, СССР |
Научная сфера | логика, химия, философия математики |
Альма-матер | Московский государственный университет |
Известен как | изобретатель релевантной логики |
Ива́н Ефи́мович Орло́в (1 октября 1886, Галич — 1936) — русский философ, предшественник релевантной и других подструктурных логик, пионер параконсистентного направления в логике[1], промышленный химик. Дата его смерти неизвестна, но вероятнее всего, датируется 1936-1937 годом.
И.Е. Орлов обучался на физико-математическом факультете Московского университета. Его академическая карьера началась в 1916 году с публикацией нескольких статей о методе индуктивных умозаключений и математической индукции в журнале «Вопросы философии и психологии». В следующие семь лет он не опубликовал ни одной работы: что неудивительно, учитывая политическое и социальное состояние страны. В 1920-х годах он сотрудничал в секции Естественных и точных наук отдела методологии в новосозданной Коммунистической академии, а также служил в химико-фармацевтическом институте.
В 1923 году Орлов возобновил научную работу с чрезвычайной энергией. Большинство его статей публиковались в ведущих советских журналах — «Под знаменем марксизма», «Красная новь», «Воинствующий материалист» и т.п., — будучи, как следствие, крайне идеологизированы. В своих работах он основывался на философии математики и логике, в частности — на марксистской диалектической логике. В сфере его интересов были теория вероятности, релятивистская физика, психология, музыкальная акустика и химические технологии (потенциометрия, титриметрический анализ).
Его внелогические интересы и работы, эволюция его интересов, а также мотивы, стоявшие за решением прекратить занятия философией и логикой, к сожалению, неизвестны. Так как в дискуссиях того времени Орлов примыкал к т.н. механистам, будет обоснованным предположение, что он сосредоточился на химических исследованиях после идеологического разгрома «механицизма», чтобы избежать идеологической критики и преследований.
Обстоятельства смерти И.Е. Орлова также остаются пока неизвестными. В предисловии к книге «Методы анализа рапы буровых вод и контроль производства йода и брома» в августе 1938 г. А.П.Снесарев замечает, что автор не успел завершить работу над рукописью. Последняя публикация И.Е.Орлова относится к 1935 году. Отсюда можно заключить, что, вероятнее всего, ученый скончался в 1936-1937 годах, и скорее всего, не подвергался репрессиям: в противном случае в 1939 г. публикация его работ в СССР были бы невероятны.
Некоторые документальные свидетельства говорят о том, что скончался он 13 октября 1936 г.[2]
Анализируя развитие естественных наук, И.Е. Орлов стремился раскрыть их специфическую «логику». Согласно Орлову, законы мысли должны рассматриваться как формальные правила, подчиненные законам тождества и противоречия (отметим, что во время написаняи этих работ еще не состоялось открытие естественного вывода, исчисления секвенций и семантических таблиц). Необходимо исследовать семантическое отношение между антецедентом и консеквентом. Главное «противоречие логики» проявляется в связи предпосылки и следствия, и если мы настаиваем на том, что следствие — необходимое условие посылки, то тогда, согласно Орлову, неизбежно появляется необходимость в нетрадиционной, не-аристотелевской логике, диалектической по своей природе.
Единственная работа И.Е, Орлова, целиком выполненная в духе математической логики без идеологического обрамления, — «Исчисление совместности предложений», — была опубликована в 1928 г. в «Математическом сборнике», где печатались ведущие отечественные математики. В своей попытке аксиоматизировать идею релевантности он впервые в мире попытался связать интуиционистскую логику с модальной (Попов, 1986. С. 97) путем добавления к оригинальному исчислению совместности предложений оператора необходимости, типичного для модальной системы S4.
Орлов по существу оперирует интенсиональной конъюнкцией и интенсиональной дизъюнкцией, хотя в его статье непосредственно речь идет об импликации и отрицании. Орлов стремится сохранить закон исключенного третьего, хотя оценивает свою работу как определенное развитие некоторых приемов и методов, введенных сторонниками интуиционизма. Он тщательно анализирует работы Л.Брауэра и пытается осмыслить истолкование импликации Дж.Пеано, А.Уайтхедом, Б.Расселом и В.Аккерманом. К.Дошен замечает:
«аксиоматизация релевантной логики появилась в одно и то же время, когда была предложена аксиоматизация интуиционистской логики… Но это не единственное достижение Орлова. Он также предвосхищает модальное погружение систем с интуиционистским отрицанием в системы типа S4 с классическим отрицанием (под модальным погружением понимается погружение, которое помещает оператор необходимости перед подформулами немодальных формул)… Орлов вплотную подошел к построению систем S4, но добавил соответствующие постулаты к релевантной логике, а не логике классической» [3].
Тем самым Орлов предвосхищает работы Курта Геделя 1933 года и, главное, Оскара Беккера 1930 года, которому, собственно, и приписывают заслугу построения системы S4 (см.: там же. P. 349).
И.Е. Орлов строит свое исчисление на следующих аксиомах:
а → ¬¬а (Аксиома 1);
¬¬а → а (Аксиома 2);
а → а•а, где а•а = ¬(а → ¬а) (Аксиома 3);
41 (а → b) → (¬b → ¬a) (Аксиома 4);
{a → (b → c)} → {b → (a → c)} (Аксиома 5);
(а → с) → {(a → b) → (a → c)} (Аксиома 6).
Аксиома 7, которую вводит Орлов (Орлов, 1928 а. С. 266), он не считает «формальной»: «аксиомы, а также предложения, выведенные из аксиом, могут быть опущены в составе символических формул, если они служат посылками каких-либо выводов», на самом деле эта аксиома эквивалентна правилу modus ponens.
Обсуждая замысел интуиционизма, Орлов вводит оператор «доказуемости», обозначаемый как Ф(а), и расширяет список аксиом:
Ф(а) → а (Аксиома 8); Ф(а) → Ф(Ф(а)) (Аксиома 9);
Ф(а → b) → {Ф(а) → Ф(b)} (Аксиома 10).
Именно здесь им по существу формулируется система S4. Он заключает, что исчисление совместности предложений позволяет производить операции не только непосредственно над предложе- ниями a, b, c…, но и над их функциями типа Ф(а).
«Введение указанных функций в классическую математическую логику, – замечает Орлов, – невозможно, так как интерпретация понятия “следовать” как материального вывода лишает смысла все выражения, доказанные для введенных нами функций… а при построении схем трансфинитных заключений не осталось бы иного пути, кроме как отрицания “tertium non datur”» (там же. С. 286).
Весьма естественное истолкование идей Орлова и истории их возникновения достигается в подструктурных логиках, включающих в себя интуицинистскую, релевантную, линейную и т.д. логики. Все эти логики получаются путем ограничения структурных правил в системе натурального вывода Генцена.
По-видимому, впервые на логические идеи И.Е. Орлова обратил внимание в 1962 г. А.А. Зиновьев, когда соответствующие идеи уже были высказаны независимо другими мыслителями (например, теория «лямбда-исчислений» Алонзо Черча, 1951 г.). Вместе с тем, стоит отметить, что, по крайней мере, есть свидетельства, что Алонзо Чёрч был знаком с работами И.Е. Попова и даже рецензировал некоторые его статьи[4]. В СССР на связь этих идей с релевантной логикой впервые указал в 1978 г. В.М.Попов (Попов, 1978. C. 118; см. также: Попов, 1986).
Орлов жестко полемизировал с ленинско-марксистских позиций с теорией множеств Георга Кантора, теорией относительности Эйнштейна (будучи сторонником теории эфира) и гелиобиологией А.Л. Чижевского. Его полемика с А.Н. Щукаревым явилась предвестником последующих дискуссий об «искусственном интеллекте»[5].
Около 1928 года Орлов перестал публиковать работы по логике и философии. Он сосредоточил усилия на конкретно-научной проблематике: промышленном использовании химии, в частности на производстве брома и йода. Также он переводил немецкие работы Э.Мюллера, Ф.Гана, О.Томичека по химии на русский язык.
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .