"Grundzüge der theoretischen Logik"
E208848
"Grundzüge der theoretischen Logik" is a foundational textbook in mathematical logic that helped formalize and systematize the principles of modern symbolic logic.
All labels observed (3)
| Label | Occurrences |
|---|---|
| Grundzüge der theoretischen Logik | 4 |
| "Grundzüge der theoretischen Logik" canonical | 1 |
| “Introduction to Logic and to the Methodology of Deductive Sciences” | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T1859141 — 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.
Target entity: "Grundzüge der theoretischen Logik" Context triple: [Wilhelm Ackermann, notableWork, "Grundzüge der theoretischen Logik"]
-
A.
From a Logical Point of View
From a Logical Point of View is a landmark collection of philosophical essays by W.V.O. Quine that helped reshape analytic philosophy, especially through its critique of the analytic–synthetic distinction and its naturalized approach to epistemology.
-
B.
Wissenschaft der Logik
Wissenschaft der Logik is Georg Wilhelm Friedrich Hegel’s foundational philosophical work that systematically develops his dialectical logic as the core of his idealist system.
-
C.
The Logical Structure of the World
The Logical Structure of the World is Rudolf Carnap’s seminal 1928 work in which he develops a rigorous, formal reconstruction of all scientific concepts from a phenomenalist basis, serving as a foundational text of logical positivism.
-
D.
Begriffsschrift
Begriffsschrift is Gottlob Frege’s groundbreaking 1879 work that introduced a formal logical notation and is widely regarded as the foundation of modern symbolic logic.
-
E.
Introduction to Logical Theory
Introduction to Logical Theory is a mid-20th-century philosophical work by P. F. Strawson that critically examines traditional formal logic and its relation to ordinary language.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: "Grundzüge der theoretischen Logik" Target entity description: "Grundzüge der theoretischen Logik" is a foundational textbook in mathematical logic that helped formalize and systematize the principles of modern symbolic logic.
-
A.
From a Logical Point of View
From a Logical Point of View is a landmark collection of philosophical essays by W.V.O. Quine that helped reshape analytic philosophy, especially through its critique of the analytic–synthetic distinction and its naturalized approach to epistemology.
-
B.
Wissenschaft der Logik
Wissenschaft der Logik is Georg Wilhelm Friedrich Hegel’s foundational philosophical work that systematically develops his dialectical logic as the core of his idealist system.
-
C.
The Logical Structure of the World
The Logical Structure of the World is Rudolf Carnap’s seminal 1928 work in which he develops a rigorous, formal reconstruction of all scientific concepts from a phenomenalist basis, serving as a foundational text of logical positivism.
-
D.
Begriffsschrift
Begriffsschrift is Gottlob Frege’s groundbreaking 1879 work that introduced a formal logical notation and is widely regarded as the foundation of modern symbolic logic.
-
E.
Introduction to Logical Theory
Introduction to Logical Theory is a mid-20th-century philosophical work by P. F. Strawson that critically examines traditional formal logic and its relation to ordinary language.
- F. None of above. chosen
Statements (36)
| Predicate | Object |
|---|---|
| instanceOf |
book
ⓘ
logic textbook ⓘ |
| author |
David Hilbert
ⓘ
Wilhelm Ackermann ⓘ |
| countryOfOrigin | Germany ⓘ |
| describedAs |
classic work of the Hilbert school
ⓘ
foundational textbook in mathematical logic ⓘ |
| field |
mathematical logic
ⓘ
symbolic logic ⓘ |
| genre | scientific textbook ⓘ |
| hasEdition |
later revised editions
ⓘ
second edition ⓘ |
| hasPart |
axiomatic systems for logic
ⓘ
completeness and consistency considerations ⓘ treatment of first-order predicate logic ⓘ treatment of propositional logic ⓘ |
| historicalPeriod | early 20th century ⓘ |
| influenced |
development of proof theory
ⓘ
foundations of mathematics ⓘ modern formal logic ⓘ |
| language | German ⓘ |
| notableFor |
formalization of logical deduction
ⓘ
influence on Hilbert school of proof theory ⓘ systematic axiomatization of classical logic ⓘ |
| originalLanguageTitle |
"Grundzüge der theoretischen Logik"
self-link
ⓘ
surface form:
Grundzüge der theoretischen Logik
|
| publicationYear | 1928 ⓘ |
| publisher | Springer ⓘ |
| relatedTo |
Hilbert’s program
ⓘ
surface form:
Hilbert program
metamathematics ⓘ proof theory ⓘ |
| subject |
axiomatic method in logic
ⓘ
formal systems ⓘ foundations of arithmetic and analysis ⓘ logical calculi ⓘ |
| title |
"Grundzüge der theoretischen Logik"
self-link
ⓘ
surface form:
Grundzüge der theoretischen Logik
|
| usedIn | university courses in logic ⓘ |
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.
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.
Subject: "Grundzüge der theoretischen Logik" Description of subject: "Grundzüge der theoretischen Logik" is a foundational textbook in mathematical logic that helped formalize and systematize the principles of modern symbolic logic.
Referenced by (6)
Full triples — surface form annotated when it differs from this entity's canonical label.