Bloque 1.1. Algo ms sobre Lgica (Todos y partes, clases, predicados y relaciones).1 1.1.

Teora de los Todos y las Partes2 a) Las totalidades distributivas2 b) Las totalidades atributivas3 II. Adems hay otros criterios para distinguir entre tipos de totalidad5 c) Las clases porfirianas5 d) Las clases combinatorias7 2. Lgica tradicional de Predicados, y lgica de clases.8 3. La Lgica de Relaciones: Una breve aplicacin a relaciones sociales, a la tica, la moral, y la poltica.11 A) Propiedades de las Relaciones12 B. Los functores del clculo de relaciones.12 C. Clasificacin de las relaciones segn sus propiedades15 I. Simetra15 II.Transitividad18 III. Conexividad.22 Bloque 1.1. Algo ms sobre Lgica (Todos y partes, clases, predicados y relaciones). Hasta ahora hemos visto el tipo de lgica ms sencilla, la Lgica de enunciados o proposiciones, que se reduce a la estructura lgica de los argumentos sin entrar a analizar internamente los "enunciados". Pero hay multitud de razonamientos que slo muestran su "lgica" cuando entramos a analizar los "componentes" que se encierran en los enunciados (predicados y clases, relaciones, etc.) Las inferencias (inmediatas) del tipo "si todos los hombres son buenos, entonces Pedro es bueno", "si Juan es mayor que Andrs, y ste es mayor que Paco, entonces Juan es mayor que Paco", etctera, no se pueden analizar atenindonos a la lgica de enunciados, sino que hay que entrar a analizar sus componentes. As la inferencia "Todo pedante es despreciable es lo mismo que Ningn pedante es apreciable" en lgica de clases se expresara as: P D P D, no habra ningn elemento que perteneciese a la vez (interseccin) a la clase de los pedantes y de las personas apreciables. Y el argumento "Si todos los mamferos tienen sangre caliente y los murcilagos tienen sangre caliente, entonces los murcilagos son mamferos", de la siguiente manera: [(M S) (V S)] (VM). Y en lgica de predicados se simbolizara as: "x (Px Dx) [$x (Px Dx)], no habra ningn sujeto que tuviese las propiedades o notas de la "pedantera" (ser pedante) y el "aprecio de los dems" a la vez. Si analizamos la predicacin (o la inclusin) como una relacin del sujeto con sus "propiedades" (pedantera, apreciabilidad), o si suponemos otros sujetos ("trminos") que se relacionan con el pedante, entonces analizaramos la situacin segn la Lgica de relaciones: Si x es pedante con y (xPy), entonces y no aprecia a x (y D x), que valdra para todos los x e y posibles. En algn caso podra darse la relacin recproca (que no tiene por qu darse, no tiene por qu ser simtrica): Si y fuese pedante con x tambin, entonces se dara la reciprocidad, y ambos se despreciaran mutuamente, etc.

1.1. Teora de los Todos y las Partes Las nociones de "clase" y "conjunto" se hayan estrechamente relacionadas (en symplok). Para diferenciarlos hay que buscar en la misma nocin de Totalidad. Cuando hablamos de todos los miembros de una clase o un conjunto (de la Humanidad, p.e., o de los espaoles), la palabra "todos" puede tener varios significados, segn el modo en que se organice la totalidad. I. La primera distincin importante, siguiendo el criterio del tipo de relacin entre las partes a la hora de constituir el Todo, es el uso de todo en un sentido distributivo o en un sentido atributivo: a) Las totalidades distributivas

