Вычислительная метамодель реальности и проблема истины
##plugins.themes.bootstrap3.article.sidebar##
Published:
16.01.2007
##plugins.themes.bootstrap3.article.main##
Abstract
A computational interpretation of philosophical notions of reality and truth is provided along with a non-standard computational treatment of logical connectives and quantors. First-order language statements are compared to sets whereupon the computability of these statements comes to the problem of computability of the corresponding sets.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Anisov A. Вычислительная метамодель реальности и проблема истины // Logicheskie Issledovaniya / Logical Investigations. 2007. VOL. 13. C. 24-46.
Issue
Section
Papers
References
Анисов А.М. Время и компьютер. Негеометрический образ времени. М., 1991.
Анисов А.М. Темпоральный универсум и его познание. М., 2000.
Анисов А.М. Проблема реальности в семантической теории истины // Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XVII. М., 2004.
Анисов А.М. Определение понятия реальной истины в теории множеств с атомами // Логические исследования. Вып. 11. М., 2004.
Анисов А.М. Понятие реальности и логика // Логические исследования. Вып. 12. М., 2005.
Беркович С.Я. Клеточные автоматы как модель реальности: Поиски новых представлений физических и информационных процессов. М., 1993.
Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. М., 1983.
Крушинский А.А. Логика «И цзина»: дедукция в древнем Китае. М., 1999.
Хармут X. Применение методов теории информации в физике. М., 1989.
Poundstone W. The Recursive Universe. Cosmic Complexity and the Limits of Scientific Knowledge. N.Y., 1985.
Анисов А.М. Темпоральный универсум и его познание. М., 2000.
Анисов А.М. Проблема реальности в семантической теории истины // Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XVII. М., 2004.
Анисов А.М. Определение понятия реальной истины в теории множеств с атомами // Логические исследования. Вып. 11. М., 2004.
Анисов А.М. Понятие реальности и логика // Логические исследования. Вып. 12. М., 2005.
Беркович С.Я. Клеточные автоматы как модель реальности: Поиски новых представлений физических и информационных процессов. М., 1993.
Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. М., 1983.
Крушинский А.А. Логика «И цзина»: дедукция в древнем Китае. М., 1999.
Хармут X. Применение методов теории информации в физике. М., 1989.
Poundstone W. The Recursive Universe. Cosmic Complexity and the Limits of Scientific Knowledge. N.Y., 1985.