In mathematical logic, a second-order predicate is a predicate that takes a first-order predicate as an argument. Compare higher-order predicate. The idea of second order predication was introduced by the German mathematician and philosopher Frege. It is based on his idea that a predicate such as "is a philosopher" designates a concept, rather than an object. Sometimes a concept can itself be the subject of a proposition, such as in "There are no Bosnian philosophers". In this case, we are not saying anything of any Bosnian philosophers, but of the concept "is a Bosnian philosopher" that it is not satisfied. Thus the predicate "is not satisfied" attributes something to the concept "is a Bosnian philosopher", and is thus a second-level predicate.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - مسند من الدرجة الثانية (ar)
- Second-order predicate (en)
|
rdfs:comment
| - في المنطق الرياضي، المسند من الدرجة الثانية هو المسند الذي يأخذ المسند من الدرجة الأولى كحجة/ كوسيط. قارن . قدمت فكرة المسند من الدرجة الثانية من قبل عالم الرياضيات والفيلسوف الألماني فريجه. ويستند إلى فكرته أن المسند مثل «فيلسوف» أي أنه يعين مفهومًا، وليس شيئاً (تصوراً وليس موضوعاً). في بعض الأحيان يمكن أن يكون المفهوم بحد ذاته مسند للاقتراح، كما هو الحال في «لا يوجد فلاسفة بوسنيون». في هذه الحالة، نحن لا نقول أي شيء عن أي من الفلاسفة البوسنيون، ولكن عن مفهوم «الفيلسوف البوسني» أنه غير مقنع. وبالتالي فإن المسند «غير مقنع» ينسب شيئاً إلى المفهوم «فيلسوف بوسني»، وبالتالي فهو مسند من المستوى الثاني. (ar)
- In mathematical logic, a second-order predicate is a predicate that takes a first-order predicate as an argument. Compare higher-order predicate. The idea of second order predication was introduced by the German mathematician and philosopher Frege. It is based on his idea that a predicate such as "is a philosopher" designates a concept, rather than an object. Sometimes a concept can itself be the subject of a proposition, such as in "There are no Bosnian philosophers". In this case, we are not saying anything of any Bosnian philosophers, but of the concept "is a Bosnian philosopher" that it is not satisfied. Thus the predicate "is not satisfied" attributes something to the concept "is a Bosnian philosopher", and is thus a second-level predicate. (en)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has abstract
| - في المنطق الرياضي، المسند من الدرجة الثانية هو المسند الذي يأخذ المسند من الدرجة الأولى كحجة/ كوسيط. قارن . قدمت فكرة المسند من الدرجة الثانية من قبل عالم الرياضيات والفيلسوف الألماني فريجه. ويستند إلى فكرته أن المسند مثل «فيلسوف» أي أنه يعين مفهومًا، وليس شيئاً (تصوراً وليس موضوعاً). في بعض الأحيان يمكن أن يكون المفهوم بحد ذاته مسند للاقتراح، كما هو الحال في «لا يوجد فلاسفة بوسنيون». في هذه الحالة، نحن لا نقول أي شيء عن أي من الفلاسفة البوسنيون، ولكن عن مفهوم «الفيلسوف البوسني» أنه غير مقنع. وبالتالي فإن المسند «غير مقنع» ينسب شيئاً إلى المفهوم «فيلسوف بوسني»، وبالتالي فهو مسند من المستوى الثاني. وتعتبر هذه الفكرة أساس نظرية العدد لفريجه. (ar)
- In mathematical logic, a second-order predicate is a predicate that takes a first-order predicate as an argument. Compare higher-order predicate. The idea of second order predication was introduced by the German mathematician and philosopher Frege. It is based on his idea that a predicate such as "is a philosopher" designates a concept, rather than an object. Sometimes a concept can itself be the subject of a proposition, such as in "There are no Bosnian philosophers". In this case, we are not saying anything of any Bosnian philosophers, but of the concept "is a Bosnian philosopher" that it is not satisfied. Thus the predicate "is not satisfied" attributes something to the concept "is a Bosnian philosopher", and is thus a second-level predicate. This idea is the basis of Frege's theory of number. (en)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is foaf:primaryTopic
of | |