Number of items at this level: **186**.

## A

Aaronson, Scott (2011) *Why Philosophers Should Care About Computational Complexity.* [Preprint]

Afriat, Alexander (2008) *How Weyl stumbled across electricity while pursuing mathematical justice.* [Preprint]

Afriat, Alexander (2012) *Logic of gauge.* [Preprint]

Afriat, Alexander (2007) *A priori prejudice in Weyl's unintended unification of gravitation and electricity.* [Preprint]

Afriat, Alexander (2007) *A priori prejudice in Weyl's unintended unification of gravitation and electricity.* [Preprint]

Andrei , Rodin (2012) *Axiomatic Method and Category Theory.* [Preprint]

Andréka, Hajnal and Madarász X., Judit and Németi, István and Székely, Gergely (2008) *Axiomatizing relativistic dynamics without conservation postulates.* [Preprint]

Avon, Mauro (2013) *A different approach to logic.* [Preprint]

Awodey, Steve (2000) *Continuity and logical completeness: an application of sheaf theory and topoi.* [Preprint]

Awodey, Steve and Reck, Erich H. (2002) *Completeness and Categoricity, Part I: 19th Century Axiomatics to 20th Century Metalogic.* [Preprint]

Awodey, Steve and Reck, Erich H. (2002) *Completeness and Categoricty, Part II: 20th Century Metalogic to 21st Century Semantics.* [Preprint]

## B

Bacelar Valente, Mario (2014) *Einstein and the conventionality of distant simultaneity.* [Preprint]

Bacelar Valente, Mario (2013) *Einstein's physical geometry at play: inertial motion, the boostability assumption, the Lorentz transformations, and the so-called conventionality of the one-way speed of light.* [Preprint]

Barany, Michael (2009) *Computer experiments in harmonic analysis.* In: [2009] SPSP 2009: Society for Philosophy of Science in Practice (Minnesota, June 18-20, 2009).

Barrett, Thomas William and Halvorson, Hans (2015) *Glymour and Quine on Theoretical Equivalence.* [Preprint]

Batterman, Robert (2008) *On the Explanatory Role of Mathematics in Empirical Science.* [Preprint]

Batterman, Robert (2006) *On the Specialness of Special Functions (The Nonrandom Effusions of the Divine Mathematician).* [Preprint]

Batterman, Robert W. (2011) *The Tyranny of Scales.* [Preprint]

Bernd, Binder (2002) *Soliton Coupling Driven by Phase Fluctuations in Auto-Parametric Resonance.* [Preprint]

Besnard, Fabien (2010) *Time of Philosophers, Time of Physicists, Time of Mathematicians.* [Preprint]

Binder, Bernd (2002) *Charge as the Stereographic Projection of Geometric Precession on Pseudospheres.* [Preprint]

Binder, Bernd (2001) *Higher-Dimensional Solitons Stabilized by Opposite Charge.* [Preprint]

Binder, Bernd (2002) *Spacetime Memory: Phase-Locked Geometric Phases.* [Preprint]

Binder, Bernd (2002) *Topological Phase Fields, Baecklund Transformations, and Fine Structure.* [Preprint]

Butterfield, Jeremy (2005) *Against Pointillisme about Geometry.* [Preprint]

Butterfield, Jeremy (2005) *Against Pointillisme about Mechanics.* [Preprint]

Butterfield, Jeremy (2014) *Our Mathematical Universe?* The Mathematics Millennium Project (U.K.), Cambridge, U.K..

Butterfield, Jeremy (2000) *Topos Theory as a Framework for Partial Truth.* [Preprint]

## C

Caspers, Martijn and Heunen, Chris and Landsman, Nicolaas P. and Spitters, Bas (2009) *Intuitionistic quantum logic of an n-level system.* [Preprint]

Catren, Gabriel and Page, Julien (2013) *On the notion of indiscernibility in the light of Galois-Grothendieck Theory.* [Preprint]

Cinà, Giovanni (2013) *On the connection between the categorical and the modal logic approaches to Quantum Mechanics.* ILLC.

Clarke, Christopher (2014) *Multi-Level Selection and the Explanatory Value of Mathematical Decompositions.* [Preprint]

