Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 634757)
Контекстум
.
Гуманитарные науки в Сибири

Гуманитарные науки в Сибири №1 2009

0   0
Страниц124
ID202506
АннотацияВ журнале печатаются результаты оригинальных научных исследований и обзорные статья по наиболее актуальным проблемам отечественной истории, археологии, этнографии, источниковедения, историографии, публикуются материалы этнографических, археографических экспедиций, социологических обследований и опросов, осуществляется публикация ранее не введенных в научный оборот архивных документов, дается информация о новых изданиях, научных конгрессах, конференциях, семинарах. Периодичность выпуска – 4 раза в год. Базовые рубрики журнала: «Отечественная история», «Археография и источниковедение», «Книжная культура», «Этнография», «Археология и первобытное искусство», «Документальные страницы». Журнал входит в Перечень ведущих рецензируемых научных журналов и изданий, выпускаемых в Российской Федерации, в которых должны быть опубликованы основные результаты диссертаций на соискание ученой степени доктора наук (Перечень ВАК). Соучредители издания – Сибирское отделение РАН и Институт истории СО РАН.
Гуманитарные науки в Сибири : Всероссийский научный журнал .— Новосибирск : Издательство Сибирского отделения Российской академии наук, 1959 .— 2009 .— №1 .— 124 с. : ил. — URL: https://rucont.ru/efd/202506 (дата обращения: 25.04.2024)

Предпросмотр (выдержки из произведения)

