Иван Ефимович Орлов ( Галич , Костромская область , 25 октября , [ OS 1 октября] 1886 — Москва , после 1936 [1] ) — русский философ , родоначальник релевантной и других субструктурных логик , промышленный химик. Дата его смерти неизвестна, но, скорее всего, между 1936 и 1937 годами.
Орлов учился на естественном факультете Московского университета . Его академическая карьера началась в 1916 году, когда он опубликовал несколько статей, связанных с методом индуктивных рассуждений и понятием индуктивного доказательства . В течение 7 лет, начиная с 1916 г., он не публиковал ни одной научной работы, предположительно из-за политических потрясений той эпохи. В 1920-х преподавал во вновь созданной Коммунистической академии , был офицером Химического института.
В 1923 г. Орлов возобновил свою научную деятельность, став весьма продуктивной. Большинство его статей было опубликовано в ведущих советских идеологических журналах, где он полемизировал в характерной для того места и времени манере. Работы Орлова касались философии математики и логики , в частности, так называемой диалектической логики , марксистской по своей сути. Писал по теории вероятностей , психологии , теории музыки и химической технологии .
Анализируя развитие естественных наук, он стремился раскрыть их специфическую «логику». По Орлову, законы мышления следует трактовать как формальные правила, ограниченные законами тождества и противоречия . (Когда Орлов писал это, изобретение естественной дедукции , исчисления секвенций и семантических картин лежало в будущем.) Мы должны искать семантическое отношение между предшествующим и последующим .. Основное «противоречие логики» проявляется в связи посылки и следствия и требует иной логики, чем традиционная. Если мы настаиваем на том, чтобы следствие было необходимым условием посылок, то, по Орлову, мы неизбежно приходим к неаристотелевской логике , диалектической по своей природе.
Логику именно такого типа Орлов предложил в своей работе «Логика совместимости предложений», опубликованной в 1928 г. в советском математическом журнале. В данной работе анализируется проблема совместимости (несовместимости) предложений через интерпретативную призму процедуры импликации . Он также предвидел перевод систем с интуиционистским отрицанием в модальную логику S4 с классическим отрицанием .
О творчестве Орлова долгое время знали очень мало, потому что его публикации, все на русском языке, были почти полностью неизвестны за пределами Советского Союза . Только с появлением после Второй мировой войны того, что стало известно как субструктурная логика (Restall 2000), постепенно стала проявляться новаторская роль Орлова. Субструктурные логики , категория, включающая интуиционистские , релевантные, линейные логики и т. д ., могут быть получены путем ограничения естественных правил дедукции («структурных») для классической логики . Например, релевантная логика не использует структурное правило ослабления (также называемое правилом монотонности ).), и это правило отличается от других структурных правил (Dosen).