share
The Development of Intuitionistic Logic

Date

source

share

[Revised entry by Mark van Atten on May 4, 2022.
Changes to: Main text, Bibliography, heyting-logic.html, notes.html, objections.html]
Intuitionistic logic is an offshoot of L.E.J. Brouwer’s intuitionistic mathematics. A widespread misconception has it that intuitionistic logic is the logic underlying Brouwer’s intuitionism; instead, the intuitionism underlies the logic, which is construed as an application of intuitionistic mathematics to language. Intuitionistic mathematics consists in the act of effecting mental constructions of a certain kind. These are themselves not linguistic in nature, but when acts of construction and their results are…

Originally appeared on Stanford Encyclopedia of Philosophy Read More

More
articles

More
news