Clarke, Christopher (2014) *Multi-Level Selection and the Explanatory Value of Mathematical Decompositions.* [Preprint]

Corfield, David (2005) *Reflections on Michael Friedman's Dynamics of Reason.* [Preprint]

Corfield, David Neil (2004) *Categorification as a Heuristic Device.* [Preprint]

Corfield, David Neil (2004) *Categorification as a Heuristic Device.* [Preprint]

Corfield, David Neil (2010) *Lautman and the Reality of Mathematics.* [Preprint]

Corfield, David Neil (2004) *Mathematical Kinds, or Being Kind to Mathematics.* [Preprint]

Csatári, Ferenc (2011) *Some Remarks on the Physicalist Account of Mathematics.* [Preprint]

Curiel, Erik (2014) *Measure, Topology and Probabilistic Reasoning in Cosmology.* [Preprint]

Curiel, Erik (2014) *On the Existence of Spacetime Structure.* [Preprint]

## D

Davey, Kevin (2001) *Is Mathematical Rigor Necessary In Physics?* [Preprint]

Davies, E Brian (2004) *A Defence of Mathematical Pluralism.* [Preprint]

Davies, E Brian (2006) *Epistemological Pluralism.* [Preprint]

Davies, E Brian (2006) *Scientific Understanding.* [Preprint]

Domenech, Graciela and Holik, Federico (2007) *A discussion on particle number and quantum indistinguishability.* [Preprint]

Donald, Matthew J. (2003) *Finitary and Infinitary Mathematics, the Possibility of Possibilities and the Definition of Probabilities.* [Preprint]

Durham, Ian (2005) *Quantum Puzzles in the Metaworld of Heisenberg, Clauser, and Horne.* [Preprint]

da Costa, Newton C. A. and Krause, Décio (2007) *Logical and Philosophical Remarks on Quasi-Set Theory.* [Preprint]

de Ronde, Christian and Freytes, Hector and Domenech, Graciela (2014) *Quantum mechanics and the interpretation of the orthomodular square of opposition.* [Preprint]

## E

E. Szabó, László (2003) *Formal Systems as Physical Objects: A Physicalist Account of Mathematical Truth.* [Preprint]

E. Szabó, László (2007) *Objective probability-like things with and without objective indeterminism.* [Preprint]

Ellerman, David (2009) *Counting Distinctions: On the Conceptual Foundations of Shannon's Information Theory.* [Published Article]

Ellerman, David (2013) *An Introduction to Logical Entropy and its Relation to Shannon Entropy.* [Preprint]

Ellerman, David (2013) *An Introduction to Partition Logic.* [Published Article]

Ellerman, David (2010) *The Logic of Partitions: Introduction to the Dual of the Logic of Subsets.* [Published Article]

Ellerman, David (2014) *On Concrete Universals: A Modern Treatment using Category Theory.* [Preprint]

Ellerman, David (2014) *Partitions and Objective Indefiniteness in Quantum Mechanics.* [Preprint]

## F

Fahmi, Marco (2008) *MATHEMATICAL MODELS IN SCIENCE: A DEBATE ABOUT ONTOLOGY.* In: [2007] Models and Simulations 2 (Tilburg, NL).

Fahmi, Marco (2007) *The Ontological Commitments of Mathematical Models.* In: [2007] Models and Simulations 2 (Tilburg, NL).

Frans, Joachim and Kosolosky, Laszlo (2014) *Revisiting the reliability of published mathematical proofs: where do we go next?* [Published Article]

Freytes, Hector and de Ronde, Christian and Domenech, Graciela (2012) *The square of opposition in orthomodular logic.* [Published Article]

Frigg, Roman and Werndl, Charlotte (2011) *Entropy - A Guide for the Perplexed.* [Preprint]

## G

Giovanelli, Marco (2013) *Collision of Traditions. The Emergence of Logical Empiricism Between the Riemannian and Helmholtzian Traditions.* [Preprint]

Giovanelli, Marco (2012) *The Forgotten Tradition. How the Logical Empiricists missed the Philosophical Significance of the work of Riemann, Christoffel and Ricci.* [Published Article]

