Непрерывный предикат

Непрерывный предикат — это термин, придуманный Чарльзом Сандерсом Пирсом (1839–1914) для описания особого типа реляционного предиката , который является пределом процесса рекурсивного ипостасной абстракции .

Вот одно из исчерпывающих обсуждений этой концепции Пирсом:

Когда мы проанализировали предложение так, чтобы бросить в субъект все, что можно удалить из предиката, то все, что остается предикату представлять, — это форма связи между различными субъектами, выраженная в форме предложения . То, что я имею в виду под «всем, что можно удалить из предиката», лучше всего объяснить на примере чего-то не столь устранимого.
Но сначала возьмите что-нибудь съемное. «Каин убивает Авеля». Здесь предикат выступает как «— убивает —». Но мы можем убрать убийство из предиката и сделать последнее «— стоящим в отношении — к —». Предположим, мы попытаемся удалить что-то большее из предиката и поместить последнее в форму «— осуществляет функцию отношения отношения — к —», а затем поместив «функцию отношения к отношению» в другой субъект, оставить как предикат «— упражнения — относительно — к —». Но это «упражнения» выражают «осуществление функции». Более того, оно выражает «осуществляет функцию отношения», так что мы обнаруживаем, что, хотя мы и можем выделить это в отдельный субъект, оно все равно продолжается в предикате.
Выразив это в другой форме, сказать, что «А находится в отношении R к B», — значит сказать, что A находится в определенном отношении к R. Выделим это так: «А находится в отношении R¹ (где R¹ есть отношение отношения к отношению, отношением которого оно является) к R к B». Но здесь сказано, что А находится в определенном отношении к отношению R¹. Таким образом, мы можем выразить тот же факт, сказав: «А находится в отношении R¹ к отношению R¹ к отношению R к B», и так далее до бесконечности .
Предикат, который, таким образом, можно разложить на части, все однородные с целым, я называю непрерывным предикатом . Это очень важно в логическом анализе, поскольку непрерывный предикат, очевидно, не может быть составным, за исключением непрерывных предикатов, и поэтому, когда мы довели анализ до того, что оставили только непрерывный предикат, мы довели его до его конечных элементов. (К.С. Пирс, «Письма леди Уэлби» (14 декабря 1908 г.), Избранные произведения , стр. 396–397).

См. также

Ссылки

Пирс, CS , «Письма леди Уэлби», стр. 380–432 в книге Чарльза С. Пирса: Избранные произведения (Ценности во вселенной шансов) , Филип П. Винер (редактор), Дувр, Нью-Йорк, Нью-Йорк, 1966. .