- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Intensionality in mathematics
Journal of Philosophical Logic 14 (1):41 - 55 (1985)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Intentionality, intensionality and representation.Alexander Rosenberg - 1989 - Behaviorism 17 (2):137-140.
Foreword to the importance of nonexistent objects and of intensionality in mathematics.Nicholas Griffin - 2003 - Philosophia Mathematica 11 (1):16-19.
Intensionality and paradoxes in ramsey’s ‘the foundations of mathematics’.Dustin Tucker - 2010 - Review of Symbolic Logic 3 (1):1-25.
Intentionality and intensionality.James W. Cornman - 1962 - Philosophical Quarterly 12 (January):44-52.
The importance of nonexistent objects and of intensionality in mathematics.Richard Sylvan - 2003 - Philosophia Mathematica 11 (1):20-52.
Analytics
Added to PP
2009-01-28
Downloads
75 (#212,953)
6 months
2 (#1,157,335)
2009-01-28
Downloads
75 (#212,953)
6 months
2 (#1,157,335)
Historical graph of downloads
Citations of this work
Paraconsistent quantum logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1989 - Foundations of Physics 19 (7):891-904.
Identity and intensionality in Univalent Foundations and philosophy.Staffan Angere - 2017 - Synthese 198 (Suppl 5):1-41.
Generalizing classical and effective model theory in theories of operations and classes.Paolo Mancosu - 1991 - Annals of Pure and Applied Logic 52 (3):249-308.
References found in this work
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-l2pxr uwo