Add to Quick Collection
All 12 Results
Showing items 1 - 12 of 12.
Add All Items to Quick Collection
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2023. № 74. С. 17-24
Type: статьи в журналах
Date: 2023
Description:
Стандартной семантикой для первопорядковых модальных логик является семантика возможных миров. Последняя обычно формулируется таким образом, что не позволяет адекватно анализировать выражения, содержа
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2022. № 65. С. 28-36
Type: статьи в журналах
Date: 2022
Description:
Рассматривается два варианта математического структурализма, один из которых строится на основании теории множеств, а второй – на основании модальной теории множеств. Показано, что теоретико-множестве
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2020. № 57. С. 25-32
Type: статьи в журналах
Date: 2020
Description:
Рассматривается понятие доказательства в связи с соответствием Карри–Говарда. Исследуются особенности этого понятия, а также различия классической доктрины «высказывания как типы» и современной доктри
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 49. С. 34-41
Type: статьи в журналах
Date: 2019
Description:
Рассматривается понятие математического доказательства в связи с применением компьютеров в математике. Исследуются особенности этого понятия, а также связанных эпистемологических проблем. Особое внима
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 46. С. 49-57
Type: статьи в журналах
Date: 2018
Description:
Рассматривается теоретико-типовое понятие доказательства корректности компьютерных программ. Исследуются особенности этого понятия, а также ряд связанных с ним теоретико-познавательных проблем. Особое
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2017. № 40. С. 164-172
Type: статьи в журналах
Date: 2017
Description:
Исследуются идеи Лейбница об универсальной характеристике и отражение этих идей в современной философии математики. Рассматриваются контекст возникновения концепции универсального языка, идея универса
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2016. № 4. С. 144-151
Type: статьи в журналах
Date: 2016
Description:
Рассматриваются соотношения дефляционных теорий истины и парадокса лжеца. В числе возможных вариантов разрешения проблемы парадокса лжеца рассматриваются решения А. Тарского, С. Крипке и Я. Хинтикки,
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2013. № 4. С. 33-39
Type: статьи в журналах
Date: 2013
Description:
Представлен обзор дефляционизма как целостной метафизической концепции. Дефляционизм при таком понимании сочетает в себе теории истины, референции, значения, ценностей и фактов. Показывается, что мета
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2012. № 4. С. 21-26
Type: статьи в журналах
Date: 2012
Description:
Рассмотриваются проблемы семантических парадоксов в рамках дефляционизма, эпистемический подход к разрешению семантических парадоксов. Дефляционизм согласуется с эпистемическим подходом при условии до
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2011. № 4. С. 31-37
Type: статьи в журналах
Date: 2011
Description:
Дан анализ концептуальных оснований дефляционных теорий истины, рассмотрено соотношение дефляционизма и условие-истинностных теорий значения. Предлагается использовать прагматический (прагматико-семан
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2010. № 4. С. 50-61
Type: статьи в журналах
Date: 2010
Description:
Дан анализ концептуальных оснований дефляционистских теорий истины. Рассматриваются философские предпосылки, которые формируют несубстанциональный взгляд на истину, и проблемы, связанные с концептуали
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2009. № 4. С. 28-37
Type: статьи в журналах
Date: 2009