TY - BOOK ID - 1433536 TI - Intentional mathematics PY - 1985 VL - 113 SN - 0444876324 9780444876324 9781435686977 1435686977 1281716464 9786611716462 9780080880022 0080880045 PB - Amsterdam New York New YorK, N.Y., U.S.A. North-Holland Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. DB - UniCat KW - Mathematical logic KW - Modality (Logic) KW - Constructive mathematics. KW - Intuitionistic mathematics. KW - Constructive mathematics KW - Intuitionistic mathematics KW - Constructie [Wiskunde]. (Versch. onderwerpen) KW - Modaliteit [Logica]. (Versch. onderwerpen) KW - Mathématiques intuitionnistes. (Mélanges) KW - Construction [Mathématiques]. (Mélanges) KW - Modalité [Logique]. (Mélanges) KW - Wiskunde (Intuitionistische). (Versch. onderwerpen) KW - Mathematics KW - Mathematics, Constructive KW - Logic, Symbolic and mathematical KW - Modal logic KW - Logic KW - Nonclassical mathematical logic KW - Bisimulation UR - https://www.unicat.be/uniCat?func=search&query=sysid:1433536 AB - ``Platonism and intuitionism are rival philosophies of Mathematics, the former holding that the subject matter of mathematics consists of abstract objects whose existence is independent of the mathematician, the latter that the subject matter consists of mental construction... both views are implicitly opposed to materialistic accounts of mathematics which take the subject matter of mathematics to consist (in a direct way) of material objects...'' FROM THE INTRODUCTIONAmong the aims of this book are: - The discussion of some important philosophical issues using the precision ER -