Иван Орлов (философ)
 | Эта статья нуждается в дополнительных цитатах для проверки . ( июль 2021 г. ) |
Иван Ефимович Орлов (русский: Иван Ефимович Орлов; Галич , Костромская область , 25 октября , [ ОС 1 октября] 1886 — Москва , после 1936 года [1] ) — русский философ , предшественник актуальной и других субструктурных логик , промышленный химик. Дата его смерти неизвестна, но, скорее всего, это период между 1936 и 1937 годами.
Образование и научная карьера
[ редактировать ]Орлов учился на естественнонаучном факультете Московского университета . Его академическая карьера началась в 1916 году, когда он опубликовал несколько статей, связанных с методом индуктивного рассуждения и понятием индуктивного доказательства . В течение семи лет, начиная с 1916 года, он не публиковал никаких научных работ, предположительно из-за политических потрясений той эпохи. В 1920-е годы он преподавал в только что созданной Коммунистической академии , был офицером Химического института.
В 1923 году Орлов возобновил научную деятельность, ставшую весьма плодотворной. Большинство его статей было опубликовано в ведущих советских идеологических журналах, где он полемизировал в манере, типичной для того места и времени. Работы Орлова касались философии математики и логики , в частности так называемой диалектической логики , марксистской по своей сути. Он писал по теории вероятностей , психологии , теории музыки и химической технологии .
Логика
[ редактировать ]Анализируя развитие естественных наук, он стремился раскрыть их специфическую «логику». По мнению Орлова, к законам мышления следует относиться как к формальным правилам, ограниченным законами тождества и противоречия . (Когда Орлов писал это, изобретение естественной дедукции , секвенциального исчисления и семантических таблиц — все это было в будущем.) Мы должны искать семантическое отношение между антецедентом и консеквентом . Основное «противоречие логики» проявляется в соединении посылки и следствия и требует логики, отличной от традиционной. Если мы будем настаивать на том, чтобы следствие было необходимым условием посылок, то, по Орлову, мы необходимо придем к неаристотелевской логике , диалектической по своей природе.
Логика предложений о совместимости
[ редактировать ]Именно такую логику Орлов предложил в своей работе «Логика совместности предложений», опубликованной в 1928 году в советском математическом журнале. В данной статье проблема совместимости (несовместимости) высказываний анализируется через интерпретативную призму процедуры импликации . Он также предвидел перевод систем с интуиционистским отрицанием в S4 модальную логику с классическим отрицанием .
Работа Орлова долгое время была очень мало известна, поскольку его публикации, все на русском языке, были почти полностью неизвестны за пределами Советского Союза . И только с появлением после Второй мировой войны того, что стало известно как субструктурная логика (Restall 2000), постепенно стала проявляться новаторская роль Орлова. Субструктурные логики , категория, включающая интуиционистские , релевантные, линейные логики и т. д., могут быть получены путем ограничения естественных правил вывода («структурных») для классической логики . Например, соответствующая логика не использует структурное правило ослабления (также называемое правилом монотонности ), и это правило отличается от других структурных правил (Дозена).
Орлов верил в механистическую редукцию законов природы. Он критиковал теорию множеств Георга Кантора , теорию относительности (он верил в существование эфира ), гелиобиологию А. Чижевского.
Промышленная химия
[ редактировать ]Примерно в 1928 году Орлов прекратил публикацию логических и философских работ, обратившись к промышленной химии , в частности к производству брома и йода , и к переводу немецких работ по химии на русский язык.
Ссылки
[ редактировать ]Дальнейшее чтение
[ редактировать ]- Орлов И. Е., 1925. Логика естественных наук . Москва-Ленинград. (на русском языке).
- ------, 1928, "Логика совместности предложений" в Математическом сборнике 35 (3-4): 263-86 (на русском языке).
- Бажанов В.А., 2003, «Ученый и «эра волкодава»: судьба идей Ивана Орлова в логике, философии и науке», « Наука в контексте» 16 (4): 535-50.
- Дошен, К., 1992, «Первая аксиоматизация соответствующей логики», Journal of Philosophical Logic 21 : 339-56.
- Дошен, К., 1993, «Историческое введение в субструктурную логику» в журнале «Субструктурная логика» , ред. Шредер-Хейстер П. и Дошен К. Оксфордский университет. Нажмите: 1-36.
- Ресталл, Грег, 2000. Субструктурная логика . Рутледж.
- Стельцнер, Вернер, 2002. Совместимость и актуальность: Больцано и Орлов , Логика и логическая философия 10: 137-171.