En nuestra época el problema de las categorías se ha planteado en el ámbito de la filosofía analítica del lenguaje, recogiendo la orientación básica aristotélica y kantiana.
Por ejemplo S.Körner considera la metafísica una propuesta especulativa de las estructuras categoriales, concepto que extrae del modelo categorial kantiano. Una estructura categorial es una categorización del universo, junto con los atributos y principios constitutivos e individualizadores asociados a cada categoría de entidades. La metafísica plantea dos preguntas ante cada categoría: qué es lo que constituye una entidad de la categoría, y que individua una entidad de la categoría. Las respuestas a estas preguntas son los atributos constitutivos e individualizadores de las entidades correspondientes a cada categoría. Además de los atributos una estructura categorial tiene también principios constitutivos e individualizadores que expresan la aplicabilidad de los atributos a entidades concretas.
Körner aplica su teoría a Kant de la siguiente manera: los fenómenos externos forman una categoría de entidades, cuyos atributos constitutivos son las categorías kantianas; sus atributos individualizadores son su localización espacio-temporal concreta; sus principios constitutivos las constataciones de aplicabilidad de aplicabilidad de las categorías a dichos fenómenos, y sus principios individualizadores expresan la aplicabilidad del atributo de una determinada situación espacio-temporal a todos los fenómenos externos.
Para Körner toda estructura categorial presupone una lógica, ya que las definiciones de los atributos se hace por medio de la implicación lógica, de forma que la pertenencia de una entidad a una categoría implica logicamente la aplicabilidad del atributo constitutivo de la categoría a la entidad, y lo mismo sucede con el atributo individualizador. Las estructuras categoriales conectan la realidad mediante teorías científicas, aunque una teoría científica puede abandonarse en favor de otra que utiliza sin embargo su misma estructura categorial. La modificabilidad de las estructuras categoriales implica no obstante que no podamos decir que hay una única estructura categorial posible. Los principios de las estructuras categoriales son inmodificables considerados desde el interior de dicha estructura, pero dejan de serlo si se analizan desde el exterior. Para Kröner una única estructura categorial deducida trascendentalmente al estilo kantiano no es algo posible.
Hay otros enfoques ademas del de Kröne.
Ryle considera que es analizando cómo la gente utiliza el lenguaje en su vida ordinaria, como responde a las preguntas que se la hacen y como emplea su sentido común como podemos resolver los problemas filosóficos. El criterio para ver si una expresión lingüística corresponde o no a una categoría reside en ver si se dan respuestas adecuadas a las preguntas formuladas. Si esto no sucede, se producen errores categoriales: violamos las normas del lenguaje y caemos en el absurdo.
Katz y Fodor consideran categorías a los universales semánticos. Cada elemento léxico contiene un rasgo sintáctico (la parte de la oración a la que pertenece) y tantos marcadores semánticos como sentidos distintos posea en una lengua dada. Cada marcador semántico impone una restricción selectiva que indica a qué tipo de objetos puede atribuirse cada sentido del termino. El no tener en cuenta estas restricciones puede producir anomalías semánticas o errores categoriales. El significado de cada término está constituido por el conjunto de sus diferentes sentidos. Las restricciones de las palabras están ordenadas, las restricciones por ejemplo de la palabra humano arrastran a las de animal y viviente. Así, varios marcadores implican uno más general compuesto por ellos. Podemos definir las categorías como aquellos marcadores semánticos más generales que nunca aparecer como elementos que componen otro marcador más general. En un lenguaje concreto, por ejemplo español, , sólo 'objeto físico' y 'objeto abstracto' serían categorías. Si Hablamos de las categorías no de un lenguaje concreto sino del lenguaje en general, sería a intersección de las categorías de cada lenguaje, lo cual puede ser un conjunto vacío si hablamos de todos los lenguajes: no es posible demostrar que existe una única tabla de categorías.
(F.J. Martinez Martinez, Metafisica, T8)
