РОССИЙСКАЯ АКАДЕМИЯ НАУК СИБИРСКОЕ ОТДЕЛЕНИЕ ИНСТИТУТ ФИЛОСОФИИ И ПРАВА ФИЛОСОФИЯ НАУКИ НАУЧНОЕ ИЗДАНИЕ ПО ФИЛОСОФИИ, МЕТОДОЛОГИИ И ЛОГИКЕ ЕСТЕСТВЕННЫХ НАУК № 1 ВЫХОДИТ С АВГУСТА 1995 ГОДА (72) 2017 НОВОСИБИРСК 2017 Всероссийский научный журнал «Философия науки» Учредители: Сибирское отделение РАН, Институт философии и права СО РАН Издается с 1995 г. РЕДАКЦИОННАЯ КОЛЛЕГИЯ: Д.филос.н. <...> 3 ПРОБЛЕМЫ ЛОГИКИ И МЕТОДОЛОГИИ НАУКИ Целищев В.В. IF-логика в системе математического теоретизирования . <...> Характеристика геологического познания с точки зрения нарратологии . <...> Лингвистический подход к исчислению ментальных состояний . <...> Античные врачи о здоровье и причинах болезней . <...> Академгородок и Стэнфорд: наука и производство в инновационных экосистемах 50–70-х годов ХХ века . <...> Объект-предметная казуистика и другие формы диссертационной схоластики . <...> – Institute of Scientific Information for Social Sciences of the Russian Academy of Sciences (51/21 Nakhimovsky Ave., Моsсow, 117997, Russia, e-mail: rakit1@yandex.ru) Дата поступления 11.10.2016 №1 (72) ФИЛОСОФИЯ НАУКИ 2017 Проблемы логики и методологии науки УДК 160.1 DOI: 10.15372/PS20170102 В.В. Целищев IF-ЛОГИКА В СИСТЕМЕ МАТЕМАТИЧЕСКОГО ТЕОРЕТИЗИРОВАНИЯ* Статья посвящена сопоставлению выразительных средств стандартной логики первого порядка и IF-логики как логики математического дискурса. <...> В качестве примера рассмотрена проблема равномерной непрерывности в связи с теоремой Коши. <...> Показано, что ограничения, свойственные стандартной логике первого порядка, преодолеваются в IF-логике. <...> Продемонстрирована ошибочность критики о недостаточности IF-логики для математического теоретизирования. <...> Ключевые слова: IF-логика; логика первого порядка; равномерная непрерывность; квантор; теоретико-игровая семантика V.V. <...> Tselishchev IF-LOGIC IN THE MATHEMATICAL THEORIZING The article is deals with the comparison of expressive means of the standard first-order logic and IF-logic as the logic of mathematical discourse. <...> It is shown that we can overcom limitations of the standard first-order logic in the IF-logic. <...> Also, the fallacy of criticism of IF-logic as a vehicle for mathematical theorizing <...>
Философия_науки_№1_2017.pdf
РОССИЙСКАЯ АКАДЕМИЯ НАУК
СИБИРСКОЕ ОТДЕЛЕНИЕ
ИНСТИТУТ ФИЛОСОФИИ И ПРАВА
ФИЛОСОФИЯ
НАУКИ
НАУЧНОЕ ИЗДАНИЕ
ПО ФИЛОСОФИИ, МЕТОДОЛОГИИ И ЛОГИКЕ
ЕСТЕСТВЕННЫХ НАУК
№ 1
ВЫХОДИТ С АВГУСТА 1995 ГОДА
(72)
2017
НОВОСИБИРСК
2017
Стр.1
Всероссийский научный журнал «Философия науки»
Учредители: Сибирское отделение РАН,
Институт философии и права СО РАН
Издается с 1995 г.
РЕДАКЦИОННАЯ КОЛЛЕГИЯ:
Д.филос.н. Д.В. Винник; д.филос.н., проф. В.П. Горан (заместитель главного редактора);
д.филос.н., проф. В.С. Диев; акад. РАН Ю.Л. Ершов; д.филос.н., проф. В.Н. Карпович;
д.филос.н., проф. В.Г. Кузнецов; к.филос.н. А.А. Лазаревич (Республика Беларусь); проф.
Р. Муравски (Польша); акад. РАН В.Е. Накоряков; акад. НАН Украины М.В. Попович;
д.филос.н., проф. В.И. Разумов; д.филос.н., проф. А.Л. Симанов (главный редактор);
д.филос.н. А.Ю. Сторожук (ответственный секретарь); д.филос.н., проф. В.А. Суровцев;
д.биол.н. О.В. Трапезов; д.филос.н., проф. В.В. Целищев; д.филос.н., д.физ.-мат.н.
О.В. Шарыпов, акад. РАН В.К. Шумный
Свидетельство о регистрации СМИ
ПИ № 77–12806 от 31.05.02
Адрес редакции:
630090, Новосибирск, ул. Николаева, 8,
Институт философии и права СО РАН, к. 403
Тел.: (383)–330–52–35
E-mail: science@philosophy.nsc.ru
Web-сайты: philosophy.nsc.ru
http://www.sibran.ru
elibrary.ru
© Сибирское отделение РАН, 2017
© Институт философии и права
СО РАН, 2017
Стр.2
СОДЕРЖАНИЕ
_____________________
ОБЩИЕ ВОПРОСЫ ИСТОРИИ И ФИЛОСОФИИ НАУКИ
Ракитов А.И. Наука и философия науки ....................................................................3
ПРОБЛЕМЫ ЛОГИКИ И МЕТОДОЛОГИИ НАУКИ
Целищев В.В. IF-логика в системе математического теоретизирования .......18
Резников В.М. Философские и методологические подходы
к проблеме применения математики .................................................................30
Ламберов Л.Д. Основания математики: теория множеств
vs. теории типов ....................................................................................... 41
Миронов В.А. Характеристика геологического познания
с точки зрения нарратологии ................................................................... 61
Кашпурова А.С. Лингвистический подход к исчислению
ментальных состояний ............................................................................. 75
ИЗ ИСТОРИИ НАУКИ
Афонасин Е.В. Античные врачи о здоровье и причинах болезней ............... 84
Сторожук А.Ю. Идеи А.Л. Чижевского в современном
естествознании ....................................................................................... 100
НАУЧНАЯ ЖИЗНЬ
Федоров В.С. Академгородок и Стэнфорд: наука и производство
в инновационных экосистемах 50–70-х годов ХХ века ....................... 114
Винник Д.В. Объект-предметная казуистика и другие формы
диссертационной схоластики .................................................................131
К сведению авторов........................................................................................ 151
___________________
Стр.3