Formal and Transcendental Logic
E492937
Formal and Transcendental Logic is a major philosophical work by Edmund Husserl that develops a rigorous account of logic grounded in transcendental phenomenology and the structures of consciousness.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Formal and Transcendental Logic canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T5073532 — 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: Formal and Transcendental Logic Context triple: [Edmund Husserl, notableWork, Formal and Transcendental Logic]
-
A.
Logic as the Science of the Pure Concept
Logic as the Science of the Pure Concept is Benedetto Croce’s major philosophical treatise in which he reconceives logic as a theory of pure concepts grounded in his idealist aesthetics and philosophy of spirit.
-
B.
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.
-
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.
Symbolic Logic
Symbolic Logic is a foundational work in mathematical logic by John Venn that systematically develops and popularizes the use of diagrams and algebraic methods to represent logical relations.
-
E.
The Logical Basis of Metaphysics
The Logical Basis of Metaphysics is a major philosophical work by Michael Dummett that develops his influential views on realism, anti-realism, and the role of language in metaphysical debates.
- 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: Formal and Transcendental Logic Target entity description: Formal and Transcendental Logic is a major philosophical work by Edmund Husserl that develops a rigorous account of logic grounded in transcendental phenomenology and the structures of consciousness.
-
A.
Logic as the Science of the Pure Concept
Logic as the Science of the Pure Concept is Benedetto Croce’s major philosophical treatise in which he reconceives logic as a theory of pure concepts grounded in his idealist aesthetics and philosophy of spirit.
-
B.
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.
-
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.
Symbolic Logic
Symbolic Logic is a foundational work in mathematical logic by John Venn that systematically develops and popularizes the use of diagrams and algebraic methods to represent logical relations.
-
E.
The Logical Basis of Metaphysics
The Logical Basis of Metaphysics is a major philosophical work by Michael Dummett that develops his influential views on realism, anti-realism, and the role of language in metaphysical debates.
- F. None of above. chosen
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf | philosophical work ⓘ |
| academicDiscipline |
logic
ⓘ
phenomenology ⓘ philosophy ⓘ |
| addresses |
foundations of mathematics
ⓘ
problem of psychologism in logic ⓘ relationship between formal systems and meaning ⓘ |
| author | Edmund Husserl NERFINISHED ⓘ |
| centralClaim |
formal logic presupposes a transcendental-phenomenological clarification
ⓘ
logic must be grounded in the structures of transcendental subjectivity ⓘ logical laws are ideal but founded in acts of consciousness ⓘ |
| countryOfFirstPublication | Germany NERFINISHED ⓘ |
| developsConcept |
evidence and justification in logic
ⓘ
formal logic ⓘ intentional acts underlying logical operations ⓘ noesis-noema correlation in logical acts ⓘ regional ontologies of logic ⓘ transcendental logic ⓘ transcendental subjectivity as ground of logic ⓘ |
| follows |
Ideas Pertaining to a Pure Phenomenology and to a Phenomenological Philosophy
NERFINISHED
ⓘ
Logical Investigations NERFINISHED ⓘ |
| genre | theoretical philosophy ⓘ |
| hasOriginalTitle | Formale und transzendentale Logik NERFINISHED ⓘ |
| hasPart |
formal logic
ⓘ
transcendental logic ⓘ |
| influenced |
20th-century philosophy of logic
ⓘ
Husserlian phenomenology ⓘ phenomenological logic ⓘ transcendental phenomenology ⓘ |
| influencedBy |
Bernard Bolzano
NERFINISHED
ⓘ
Franz Brentano NERFINISHED ⓘ Gottlob Frege NERFINISHED ⓘ Immanuel Kant ⓘ |
| mainTopic |
logic
ⓘ
philosophy of logic ⓘ theory of knowledge ⓘ transcendental phenomenology ⓘ |
| originalLanguage | German ⓘ |
| philosophicalSchool | Husserlian phenomenology NERFINISHED ⓘ |
| philosophicalTradition |
phenomenology
ⓘ
transcendental philosophy ⓘ |
| publicationYear | 1929 ⓘ |
| relatedWork |
Cartesian Meditations
NERFINISHED
ⓘ
Ideas I NERFINISHED ⓘ Logical Investigations NERFINISHED ⓘ |
| timePeriod | 20th century ⓘ |
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: Formal and Transcendental Logic Description of subject: Formal and Transcendental Logic is a major philosophical work by Edmund Husserl that develops a rigorous account of logic grounded in transcendental phenomenology and the structures of consciousness.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.