Предикат второго порядка - Википедия - Second-order predicate
В математическая логика, а предикат второго порядка это предикат это требует предикат первого порядка как аргумент.[1] Сравнивать предикат высшего порядка.
Идея предикации второго порядка была введена Немецкий математик и философ Frege. Это основано на его идее, что такое сказуемое, как «философ», обозначает концепция, а не объект.[2] Иногда концепция сама может быть предметом предложения, например, в «Нет Боснийский философов ". В данном случае мы ничего не говорим ни о каких боснийских философах, но о концепции" является боснийским философом ", что это не довольный. Таким образом, предикат «не удовлетворен» приписывает что-то концепции «является боснийским философом» и, таким образом, является предикатом второго уровня.
Эта идея лежит в основе теории Фреге. номер.[3]
Рекомендации
- ^ Якуб, Аладдин М. (2013), Введение в логическую теорию, Broadview Press, стр. 288, г. ISBN 9781551119939.
- ^ Оппи, Грэм (2007), Онтологические аргументы и вера в Бога, Cambridge University Press, стр. 145, ISBN 9780521039000.
- ^ Кремер, Майкл (1985), "Теория числа Фреге и различие между функцией и объектом", Философские исследования, 47 (3): 313–323, Дои:10.1007 / BF00355206, МИСТЕР 0788101.
 | Этот логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |