Поисковый запрос: (<.>A=Целищев, В. В.$<.>) |
Общее количество найденных документов : 15
Показаны документы с 1 по 15 |
1. ![](http://library.ntspi.ru/irbis64r_01/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Тейт У.
Заглавие : Еще одно изгнание из рая: счет становится безумным
Серия: Научная жизнь
Место публикации : Философия науки. - 2007. - N 4. - С.183-191. - ISSN 1560-7488. - ISSN 1560-7488
УДК : 167/168 + 510.6 ББК : 87.252 + 22.12 Предметные рубрики: Философия Философские вопросы и методология отдельных наук Математика Математическая логика Ключевые слова (''Своб.индексиров.''): множества (математика)--числа--трансфинитные числа--теория множеств Аннотация: О теории трансфинитных чисел.
Найти похожие
|
2. ![](http://library.ntspi.ru/irbis64r_01/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Целищев В. В.
Заглавие : Неологицизм и экзистенциальные допущения в логике
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2008. - N 3. - С.46-58. - ISSN 1560-7488. - ISSN 1560-7488 Примечания : Библиогр.: с. 58 (11 назв. )
УДК : 1 ББК : 87.25 Предметные рубрики: Философия Философия науки Ключевые слова (''Своб.индексиров.''): неологицизм--математика--логика Аннотация: Изложение проблем оснований математики не обходится без упоминания "великой троицы" - логицизма, интуицизма и формализма.
Найти похожие
|
3. ![](http://library.ntspi.ru/irbis64r_01/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Бессонов А. В., Хлебалин А. В., Целищев В. В.
Заглавие : Можно ли доказать тезис Черча?
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2008. - N 2. - С.44-61. - ISSN 1560-7488. - ISSN 1560-7488 Примечания : Библиогр.: с. 60-61 (17 назв. )
УДК : 510.6 + 16 ББК : 22.12 + 87.4 Предметные рубрики: Логика Математика Математическая логика Общие вопросы логики Ключевые слова (''Своб.индексиров.''): вычислимость (понятие)--тезис черча--черча тезис--вычислимые функции--рекурсивные функции--алгоритмы (понятие)--математическое доказательство Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.
Найти похожие
|
4. ![](http://library.ntspi.ru/irbis64r_01/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Койен Дж. А.
Заглавие : Видеть и верить
: (о бесконечных попытках примирить науку и религию и о том, почему они обречены на провал)
Параллельн. заглавия :Seeing and Believing
Серия: Сообщения, заметки, рецензии
Место публикации : Философия науки. - 2009. - N 2. - С.127-155. - ISSN 1560-7488. - ISSN 1560-7488 Примечания : Рец. на кн.: Giberson K. Saving Darwin: How to be a Christian and Believe in Evolution (HarperOne, 2008) ; Miller K. Only a Theory: Evolution and the Battle for American' s Soul (Viking, 2008).
УДК : 1 ББК : 87.25 Предметные рубрики: Философия Философия науки Ключевые слова (''Своб.индексиров.''): рецензии--наука и религия--дарвинизм--креационизм--теория разумного устройства--секулярное мышление
Найти похожие
|
5. ![](http://library.ntspi.ru/irbis64r_01/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Целищев В. В.
Заглавие : Неологицизм, аксиома бесконечности и логические константы
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2010. - N 2. - С.21-33. - ISSN 1560-7488. - ISSN 1560-7488 Примечания : Библиогр.: с. 32-33 (19 назв. )
УДК : 1 ББК : 87.25 Предметные рубрики: Философия Философия науки Ключевые слова (''Своб.индексиров.''): неологицизм--логические константы--аксиома бесконечности Аннотация: Данное исследование посвящено роли логических констант в программе неологизма.
Найти похожие
|
6. ![](http://library.ntspi.ru/irbis64r_01/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания : 1/Б 15
Автор(ы) : Баджини Дж.
Заглавие : Алан Сокал: Моя философия
Серия: Научная жизнь
Место публикации : Философия науки. - 2010. - N 2. - С.131-136. - ISSN 1560-7488. - ISSN 1560-7488
УДК : 1 ББК : 87.25 Предметные рубрики: Философия Философия науки Ключевые слова (''Своб.индексиров.''): философия жизни--бытие бога--квантовая механика Аннотация: Размышления автора о работе Алана Сокала "Моя философия".
Найти похожие
|
7. ![](http://library.ntspi.ru/irbis64r_01/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Целищев В. В.
Заглавие : Аналитическая философия и сайентизм
Серия: К итогам V Российского философского Конгресса
Место публикации : Вопросы философии. - 2010. - N 8. - С.11-16. - ISSN 0042-8744. - ISSN 0042-8744 Примечания : Библиогр.: с. 16
УДК : 1 ББК : 87 Предметные рубрики: Философия Общие вопросы философии Ключевые слова (''Своб.индексиров.''): философская наука--аналитическая философия--сайентизм--континентальная философия--философия науки--познание--методы познания Аннотация: Выступление на V Российском философском Конгрессе посвящено применению в философии аналитических методов познания.
Найти похожие
|
8. ![](http://library.ntspi.ru/irbis64r_01/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Целищев В. В., Хлебалин А. В.
Заглавие : Представление знания как проблема эпистемологии теоретических конструкций
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2010. - N 4. - С.33-67. - ISSN 1560-7488. - ISSN 1560-7488 Примечания : Библиогр.: с. 67 (17 назв. )
УДК : 165 ББК : 87.22 Предметные рубрики: Философия Теория познания Ключевые слова (''Своб.индексиров.''): знание (философия)--эпистемология--логика--функция--вычислимость Аннотация: В данной работе рассматриваются проблемы представления знания в дедуктивных структурах.
Найти похожие
|
9. ![](http://library.ntspi.ru/irbis64r_01/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания : 1/Ц 342
Автор(ы) : Целищев В. В.
Заглавие : Математика как представление знания при расширительном понимании платонизма
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2011. - N 3. - С.16-36. - ISSN 1560-7488. - ISSN 1560-7488 Примечания : Библиогр.: с. 16-36 (16 назв. )
УДК : 1 ББК : 87.25 Предметные рубрики: Философия Философия науки Ключевые слова (''Своб.индексиров.''): математика--логика--платонизм--номинализм Аннотация: Статья посвящена анализу номиналистической реконструкции математики оснований математики. Особенностью излагаемого в статье подхода является отказ от противопоставления платонизма и номинализма в определенных версиях. Платонизма рассматривается в версии т. н. полнокровного платонизма, а номинализм - в версии фикционализма. Представленная концепция позволяет рассматривать математику как представление дедуктивного знания.
Найти похожие
|
10. ![](http://library.ntspi.ru/irbis64r_01/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Целищев В. В.
Заглавие : Логика и философия
: (записки семидесятника)
Серия: Из истории отечественной философской мысли
Место публикации : Вопросы философии. - 2012. - № 5. - С.124-133. - ISSN 0042-8744. - ISSN 0042-8744
УДК : 1(470+571) ББК : 87.3(2) Предметные рубрики: Философия Философия России и СССР, 20 в. 70-е гг. Ключевые слова (''Своб.индексиров.''): логика--аналитическая философия--история философии--математическая логика--философская логика Аннотация: Статья посвящена связи логики и аналитической философии, развитию этого направления в СССР в 70-е годы 20 века. Статью предваряют краткие биографические данные В. В. Целищева - специалиста в области философии и методологии науки, лидера сибирской школы философии логики и математики, которому исполнилось 70 лет.
Найти похожие
|
11. ![](http://library.ntspi.ru/irbis64r_01/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Целищев В. В.
Заглавие : Философские основания онтологий верхнего уровня
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2012. - № 2. - С.26-36. - ISSN 1560-7488. - ISSN 1560-7488 Примечания : Библиогр.: с. 35-36 (10 назв. )
УДК : 1 ББК : 87.25 Предметные рубрики: Философия Философия науки Ключевые слова (''Своб.индексиров.''): логика--онтология--информационные технологии--концептуализации Аннотация: Статья посвящена перспективности разработки онтологий высшего уровня. Трудности на пути такого рода конструкций преодолеваются с помощью априорных концептуализаций.
Найти похожие
|
12. ![](http://library.ntspi.ru/irbis64r_01/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания : 1/Ц 342
Автор(ы) : Целищев В. В.
Заглавие : Онтологический статус семантической информации
: поверхностная и глубинная информация
Серия: Проблемы логики
Место публикации : Философия науки. - 2012. - № 3. - С.3-28. - ISSN 1560-7488. - ISSN 1560-7488 Примечания : Библиогр.: с. 27-28 (13 назв. )
УДК : 1 + 004 ББК : 87.25 + 32.97 Предметные рубрики: Философия Философия науки Вычислительная техника Вычислительная техника в целом Ключевые слова (''Своб.индексиров.''): онтология--семантика--информация--компьютерные исследования Аннотация: В статье рассматриваются проблемы измерения семантической информации средствами дистрибутивных нормальных форм логики первого порядка. Обосновывается различие в онтологическом статусе глубинной и поверхностной семантической информации.
Найти похожие
|
13. ![](http://library.ntspi.ru/irbis64r_01/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания : 1/П 147
Автор(ы) : Пальчунов Д. Е., Целищев В. В.
Заглавие : Проблема извлечения знаний в системе взаимодействия человека и компьютера
: онтологии и пресуппозиции
Серия: Проблемы логики и методология науки
Место публикации : Философия науки. - 2012. - № 4. - С.20-35. - ISSN 1560-7488. - ISSN 1560-7488 Примечания : Библиогр.: с. 34-35 (9 назв. )
УДК : 1 ББК : 87.25 Предметные рубрики: Философия Философия науки Ключевые слова (''Своб.индексиров.''): знания--информация--компьютеры--онтология--человек--пользователи--программные системы--восприятие мира Аннотация: Данная работа посвящена проблемам извлечения, представления и передачи знаний. Рассматриваются два вида обмена знаниями: первый - между людьми, второй - между человеком и компьютером, т. е. между программной системой и ее пользователем. При этом необходимо отме6тить, что второй вид обмена знаниями во многом сводится к первому: проблемы непонимания, искажения или потери информации при общении пользователя с программной системой обусловлены различным восприятием мира, различными онтологиями пресуппозициями, имеющимися у этого пользователя и у разработчиков данной программой системы. Соответственно, значительную важность приобретает проблема организации совместной деятельности человека и компьютера. Для решения этой проблемы необходимо решать задачи разработки человеко-машинных интерфейсов. Проблемы человеко-машинных интерфейсов тесно связанны с различием в представлении знаний у различных групп пользователей и разработчиков программного обеспечения. В этом контексте представляет интерес исследование фактов наличия или отсутствия единого понимания информаций и знаний.
Найти похожие
|
14. ![](http://library.ntspi.ru/irbis64r_01/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания : 1/Ц 342
Автор(ы) : Целищев В. В.
Заглавие : Рационалистический оптимизм и философия Курта Геделя
Серия: К 20-летию философского факультета Новосибирского государственного университета
Место публикации : Вопросы философии. - 2013. - № 8. - С.12-23. - ISSN 0042-8744. - ISSN 0042-8744 Примечания : Библиогр.: с. 22-23
УДК : 1 ББК : 87.25 Предметные рубрики: Философия Философия науки Ключевые слова (''Своб.индексиров.''): рациональность--рационалистический оптимизм--оптимизм--ментализм--механицизм--мышление--человеческий ум--философские предпочтения--философия математики Аннотация: Статья посвящена малоизвестным концепциям философии Геделя, которые стали доступны после посмертной публикации его записных книжек и других материалов. Рассмотрена поставленная Геделем дилемма: либо существуют абсолютно неразрешимые математические утверждения, либо человеческий ум превосходит конечную машину. Показана философская важность дилеммы в противостоянии двух направлений - ментализма и механицизма - в понимании соотношения человеческого и машинного мышления. Объяснены позиции Геделя как менталиста и происхождение его рационалистического оптимизма.
Найти похожие
|
15. ![](http://library.ntspi.ru/irbis64r_01/images/printer.jpg)
|
Вид документа : Статья из журнала Шифр издания : 1/Ц 342
Автор(ы) : Целищев В. В.
Заглавие : [Рецензия]
Серия: Критика и библиография
Место публикации : Вопросы философии. - 2015. - № 1. - С.208-212. - ISSN 0042-8744. - ISSN 0042-8744 Примечания : Библиогр. в сносках. - Рец. на кн.: Суровцев В. А. Рамсей и программа логицизма / В. А. Суровцев. Томск : Изд-во Томского университета, 2012. 258 с.
УДК : 1 ББК : 87.25 Предметные рубрики: Философия Философия науки Ключевые слова (''Своб.индексиров.''): рецензии--философия математики--основания математики--теория рамсея--рамсея теория--логицизм--математики--философы
Найти похожие
|
|