Concept Notation
E253025
Concept Notation is Gottlob Frege’s groundbreaking 1879 logical calculus that introduced a formal system for representing logical relations and quantification, laying foundations for modern symbolic logic.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Concept Notation canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T2287264 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Concept Notation Context triple: [Begriffsschrift, translatedTitle, Concept Notation]
-
A.
Simple Knowledge Organization System
The Simple Knowledge Organization System (SKOS) is a W3C standard model for representing and sharing knowledge organization systems such as thesauri, classification schemes, and taxonomies on the Semantic Web.
-
B.
OWL
OWL (Web Ontology Language) is a W3C-recommended semantic web language used to define and share rich, machine-interpretable ontologies on the web.
-
C.
RDFS
RDFS (RDF Schema) is a semantic web vocabulary language used to define the structure, classes, and properties of RDF data.
-
D.
OWL 2 RL
OWL 2 RL is a profile of the Web Ontology Language designed for scalable reasoning using rule-based systems, enabling efficient inference over large datasets.
-
E.
OWL 2 QL
OWL 2 QL is a lightweight profile of the Web Ontology Language designed to enable efficient query answering over large datasets using standard relational database technologies.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Concept Notation Target entity description: Concept Notation is Gottlob Frege’s groundbreaking 1879 logical calculus that introduced a formal system for representing logical relations and quantification, laying foundations for modern symbolic logic.
-
A.
Simple Knowledge Organization System
The Simple Knowledge Organization System (SKOS) is a W3C standard model for representing and sharing knowledge organization systems such as thesauri, classification schemes, and taxonomies on the Semantic Web.
-
B.
OWL
OWL (Web Ontology Language) is a W3C-recommended semantic web language used to define and share rich, machine-interpretable ontologies on the web.
-
C.
RDFS
RDFS (RDF Schema) is a semantic web vocabulary language used to define the structure, classes, and properties of RDF data.
-
D.
OWL 2 RL
OWL 2 RL is a profile of the Web Ontology Language designed for scalable reasoning using rule-based systems, enabling efficient inference over large datasets.
-
E.
OWL 2 QL
OWL 2 QL is a lightweight profile of the Web Ontology Language designed to enable efficient query answering over large datasets using standard relational database technologies.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
formal system
ⓘ
logical calculus ⓘ work on logic ⓘ |
| aimedToClarify |
foundations of arithmetic
ⓘ
structure of logical inference ⓘ |
| associatedWithPhilosophicalView | logicism ⓘ |
| author | Gottlob Frege ⓘ |
| developedIn | Jena ⓘ |
| field |
logic
ⓘ
mathematical logic ⓘ philosophy of logic ⓘ |
| hasKeyConcept |
assertion sign
ⓘ
concept as a function from objects to truth-values ⓘ conditional stroke ⓘ judgment stroke ⓘ quantifier as a higher-level function ⓘ |
| historicalSignificance |
first fully formal system of predicate logic
ⓘ
milestone in the development of analytic philosophy ⓘ precursor to standard first-order logic ⓘ |
| influenced |
Alfred North Whitehead
ⓘ
Bertrand Russell ⓘ Principia Mathematica ⓘ modern logic notation ⓘ |
| introducedBy | Gottlob Frege ⓘ |
| introduces |
axiomatic method in logic
ⓘ
distinction between function and argument ⓘ formal proof system ⓘ formal representation of logical relations ⓘ formal representation of quantification ⓘ function–argument analysis of propositions ⓘ |
| laysFoundationFor |
modern symbolic logic
ⓘ
predicate logic ⓘ quantificational logic ⓘ |
| originalLanguage | German ⓘ |
| originalTitle | Begriffsschrift ⓘ |
| precedes |
Arithmetices principia, nova methodo exposita
ⓘ
surface form:
Peano’s logical notation
Principia Mathematica ⓘ |
| publicationYear | 1879 ⓘ |
| topic |
existential quantification
ⓘ
identity ⓘ implication ⓘ inference rules ⓘ logical consequence ⓘ negation ⓘ universal quantification ⓘ |
| usesNotationType |
content strokes and concavity signs
ⓘ
two-dimensional formula notation ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Concept Notation Description of subject: Concept Notation is Gottlob Frege’s groundbreaking 1879 logical calculus that introduced a formal system for representing logical relations and quantification, laying foundations for modern symbolic logic.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.