tgoop.com/logic_metamathematics/774
Last Update:
В связи с этим можно утверждать, что и тезис о единственности пустого множества также не будет справедлив для исчисления предикатов с многосортными предметными переменными. Множества, являющиеся пустыми на одних предметных областях, вполне могут оказаться непустыми в других: классический пример из дискуссии Рассела, представителей неопозитивизма, философии языка и аналитической философии - "зелёные единороги" 🦄 (это пустое понятие, с их точки зрения, поскольку единорогов не существует). Наша же теория позволяет рассматривать подобные понятия как не пустые (например, на предметной области мифов и сказок) и, кроме того как отличающиеся друг от друга, так как быть единорогом 🦄 отнюдь не тоже самое, что не быть, ведьмаком.
BY Логика и метаматематические исследования
Share with your friend now:
tgoop.com/logic_metamathematics/774