Común
Proposición categórica
En lógica, una proposición categórica, o declaración categórica, es una proposición que afirma o niega que todos o algunos de los miembros de una categoría (el término sujeto) están incluidos en otra (el término predicado). El estudio de los argumentos usando afirmaciones categóricas (es decir, silogismos) constituye una rama importante de razonamiento deductivo, que comenzó con los antiguos griegos. Los antiguos filósofos griegos, como Platon, identificaron cuatro tipos distintos primarios de proposición categórica y le dieron formas estándar (ahora muchas veces denominadas A, E, I y O). Si, de manera abstracta, la categoría de sujeto es nombrada S y la categoría de predicados es nombrada P, las cuatro formas estándares son: Todo S es P. (Forma A) Ningún S es P. (Forma E) Algún S es P. (Forma I) Algún S no es P. (Forma O) Un número sorprendentemente grande de frases puede traducirse en una de estas formas canónicas, conservando la totalidad o la mayor parte del significado original de…
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis