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

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

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

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

Владимир Олегович Лобовиков, доктор философских наук, профессор, главный научный сотрудник, Институт философии и права Уральского отделения Российской академии наук, Екатеринбург, Россия, ORCID: https://orcid.org/0000-0001-8760-0452, е-mail: vlobovikov@mail.ru

Аннотация

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

 

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

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

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