Главная / Архив журналов / №3-4 (20-21) / Историко-философский и логический аспекты проблемы взаимосвязи истинности и доказуемости: Г. В. Лейбниц; А. Тарский; К. Гёдель
Аннотация
Обращается внимание на логическое противоречие между тезисом Лейбница о доказуемости всякой истины и метатеоремами Гёделя о семантической неполноте формальной арифметики в случае ее непротиворечивости. Неоднократно повторявшееся Лейбницем утверждение «всякое истинное предложение может быть доказано» имеет в его системе статус необходимо всеобщего принципа. Как выйти из этого затруднительного положения, т. е. как объяснить этот историко- философский факт, не впадая в логические противоречия? Ответу на этот вопрос и посвящена статья. В ней исследуемое противоречие разрешается путем точного формального определения сфер априорного и эмпирического знания.
Ключевые слова: знание, априорное, эмпирическое, необходимо, случайно, истинно, доказуемо.
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial-ShareAlike» («Атрибуция — Некоммерческое использование — На тех же условиях») 4.0 Всемирная.
Скачать статью: PDF