categóricas

Las proposiciones categóricas, también llamadas proposiciones categóricas, son en la lógica clásica proposiciones que afirman o niegan algo sobre todas las entidades de una clase o sobre algunas de ellas. En la tradición aristotélica se caracterizan por su estructura sujeto-predicado y por su cuantificación.

Se componen de un término sujeto, un término predicado, una calidad (afirmativa o negativa) y una cantidad (universal o particular). En la forma tradicional, existen cuatro tipos básicos: A: afirmativa universal (Todos los S son P); E: negativa universal (Ningún S es P); I: afirmativa particular (Algunas S son P); O: negativa particular (Algunas S no son P). Ejemplos: A: “Todos los humanos son mortales”; E: “Ningún pez es mamífero”; I: “Algunas rosas son rojas”; O: “Algunas plantas no son comestibles”.

Las proposiciones categóricas son los componentes de los silogismos categóricos, en los que tres términos se relacionan mediante dos proposiciones para deducir una conclusión. La validez se analiza por reglas de silogismo o por diagramas de Venn, atendiendo a las figuras y a las relaciones entre los términos.

Históricamente, fueron centrales en la lógica de Aristóteles y en la tradición escolástica; se desarrollaron luego en la lógica moderna por De Morgan, Boole y otros, y hoy siguen enseñándose como base para comprender la cuantificación y la inferencia.

Limitaciones: en la lógica clásica, algunas proposiciones categóricas dependen de la importación existencial; su interpretación puede no reflejar con precisión el lenguaje natural y su uso práctico puede requerir formas más generales de cuantificación. En el uso contemporáneo, el término se emplea sobre todo en estudios de lógica clásica, filosofía y enseñanza de la argumentación.