Целищев, Виталий Валентинович (д-р филос. наук). V Российский философский конгресс "Наука. Философия. Общество" (Новосибирск, 25-28 августа 2009 г. ) [Текст] / В. В. Целищев> // Вестник Российского гуманитарного научного фонда. - 2010. - N 1 (58). - С. 212-214 . - ISSN 1562-0484
Рубрики: Философия Философия России и СССР--Россия--Сибирь--Новосибирск Кл.слова (ненормированные): конгрессы -- философские конгрессы -- философская наука -- регионы -- новосибирская философия -- философия -- общество -- современное общество -- философия образования -- аналитическая философия -- философские исследования Аннотация: Конгресс, прошедший в Новосибирском государственном университете, был посвящен актуальным вопросам философии в современном обществе, развитию аналитической философии, философских исследований в Сибири. Доп.точки доступа: "Наука. Философия. Общество", российский философский конгресс; Российское философское общество; Российская академия наук \сибирское отделение. институт философии и права\; Институт философии и права Сибирского отделения РАН; Новосибирский государственный университет Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, Виталий Валентинович (доктор философских наук ; профессор). Эпистемологические и социальные ценности в науке [Текст] = Epistemological and social values in a science / В. В. Целищев> // Философия образования. - 2013. - № 1 (46). - С. 149-157. - Библиогр.: с. 157 (9 назв.). - Реф. на рус. и англ. яз.: с. 149 . - ISSN 1811-0916
Рубрики: Наука. Науковедение Общие вопросы науки Кл.слова (ненормированные): эпистемологические ценности -- социальные ценности -- научные ценности -- ценности в науке Аннотация: Обсуждаются эпистемологические и социальные ценности в науке. Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, Виталий Валентинович (доктор философских наук). Формальные онтологии и семантика примитивных концепций оснований математики [Текст] / В. В. Целищев> // Вестник Томского государственного университета. Философия. Социология. Политология. - 2013. - № 4 (24). - С. 55-70. - Библиогр.: с. 69-70 (20 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки http://elibrary
Рубрики: Философия Философия науки Кл.слова (ненормированные): математика -- философия математики -- онтология -- семантика -- математические системы -- примитивные термины -- примитивные концепции -- немецкие математики Аннотация: Проблемы экспликации семантического статуса примитивных концепций оснований математики в системах Готлоба Фреге, Давида Гильберта. Доп.точки доступа: Фреге, Г. (логик ; 1848-1925); Гильберт, Д. (немецкий математик ; 1862-1943) Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, Виталий Валентинович (доктор философских наук ; профессор). Математика, рационализм и культура [Текст] = Mathematics, rationalism and culture / В. В. Целищев> // Философия образования. - 2013. - № 6 (51). - С. 4-18. - Библиогр.: с. 18 (14 назв.). - Реф. на рус. и англ. яз.: с. 4 . - ISSN 1811-0916
Рубрики: Философия Общие вопросы философии Кл.слова (ненормированные): математика -- рационализм -- культура -- логика -- иррационализм Аннотация: Анализируется роль математического знания в формировании представлений об одной из центральных характеристик западной цивилизации - рациональности. Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, Виталий Валентинович (директор института). Неправдоподобность фикционализма в философии математики [Текст] / В. В. Целищев> // Вестник Томского государственного университета. Философия. Социология. Политология. - 2014. - № 4 (28). - С. 85-95. - Библиогр.: с. 94 (14 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки http://elibrary.ru . - ISSN 1998-863x
Рубрики: Философия Философия науки Кл.слова (ненормированные): конференции -- доклады -- математика -- философия математики -- математическая истина -- математические объекты -- номинализм -- фикционализм -- платонизм -- метафоры -- семантика Аннотация: Доклад конференции "Современная аналитическая философия: история, проблемы и методы" (Томск, 2014). Утверждается неправдоподобность фикционалистских представлений, направленных на преодоление платонистских затруднений в понимании природы математики. Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, Виталий Валентинович (доктор философских наук). Интенсиональность Второй теоремы Геделя о неполноте [Текст] / В. В. Целищев> // Вестник Томского государственного университета. Философия. Социология. Политология. - 2017. - № 40. - С. 98-111. - Библиогр.: с. 109-110 (20 назв.). - С 2017 г. указана только валовая нумерация журн. - полный текст статьи см. на сайте Научной электронной библиотеки https://elibrary.ru . - ISSN 1998-863x
Рубрики: Математика Математическая логика Кл.слова (ненормированные): философия математики -- арифметика -- неполнота арифметики -- теоремы Геделя -- Геделя теоремы -- интенсиональность теорем -- самореференция -- непротиворечивость -- доказательства Аннотация: Отличия Второй теоремы Геделя о неполноте от Первой теоремы. Вторая теорема Геделя о неполноте арифметики является интенсиональной. Оспаривается формализация концепции непротиворечивости, используемая в доказательстве Второй теоремы, с представлением других способов выражения свойства непротиворечивости, для которых Вторая теорема не имеет места. Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, Виталий Валентинович (доктор философских наук). Итерированные модальные операторы и условия выводимости Гильберта-Бернайса [Текст] / В. В. Целищев> // Вестник Томского государственного университета. Философия. Социология. Политология. - 2018. - № 43. - С. 33-43. - Библиогр.: с. 42 (14 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки https://elibrary.ru . - ISSN 1998-863x
Рубрики: Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): теории -- логические теории -- логические исчисления -- модальные логики -- условия выводимости Гильберта-Бернайса -- Гильберта-Бернайса условия выводимости -- модальные операторы -- итерированные модальные операторы -- доказательства -- теоремы о неполноте -- теорема Геделя -- Геделя теорема -- неполнота арифметики -- арифметика Аннотация: Анализ некоторых способов ослабления универсальности условий выводимости Гильберта-Бернайса, связанных с применением модальной логики к теории доказательства, в частности при доказательстве Второй теоремы Геделя о неполноте. Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, Виталий Валентинович (доктор философских наук; научный сотрудник). Бестиповые теории истины и внутренняя доказуемость непротиворечивости: параллели и переплетения [Текст] / В. В. Целищев, А. О. Костяков> // Вестник Томского государственного университета. - 2018. - № 434 (сентябрь). - С. 83-87. - Библиогр.: с. 87 (13 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки https://elibrary.ru . - ISSN 1561-7793
Рубрики: Философия Философия науки Математика Математическая логика Кл.слова (ненормированные): философия математики -- теории истины -- истина -- концепции истины -- бестиповые теории -- встроенная непротиворечивость -- непротиворечивость -- доказуемость непротиворечивости -- внутренняя доказуемость -- доказательства -- теория доказательств Аннотация: Предложена комбинация бестиповой концепции истины и "встроенной непротиворечивости" с целью получения систем, выразительные средства которых позволяют доказывать важные факты о самой этой теории. Доп.точки доступа: Костяков, Артем Олегович (магистрант) Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, Виталий Валентинович (доктор философских наук). Интенсиональный модус в математическом дискурсе: "прыжок веры" и математическая практика [Текст] / В. В. Целищев, А. В. Хлебалин> // Вестник Томского государственного университета. Философия. Социология. Политология. - 2019. - № 48. - С. 24-34. - Библиогр.: с. 32-33 (13 назв.) . - ISSN 1998-863x
Рубрики: Философия Теория познания Математика Математическая логика Кл.слова (ненормированные): эпистемология -- интенсиональность математики -- модусы -- интенсиональный модус -- дискурсы -- математический дискурс -- геделево предложение -- теоремы Геделя -- Геделя теоремы -- арифметика -- неполнота арифметики -- формальные системы -- непротиворечивость -- вера -- прыжок веры -- математическая практика Аннотация: Характеристика интенсионального модуса математической практики на примере анализа причин истинности геделева предложения. Допущение обоснованности или непротиворечивости формальной системы связано с неустранимым "прыжком" от размышлений о формальных теориях арифметики к эпистемологическим вопросам об обосновании веры математика в указанные характеристики формальной системы. Доп.точки доступа: Хлебалин, Александр Валерьевич (кандидат философских наук) Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, Виталий Валентинович (доктор философских наук). Доказательство против понимания в математическом доказательстве [Текст] / В. В. Целищев, А. В. Хлебалин> // Вестник Томского государственного университета. Философия. Социология. Политология. - 2020. - № 54. - С. 29-38. - Библиогр.: с. 36 (18 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки https://elibrary.ru . - ISSN 1998-863x
Рубрики: Философия Философия науки Математика Общие вопросы математики Кл.слова (ненормированные): философия математики -- доказательства -- математические доказательства -- понимание -- семантика -- семантические интерпретации -- интерпретации -- синтаксис -- нотация -- концепции Аннотация: Исследование соотношения концепций понимания и доказательства в математической практике. Доп.точки доступа: Хлебалин, Александр Валерьевич (кандидат философских наук) Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, Виталий Валентинович (доктор философских наук; профессор). Интенсиональность: от философской логики к метаматематике [Текст] / В. В. Целищев> // Вестник Томского государственного университета. - 2020. - № 458 (сентябрь). - С. 85-89. - Библиогр.: с. 88 (12 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки . - ISSN 1561-7793
Рубрики: Математика Математическая логика Кл.слова (ненормированные): философия математики -- метаматематика -- философская логика -- логика -- интенсиональность -- логические теории -- математические теории -- теории -- логико-математический дискурс -- дискурсы Аннотация: Исследование статуса интенсиональности в точных контекстах логических и математических теорий. Нет сведений об экземплярах (Источник в БД не найден) |