“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 |
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
NERFINISHED
ⓘ
intuitionistic semantics ⓘ proof-theoretic justification of logical laws ⓘ verificationist theory of meaning ⓘ |
| author | Michael Dummett NERFINISHED ⓘ |
| 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
NERFINISHED
ⓘ
Fregean philosophy of language ⓘ L. E. J. Brouwer NERFINISHED ⓘ 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 ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.