Lógica de clases

Carta Común · N.º 428246

La lógica de clases analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento o individuo clasificado por poseer una determinada propiedad.​ Sobre esta lógica se formaliza como modelo científico la teoría matemática de conjuntos. Por clase se entiende a una propiedad común que tienen un conjunto de posibles individuos. Nótese que la clase define una propiedad, no al individuo; lo que diferencia la lógica de clases de la lógica de predicados. El valor de verdad de la primera viene dado por la pertenencia o no pertenencia del individuo a la clase; su tabla de valores de verdad lógica se explicita como tablas de pertenencia. La relación entre individuo, conjunto de individuos y clase es compleja y no siempre es clara en el lenguaje. A veces se confunden en el lenguaje los individuos o el conjunto de individuos con la clase lógica o un Todo-lógico, distribuido o no-distribuido, como si fuera un conjunto de individuos existentes. Tal puede ocurrir cuando se…

Leer en Wikipedia