Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Second-order_predicate> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- Second-order_predicate abstract "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 Albanian philosophers". In this case, we are not saying anything of any Albanian philosophers, but of the concept "is an Albanian philosopher" that it is not satisfied. Thus the predicate "is not satisfied" attributes something to the concept "is an Albanian philosopher", and is thus a second-level predicate.This idea is the basis of Frege's theory of number.".
- Second-order_predicate wikiPageID "28510".
- Second-order_predicate wikiPageRevisionID "373868499".
- Second-order_predicate hasPhotoCollection Second-order_predicate.
- Second-order_predicate subject Category:Concepts_in_logic.
- Second-order_predicate subject Category:Predicate_logic.
- Second-order_predicate type Abstraction100002137.
- Second-order_predicate type Cognition100023271.
- Second-order_predicate type Concept105835747.
- Second-order_predicate type ConceptsInLogic.
- Second-order_predicate type Content105809192.
- Second-order_predicate type Idea105833840.
- Second-order_predicate type PsychologicalFeature100023100.
- Second-order_predicate comment "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 Albanian philosophers".".
- Second-order_predicate label "Second-order predicate".
- Second-order_predicate sameAs m.071x5.
- Second-order_predicate sameAs Q7442983.
- Second-order_predicate sameAs Q7442983.
- Second-order_predicate sameAs Second-order_predicate.
- Second-order_predicate wasDerivedFrom Second-order_predicate?oldid=373868499.
- Second-order_predicate isPrimaryTopicOf Second-order_predicate.