The following pages link to (Q4388801):
Displaying 50 items.
- Reasoning about arbitrary natural numbers from a Carnapian perspective (Q2323694) (← links)
- Quantum mechanics: ontology without individuals (Q2342687) (← links)
- A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography (Q2391944) (← links)
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (Q2407885) (← links)
- Set theory, topology, and the possibility of junky worlds (Q2443121) (← links)
- Quine, Putnam, and the `Quine-Putnam' indispensability argument (Q2475624) (← links)
- A new look at Galileo's search for mathematical proofs (Q2501240) (← links)
- Absence perception and the philosophy of zero (Q2690215) (← links)
- Hale's argument from transitive counting (Q2693451) (← links)
- An encoding approach to \textit{ante rem} structuralism (Q2695389) (← links)
- What is absolute undecidability? (Q2869810) (← links)
- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics (Q2908777) (← links)
- A Silly Answer to a Psillos Question (Q2909765) (← links)
- An ``\(i\)'' for an \(i\): singular terms, uniqueness, and reference (Q2919944) (← links)
- Fundamentality, Effectiveness, and Objectivity of Gauge Symmetries (Q2964094) (← links)
- IDENTITY AND INDISCERNIBILITY (Q3094182) (← links)
- True V or Not True V, That Is the Question (Q3295821) (← links)
- The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs (Q3295830) (← links)
- Chalmers, Quantifier Variance and Mathematicians’ Freedom (Q3299525) (← links)
- Abstraction and Intuition in Peano's Axiomatizations of Geometry (Q3401351) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- PASCH’S PHILOSOPHY OF MATHEMATICS (Q3550707) (← links)
- THE IDENTITY OF ARGUMENT-PLACES (Q3580675) (← links)
- Poincaré on the Foundation of Geometry in the Understanding (Q4609479) (← links)
- Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices (Q4912995) (← links)
- On the Mathematical Constitution and Explanation of Physical Facts (Q5119658) (← links)
- Ontology and the Foundations of Mathematics (Q5162086) (← links)
- (Q5169801) (← links)
- Compositionality: Ontology and Mereology of Domains (Q5187818) (← links)
- Structure and Applicability (Q5213633) (← links)
- UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY (Q5241229) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- THE EXPRESSIVE POWER OF TRUTH (Q5259727) (← links)
- Does the French Connection (Poincaré, Lautman) Provide Some Insights Facing the Thesis That Meta-mathematics Is an Exception to the Slogan That Mathematics Concerns Structures? (Q5265029) (← links)
- An Inferential Conception of the Application of Mathematics (Q5275773) (← links)
- WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT? (Q5323797) (← links)
- FREGE’S CONSTRAINT AND THE NATURE OF FREGE’S FOUNDATIONAL PROGRAM (Q5381033) (← links)
- WHAT CAN A CATEGORICITY THEOREM TELL US? (Q5402238) (← links)
- Aristotle's problem (Q5918496) (← links)
- Introduction (Q5970754) (← links)
- RAMSIFICATION AND SEMANTIC INDETERMINACY (Q6051427) (← links)
- Does logical pluralism imply, or suggest, truth pluralism, or vice versa? (Q6088953) (← links)
- Foundations of applied mathematics. I (Q6142492) (← links)
- Anti-exceptionalism, truth and the BA-plan (Q6180131) (← links)
- The cost of closure: logical realism, anti-exceptionalism, and theoretical equivalence (Q6180137) (← links)
- Models, structures, and the explanatory role of mathematics in empirical science (Q6187761) (← links)
- Asymmetry cannot solve the circularity/regress problem of property structuralism (Q6187765) (← links)
- Neologicism, Frege's constraint, and the Frege-Heck condition (Q6495231) (← links)
- Ontological purity for formal proofs (Q6552264) (← links)
- A stochastic model of mathematics and science (Q6570232) (← links)