Guay, Alexandre and Hepburn, Brian (2008) *Symmetry and its Formalisms: Mathematical aspects.* [Preprint]

Gwiazda, Jeremy *A Potential Problem for Alpha-Theory.* None.

Gwiazda, Jeremy (2010) *Probability, Hyperreals, Asymptotic Density, and God’s Lottery.* UNSPECIFIED.

Gwiazda, Jeremy (2013) *Two concepts of completing an infinite number of tasks.* [Preprint]

Gwiazda, Jeremy (2008) *The probability of an infinite sequence of heads.* [Preprint]

## H

Hellman, Geoffrey and Shapiro, Stewart (2012) *The Classical Continuum without Points.* In: [2012] Philosophy of Science Assoc. 23rd Biennial Mtg (San Diego, CA) > PSA 2012 Contributed Papers.

Hodesdon, Kate (2013) *Mathematical Representation: Playing a Role.* [Preprint]

Hoffman, Sarah (2006) *You Can’t Mean That: Yablo’s Figuralist Account of Mathematics.* In: [2006] Philosophy of Science Assoc. 20th Biennial Mtg (Vancouver) > PSA 2006 Contributed Papers.

## I

Iurato, Giuseppe (2014) *On some historical aspects of the theory of Riemann zeta function.* [Preprint]

Iurato, Giuseppe (2012) *On the role played by the work of Ulisse Dini on implicit function theory in the modern differential geometry foundations: the case of the structure of a differentiable manifold, 1.* [Preprint]

## J

Judit, X. Madárasz and István, Németi and Gergely, Székely (2005) *Twin Paradox and the Logical Foundation of Relativity Theory.* [Preprint]

Justus, James (2006) *Ecological and Lyapunov Stability.* In: [2006] Philosophy of Science Assoc. 20th Biennial Mtg (Vancouver) > PSA 2006 Contributed Papers.

## K

Krause, Decio and Feitosa, Hercules de Araujo (2008) *Algebraic aspects of quantum indiscernibility.* [Preprint]

Krause, Décio (2004) *The Mathematics of Non-Individuality.* [Preprint]

Krause, Décio and Arenhart, Jonas R. B. and da Costa, Newton C. A. (2015) *Ontology and the mathematization of the scientific enterprise.* [Preprint]

Kritchman, Shira and Raz, Ran (2010) *The Surprise Examination Paradox and the Second Incompleteness Theorem.* [Published Article]

Kryukov, Alexey (2001) *Coordinate formalism on Hilbert manifolds.* [Preprint]

Kryukov, Alexey (2001) *Coordinate formalism on abstract Hilbert space.* [Preprint]

## L

Ladyman, James and Presnell, Stuart (2014) *Does Homotopy Type Theory Provide a Foundation for Mathematics?* [Preprint]

Ladyman, James and Presnell, Stuart (2014) *Identity in HoTT, Part I.* [Preprint]

Lam, Vincent (2014) *Entities without intrinsic physical identity.* [Preprint]

Landry, Elaine (2009) *Reconstructing Hilbert to Construct Category Theoretic Structuralism.* In: [2009] EPSA09: 2nd Conference of the European Philosophy of Science Association (Amsterdam, 21-24 October, 2009) > EPSA 2009 Contributed Papers.

Leon, Antonio (2008) *Criticism of Benacerraf's criticism of modern eleatics.* [Preprint]

Leon, Antonio (2006) *Hilbert's machine and the Axiom of Infinity.* [Preprint]

Leon, Antonio (2010) *On bifurcated supertasks and related questions.* [Preprint]

Linnebo, Øystein and Pettigrew, Richard (2010) *Only up to isomorphism? Category Theory and the Foundations of Mathematics.* [Preprint]

Lisker, Roy (1998) *Weakly Infinite Cardinals.* [Preprint] (Unpublished)

Liston, Michael (2009) *On Tins and Tin-openers.* In: [2009] EPSA09: 2nd Conference of the European Philosophy of Science Association (Amsterdam, 21-24 October, 2009) > EPSA 2009 Symposia.

Lutz, Sebastian *Criteria of Empirical Significance: Foundations, Relations, Applications.* Zeno Institute of Philosophy, Utrecht University.

