Электронная библиотека (репозиторий) Томского государственного университета

Add to Quick Collection   All 14 Results

Showing items 1 - 14 of 14.
  • «
  • 1
  • »
Sort:
 Add All Items to Quick Collection
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2022. № 67. С. 287-291
Type: статьи в журналах
Date: 2022
Description: Предложение О.А. Козыревой переосмыслить отношения семантики и прагматики на основе обращения к анализу коммуникации интересно и плодотворно, но опирается на неясные основания. В данной статье предлаг ... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2021. № 62. С. 244-249
Type: статьи в журналах
Date: 2021
Description: Статья представляет собой заключительную реплику в дискуссии, посвященной 100-летнему юбилею первой публикации «Логико-философского трактата» Л. Витгенштейна. Был ли оригинален ранний Л. Витгенштейн? ... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2021. № 62. С. 194-203
Type: статьи в журналах
Date: 2021
Description: Обсуждаются взгляды раннего Л. Витгенштейна на проблему логических парадоксов. Утверждается, что, несмотря на критику Л. Витгенштейном теории типов Б. Рас-села, его позицию не следует расценивать как ... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2021. № 64. С. 49-56
Type: статьи в журналах
Date: 2021
Description: Статья посвящена критическому анализу теории символизма раннего Л. Витгенштейна. Автор утверждает, что данная теория не может выступать универсальным способом решения парадоксов. Теория символизма пре ... More
Source: Праксема. Проблемы визуальной семиотики. 2021. № 4. С. 213-233
Type: статьи в журналах
Date: 2021
Description: Рассматривается источник логических парадоксов, выявленных Б. Расселом в системе обоснования математики, предложенной Г. Фреге. Самореферентность выражений, предложенная Б. Расселом как объяснение воз ... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2021. № 62. С. 211-217
Type: статьи в журналах
Date: 2021
Description: В.А. Ладов в статье «Критика теории типов в философии раннего Л. Витгенштей-на» приписывает Расселу представление, согласно которому наличие парадоксов, таких как парадокс Лжеца, – это дефект естестве ... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2021. № 62. С. 228-236
Type: статьи в журналах
Date: 2021
Description: Рассматриваются аргументы В.А. Ладова в пользу того, что иерархические теории языка, предназначенные для решения логических парадоксов, например теория типов Б. Рассела, содержат ряд недостатков. Расс ... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2020. № 57. С. 25-32
Type: статьи в журналах
Date: 2020
Description: Рассматривается понятие доказательства в связи с соответствием Карри–Говарда. Исследуются особенности этого понятия, а также различия классической доктрины «высказывания как типы» и современной доктри ... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 51. С. 43-52
Type: статьи в журналах
Date: 2019
Description: Рассматривается критика релятивизма в современной эпистемологии в корреляции с исследованиями по логике и философии математики. Обсуждается идея Ф. Фитча по ограничению применения теории типов Б. Расс ... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 49. С. 34-41
Type: статьи в журналах
Date: 2019
Description: Рассматривается понятие математического доказательства в связи с применением компьютеров в математике. Исследуются особенности этого понятия, а также связанных эпистемологических проблем. Особое внима ... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 52. С. 23-38
Type: статьи в журналах
Date: 2019
Description: Представлен подход к формализации контекстов в семантике естественного языка, основанный на теории типов с записями и модулями. Описаны общие принципы формализации и ее конкретная реализация в системе ... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 44. С. 11-24
Type: статьи в журналах
Date: 2018
Description: Рассматривается проблема теоретико-множественных и семантических парадоксов. Ортодоксальным способом решения проблемы парадоксов считается иерархический подход, разработанный в первой половине ХХ в. Б ... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 46. С. 49-57
Type: статьи в журналах
Date: 2018
Description: Рассматривается теоретико-типовое понятие доказательства корректности компьютерных программ. Исследуются особенности этого понятия, а также ряд связанных с ним теоретико-познавательных проблем. Особое ... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2012. № 2 (18). С. 13-20
Type: статьи в журналах
Date: 2012
  • «
  • 1
  • »
^