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

## A

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

Avigad, Jeremy
(2019)
*Reliability of mathematical inference.*
[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
(2020)
*CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning.*
pp. 1-885.

Barton, Neil and Friedman, Sy-David
(2019)
*Set Theory and Structures.*
[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]

## 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]

## N

Nefdt, Ryan M.
(2018)
*Inferentialism and Structuralism: A Tale of Two Theories.*
[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 **Sat Jan 23 07:04:32 2021 EST**.