Lynds, Peter (2003) *Zeno's Paradoxes: A Timely Solution.* [Preprint] (Unpublished)

## M

Magal, Oran (2013) *On the mathematical nature of logic, featuring P. Bernays and K. Gödel.* In: [2013] PhiloSTEM-5: The Fifth Midwest Workshop in Philosophy of Science, Technology, Engineering, and Mathematics (Fort Wayne, IN; 14-16 March 2013).

Marcus, Russell (2007) *Intrinsic Explanation and Field's Dispensabilist Strategy.* In: [2008] Reduction and the Special Sciences (Tilburg, April 10-12, 2008).

McCabe, Gordon (2004) *Does an elementary particle have a unique intrinsic state?* [Preprint]

McCabe, Gordon (2008) *The Duality of the Universe.* [Preprint]

McCabe, Gordon (2005) *Explanation and discovery in aerodynamics.* [Preprint]

McCabe, Gordon (2006) *Extending cosmological natural selection.* [Preprint]

McCabe, Gordon (2007) *How to create a universe.* [Preprint]

McCabe, Gordon (2007) *Joining inner space to outer space.* [Preprint]

McCabe, Gordon (2007) *Mathematics and explanation in astronomy and astrophysics.* [Preprint]

McCabe, Gordon (2005) *Possible physical universes.* UNSPECIFIED.

McCabe, Gordon (2005) *The Standard Model of particle physics in other universes.* [Preprint]

McCabe, Gordon (2006) *Structural realism and the mind.* UNSPECIFIED. (Unpublished)

McCabe, Gordon (2003) *The Structure and Interpretation of Cosmology.* [Preprint]

McCabe, Gordon (2005) *The Topology of Branching Universes.* [Preprint]

McCabe, Gordon (2004) *Universe creation on a computer.* [Preprint]

McCabe, Gordon (2004) *What is an elementary particle in the first-quantized Standard Model?* [Preprint]

McCabe, Gordon (2009) *The non-unique Universe.* [Preprint]

McCabe, Gordon (2010) *The non-unique Universe.* [Preprint]

Molinini, Daniele (2014) *Deductive Nomological Model and Mathematics: Making Dissatisfaction more Satisfactory.* [Published Article]

Molnár, Attila and Székely, Gergely (2013) *Axiomatizing Relativistic Dynamics using Formal Thought Experiments.* In: [2013] Foundations of Physics 2013: The 17th UK and European Meeting on the Foundations of Physics (Munich; 29-31 July 2013).

Mosterin, Jesus (2004) *How Set Theory Impinges on Logic.* UNSPECIFIED.

Muller, F.A. (2011) *Cantor-Von Neumann Set-Theory.* [Published Article]

Muller, F.A. (2012) *Circular Discernment in Completely Extensive Structures and How to Avoid such Circles Generally.* [Preprint]

Muller, F.A. (2003) *Deflating Skolem.* UNSPECIFIED. (In Press)

Muller, F.A. (2003) *The Implicit Definition of the Set-Concept.* UNSPECIFIED. (In Press)

Muller, F.A. (2001) *Sets, Classes and Categories.* UNSPECIFIED.

## N

Newton, da Costa and Federico, Holik (2013) *A formal framework for the study of the notion of undefined particle number in quantum mechanics.* [Preprint]

## P

Page, Julien and Catren, Gabriel (2013) *On the Galoisian Structure of Heisenberg Indeterminacy Principle.* [Preprint]

Parker, Matthew W. (2008) *Philosophical Method and Galileo's Paradox of Infinity.* [Preprint]

Patton, Lydia (2014) *Hilbert's objectivity.* [Published Article]

Petrov, Assen (2008) *Ten Reasons for Pursuing Multi-Commutative Quantum Theories.* [Preprint]

Pincock, Chris (2009) *Abstract Representations and Confirmation.* In: [2008]: Visiting Fellows, Center for Philosophy of Science. (2008-2009, Pittsburgh).

Pitts, J. Brian (2007) *Absolute Objects, Counterexamples and General Covariance.* In: [2007] 15th UK and European Meeting on the Foundations of Physics (Leeds, 29-31 March 2007).