son aquellas cuyas partes se muestran independientes las unas de las otras en el momento de su participacin en el todo. Cuadrado, respecto de la Totalidad de figuras cuadradas (otras partes del todo de los "cuadrados"), es una parte de una totalidad distributiva (mientras que cuadrado, respecto de los dos tringulos constituidos por una de sus diagonales, es una totalidad atributiva). Un todo distributivo agrupa sus partes (elementos o individuos) de tal manera que lo que se dice de todos se dice tambin de cada uno de los miembros (suele haber relaciones de "semejanza" entre las partes: la Humanidad, como grupo de notas zoolgicas "especficas", se dice de todos los hombres, miembros de la misma especie). Los todos distributivos forman "colectivos" ("el ejrcito" -como todo homogneo, sin distinciones jerrquicas-, "el parlamento" -sin distinciones de partidos- , "los obreros", la polica, los espaoles, sin distinciones organizativas, etc.). Un conjunto de palillos en una caja es un todo distributivo en principio. Si no se "distribuye" el todo en "todos y cada uno" de los miembros se dice que est indistribuido (cuando se dice "la polica lleva pistola" hay que entender el todo "distribuido", pues el colectivo no lleva pistola, sino cada miembro. En "Espaa ha ganado el partido de ftbol" no se ha distribuido el todo, tampoco en la frase "Espaa va bien", en la que a unos les va bastante mejor que a otros -individuos y grupos-). Como recordaris, la tica se constituye sobre todo a partir de Totalidades distributivas, en que los hombres son considerados como "homogneos" a cualesquiera otros, sin tener en cuenta su dependencia de grupos concretos y distintos (familia, clase, estado) a los que pertenezcan. Pero toda totalidad distributiva es inseparable de una totalizacin atributiva, aunque son disociables. b) Las totalidades atributivas son aquellas cuyas partes estn referidas las unas a las otras, ya sea simultneamente, ya sea sucesivamente las conexiones atributivas no implican inseparabilidad (por ejemplo en el caso de las conexiones sinecoides, en que unos trminos pueden estar separados de algunos concretos, pero referidos a otros del mismo grupo), o indestructibilidad. Las partes del todo suelen ser heterogneas (con diferencias de origen, constitutivas..), predominan las diferencias, aunque tengan aspectos comunes, y su operatoriedad o funcionalidad global (una familia, una empresa) se basa ms en las diferencias (por ejemplo "jerrquicas", de orden, etc.) As, aunque todos los hombres sean "ciudadanos" (iguales polticamente) sin embargo no todos son ciudadanos de la misma manera (la supuesta "sociedad universal" que abarcara a todos los ciudadanos del mundo, es "mixta", pero basada en "contactos" -sinalogas- de tipo polmico entre sus partes: luchas, guerras, etc., no por relaciones armnicas o unitarias). Aunque todos los hombres "hablan" no todos hablan el mismo idioma. Un todo atributivo se constituye por acumulacin de partes (diferentes funcionalmente, y con "relaciones de contacto" ms que de semejanza). Un barco hecho con palillos es un todo atributivo (y en un barco real las partes son ms claramente diferentes por su funcin, no slo por su "figuracin" esttica), una cara es un todo atributivo formado por partes heterogneas referidas unas a otras simultneamente. Sin embargo un conjunto de caras es un todo distributivo, en principio (sin relacin entre las figuras). El conjunto de los continentes, los poliedros regulares, las especies mendelianas (plotinianas: con un origen evolutivo comn, no tanto las especies porfirianas, independientes unas de otras en el origen) son conjuntos atributivos. Las relaciones Morales, se dan en relacin a todos atributivos eminentemente (justicia, igualdad, aunque hay varios tipos, y depende del contexto -clase-). Dependiendo del nivel analtico o de la perspectiva un tipo de totalidad puede transformarse en otra. Una mesa concreta es una totalidad atributiva (con sus distintas partes: tablero para situar las manos el suelo de las manos- y los objetos, patas, travesaos, tornillos, etc.). Pero un montn o clase de mesas (sin dependencia de unas respecto de otras a la hora de formar dicho agrupamiento) es una totalidad distributiva. Ahora bien, si dicha clase se ordena y organiza de tal forma que, por ejemplo, con las mesas se forme un tablado o escenario (en el que unas mesas dependen de otras para formar dicho escenario en el que representar una obra de teatro, por ejemplo, o para formar una mesa de trabajo ms grande) entonces obtenemos un

