Logica De Clases

Lógica de clases
De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
La lógica de clases analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento oindividuo a una determinada clase. Es la interpretación de una proposición o enunciado lingüístico bajo la formalización de la teoría de conjuntos o Diagramas de Venn
Por clase se entiende unconjunto de individuos que tienen una propiedad común. Nótese que la propiedad define a la clase, no al individuo, lo que lo diferencia esencialmente de la lógica de predicados. En este caso, por tanto, elvalor de verdad viene dado por la pertenencia o no pertenencia a una clase. Por ello, la tabla de valores de verdad se explicita como tablas de pertenencia. Todos los conjuntos son clases, pero notodas las clases son conjuntos. Un conjunto es una clase que al menos contiene una clase, pero no a sí mismo.
La clase tiene sentido aun cuando no existan individuos. Así, la clase hombre, como conceptode hombre, existe como propiedad o concepto aunque no existan los hombres. De la misma forma que existe el concepto de "caballos con alas", aun cuando no existan pegasos. Pero ni el concepto pegasoes un "pegaso" ni el concepto hombre es un "individuo humano" que pertenezca al conjunto.[1]
Así, no es lo mismo decir: "Hs = Sócrates es un hombre" (donde atribuimos una cualidad que atañe al sermismo de Sócrates), que decir: "S H = Sócrates pertenece a la clase de los hombres."
Actualmente la lógica llamada tradicional, silogística, se interpreta como lógica de clases.
Contenido [ocultar] * 1 Elementos y su simbolización * 1.1 Operaciones entre las clases y su simbolización * 1.2 Relaciones entre las clases * 1.3 Proposiciones tipo * 1.4 Reglas del cálculo declases * 2 Véase también * 3 Notas y referencias * 4 Bibliografía |
Tabla de contenidos[ocultar] * 1 Clases * 2 Elementos de una clase * 3 Relaciones entre clases * 4 Operaciones con...