“The Philosophical Basis of Intuitionistic Logic”
E921633
“The Philosophical Basis of Intuitionistic Logic” is an influential essay by Michael Dummett that examines the philosophical motivations and implications of intuitionistic logic, particularly its connection to theories of meaning and truth.
All labels observed (1)
| Label | Occurrences |
|---|---|
| “The Philosophical Basis of Intuitionistic Logic” canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T11365946 — 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: “The Philosophical Basis of Intuitionistic Logic” Context triple: [Truth and Other Enigmas, hasPart, “The Philosophical Basis of Intuitionistic Logic”]
-
A.
Elements of Intuitionism
Elements of Intuitionism is a foundational philosophical and logical treatise by Michael Dummett that systematically develops and defends intuitionistic logic and mathematics.
-
B.
Recursive Functions and Intuitionistic Mathematics
Recursive Functions and Intuitionistic Mathematics is a seminal work by Stephen Kleene that develops the theory of recursive (computable) functions within the framework of intuitionistic logic and mathematics.
-
C.
Proof Methods for Modal and Intuitionistic Logics
"Proof Methods for Modal and Intuitionistic Logics" is a foundational textbook by logician Melvin Fitting that systematically develops semantic and proof-theoretic techniques for reasoning in modal and intuitionistic logic systems.
-
D.
An Introduction to Non-Classical Logic
An Introduction to Non-Classical Logic is a widely used textbook by philosopher Graham Priest that systematically presents and explains a range of logics beyond classical logic, including many-valued, paraconsistent, modal, and intuitionistic systems.
-
E.
New Foundations for Mathematical Logic
New Foundations for Mathematical Logic is W.V.O. Quine’s influential essay proposing an alternative set theory, known as "New Foundations," aimed at resolving paradoxes while preserving a broad, intuitive universe of sets.
- 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: “The Philosophical Basis of Intuitionistic Logic” Target entity description: “The Philosophical Basis of Intuitionistic Logic” is an influential essay by Michael Dummett that examines the philosophical motivations and implications of intuitionistic logic, particularly its connection to theories of meaning and truth.
-
A.
Elements of Intuitionism
Elements of Intuitionism is a foundational philosophical and logical treatise by Michael Dummett that systematically develops and defends intuitionistic logic and mathematics.
-
B.
Recursive Functions and Intuitionistic Mathematics
Recursive Functions and Intuitionistic Mathematics is a seminal work by Stephen Kleene that develops the theory of recursive (computable) functions within the framework of intuitionistic logic and mathematics.
-
C.
Proof Methods for Modal and Intuitionistic Logics
"Proof Methods for Modal and Intuitionistic Logics" is a foundational textbook by logician Melvin Fitting that systematically develops semantic and proof-theoretic techniques for reasoning in modal and intuitionistic logic systems.
-
D.
An Introduction to Non-Classical Logic
An Introduction to Non-Classical Logic is a widely used textbook by philosopher Graham Priest that systematically presents and explains a range of logics beyond classical logic, including many-valued, paraconsistent, modal, and intuitionistic systems.
-
E.
New Foundations for Mathematical Logic
New Foundations for Mathematical Logic is W.V.O. Quine’s influential essay proposing an alternative set theory, known as "New Foundations," aimed at resolving paradoxes while preserving a broad, intuitive universe of sets.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
academic article
ⓘ
philosophical essay ⓘ |
| arguesAgainst |
classical realist conception of truth
ⓘ
purely formal justification of logic ⓘ unrestricted law of excluded middle ⓘ |
| arguesFor |
intuitionistic logic as correct for certain areas of discourse
ⓘ
link between meaning and conditions of verification ⓘ rejection of truth as evidence-transcendent ⓘ |
| associatedWith |
Dummettian anti-realism
ⓘ
linked to:
“Realism and Anti-Realism”
intuitionistic semantics ⓘ proof-theoretic justification of logical laws ⓘ verificationist theory of meaning ⓘ |
| author | Michael Dummett ⓘ |
| claims |
classical logic presupposes a realist notion of truth
ⓘ
intuitionistic logic fits an anti-realist notion of truth ⓘ logical laws must be justified by a theory of meaning ⓘ truth cannot outrun possible verification ⓘ understanding a statement is knowing what counts as a proof of it ⓘ |
| contextOf |
20th-century analytic philosophy
ⓘ
debates on the foundations of logic ⓘ |
| examines |
philosophical motivations for rejecting classical principles
ⓘ
role of proof in determining meaning ⓘ semantics for logical connectives ⓘ |
| focusesOn |
comparison of classical and intuitionistic logic
ⓘ
connection between logic and meaning ⓘ connection between logic and truth ⓘ justification of intuitionistic logic ⓘ |
| hasInfluenced |
contemporary debates on realism and anti-realism
ⓘ
developments in proof-theoretic semantics ⓘ logical pluralism debates ⓘ philosophy of mathematics ⓘ theory of meaning in analytic philosophy ⓘ |
| influencedBy |
Arend Heyting
ⓘ
Fregean philosophy of language ⓘ L. E. J. Brouwer ⓘ
linked to:
Luitzen Egbertus Jan Brouwer
Wittgensteinian ideas about meaning and use ⓘ intuitionism in mathematics ⓘ |
| language | English ⓘ |
| mainTopic |
anti-realism
ⓘ
intuitionistic logic ⓘ logical consequence ⓘ meaning-theoretic justification of logic ⓘ philosophy of logic ⓘ semantics of logical constants ⓘ theories of meaning ⓘ theories of truth ⓘ verificationism ⓘ |
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: “The Philosophical Basis of Intuitionistic Logic” Description of subject: “The Philosophical Basis of Intuitionistic Logic” is an influential essay by Michael Dummett that examines the philosophical motivations and implications of intuitionistic logic, particularly its connection to theories of meaning and truth.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.