Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Second-order_predicate> ?p ?o }
Showing triples 1 to 31 of
31
with 100 triples 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 wikiPageLength "1789".
- Second-order_predicate wikiPageOutDegree "11".
- Second-order_predicate wikiPageRevisionID "637847504".
- Second-order_predicate wikiPageWikiLink Albania.
- Second-order_predicate wikiPageWikiLink Category:Concepts_in_logic.
- Second-order_predicate wikiPageWikiLink Category:Predicate_logic.
- Second-order_predicate wikiPageWikiLink Concept_and_object.
- Second-order_predicate wikiPageWikiLink First-order_predicate.
- Second-order_predicate wikiPageWikiLink Germany.
- Second-order_predicate wikiPageWikiLink Gottlob_Frege.
- Second-order_predicate wikiPageWikiLink Higher-order_logic.
- Second-order_predicate wikiPageWikiLink Mathematical_logic.
- Second-order_predicate wikiPageWikiLink Number.
- Second-order_predicate wikiPageWikiLink Predicate_(mathematical_logic).
- Second-order_predicate wikiPageWikiLinkText "Second-order predicate".
- Second-order_predicate wikiPageWikiLinkText "second-order predicate".
- Second-order_predicate wikiPageUsesTemplate Template:Logic-stub.
- Second-order_predicate wikiPageUsesTemplate Template:Reflist.
- Second-order_predicate subject Category:Concepts_in_logic.
- Second-order_predicate subject Category:Predicate_logic.
- Second-order_predicate hypernym Predicate.
- Second-order_predicate type Concept.
- 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 Q7442983.
- Second-order_predicate sameAs m.071x5.
- Second-order_predicate sameAs Q7442983.
- Second-order_predicate wasDerivedFrom Second-order_predicate?oldid=637847504.
- Second-order_predicate isPrimaryTopicOf Second-order_predicate.