WikiDer > Иван Орлов (философ)
 | Эта статья не цитировать любой источники. (Октябрь 2020) (Узнайте, как и когда удалить этот шаблон сообщения) |
Орлов Иван Ефимович (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.