
2Making a French Connection: Darwin, BrownSéquard and the Epilepsy StudiesJournal of the History of Biology 127. forthcoming.While French biologists were turning a cold shoulder to On the Origin of Species in the 1860s, Charles Darwin was earnestly pursuing a professional connection with one French physiologist in particular: Charles BrownSéquard. Darwin had been closely following BrownSéquard’s startling experiments on guinea pigs, which demonstrated that experimentally induced epilepsy could pass from parent to offspring. In Darwin’s mind, BrownSéquard had produced the most convincing evidence to date that acquir…Read more

9A Categorical Characterization of Accessible DomainBulletin of Symbolic Logic 26 (34): 298299. 2020.

4James F. Stark, The Cult of Youth: Antiageing in Modern Britain (Cambridge: Cambridge University Press, 2020), 262 pp., $99 hardback, ISBN: 9781108484152 (review)Journal of the History of Biology 53 (3): 485487. 2020.

14Natural formalization: Deriving the CantorBernstein theorem in zfReview of Symbolic Logic 144. forthcoming.Natural Formalization proposes a concrete way of expanding proof theory from the metamathematical investigation of formal theories to an examination of “the concept of the specifically mathematical proof.” Formal proofs play a role for this examination in as much as they reflect the essential structure and systematic construction of mathematical proofs. We emphasize three crucial features of our formal inference mechanism: (1) the underlying logical calculus is built for reasoning with gaps and…Read more

186Categorical harmony and path inductionReview of Symbolic Logic 10 (2): 301321. 2017.This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘premathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaningbearing and this conception unifies most of the prominent concep…Read more
Bellefield, Pennsylvania, United States of America
Areas of Specialization
Logic and Philosophy of Logic 
Philosophy of Mathematics 