conjunto o totalidad atributiva. Cuando el conjunto de partes distributivas, con relaciones establecidas de isologa (de "semejanza", como los Estados de la UE), se comportan como una estructura abstracta respecto de las relaciones sinalgicas (de "contacto" o dependencia) que las partes pueden mantener (hasta el punto de dar lugar a una totalidad atributiva), hablaremos de totalidades mixtas o isomricas. Podemos ejemplificar esta situacin con los organismos: el organismo ser una totalidad distributiva en cuanto sea considerado como conjunto de clulas isolgicas, en la medida en que puedan abstraerse las relaciones de interaccin mutuas (en teora, la tecnologa cientfica actual permitira hoy aislar fsicamente cada una de las clulas de un organismos); sin embargo, a la vez, las clulas de un organismo, sin perjuicio de su isologa, mantienen diferencias especficas que permiten reorganizarlas en tejidos diversos, rganos, clulas nerviosas, conjuntivas, &c. Otro tanto ocurre con los Estados de la Sociedad Universal, y ello debido al carcter de las unidades polticas que la componen, a su territorialidad, que conlleva la necesidad de que cada unidad poltica est vinculada a otras vecinas y esto de modo recurrente y circular (dada la esfericidad del planeta). De hecho se reagrupan en bloques, constelaciones (con astros y satlites), crculos tipo kula (como podra serlo la Unin Europea, como una biocenosis) que, aun definidos econmicamente, tienen un reflejo poltico inmediato. Pero dicha "sociedad universal" no es "estatal" (no es atributiva en sentido estricto, no se rige por las mismas leyes, con el mismo lenguaje, sino que est distribuida en estados ms o menos "independientes" -soberanos-). La frase que repiten ciertos polticos (como Gaspar Llamazares) "Todos los seres humanos son legales" (en referencia a la inmigracin) en el fondo comete el error de mezclar una perspectiva "distributiva" (tica), al referirse a los "seres humanos", con una perspectiva "atributiva" (moral y poltica) que est implcita en la "legalidad", pues las leyes positivas que dan derechos de "ciudadana" son, hoy por hoy, estatales, de un estado concreto, no de la humanidad ni de una "sociedad universal" que no se ha constituido de manera "unitaria". Es decir, la ONU no tiene leyes, ni policas, ni jueces, capaces de dar derechos de ciudadana, ni de hacerlos cumplir. Acaso tiene sentido decir que una guerra, como la de Irak, es ilegal? Desde qu plataforma poltica realmente existente? Las clases hacen referencia a totalidades distributivas y los conjuntos a todos atributivos. Las mismas totalidades son atributivas si se atiende a sus propiedades que la configuran de una forma unitaria, pero aparecen como conglomerados si se atiende a sus caractersticas distributivas (no como una unidad consistente, sino como una amalgama sin organizacin). II. Adems hay otros criterios para distinguir entre tipos de totalidad Caben otros criterios para distinguir entre tipos de todos o clases, que se cruza con la anterior (segn el tipo de relacin que se d entre las notas intensionales de los trminos, conjuntiva o disyuntiva, y segn el modo en que se reproducen los trminos extensionales). Debemos explicar, previamente, que se llama extensin al conjunto de elementos o trminos que pertenecen a una clase concreta (por ejemplo la extensin de la clase de los leones seran los miembros concretos de dicha clase, la extensin de 1 BH sera el nmero de alumnos de dicha "clase"). Y se llama intensin de una clase (o concepto) al conjunto de "notas" o propiedades caractersticas de dicho grupo, y de los correspondientes "individuos" que forman parte de l (as la intensin de los leones sera el conjunto de caractersticas propias de los felinos y las que les diferencian de los felinos de otras especies -en trminos porfirianos-; la intensin de la clase de 1 BH sera el conjunto de "notas" que hace que dichos alumnos sean bachilleres, pero tambin diferentes a otros bachilleres tecnolgicos o de CC. NN. , etc.). c) Las clases porfirianas (de Porfirio), pueden caracterizarse como aquellas (1) cuyas notas, caractersticas o propiedades intensionales (significativas, connotativas, comprensivas) estn unidas conjuntivamente (hombre se define como "animal" -ser vivo y animal y mamfero y -..."racional" -

reino, phylum, tipo, clase, orden, familia, gnero, especie, variedad-), y adems (2) su extensin (la totalidad de sus elementos) se desarrolla por repeticin multiplicativa (no acumulativa, sino "repentina" y de sin modificaciones en sus notas intensionales), es decir, segn Porfirio el hombre (y sus descendientes) era as desde el primer da, y sus descendientes simplemente multiplican los mismos atributos esenciales (acervo gentico se dira hoy) de sus padres. De hecho las esencias "porfirianas" provienen de la tcnica de la reproduccin Isolgica (por semejanza) de objetos, como hachas iguales, monedas iguales, a partir de un modelo o patrn. [Las esencias "plotinianas" (de Plotino y sus "emanaciones") provienen de la tcnicas de transformacin sinalgica (por contacto u origen comn) de unos objetos a partir de otros (las espadas a partir de la fundicin de copas metlicas o de minerales, etc.), por lo que estas esencias se amoldan mejor que las porfirianas para explicar procesos "evolutivos"]. Y (3) rige entre su extensin y su intensin la ley de la relacin inversa, a causa de que los rboles de Porfirio que constituyen su entramado se rigen por una estricta dicotoma (como en Platn) impuesta por la ley del tercio excluso (o una propiedad mamfero, p.e. o no mamfero), de manera que cuanto ms se baje en el rbol ms notas tendr el trmino, pero menos extensin: hay ms animales que mamferos y ms mamferos (en extensin) que canes y ms canes que perros, pero el perro tiene ms "notas" intensivas (animal, mamfero, cnido) que un trmino ms genrico (mamfero). Todos los mamferos son animales, pero no todos los mamferos son cnidos. Cuanto ms arriba en la taxonoma hay mayor extensin (que abarca) y menor intensin (ms generalidad), y viceversa: los individuos son mximamente intensivos (recogen las notas de toda la jerarqua) y mnimamente extensivos. La extensin de un concepto (entendido como "clase") son los elementos que cumplen unas determinadas propiedades (que caen bajo tal concepto). As la extensin del concepto hombre seran los 6000 millones de hombres que pertenecieran a la clase de los seres humanos. La intensin o connotacin de un concepto (como predicado) seran las notas o caractersticas que tendran (se predicaran) de tal concepto. Tradicionalmente se distingua entre caractersticas sustanciales y accidentales. Las notas sustanciales seran las que nos daran la esencia del concepto (en el hombre se deca que era un "animal racional" -gnero y diferencia especfica-). Los accidentes seran propiedades o notas superficiales, como ser rubio, alto, etc. Las taxonomizacin porfiriana procede a dividir progresivamente la realidad de acuerdo con desarrollos booleanos o dicotmicos, de modo que en el progressus deductivo la realidad queda exhaustivamente fragmentada en subclases lgicas mutuamente excluyentes (Symplok 281). As se comenzara por el Ser (frente a la nada), seres vivientes / inertes, vivientes: animales /plantas; animales: vertebrados / invertebrados (artrpodos/ no artrpodos (moluscos /no moluscos)); vertebrados: mamferos / no mamferos; no mamferos: Aves / no aves; No aves: reptiles / no reptiles ... Hay una jerarqua de familias, rdenes, clases, especies y variedades ( subclases de las especies). Al final los individuos (en la Lgica moderna caben clases unitarias, como El Papa). Puesto que las notas (atributos o predicados) se dan simultneamente (conjuntivamente), de una vez, todas conjuntamente, poseen un significado "inmaculado" (metafsico, eterno, no evolutivo), que los "desarrollos", modificaciones o cambios de su extensin (de sus trminos, de los perros, p.e.) no pueden alterar. El hombre es, fue y ser siempre, segn esta concepcin, un "animal racional", por lo que no tiene en cuenta su evolucin desde otros animales, y no le importa que dejen de existir hombres (su "esencia" es eterna incluso aunque no haya "trminos" que la representen). Las clases porfirianas son estticas y rgidas y no valen para comprender situaciones de cambio o movilidad (evolutiva, p.e.). Opera a travs de "particiones" (divisiones) para obtener nuevas "partes" (clases) con notas conjuntivas (que no tienen relacin gentica con las otras clases, aunque tengan alguna nota comn, p.e. entre animales y hombres: el hombre sera un animal racional, pero sus notas (caractersticas) seran eternas, y no proviene de otro animal no racional. No hay acumulacin de notas alternativas (disyuncin), sino de conjuncin eterna. Aunque la revolucin darwinista ha dejado obsoleto este sistema lgico para entender procesos evolutivos y generativos, sin embargo an hay mucha gente que lo utiliza de manera incorrecta. Ya Linneo, a partir de 1753 sobre todo, se vio obligado por el curso de sus investigaciones botnicas y zoolgicas, a tener que renunciar a la perspectiva clasificatoria porfiriana, en que los gneros son considerados como lo ms esencial en el conocimiento de la naturaleza (las

variedades ni siquiera son tenidas en cuenta, como si fuesen una mera "seleccin artificial" que no poda darse de manera "natura"), a partir de cuatro notas caractersticas (fructificacin, n de pistilos, etc.), y su combinatoria mecnica, y dichos gneros son considerados "anteriores" a la determinacin posterior de las especies. La denominacin (esencialista) de las especies pretenda ser una clasificacin y una definicin de los gneros y especies. Pero, sobre todo a partir de 1753 se ve obligado a dejar el "mtodo" de clasificacin "natural" y esencialista, y se ve obligado a utilizar la denominacin binomial (gnero y nombre comn), a partir del estudio de las especies con mltiples caractersticas "alternativas" que no todas las especies del gnero cumplan, y a establecer los "gneros" despus de las especies, a travs de su comparacin (gneros posteriores). Linneo lleg a considerar al hombre como dentro del "orden" de los "antropomorfos", no como un "reino" aparte de los animales. Y lleg a pensar en que Dios no cre a las especies en un origen, sino unos individuos de "gneros primordiales" que luego se haban hibridado hasta formar las especies actuales (creyendo que los gneros monotpicos .de una especie- eran restos de aquellos). Los monstruos, la hibridacin, las variedades, ya no sern consideradas como "ajenas" a la clasificacin natural, sino que se preocupar de su estudio y clasificacin, y con la teora de la evolucin sern considerados como parte del desarrollo por "seleccin natural". Pero las "ideologias" teolgicas retrasaron la concepcin transformista y evolucionista, que slo ante las evidencias de especies aloptridas y el desarrollo de la geologa y la paleontologa permitieron entender la evolucin de la tierra y de las especies que en ella han habitado, y su desarrollo de unas a partir de otras d) Las clases combinatorias Las clases combinatorias, en cambio, se caracterizan, porque (1) las notas o propiedades de su intensin se comprenden de modo disyuntivo o alternativo, (2) las notas de la intensin se construyen y se entienden, a travs de la extensin, como un sistema de alternativas, que pueden darse todas o algunas (que permite acumular o sumar notas en su "desarrollo", no como algo "repentino" o eterno) y (3) no hay relacin inversa entre intensin y extensin, sino, muchas veces, relacin directa: a ms comprehensin (intensin) mayor extensin. As se puede entender el hombre como un sujeto que recoge acumulativa y alternativamente un proceso evolutivo, pero que tiene notas genricas y cogenricas compartidas con otras especies (no hay dicotoma absoluta), con los homnidos, los chimpancs, los monos, etc. As el hombre comparte con otros homnidos ciertas notas (el ser "habilis", erectus, faber, etc.), y dichas caractersticas "evolutivas" no se dan de golpe (desde la eternidad), sino alternativamente (en un tiempo que modifica la intensin), perdiendo unas y aadiendo otras. Aunque tambin posee caractersticas especficas (Transgenricas: normas, praxis, y moral en "civilizacin", gracias a procesos "anamrficos", como veremos) que estructuralmente le diferencian de los animales, sin embargo dicha estructura no est desconectada de un origen comn con otras clases. En la ecuacin de las "cnicas" (crculo, elipse, parbola, hiprbola) hay una relacin directa entre la intensin y la extensin, cuantas ms notas tiene dicha ecuacin (ms parmetros), ms extensin de figuras recoge. Lo mismo ocurre con "el conjunto de tiradas de la moneda en cara o cruz", o un "grupo de transformaciones" (Piaget, o de lgica tradicional). En el desarrollo de las partes se tienen en cuenta simultneamente los rasgos que aparecen y los que faltan. Otro ejemplo podra ser el conjunto de clases (conceptos) ligados a la "bollera", en que las especies son la gran variedad de bollos que hay a partir de la combinacin de distintos elementos o propiedades, que hace que la determinacin de las "especies" y los "gneros" sea muy compleja, resultado de comparacin de mltiples rasgos. Las clases combinatorias son plotinianas si entre las distintas especies relacionadas hay un origen material comn (ramificacin familiar). Aunque no toda clase combinatoria es plotiniana, ni viceversa. 2. Lgica tradicional de Predicados, y lgica de clases. Una Clase se define materialmente como un conjunto de objetos que tienen una misma propiedad (los gansos blancos, p.e.). Pero formalmente, se define como el conjunto de objetos que satisface una funcin proposicional Px.