В.В. ЦЕЛИЩЕВ ИСТОРИЯ ТЕЗИСА ЧЕРЧА Д-р филос. наук, директор Института философии и права СО РАН Новосибирский государственный университет director@philosophy.nsc.ru Тезис Черча рассмотрен с исторической точки зрения. <...> Показано, что первоначальная версия тезиса была реализована с помощью λ-исчисления, и только впоследствии он был обоснован с помощью машины Тьюринга. <...> Ключевые слова: тезис Черча, машина Тьюринга, аксиоматический метод, проблема вычислимости, формальная система, рекурсивность. <...> Аксиоматика, алгоритмы и механизм Тезис Черча следует понимать в контексте развития логики и оснований математики. <...> Дело в том, что такие машины были не столько достижением инженерного искусства, сколько шагом по пути расширения знания о понятии вычислимости в математике. <...> Тьюринг поставил вопрос о том, что такое «эффективно вычислимая функция?», и дал ответ на него через концепцию идеализированной математической вычислительной машины. <...> Это обстоятельство было схвачено в замечании Витгенштейна по поводу машины Тьюринга (даже если Виттгенштейн не совсем понимал суть этого математического понятия). <...> Машины Тьюринга – это просто люди, которые вычисляют [2]. <...> полагал, что в случае машины Тьюринга мы имеем математическое определение эпистемологического понятия. <...> Начиная с 1930-х гг. наибольший интерес приобрели не столько исследования концепции вычислимости, сколько концепции невычислимости. <...> Рождение тезиса Вычислимость функций в интуитивном смысле следовало уточнить (терминологически такое уточнение приобрело название уточнения эффективно вычислимой функции). <...> С первого взгляда, понятие вычислимости, по Черчу, не связано с вычислительными машинами. <...> Под влиянием всех этих событий Черч переформулировал свой тезис, только вместо λ-определимых понятий он использовал понятие общерекурсивных функций Эрбрана – Геделя. <...> Сам тезис был опубликован в 1936 г. В этой статье Черч представил тезис как определение понятия эффективного <...>
Гуманитарные_науки_в_Сибири_№1_2009.pdf
Российская академия наук Сибирское отделение ГУМАНИТАРНЫЕ НАУКИ В СИБИРИ Серия: Философия и право № 1, 2009 г. ФИЛОСОФИЯ И МЕТОДОЛОГИЯ НАУКИ Целищев В.В. История тезиса Черча ....................................................................................................................................................3 Головко Н.В. Д. Дэвидсон, инструментализм и необходимость теории указания .........................................................................8 Карпович В.Н. Понятие истины и логическая онтология .............................................................................................................. 12 Симанов А.Л. Наблюдаемость, простота, толерантность и понятийный аппарат в физике ..................................................... 16 ИСТОРИЯ ФИЛОСОФИИ Горан В.П. Кризис древнегреческой демократии и философия Сократа (IV) ............................................................................ 24 Любутин К.Н., Кондрашов П.Н. Три модели исторического процесса в философии истории Карла Маркса ..................... 31 СОЦИАЛЬНАЯ ФИЛОСОФИЯ И СОЦИОЛОГИЯ Бобров В.В. Возвращаясь к предмету социальной философии ..................................................................................................... 38 Изгарская А.А. Пространство социальных отношений в миросистемном и геополитическом аспектах ............................... 42 Шмаков В.С., Сердюкова Ю.С. К проблеме моделирования социальных процессов ............................................................... 46 Цибриенко Р.Я. Методологические проблемы исследования адаптационных процессов в обществе глобальных трансформаций ..................................................................................................................................... 50 Ермаханова С.А. Развитие представлений о социокультурных аспектах модернизации в социологии ................................. 55 Бодрякова Е.А. Методологические аспекты интерпретации понятия качества в экономической теории .............................. 60 Мархинин В.В., Удалова И.В. Демографические процессы и межнациональные отношения в Югре ................................... 64 Мусийчук М.В. Коммуникативный механизм юмора через призму иронии как приема остроумия ........................................ 68 ПРАВО И ФИЛОСОФИЯ ПРАВА Дидикин А.Б. Историко-правовые предпосылки формирования науки государственного (конституционного) права в России ............................................................................................................................................ 73 Черненко А.К. Инновация как способ формирования современной российской правовой системы ...................................... 77 Марков Ю.Г. Хозяйство будущего: право коллективной собственности ..................................................................................... 81 Нечаева Ю.В. Формирование структуры органов местного самоуправления: проблемы реализации конституционного принципа самостоятельности ............................................................................. 86 Цихоцкий А.В. Процессуальное принуждение в гражданском судопроизводстве ...................................................................... 89 Лисица С.В. Допуск иностранных лиц к осуществлению инвестиционной деятельности ...................................................... 94 Бухтоярова О.А. Право на иск в защиту интересов неопределенного круга лиц ...................................................................... 98 Зыков С.В. Отличимость как критерий объектов интеллектуальных прав ................................................................................ 103 Чернусь Н.Ю. Гражданско-правовой оборот археологических находок .................................................................................... 106 НАУЧНАЯ ЖИЗНЬ. РЕЦЕНЗИИ Вольф М.Н. Рецензия на кн.: Mourelatos, Alexander P.D. The Route of Parmenides: revised and expanded edition; with a new introduction, three supplemental essays, and an essay by Gregory Vlastos (originally published 1970). Las Vegas: Parmenides Pub., 2008. lix, 408 p. .............................................................................................................................110 Политика и право: проблемы интеграции и пути их решения. II Международная научно-практическая конференция ............................................................................................................................................113 Summary .................................................................................................................................................................................................114 СОДЕРЖАНИЕ © Сибирское отделение РАН, 2009 © Издательство СО РАН, 2009
Стр.1
ВСЕРОССИЙСКИЙ НАУЧНЫЙ ЖУРНАЛ “ГУМАНИТАРНЫЕ НАУКИ В СИБИРИ” Издается с января 1994 г. Выходит четыре раза в год У ч р е д и т е л и: Сибирское отделение РАН; Институт истории СО РАН РЕДАКЦИОННЫЙ СОВЕТ Чл.-кор. РАН В.А.Ламин (председатель совета, Новосибирск), чл.-кор. РАН Б.В.Базаров (Улан–Удэ), чл.-кор. РАН В.И.Бойко (Новосибирск), канд. ист. наук Н.М.Екеева (Горно-Алтайск), д-р техн. наук Б.С.Елепов (Новосибирск), канд. ист. наук В.Д.Март-оол (Кызыл), д-р филол. наук Л.Г.Панин (Новосибирск), академик РАН Н.Н.Покровский (Новосибирск), д-р филол. наук В.А.Роббек (Якутск), чл.-кор. РАН Е.К.Ромодановская (Новосибирск), д-р ист. наук Н.А.Томилов (Омск), д-р ист. наук В.Н.Тугужекова (Абакан), д-р филос. наук В.В.Целищев (Новосибирск) РЕДКОЛЛЕГИЯ Главный редактор д–р ист. наук В.А.Ильиных Ответственный секретарь д-р ист. наук Н.Н.Аблажей Д-р ист. наук Н.А.Алексеев, чл.-кор. РАН А.Е.Аникин, канд. филол. наук Э.А.Бальбуров, д-р ист. наук А.В.Бауло (зам. гл. редактора), канд. филол. наук Б.В.Болдырев, д-р ист. наук Ф.Ф.Болонев, д-р ист. наук С.С.Букин, д-р филос. наук В.П.Горан (зам. гл. редактора), д-р филос. наук А.А.Гордиенко, д-р ист. наук Н.С.Гурьянова, д-р филос. наук В.Н.Карпович, д-р ист. наук С.А.Красильников, д-р филол. наук Е.Н.Кузьмина, д-р ист. наук В.Е.Ларичев, канд. филол. наук А.А.Мальцева, д-р филос. наук Ю.В.Попков, д-р ист. наук А.Л.Посадсков, канд. филол. наук Е.Н.Проскурина, д-р ист. наук Д.Я.Резун, д-р филос. наук А.Л.Симанов, д-р юр. наук А.В.Цихоцкий, д-р ист. наук М.В.Шиловский, д-р филол. наук Н.Н.Широбокова (зам. гл. редактора), д-р ист. наук В.И.Шишкин (зам. гл. редактора) А д р е с р е д а к ц и и : 630090 Новосибирск, ул. Николаева, 8, Институт истории СО РАН, к. 301, тел. 333–24–37. http://www-psb.ad-sbras.nsc.ru ablazhey@history.nsc.ru З а в. р е д а к ц и е й Смирнова Вера Ивановна Журнал зарегистрирован в Министерстве печати и информации РФ 17.06.93, №0110807 Редактор В.И.Смирнова Компьютерная верстка и макет обложки Г.Я.Симановой Подписано к печати 20.03.09. Формат 60 х 84 1/8. Офсетная печать. Усл. печ. л. 14,5. Уч.–изд. л. 15. Тираж 700 экз. Заказ № 93. Издательство СО РАН, 630090 Новосибирск, Морской проспект, 2
Стр.2
Гуманитарные науки в Сибири. № 1. 2009 г. 3 ФИЛОСОФИЯ И МЕТОДОЛОГИЯ НАУКИ В.В. ЦЕЛИЩЕВ ИСТОРИЯ ТЕЗИСА ЧЕРЧА Д-р филос. наук, директор Института философии и права СО РАН Новосибирский государственный университет director@philosophy.nsc.ru Тезис Черча рассмотрен с исторической точки зрения. Показано, что первоначальная версия тезиса была реализована с помощью λ-исчисления, и только впоследствии он был обоснован с помощью машины Тьюринга. Ключевые слова: тезис Черча, машина Тьюринга, аксиоматический метод, проблема вычислимости, формальная система, рекурсивность. Аксиоматика, алгоритмы и механизм Тезис Черча следует понимать в контексте развития логики и оснований математики. Это, в общем-то, тривиальное соображение, тем не менее необходимое, потому что оно подчеркивает двойственную природу тезиса. Его двойственность коренится в двойственности программ в философии математики. С одной стороны, это математические программы, а с другой – в них много чисто философских установок. Например, типичным вопросом, в котором пересекались математические и философские аспекты, было понимание природы иррациональных чисел. Поскольку эти числа представляли собой конструкции, апеллирующие к бесконечности по характеру своего конструирования, математики, с подозрительностью относившиеся к понятию бесконечности, должны были отвергнуть понятие иррационального числа. Действительно, Л. Кронекер полагал, что концепции должны быть разрешимы в конечное число шагов. Помимо этого он, как и впоследствии интуиционисты, считал, что доказательства существования должны представлять в результате математические объекты. Ясно, что для Кронекера иррациональные числа не представлялись математическими объектами. Подобная критика математической онтологии в значительной степени влияла и на тех, кто вполне допускал бесконечность в математике. Так, Р. Дедекинд, видимо, по этой причине отказался от индивидуации математических объектов, склонившись к тому, что значимой в математике является структура, а не индивидуальный объект. Структурализм Дедекинда © Целищев В.В., 2009 как философская установка выразился в техническом плане в том, что он предпочитал чисто логические доказательства существования моделей аксиоматически характеризуемых понятий, а не индивидуальных математических объектов. Аксиоматический метод имел то преимущество, что важнейшим критерием существования соответствующих сущностей была непротиворечивость аксиоматической системы. Понятие аксиоматической системы ведет непосредственно к понятию формальной системы, хотя исторически взаимоотношение этих двух направлений в математике имеет более сложный характер. Если мы ограничиваемся при характеристике математических объектов строго аксиомами и помимо этого делаем понятие доказательства, или вывода утверждений из аксиом, строгим в той степени, в какой это соответствует строгости характеристики объекта аксиомами, то имеем строгую систему получения математических заключений, которые неизбежны в той же степени, в какой неизбежны элементарные математические заключения. Именно так понимал эту ситуацию Г. Фреге, считавший, что логическая система вывода подобна вычислению. При этом он подчеркивает, что в вычислении главную роль играет понятие алгоритма как некоторого общего правила. «Я не имею в виду (вычисления) в узком смысле, как если бы оно было предметом алгоритма типа обычного сложения и умножения, но только в том смысле, что вообще алгоритм, то есть, совокупность правил, которые управляют переходом
Стр.3

Облако ключевых слов *


* - вычисляется автоматически
.