RT Journal Article T1 Eliminating Martin’s substratum-trope categorial ontology T2 Eliminando la ontología categorial del tropo de sustrato de Martin A1 García-Carril Puy, Nemesio AB Impure Eliminativism about Categories is the idea that ontological categories are not wholly eliminable insofar as they have epistemic value to understand the nature of ordinary and scientific objects. From the perspective of Impure Eliminativism, different criticisms have been addressed to substantialist approaches in metaphysics and, in particular, to John Heil’s substance-mode two-category ontology. The aim of this paper is to contribute to this critical project by extending its scope to C. B. Martin’s substantialism. The thesis I defend is that Martin’s substratum-trope two-category ontology satisfies the elimination criterion of Impure Eliminativism for ontological categories because either it is inconsistent or else it supplies a non-exhaustive and non-exclusive categorization of those objects and their properties. First, I introduce Impure Eliminativism and its novel elimination criterion for ontological categories, and I survey recent criticisms of substantialism from that perspective. Second, I show that nothing satisfies Martin’s definition of substratum in a way that is consistent with Martin’s view on tropes. Third, I note that the attempts to avoid the inconsistency make the categorization supplied by Martin’s ontology either non- exhaustive (positing entities that fall outside the categorization and leaving unaccounted relevant phenomena concerning ordinary and scientific objects, as similarity and emergence) or non-exclusive (categorizing one and the same entity as both a substratum and a trope). I then conclude that Martin’s substratum-trope categorial system should be eliminated in accordance with the criterion of categorial elimination of Impure Eliminativism. PB Springer SN 0039-7857 YR 2021 FD 2021-08-18 LK https://hdl.handle.net/20.500.14352/96200 UL https://hdl.handle.net/20.500.14352/96200 LA eng NO Puy, N.G.C. Eliminating Martin’s substratum-trope categorial ontology. Synthese 199, 13009–13033 (2021). https://doi.org/10.1007/s11229-021-03364-5 NO Versión final del artículo aceptada para publicación DS Docta Complutense RD 22 abr 2025