Второй особенностью нашего изложения логики и метаматематики является то, что мы изначально вводим предметные константы - собственные (уникальные, единичные, неповторимые) имена каждого объекта рассматриваемой предметной области.

Использование предметных констант и предметных переменных, задаваемых на разных предметных областях, позволяет представить тождество как символическую запись одного и того же числа в разных системах счисления, а равенство как получение одного и того же значения после применения одной и той же функции к разным аргументам или разных функции к одним и тем же аргументам.

Вообще, исчисление предикатов с многосортными предметными переменными имеет ряд преимуществ по сравнению с исчислением предикатов первого порядка, и эти преимущества имеют как эпистемологическое, так и прикладное значение.

Эпистемологическое -- поскольку при соотнесении разных теорий из одной и той же специальности, разных теорий из разных специальностей или теорий из разных научных областей, нам приходится иметь дело с разными предметными областями, и вполне может статься так, что один и тот же термин, один и тот же предикат будут иметь разные смыслы и значения в разных теориях, а задача ученого как раз и будет заключаться в необходимости соотнесения теорий друг с другом.

Прикладное - например, при моделировании и изучении свойств гибридных -- человеко-программно-аппаратных систем, когда ученому или инженеру необходимо вполне отчетливо (зачастую наглядно) представлять, как будет происходить взаимодействие составляющих подобных систем.

Круговые схемы Эйлера, отражающие 16 возможных отношений между двумя понятиями

#ОтношенияСовместимостиПонятий #ОтношенияНесовместимостиПонятий