Elements of Intuitionism
E269207
Elements of Intuitionism is a foundational philosophical and logical treatise by Michael Dummett that systematically develops and defends intuitionistic logic and mathematics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Elements of Intuitionism canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T2437774 — 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: Elements of Intuitionism Context triple: [Michael Dummett, notableWork, Elements of Intuitionism]
-
A.
Remarks on the Foundations of Mathematics
Remarks on the Foundations of Mathematics is a posthumously published collection of Ludwig Wittgenstein’s later writings that critically examines the nature of mathematical truth, proof, and practice from a philosophical and language-centered perspective.
-
B.
Lectures on the Logic of Arithmetic
Lectures on the Logic of Arithmetic is an educational work by Mary Everest Boole that explores the foundations and teaching of arithmetic through logical and psychological principles.
-
C.
Hilbert’s program
Hilbert’s program was an influential early-20th-century initiative in the foundations of mathematics that sought to formalize all of mathematics and prove its consistency using finitistic methods.
-
D.
Recherches sur la théorie de la démonstration
Recherches sur la théorie de la démonstration is Jacques Herbrand’s foundational work in mathematical logic, introducing key results in proof theory and what is now known as Herbrand’s theorem.
-
E.
Kronecker’s finitism
Kronecker’s finitism is a philosophical and mathematical stance asserting that only finite, constructible mathematical objects and proofs are legitimate, rejecting the existence of actual infinities.
- 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: Elements of Intuitionism Target entity description: Elements of Intuitionism is a foundational philosophical and logical treatise by Michael Dummett that systematically develops and defends intuitionistic logic and mathematics.
-
A.
Remarks on the Foundations of Mathematics
Remarks on the Foundations of Mathematics is a posthumously published collection of Ludwig Wittgenstein’s later writings that critically examines the nature of mathematical truth, proof, and practice from a philosophical and language-centered perspective.
-
B.
Lectures on the Logic of Arithmetic
Lectures on the Logic of Arithmetic is an educational work by Mary Everest Boole that explores the foundations and teaching of arithmetic through logical and psychological principles.
-
C.
Hilbert’s program
Hilbert’s program was an influential early-20th-century initiative in the foundations of mathematics that sought to formalize all of mathematics and prove its consistency using finitistic methods.
-
D.
Recherches sur la théorie de la démonstration
Recherches sur la théorie de la démonstration is Jacques Herbrand’s foundational work in mathematical logic, introducing key results in proof theory and what is now known as Herbrand’s theorem.
-
E.
Kronecker’s finitism
Kronecker’s finitism is a philosophical and mathematical stance asserting that only finite, constructible mathematical objects and proofs are legitimate, rejecting the existence of actual infinities.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
book
ⓘ
logic textbook ⓘ non-fiction book ⓘ philosophy book ⓘ |
| about |
Brouwer–Heyting–Kolmogorov interpretation
ⓘ
comparison between classical and intuitionistic logic ⓘ constructive mathematics ⓘ intuitionistic analysis ⓘ intuitionistic arithmetic ⓘ intuitionistic semantics ⓘ meaning-theoretic justification of logical laws ⓘ philosophical justification of intuitionism ⓘ proof theory ⓘ |
| aimsTo |
defend intuitionistic mathematics
ⓘ
systematically develop intuitionistic logic ⓘ |
| author | Michael Dummett ⓘ |
| countryOfOrigin | United Kingdom ⓘ |
| field |
foundations of mathematics
ⓘ
logic ⓘ philosophy ⓘ |
| genre |
academic monograph
ⓘ
logic textbook ⓘ |
| hasEdition | second edition ⓘ |
| hasISBN | 9780198750504 ⓘ |
| hasPart |
chapters on intuitionistic arithmetic and analysis
ⓘ
chapters on philosophical background of intuitionism ⓘ chapters on predicate intuitionistic logic ⓘ chapters on propositional intuitionistic logic ⓘ |
| influencedBy |
Arend Heyting
ⓘ
Luitzen Egbertus Jan Brouwer ⓘ
surface form:
L. E. J. Brouwer
intuitionistic mathematics ⓘ |
| language | English ⓘ |
| mainSubject |
intuitionism
ⓘ
intuitionistic logic ⓘ mathematical logic ⓘ philosophy of mathematics ⓘ |
| notableFor |
influence on later work in philosophy of logic
ⓘ
integration of technical logic with philosophical argument ⓘ rigorous formal presentation of intuitionistic logic ⓘ |
| pageCount | approximately 360 ⓘ |
| partOf | Michael Dummett's work on meaning and logic ⓘ |
| publicationYear | 1977 ⓘ |
| publisher | Oxford University Press ⓘ |
| secondEditionPublicationYear | 2000 ⓘ |
| targetAudience |
advanced students of logic
ⓘ
mathematical logicians ⓘ philosophers of mathematics ⓘ |
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: Elements of Intuitionism Description of subject: Elements of Intuitionism is a foundational philosophical and logical treatise by Michael Dummett that systematically develops and defends intuitionistic logic and mathematics.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.