A= df ^x Px

(para todo x se cumple que cumple la propiedad P )

La lgica tradicional (de predicados) que naci con Aristteles, analizaba las proposiciones apofnticas (que podan calificarse como Verdaderas o Falsas, no las "admirativas", desiderativas, emotivas, etc.) en trminos de sujeto y predicado. Un juicio es toda proposicin que establece una relacin entre un sujeto S y un predicado P (p.e. "Todo S es P": Todo hombre es mortal). Pero se pueden interpretar S y P como variables de clase (determinadas -sujeto concreto: Pedro- o no: sujeto comn: hombre), y las relaciones entre S y P como relaciones u operaciones entre Clases (Euler o Venn). Segn la cualidad, Aristteles estableca una divisin de las proposiciones en afirmativas y negativas (la negacin complementaria acompaa al predicado, no al sujeto: "hombres no mortales", no "no-hombres mortales". Segn la cantidad distingua las proposiciones en otros dos grupos divergentes: las universales, que se referan a todos los miembros de una clase, y las particulares, que cannicamente comenzaban por el trmino "algunos", al menos uno. Combinando ambas divisiones salen cuatro tipos de juicios (A, E, I, O, de afirmo y nego). Psello, un escolstico medieval, ide un cuadro lgico para representar las simetras del grupo de transformaciones hallado por Aristteles: