teoria fundamenta del calculo de cleses

Es una entidad abstracta, aunque sus miembros (elementos) sean entidades concretas. Cada elemento tiene la misma propiedad y no constituye una parte- como en el caso de la colección- de la clase. No es real. Habla acerca de lo real. No se da existiendo e independientemente de la realidad
Ejemplos
“Las personas nacidas en un mismo país”
Los fumadores (de pipa, cigarrillos, tabaco)
Losabogados
Todos los individuos que poseen una misma propiedad constituyen una clase.

Clase es la extensión de un predicado. Se obtiene la noción de “ser elemento de”. Predicado –propiedad- es la intención de un concepto atendiendo a sus notas o características –propiedades- y a su conveniencia con los individuos. Se usa la noción de “pertenecer a” (€).
Clase y predicado son aspectos complementariosde una misma situación objetiva. La propiedad o predicado es como la comprensión de la clase. La clase es como la extensión de la propiedad. El nombre de clase es un abstracto. El abstractor designa la clase de todas las entidades que gozan de la propiedad dada.

ORIGEN DE LA “LOGICA DE CLASES”
En las unidades anteriores relativas al cálculos de predicados, y a la lógica de la identidad–descripciones, hemos representado los diversos sentidos de una propiedad significada por el verbo “ser”. Allí mismo vimos los diversos sentidos que tiene el verbo “ser”. No adquiere sentido monolítico ni monótono según creía el pensamiento calsicista.
Pues bien, uno de aquellos sentidos del verbo “ser” debe ser interpretado como “pertenecía de un miembro a una clase”. Así, P.e.: “El Orinoco es un Rio”quiere decir: “el Orinoco es un miembro de la clase de los ríos”. “Andrés Bello es Caraqueño”, se traduce por: “Andrés Bello es un miembro de la clase de los Caraqueños”. “Simón Bolívar es libertador de américa” equivale a: “Simón bolívar pertenece a la clase de los libertadores”.
El verbo “ser” relaciona con frecuencia el significado de “pertenencia, de inclusión a una clase, de identidad,complemento…”.
Con ello nos convencemos de que el cálculo de predicados viene a ser precisado, incluso, a ser facilitado, por “la lógica de clases”. Aquí tendrá pleno sentido insertar toda la teoría tradicional del silogismo, pues en el fondo se trata de clases. No digamos lo que la teoría de las clases facilita y aclara para la lógica jurídica.
Las clases surgen como extensión de los predicadosuniargumenales. La lógica de clases fue desarrollada por G. Boole con su algebra Booleana. Los esquemas cuantificasionales monádicos “F x , H x” pueden engendrar “clases”.

NOCION DE ABSTRACTOR
Con mucha frecuencia tenemos necesidad de nombrar a todos los individuos de una clase que gozan de un determinado predicado o propiedad. Para ello nos servimos del abstractor. Esto se hace totalmenteimprescindible cuando los elementos de una clase son indefinidos.
Sea P una propiedad –predicado- que signifique: “ser catedrático de universidad”. Con las constantes: a, b, c,… podemos formar enunciados tales como: P(a), P(b),… P(z). De donde podemos escribir en forma general, lo que ya no es un enunciado concreto, sino, función o forma proposicional: P(x) la cual no es verdadera ni falsa, porque no espropiamente un enunciado ¿Cómo hacer? Necesitamos convertir la forma enunciativa o proposicional en enunciado verdadero, e.d., en proposición válida para todos los casos, general. Entoces inventamos una salida, el abstractor. Asi brevemente podemos formular el enunciado de clases: (ẋ) P(x), donde la “x” es el abstractor, comprensor u operador.
Se llama así, “abstractor” porque la variable debe serabstraída de los individuos singulares, a los que sustituye, para considerar solo la extensión del predicado que los connota.
Ello nos lleva a entender mejor lo dicho en la introducción de esta unidad que la noción de clase es (abstracta) aunque sus elementos sean concretos.

DEFINICION DE CLASES- SIMBOLOGIA
Las Clases o conjuntos pueden definirse (caracterizarse) por “extensión o por...