Intentional Mathematics

Elsevier (1985)

Abstract

Among the aims of this book are: - The discussion of some important philosophical issues using the precision of mathematics. - The development of formal systems that contain both classical and constructive components. This allows the study of constructivity in otherwise classical contexts and represents the formalization of important intensional aspects of mathematical practice. - The direct formalization of intensional concepts (such as computability) in a mixed constructive/classical context.

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,722

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
48 (#240,102)

6 months
1 (#387,390)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Stewart Shapiro
Ohio State University

References found in this work

No references found.

Add more references

Citations of this work

A Machine That Knows Its Own Code.Samuel A. Alexander - 2014 - Studia Logica 102 (3):567-576.
On the Notion of Effectiveness.Stewart Shapiro - 1980 - History and Philosophy of Logic 1 (1-2):209-230.
The Knowing Mathematician.Nicolas D. Goodman - 1984 - Synthese 60 (1):21 - 38.

View all 7 citations / Add more citations