Pitts, J. Brian (2009) *Gauge-Invariant Localization of Infinitely Many Gravitational Energies from All Possible Auxiliary Structures.* [Preprint]

Pitts, J. Brian (2009) *Gauge-Invariant Localization of Infinitely Many Gravitational Energies from All Possible Auxiliary Structures.* [Preprint]

Pitts, J. Brian (2011) *The Nontriviality of Trivial General Covariance: How Electrons Restrict 'Time' Coordinates, Spinors (Almost) Fit into Tensor Calculus, and 7/16 of a Tetrad Is Surplus Structure.* [Preprint]

Pitts, J. Brian (2013) *Time and Fermions: General Covariance vs. Ockham's Razor for Spinors.* [Published Article]

## R

RODIN, Andrei (2011) *DOING AND SHOWING.* [Preprint]

Redei, Miklos and Werndl, Charlotte (2011) *On the history of the isomorphism problem of dynamical systems with special regard to von Neumann's contribution.* [Preprint]

Rescher, Nicholas (2011) *LEIBNIZ’S MACHINA DECIPHRATORIA.* [Preprint]

Rocchi, Paolo and Gianfagna, Leonida (2002) *PROBABILISTIC EVENTS AND PHYSICAL REALITY: A COMPLETE ALGEBRA OF PROBABILITY.* [Preprint]

Rodin, Andrei (2009) *Categories without structures.* [Preprint]

Rodin, Andrei (2010) *DID LOBACHEVSKY HAVE A MODEL OF HIS "IMAGINARY GEOMETRY"?* [Preprint]

Rodin, Andrei (2008) *Did Lobachevsky have a model of his Imaginary geometry?* [Preprint]

Rodin, Andrei (2007) *On Categorical Theory-Building: Beyond the Formal.* [Preprint]

Rodin, Andrei (2009) *Renewing Foundations - 1.* [Preprint]

Rodin, Andrei (2006) *Toward a Hermeneutic Categorical Mathematics or why Category theory does not support mathematical structuralism.* [Preprint]

Rodin, Andrei (2014) *On Constructive Axiomatic Method.* [Preprint]

Rynasiewicz, Robert and Steinert-Threlkeld, Shane and Suri, Vivek (2010) *Mathematical Existence De-Platonized: Introducing Objects of Supposition in the Arts and Sciences.* UNSPECIFIED.

Räz, Tim (2014) *Mathematical Explanations in Euler’s Königsberg.* [Preprint]

Räz, Tim (2013) *On the Application of the Honeycomb Conjecture to the Bee’s Honeycomb.* [Published Article]

Räz, Tim (2014) *Say My Name. An Objection to Ante Rem Structuralism.* [Preprint]

Räz, Tim and Sauer, Tilman (2014) *Outline of a Dynamical Inferential Conception of the Application of Mathematics.* [Preprint]

## S

Sant'Anna, Adonai and Bueno, Otavio and da Costa, Newton (2014) *A Set-Theoretic Predicate for Semantics in Natural and Formal Languages.* [Preprint]

Santos-Sousa, Mario (2007) *Natural Mathematics.* In: [2007] EPSA07: 1st Conference of the European Philosophy of Science Association (Madrid, 15-17 November, 2007).

Schmaus, Warren (2014) *Was Renouvier as Scientifically Conservative as Comte?* In: [2014] HOPOS 2014: The International Society for the History of Philosophy of Science (Ghent; 3-6 July 2014).

Scholz, Erhard (2014) *Paving the way for transitions --- a case for Weyl geometry.* [Preprint]

Slowik, Edward (2005) *The Fate of Mathematical Place: Objectivity and the Theory of Lived-Space from Husserl to Casey.* [Preprint]

Sprenger, Jan (2008) *Evidence and Experimental Design in Sequential Trials.* In: [2008] Philosophy of Science Assoc. 21st Biennial Mtg (Pittsburgh, PA) > PSA 2008 Contributed Papers.

Sprenger, Jan (2008) *Evidence and Experimental Design in Sequential Trials.* In: [2008] Philosophy of Science Assoc. 21st Biennial Mtg (Pittsburgh, PA) > PSA 2008 Contributed Papers.

