Category theory and topos theory have been seen as providing a structuralist framework for mathematics autonomous vis a vis set theory. It is argued here that these theories require a background… Expand

Part 1 The natural numbers and analysis: the modal-structural framework - the hypothetical component the categorical component - an axiom of infinity and a derivation (inspired by Dedekind with help… Expand

Physicalism: Ontology, Determination, and Reduction Author(s): Geoffrey Paul Hellman and Frank Wilson Thompson Reviewed work(s): Source: The Journal of Philosophy, Vol. 72, No. 17, Seventy-Second… Expand

Several leading topics outstanding after John Earman's Bayes or Bust? are investigated further, with emphasis on the relevance of Bayesian explication in epistemology of science, despite certain… Expand

To what extent can constructive mathematics based on intuitionistc logic recover the mathematics needed for spacetime physics? Certain aspects of this important question are examined, both technical… Expand