Бестиповые теории истины и внутренняя доказуемость непротиворечивости: параллели и переплетения В. В. Целищев, А. О. Костяков
Material type:
ArticleOther title: Typeless theories of truth and the built-in provability of consistency: parallels and intertwining [Parallel title]Subject(s): Крипке, Сол 1940- | Тарский, Альфред 1901-1983 | непротиворечивость | истина (философия) | теории истины | парадокс лжеца | логические парадоксыGenre/Form: статьи в журналах Online resources: Click here to access online
In:
Вестник Томского государственного университета № 434. С. 83-87Abstract: Предложена комбинация бестиповой концепции истины и «встроенной непротиворечивости» с целью получения систем, выразительные средства которых позволяют доказывать важные факты о самой этой теории. Использование аналогий между бестиповыми теориями истины и теориями со «встроенной» непротиворечивостью позволяет сделать заключение о сфере применимости Второй теоремы Геделя, никоим образом не оспаривая ее справедливость при выполнении условий выводимости Гильберта–Бернайса.
Библиогр.: 13 назв.
Предложена комбинация бестиповой концепции истины и «встроенной непротиворечивости» с целью получения систем, выразительные средства которых позволяют доказывать важные факты о самой этой теории. Использование аналогий между бестиповыми теориями истины и теориями со «встроенной» непротиворечивостью позволяет сделать заключение о сфере применимости Второй теоремы Геделя, никоим образом не оспаривая ее справедливость при выполнении условий выводимости Гильберта–Бернайса.
There are no comments on this title.