Srinivasan, Radhakrishnan (2003) *Comment on "On the logical consistency of special relativity theory and non-Euclidean geometries: Platonism versus formalism".* [Preprint]

Srinivasan, Radhakrishnan (2002) *Inertial frames, special relativity and consistency.* [Preprint]

Srinivasan, Radhakrishnan (2003) *On the logical consistency of special relativity theory and non-Euclidean geometries: Platonism versus formalism.* [Preprint]

Srinivasan, Radhakrishnan (2003) *Platonism in classical logic versus formalism in the proposed non-Aristotelian finitary logic.* [Preprint]

Srinivasan, Radhakrishnan (2002) *Quantum superposition justified in a new non-Aristotelian finitary logic.* [Preprint]

Srinivasan, Radhakrishnan (2004) *Quantum superposition principle justified in a new non-Aristotelian finitary logic.* [Preprint]

Sterrett, Susan (2004) *How Many Thoughts Can Fit in the Form of a Proposition?* [Preprint]

Sterrett, Susan G. (1994) *Frege and Hilbert on the Foundations of Geometry (1994 Talk).* [Preprint]

Stoeltzner, Michael (2003) *On Optimism and Opportunism in Applied Mathematics (Mark Wilson Meets John von Neumann on Mathematical Ontology).* [Preprint]

Stoeltzner, Michael (2000) *What Lakatos Could Teach the Mathematical Physicist.* [Preprint]

Szabo, Laszlo E. (2012) *Mathematical Facts in a Physicalist Ontology.* [Published Article]

Szabo, Mate (2009) *On Field's Nominalization of Physical Theories.* [Preprint]

Székely, Gergely (2008) *A Geometrical Characterization of the Twin Paradox and its Variants.* [Preprint]

## V

Vickers, Peter (2007) *Was the Early Calculus an Inconsistent Theory?* [Preprint]

Vákár, Matthijs (2011) *Principal Bundles and Gauge Theories.* Universiteit Utrecht.

## W

WILCZEK, Piotr (2009) *An Algebraic Treatment of the Leibniz Law.* [Preprint]

Weinstein, Steven (2003) *Objectivity, information, and Maxwell's demon.* [Preprint]

Werndl, Charlotte (2012) *Evidence for the Deterministic or the Indeterministic Description? -- A Critique of the Literature about Classical Dynamical Systems.* [Preprint]

Werndl, Charlotte (2009) *The Formulation and Justification of Mathematical Definitions Illustrated By Deterministic Chaos.* [Preprint]

Werndl, Charlotte (2009) *Justifying Definitions in Mathematics—Going Beyond Lakatos.* [Preprint]

Werndl, Charlotte (2014) *On Defining Climate and Climate Change.* [Preprint]

White, Michael J. (2010) *Locke on Newton's Principia: Mathematics or Natural Philosophy?* In: [2010] HOPOS 2010: The International Society for the History of Philosophy of Science (Budapest, 24-27 June 2010).

Wilson, Mark (2007) *Frege's Mathematical Setting.* [Preprint]

Wilson, Mark (2007) *Ghost World: A Context for Frege's Context Principle.* [Preprint]

## Y

Yanofsky, Noson and Zelcer, Mark (2013) *Mathematics via Symmetry.* [Preprint]

## Z

Zach, Richard (2005) *Hilbert's program then and now.* [Preprint]

Zafiris, Elias (2003) *Complex Systems from the Perspective of Category Theory: I. Functioning of the Adjunction Concept.* UNSPECIFIED. (Unpublished)

Zafiris, Elias (2003) *Complex Systems from the Perspective of Category Theory: II. Covering Systems and Sheaves.* UNSPECIFIED. (Unpublished)

Zahedi, Ramin (A.) (2015) *"On Digital Philosophy (Discrete Physics) and the Cellular Automaton: A Perfect Mathematical Deterministic Structure for Reality- as A Huge Computer Simulation".* [Preprint]

Zednik, Carlos (2014) *Heuristics, Descriptions, and the Scope of Mechanistic Explanation.* [Preprint]

## Š

Švarný, Petr (2012) *Wally axiomatics of Branching Continuations.* [Preprint]

This list was generated on **Mon Mar 2 23:41:30 2015 EST**.