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

## A

Avigad, Jeremy
(2017)
*Modularity in Mathematics.*
[Preprint]

Avigad, Jeremy
(2019)
*Reliability of mathematical inference.*
[Preprint]

Avigad, Jeremy
(2021)
*The design of mathematical language.*
[Preprint]

## B

Bacelar Valente, Mario
(2020)
*On the correctness of problem solving in ancient mathematical procedure texts.*
[Preprint]

Baldissera Pacchetti, Marina
(2020)
*Structural uncertainty through the lens of model building.*
[Preprint]

Barrett, Thomas William and Halvorson, Hans
(2015)
*Quine's Conjecture on Many-Sorted Logic.*
[Preprint]

Bartlett, Steven James
(2021)
*A Primer on Bartlett's CRITIQUE OF IMPURE REASON.*
Willamette University, Salem, OR.

Barton, Neil and Friedman, Sy-David
(2019)
*Set Theory and Structures.*
[Preprint]

Brown, James Robert
(2021)
*Rigour and Thought Experiments: Burgess and Norton.*
[Preprint]

## D

D'Alessandro, William
(2020)
*Proving Quadratic Reciprocity: Explanation, Disagreement, Transparency and Depth.*
Synthese.
ISSN 1573-0964

Dal Magro, Tamires and García-Pérez, Manuel J.
(2019)
*On Euclidean diagrams and geometrical knowledge.*
THEORIA. An International Journal for Theory, History and Foundations of Science, 34 (2).
pp. 255-276.
ISSN 2171-679X

De Haro, Sebastian
(2019)
*The Heuristic Function of Duality.*
Synthese, 196.
pp. 5169-5203.
ISSN 1573-0964

Dentamaro, Dario and Loregian, Fosco
(2020)
*Categorical Ontology I - Existence.*
[Preprint]

## E

Egorychev, Ilya
(2020)
*Categorial analysis of A. Kurpatov's "Methodology of thought" in context of perspective AGI development.*
[Preprint]

Egorytchev, Ilya
(2021)
*Categorial formalisation of methodology of thought.*
[Preprint]

Elkind, Landon
(2022)
*Computer Verification for Historians of Philosophy.*
[Preprint]

## F

Ferreirós, José
(2017)
*Dedekind’s Map-theoretic Period.*
Philosophia Mathematica, 25 (3).
pp. 318-340.
ISSN 0031-8019

Ferreirós, José
(2005)
*La introducción de los números transfinitos.*
Fundamentos para una teoría general de conjuntos.

Ferreirós, José
(2000)
*Riemanniana Selecta: introducción.*

Ferreirós, José
(1995)
*"What Fermented in Me for Years": Cantor's discovery of transfinite numbers.*
Historia Mathematica, 22.
pp. 33-42.
ISSN 03150860

Franklin, James
(2017)
*Discrete and continuous: A fundamental dichotomy in mathematics.*
Journal of Humanistic Mathematics, 7 (2).
pp. 355-378.
ISSN 2159-8118

Franklin, James
(2016)
*Logical probability and the strength of mathematical
conjectures.*
Mathematical Intelligencer, 38 (3).
pp. 14-19.
ISSN 1866-7414

## H

Hewitt, Carl
(2019)
*For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors.*
[Preprint]

## L

Lampert, Timm
(2021)
*Newton’s experimental proofs.*
THEORIA. An International Journal for Theory, History and Foundations of Science, 36 (2).
pp. 261-283.
ISSN 2171-679X

## M

Martin, James V.
(2021)
*Indeterminacy, Coincidence, and "Sourcing Newness" in Mathematical Research.*
[Preprint]

Martin, James V.
(2020)
*Prolegomena to Virtue-Theoretic Studies in the Philosophy of Mathematics.*
[Preprint]

Mitsch, Chris
(2021)
*Hilbert-Style Axiomatic Completion: The (Not So) Hidden Contextuality of von Neumann's "No Hidden Variables" Theorem.*
[Preprint]

## N

Nappo, Francesco and Cangiotti, Nicolò
(2022)
*Reasoning by Analogy in Mathematical Practice.*
[Preprint]

Nefdt, Ryan M.
(2018)
*Inferentialism and Structuralism: A Tale of Two Theories.*
[Preprint]

## P

Papayannopoulos, Philippos
(2020)
*Unrealistic Models for Realistic Computations:
How Idealisations Help Represent Mathematical Structures and Found Scientific Computing.*
[Preprint]

## R

Rizza, Davide
(2021)
*Mathematical problem-solving in scientific practice.*
[Preprint]

## S

Sarma, Gopal P. and Hay, Nick J.
(2017)
*Robust Computer Algebra, Theorem Proving, and Oracle AI.*
Informatica, 41 (4).
pp. 451-461.

Smith, Jr, James Andrew
(2019)
*Quine on Naturalism, Nominalism, and Philosophy's Place within Science.*
[Preprint]

## T

Teh, Nicholas and Kapulkin, Chris
(2018)
*BJPS Book Review of "Categories for the Working Philosopher".*
BJPS Book Review of "Categories for the Working Philosopher".

Tsementzis, Dimitris and Halvorson, Hans
(2016)
*Foundations and Philosophy.*
[Preprint]

## V

Van Fraassen, Bas C.
(2020)
*Supervenience, Logic, and Empirical Content: Commentary on Hans Halvorson, The Logic in Philosophy of Science.*
[Preprint]

Veilahti, Antti
(2017)
*Higher Theory and the Three Problems of Physics.*
[Preprint]

Vorobyev, Oleg Yu
(2016)
*Postulating the theory of experience and chance
as a theory of co~events (co~beings).*
[Preprint]

## W

Williamson, Timothy
(2018)
*Supervaluationism and good reasoning.*
THEORIA. An International Journal for Theory, History and Foundations of Science, 33 (3).
pp. 521-537.
ISSN 2171-679X

This list was generated on **Thu May 19 09:17:24 2022 EDT**.