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