по геделю означает наличие парадокса?
Первая теорема Гёделя о неполноте говорит, что в теории (плюс условия) без парадоксов (противоречий, в здравой теории) будут существовать общезначимые утверждения, которые нельзя вывести из аксиом. Не вижу в этом никаких проблем.
Нет никакого парадокса, даже в неформальном смысле.
"парадокс" тут разве что в том, что в классической логике теорема Гёделя говорит не просто о невыводимых утверждениях, а об истинных невыводимых утверждениях. но уберите закон исключенного третьего, и так уже сказать не получится
Что ложные не выводимы мы и так знаем, мы специально логики так строим чтобы ложные были не выводимы, этим действительно никого не удивишь. А закон исключённого третьего тогда нужно убирать в металогике (в которой мы говорим об истинности формул объектного языка) — в объектном языке (исчислении) это ничего принципиально не поменяет.
Я думал, что интуиционисткие логики в своей металогике закон исключённого третьего не используют
Металогика обычно классическая как раз, но это не обязательно.
Так мы говорим о неклассических логиках, а не о металогиках.
Истинность/общезначимость формулы — в металогике. Выводимость, тащем-та, тоже...
Это в модельной семантике просто по правилам satisfiability, больше ничего не нужно Если это не SMT
Обсуждают сегодня