Academic Journal

Бестиповые теории истины и внутренняя доказуемость непротиворечивости: параллели и переплетения

Bibliographic Details
Title: Бестиповые теории истины и внутренняя доказуемость непротиворечивости: параллели и переплетения
Source: Вестник Томского государственного университета. 2018. № 434. С. 83-87
Publisher Information: 2018.
Publication Year: 2018
Subject Terms: истина (философия), парадокс лжеца, логические парадоксы, Тарский, Альфред 1901-1983, непротиворечивость, Крипке, Сол 1940, теории истины
Description: Предложена комбинация бестиповой концепции истины и «встроенной непротиворечивости» с целью получения систем, выразительные средства которых позволяют доказывать важные факты о самой этой теории. Использование аналогий между бестиповыми теориями истины и теориями со «встроенной» непротиворечивостью позволяет сделать заключение о сфере применимости Второй теоремы Геделя, никоим образом не оспаривая ее справедливость при выполнении условий выводимости Гильберта–Бернайса.
Document Type: Article
File Description: application/pdf
Language: Russian
DOI: 10.17223/15617793/434/10
Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000644709
Accession Number: edsair.od......3810..d83e0d836bdaad36f45db532433ad3cf
Database: OpenAIRE
Be the first to leave a comment!
You must be logged in first