Intuitionist type theory and foundations
Journal of Philosophical Logic 10 (1):101 - 115 (1981)
| Abstract | A version of intuitionistic type theory is presented here in which all logical symbols are defined in terms of equality. This language is used to construct the so-called free topos with natural number object. It is argued that the free topos may be regarded as the universe of mathematics from an intuitionist's point of view. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,711 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesWayne Aitken & Jeffrey A. Barrett (2007). Stability and Paradox in Algorithmic Logic. Journal of Philosophical Logic 36 (1):61 - 95.
Jeffrey Barrett (2007). Stability and Paradox in Algorithmic Logic. Journal of Philosophical Logic 36 (1):61 - 95.
Terence Cuneo (2008). Intuitionism's Burden: Thomas Reid on the Problem of Moral Motivation. Journal of Scottish Philosophy 6 (1):21-44.
Jan Smith (1984). An Interpretation of Martin-Löf's Type Theory in a Type-Free Theory of Propositions. Journal of Symbolic Logic 49 (3):730-753.
Paul C. Gilmore (2001). An Intensional Type Theory: Motivation and Cut-Elimination. Journal of Symbolic Logic 66 (1):383-400.
I. Grattan-Guinness (1982). Psychology in the Foundations of Logic and Mathematics: The Cases of Boole, Cantor and Brouwer. History and Philosophy of Logic 3 (1):33-53.
Colin Oakes (1999). Interpretations of Intuitionist Logic in Non-Normal Modal Logics. Journal of Philosophical Logic 28 (1):47-60.
G. Landini (2011). Logicism and the Problem of Infinity: The Number of Numbers. Philosophia Mathematica 19 (2):167-212.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads23 ( #53,955 of 551,105 )Recent downloads (6 months)1 ( #63,341 of 551,105 )How can I increase my downloads? |
My notes
Discussion
