The following pages link to (Q3340832):
Displaying 44 items.
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- A guide for the perplexed: what mathematicians need to know to understand philosophers of mathematics (Q483554) (← links)
- On the concept of finitism (Q510710) (← links)
- Numbers as moments of multisets: a new-old formulation of arithmetic (Q536601) (← links)
- The happy formalist (Q752675) (← links)
- The logic and meaning of plurals. I (Q812095) (← links)
- The objectivity of mathematics (Q885536) (← links)
- The role of axioms in mathematics (Q948978) (← links)
- Are mathematical theorems analytic or synthetic? (Q1061110) (← links)
- What do we do when we do mathematics? (Q1106831) (← links)
- Philosophy of mathematics: Prospects for the 1990s (Q1182177) (← links)
- Mathematics, science and ontology (Q1182182) (← links)
- Dummett's intuitionism is not strict finitism (Q1187232) (← links)
- Some proposals for reviving the philosophy of mathematics (Q1254292) (← links)
- Historical development of the foundations of mathematics: Course description (Q1332574) (← links)
- Non-well-founded sets via revision rules (Q1337508) (← links)
- What is the Philosophy of Mathematics, and what should it be? (Q1345645) (← links)
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)
- The role of symmetry in mathematics (Q1655492) (← links)
- Against naturalized cognitive propositions (Q1707202) (← links)
- Traditional logic and the early history of sets, 1854-1908 (Q1913678) (← links)
- Intuitive set theory (Q1975339) (← links)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- Linguistic knowledge of reality: a metaphysical impossibility? (Q2013329) (← links)
- What is identical? (Q2045002) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- Why ramify? (Q2354627) (← links)
- A modern elaboration of the ramified theory of types (Q2563450) (← links)
- Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems (Q2757974) (← links)
- Quine's Philosophy of Language and Polish Logic (Q2757977) (← links)
- Intuitionism, Meaning Theory and Cognition (Q2757999) (← links)
- The hyperuniverse program (Q2837763) (← links)
- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics (Q2908777) (← links)
- Paradox, ZF, and the Axiom of Foundation (Q2909755) (← links)
- <i>V = L</i>and Intuitive Plausibility in set Theory. A Case Study (Q3174637) (← links)
- Explaining Maximality Through the Hyperuniverse Programme (Q3305411) (← links)
- Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)
- 2004 Annual Meeting of the Association for Symbolic Logic (Q3370628) (← links)
- Predicative Fragments of Frege Arithmetic (Q4678937) (← links)
- In Praise of Replacement (Q5388757) (← links)
- Pluralistic perspectives on logic: an introduction (Q6067339) (← links)
- The unbearable circularity of easy ontology (Q6142482) (← links)
