Laboratorio de Altos Estudios en Ciencias Informticas

Programa de Entrenamiento Acadmico (PEA) en Ciencias Informticas

Ctedra de Introduccin a la Lgica y Mtodos Cientficos

Prof. Eugenia Bahit

Tema II
Proposiciones categricas,
formas tpicas y distribucin

ndice de contenidos
Proposiciones categricas, formas tpicas y distribucin.....................................................................1
Proposicin categrica.....................................................................................................................2
Formas tpicas..................................................................................................................................3
Distribucin.....................................................................................................................................3
Bibliografa......................................................................................................................................5
 TEMA II. PROPOSICIONES CATEGRICAS, FORMAS TPICAS Y DISTRIBUCIN.
Ctedra de Introduccin a la Lgica y Mtodos Cientficos. Programa de Entrenamiento Acadmico en Ciencias Informticas.
2016 Eugenia Bahit, Laboratorio de Altos Estudios en Ciencias Informticas https://www.laeci.org/ CC BY-SA 4.0

Proposicin categrica.
Entendiendo por clase a un conjunto de elementos con caractersticas comunes, una
proposicin categrica es aquella que niega o afirma que una clase se encuentra total o
parcialmente incluida dentro de otra.

En la lgica tradicional, Aristteles hablaba de entidad, especie y gnero, citando como

ejemplo de ello que hombre individual era una entidad que perteneca a la especie
hombre (especie primaria) y sta, a su vez, al gnero animal, siendo ste, la especie
secundaria de la entidad. Especie y gnero en la lgica actual, podran representar lo que
entendemos por clase.

Cuando decimos:
Todos los lenguajes de programacin son lenguajes informticos
estamos diciendo que todos los elementos de la clase lenguajes de programacin son a
la vez elementos de clase lenguajes informticos.

Si consideramos adems, que:

PHP es un lenguaje de programacin.
entonces, por deduccin, podemos afirmar que PHP es la entidad que pertenece a la
especie lenguajes de programacin del gnero lenguajes informticos.

Por lo tanto, si afirmamos que:

PHP es un lenguaje de programacin.
Todos los lenguajes de programacin son lenguajes informticos.
Luego, PHP es un lenguaje informtico.
estamos diciendo que el elemento PHP incluido en la clase lenguajes de programacin
es a la vez, elemento de la clase lenguajes informticos.

Aqu, todos los enunciados del argumento, incluida su conclusin, son proposiciones
categricas.

2
 TEMA II. PROPOSICIONES CATEGRICAS, FORMAS TPICAS Y DISTRIBUCIN.
Ctedra de Introduccin a la Lgica y Mtodos Cientficos. Programa de Entrenamiento Acadmico en Ciencias Informticas.
2016 Eugenia Bahit, Laboratorio de Altos Estudios en Ciencias Informticas https://www.laeci.org/ CC BY-SA 4.0

Formas tpicas.
Existen cuatro formas tpicas de proposiciones categricas:

Forma tpica Esquema Ejemplo

Todos los lenguaje de

afirmativa A Todo S es P. programacin son lenguajes
informticos
Universal
Ninguna licencia de Software
negativa E Ningn S es P. privativo es una licencia de
Software libre
Algunos lenguajes de
afirmativa I Algn S es P. programacin son lenguajes de
programacin libres.
Particular
Algunos lenguajes de
negativa O Algn S no es P. programacin no son lenguajes
de programacin libres.

El esquema de una forma tpica se encuentra dado por:

<cuantificador> S <verbo copulativo> P
donde:
cuantificador puede ser: todos, ninguno o algunos;
S es el trmino sujeto;
P es el trmino predicado y
verbo copulativo es cualquier verbo de escaso contenido lxico cuya
funcin sea unir al sujeto con su atributo.

Distribucin.
Cuando en el contexto de una proposicin categrica se habla de distribucin, se
refiere a la forma en la que una premisa incluye o excluye los elementos denotados de la
clase designada.

Por ejemplo, en la proposicin categrica:

Todos los lenguajes informticos son lenguajes de programacin.

3
 TEMA II. PROPOSICIONES CATEGRICAS, FORMAS TPICAS Y DISTRIBUCIN.
Ctedra de Introduccin a la Lgica y Mtodos Cientficos. Programa de Entrenamiento Acadmico en Ciencias Informticas.
2016 Eugenia Bahit, Laboratorio de Altos Estudios en Ciencias Informticas https://www.laeci.org/ CC BY-SA 4.0

se dice que el trmino sujeto est distribuido y el trmino predicado no lo est.

Un trmino estar distribuido siempre que implcita o explcitamente se haga

referencia a toda la clase designada. Segn la forma tpica de una proposicin
categrica es cmo se distribuyen sus trminos.

A Todo S es P I Algn S es P

E Ningn S es P O Algn S no es P

Como puede verse en la tabla, las formas A y E distribuyen el trmino sujeto mientras
que las formas E y O distribuyen el trmino predicado. Sin embargo, la forma I, es la
nica que no distribuye ningn trmino y la forma E la nica que los distribuye a
ambos.

A simple vista, es fcil entender por qu la forma A distribuye el trmino sujeto. Pero
por qu la forma E distribuye ambos y la forma O solo el predicado?

Cuando decimos que:

Ningn argentino nativo es uruguayo nativo.
nos referimos a dos clases: la clase de todos los argentinos nativos y la clase de todos
los uruguayos nativos. Ninguna de las dos clases tiene miembros en comn y por lo
tanto nos estamos refiriendo al total de cada clase.

Sin embargo, cuando digo:

Algunos rubios son alemanes.
s que me estoy refiriendo a dos clases: la clase de los rubios y la clase de los alemanes.
S que algunos rubios son alemanes, pero no s qu son el resto de los rubios. Tambin
s que, por consiguiente, algunos alemanes son rubios, pero desconozco qu son el resto
de los alemanes.

4
 TEMA II. PROPOSICIONES CATEGRICAS, FORMAS TPICAS Y DISTRIBUCIN.
Ctedra de Introduccin a la Lgica y Mtodos Cientficos. Programa de Entrenamiento Acadmico en Ciencias Informticas.
2016 Eugenia Bahit, Laboratorio de Altos Estudios en Ciencias Informticas https://www.laeci.org/ CC BY-SA 4.0

Cuando incluyo parte de la clase A en la clase B, limito a los miembros de A al mbito

reservado a su clase. Puedo incluir a los cordobeces en Argentina pero los limito al
mbito de la provincia de Crdoba y no s otra cosa sobre Argentina. Pero si excluyo a
algunos miembros de la clase A, de la clase B, los estoy excluyendo del total de la clase
B. Al excluir a un grupo de personas de un pas, los excluyo de todo el territorio.

Por eso, si ahora digo:

Algunos rubios no son alemanes.
excluyo a una parte de los rubios del total de todos los alemanes.

Bibliografa.
Copi, Irving M., Introduccin a la Lgica, Ed. EUDEBA, Buenos Aires, 2014, cap. V
Aristteles, Tratados de Lgica (rganon) I, Ed. Gredos, Madrid, 1982, pg. 33
Real Academia Espaola. (2014). Verbo copulativo. En Diccionario de la lengua espaola (23. ed.),
Madrid: Espasa.