Abstract
Brouwer’s intuitionism is based on quite different philosophical ideas about the nature of mathematical objects than classical mathematics. This intuitionistic point of view results in a different use of language and in a corresponding different intuitionistic logic which is far more subtle than the classical use of language and corresponding classical logic. Nevertheless an intuitionistic deduction system and a notion of intuitionistic deducibility was developed by A. Heyting and it is amazing to see that a small change in the logical axioms, replacing the logical axiom ГГA → A by ГA → (A → B), may have such far reaching consequences. Since finding (intuitionistic) formal deductions may be difficult, an intuitionistic tableaux based formal deduction system is presented in which the construction of intuitionistic deductions is rather straightforward. The semantics of intuitionistic logic and the notion of (intuitionistic) valid consequence are given in terms of (intuitionistic) Kripke models and it is shown that the three notions of intuitionistic valid consequence, intuitionistic deducibility and intuitionistic tableau-deducibility are equivalent. Intuitionistic sets are either finite constructions or otherwise, they are (subsets of) construction projects. Spreads are a particular kind of construction project, inducing specific principles which typically do not hold for other sets.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
Cite this chapter
de Swart, H.C.M.(. (2018). Intuitionism and Intuitionistic Logic. In: Philosophical and Mathematical Logic. Springer Undergraduate Texts in Philosophy. Springer, Cham. https://doi.org/10.1007/978-3-030-03255-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-03255-5_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-03253-1
Online ISBN: 978-3-030-03255-5
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)