Academic Journal
Бестиповые теории истины и внутренняя доказуемость непротиворечивости: параллели и переплетения
| 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!