Иван Орлов (философ) - Ivan Orlov (philosopher)

Орлов Иван Ефимович (1 октября по старому стилю) 1886 г. Галич, Костромской уезд Россия - 1936) был философ, предшественник соответствующий и другие субструктурная логика, и промышленный химик. Дата его смерти неизвестна, но считается, что это произошло не ранее 1936 года.

Образование и научная карьера

Орлов учился на естественном факультете Московский университет. Его академическая карьера началась в 1916 году, когда он опубликовал несколько работ, связанных с методом индуктивное мышление и понятие индуктивное доказательство. В течение семи лет, начиная с 1916 года, он не опубликовал никаких научных работ, предположительно из-за политических потрясений той эпохи. В 1920-х годах он преподавал во вновь созданном Коммунистическая Академия, и был сотрудником Химического института.

В 1923 году Орлов возобновил академическую деятельность, став очень продуктивной. Большинство его статей было опубликовано в ведущих советских идеологических журналах, где он полемизировал в манере, типичной для того места и времени. Работа Орлова коснулась философия математики и логика, особенно на так называемых диалектическая логика, Марксист в природе. Он написал на теория вероятности, психология, теория музыки, и дальше химическая инженерия.

Логика

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

Логика предложений о совместимости

Именно такую логику Орлов предложил в своей работе «Логика совместимости предложений», опубликованной в 1928 году в советском математическом журнале. В статье анализируется проблема совместимости (несовместимости) предложений через призму интерпретации значение процедура. Он также предвидел перевод систем с интуиционистскими взглядами. отрицание в S4 модальная логика с классическим отрицание.

Работа Орлова долгое время была очень мало известна, потому что его публикации, все на русском языке, были почти полностью неизвестны за пределами Советский союз. И только с появлением после Второй мировой войны того, что стало известно как субструктурная логика (Restall 2000), что роль Орлова как первопроходца постепенно проявляется. Субструктурная логика, категория, включающая интуиционистский, соответствующий, линейная логика и т. д., можно получить, ограничив естественный вычет («структурные») правила для классическая логика. Например, соответствующая логика не использует структурное правило ослабления (также называемое правилом монотонность ), и это правило отличается от других структурных правил (Dosen).

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

Промышленная химия

Приблизительно в 1928 году Орлов прекратил публиковать логико-философские работы, обратившись к индустриальным. химия, в частности, производство бром и йод, и в переводе немецких работ по химии на русский язык.

дальнейшее чтение

Орлов И.Е., 1925. Логика естественных наук. Москва-Ленинград. (на русском).
------, 1928, "Логика совместимости предложений" в Математический сборник, 35 (3-4): 263-86.
Бажанов В. А. Ученый и «эра волкодавов»: судьба идей Ивана Е. Орлова в логике, философии и науке ». Наука в контексте 16 (4): 535-50.
Дошен, К., 1992, «Первая аксиоматизация релевантной логики», Журнал философской логики 21: 339-56.
Дошен, К., 1993, "Историческое введение в субструктурную логику" в Субструктурная логика, ред. Schroeder-Heister P. и Došen K. Oxford Univ. Нажмите: 1-36.
Рестолл, Грег, 2000. Субструктурная логика. Рутледж.
Штельцнер, Вернер, 2002. Совместимость и актуальность: Больцано и Орлов, Логика и логическая философия 10: 137-171.