Научный журнал "Дискурс-Пи"
ISSN: 1817-9568 (Print) РУС ENG

Главная / Архив журналов / №3-4 (20-21) / Историко-философский и логический аспекты проблемы взаимосвязи истинности и доказуемости: Г. В. Лейбниц; А. Тарский; К. Гёдель

Историко-философский и логический аспекты проблемы взаимосвязи истинности и доказуемости: Г. В. Лейбниц; А. Тарский; К. Гёдель

В. О. Лобовиков

Аннотация

Обращается внимание на логическое противоречие между тезисом Лейбница о доказуемости всякой истины и метатеоремами Гёделя о семантической неполноте формальной арифметики в случае ее непротиворечивости. Неоднократно повторявшееся Лейбницем утверждение «всякое истинное предложение может быть доказано» имеет в его системе статус необходимо всеобщего принципа. Как выйти из этого затруднительного положения, т. е. как объяснить этот историко- философский факт, не впадая в логические противоречия? Ответу на этот вопрос и посвящена статья. В ней исследуемое противоречие разрешается путем точного формального определения сфер априорного и эмпирического знания.

 

Ключевые слова: знание, априорное, эмпирическое, необходимо, случайно, истинно, доказуемо.

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial-ShareAlike» («Атрибуция — Некоммерческое использование — На тех же условиях») 4.0 Всемирная.

Скачать статью: PDF