БЕСТИПОВЫЕ ТЕОРИИ ИСТИНЫ И ВНУТРЕННЯЯ ДОКАЗУЕМОСТЬ НЕПРОТИВОРЕЧИВОСТИ: ПАРАЛЛЕЛИ И ПЕРЕПЛЕТЕНИЯ
Целищев Виталий Валентинович, Костяков Артем Олегович
Предложена комбинация бестиповой концепции истины и «встроенной непротиворечивости» с целью получения систем, выразительные средства которых позволяют доказывать важные факты о самой этой теории.
Историко-философский и логический аспекты проблемы взаимосвязи истинности и доказуемости: Г. В. Лейб
Лобовиков В.О.
Обращается внимание на логическое противоречие между тезисом Лейбница о доказуемости всякой истины и метатеоремами Гёделя о семантической неполноте формальной арифметики в случае ее непротиворечивости.