Mtodo de Investigacin I

RAZONAMIENTO DEDUCTIVO El razonamiento deductivo se mueve de lo general a lo particular. Toma una premisa general y deduce conclusiones particulares. Una argumento deductivo vlido es aquel en el que la conclusin necesariamente se deriva de la premisa. (Todos los perros tienen pulgas. ste es un perro por lo tanto, este perro tiene pulgas.) Puede ser que la premisa no sea verdadera pero, no obstante, la forma del argumento es vlida. (Si todos los perros tienen pulgas, y si este es un perro, entonces necesariamente este perro tiene pulgas.) Un argumento deductivo vlido contendr algo en la conclusin totalmente nuevo e independiente de aquellas cosas mencionadas en la premisa del argumento. (Si todos los perros tienen pulgas, entonces mi perro debe tener garrapatas. Pero las garrapatas no se mencionan en la premisa.) Algunas veces no es tan obvio que algo nuevo ha sido introducido en la conclusin. (Solamente el hombre es un ser racional. Por lo tanto, ninguna mujer es un ser racional. Este argumento se equivoca en el significado de hombre. En la premisa, la palabra hombre significa humanidad, incluyendo a la mujer. En la conclusin, la palabra mujer se usa para designar aquella porcin de la humanidad que es del gnero femenino, distinguindola de la porcin masculina llamada hombre. De manera que un nuevo concepto una distincin de gnero es introducido en la conclusin.) Todo en la conclusin de un argumento deductivo vlido debe tambin estar contenido en las premisas. (Hay normas acerca de cmo estas cosas han de disponerse, pero eso se halla ms all de nuestros propsitos.) Por lo tanto, todo razonamiento deductivo vlido realmente es, por naturaleza, un razonamiento circular o que da por sentado aquello por lo cual pregunta. Eso no quiere decir que la conclusin no tenga valor. (Si Johnny conduce el bus 96 minutos todas las maanas y 96 minutos todas las tardes, cinco das a la semana, y si Johnny duerme ocho horas cada da, entonces Johnny pasa el equivalente de un da despierto [16 horas] en el bus cada semana. La conclusin est totalmente contenida en las premisas, pero la conclusin replantea esas premisas de una manera que hace que entendamos ms plenamente las consecuencias de conducir tanto el bus.) La verdad (o veracidad) de la conclusin de un argumento deductivo depende de dos cosas: la condicin de correcta (o validez) de la forma del argumento, y la verdad (o veracidad) de la premisa. La validez de la forma est determinada por la aplicacin de las reglas establecidas. As que, la nica debilidad de un argumento deductivo es el verdadero valor (veracidad) de sus premisas. Sus conclusiones son nicamente tan buenas como sus premisas. O, para decirlo de otra manera, sus presuposiciones siempre determinarn sus conclusiones. Las personas son seres inteligentes capaces de realizar razonamientos complicados de manera consciente y propositiva, aunque tambin realizan deducciones e inferencias de forma rpida y sin ser totalmente conscientes, sin embargo su forma de razonamiento no est totalmente libre de errores.

Mtodo de Investigacin I

1. Razonamiento y lgica. Los planteamientos tradicionales sobre el razonamiento humano han solido asumir que razonar equivale a realizar un clculo lgico, y que depende de la aplicacin correcta de una serie de reglas formales de inferencia que las personas poseen en sus cerebros. las teoras basadas en reglas formales asumen que el individuo razona mediante la construccin de pruebas, poniendo en funcionamiento y aplicando una serie de reglas abstractas. Estas teoras han influido enormemente en IA y en algunos psiclogos. Las reglas formales que proponen funcionan de un modo puramente sintctico. Se trata de reglas ciegas que no tienen en cuenta el contenido de las premisas. Si estas reglas se aplican correctamente, la inferencia deber ser correcta, independientemente del contenido de las premisas. El problema es que los estudios realizados durante los ltimos 20 aos han mostrado que el contenido de la informacin con la que razonan las personas (las premisas) influye significativamente en el resultado de las tareas de razonamiento, como veremos la dificultad de estas tareas se reduce considerablemente cuando el contenido de la informacin que se utiliza para razonar resulta familiar para el sujeto. Por otro lado, se ha encontrado que incluso personas entrenadas en lgica cometen errores importantes cuando realizan tareas de pensamiento probabilstico Tratando de avanzar en el debate, Evans (1993) ha distinguido entre dos tipos de racionalidad: a) la racionalidad de propsito, y b) la racionalidad de proceso. Segn Evans, las personas son racionales porque se esfuerzan en conseguir metas y objetivos, pero no razonan de una manera lgica. Esto es, no siguen las reglas de inferencia (racionalidad de proceso). A pesar de que ponen sus mejores deseos cometen errores importantes. Esto se debe a la existencia de limitaciones cognitivas, como son las de atencin selectiva, las restricciones de la memoria de trabajo o presuposiciones lingusticas. 2. Inferencias deductvas: la inferencia condicional. El razonamiento deductivo se considera como el punto culminante de la capacidad humana de pensar. El concepto de falta de certeza es el que marca la diferencia entre un argumento deductivo y un argumento inductivo. Una inferencia deductiva se dice que es vlida cuando a partir de una premisas verdaderas se llega siempre a una conclusin verdadera. Por el contrario, en un argumento inductivo vlido la inferencia o conclusin a la que se llega se sigue de las premisas, pero no necesariamente es verdadera, sino slo con un cierto grado de certeza.

Los tres tipos de inferencias deductivas ms frecuentemente estudiadas son: la inferencia condicional, el silogismo categrico y la serie de tres trminos. La inferencia condicional se refiere a cmo razona la gente cuando aparece el condicional: si.... entonces La lgica tradicional utiliza el llamado clculo proposicional o de predicados. Una proposicin es la unidad ms pequea del lenguaje sujeta a valores de verdad. Esto significa que una proposicin tiene slo dos valores 0 1, o lo que es lo mismo verdadero o

Mtodo de Investigacin I

falso. A los lgicos no les interesa el contenido especfico de las proposiciones, sino slo su valor abstracto. Por eso utilizan smbolos, p para referirse a la primera premisa y q para referirse a la segunda. El condicional si p entonces q se interpreta en lgica tradicional de dos maneras diferentes: a) como implicacin material y, b) como equivalencia material. Como implicacin material, si p entonces q, la conclusin es falsa slo en el caso de que p sea verdadera y q sea falsa (V F). Cuando se interpreta como equivalencia material si y slo si p, entonces q, la conclusin es falsa cuando una es verdadera y la otra es falsa ( V F, F V). Existen cuatro inferencias asociadas al condicional. Estas inferencias son el modus ponens (MP), el modus tollens (MT), la negacin del antecedente (NA), y la afirmacin del consecuente (AC). La forma lgica del MP es si p entonces q, p, luego q, es una inferencia vlida. La forma lgica del MT, que es igualmente vlida es: si p entonces q, no q, luego no p. Las otras dos inferencias no son vlidas. Otro modo de evaluar el razonamiento con condicionales es mediante la tarea de Wason. Mientras los sujetos aceptan casi unnimamente el MP como inferencia vlida, la aceptacin del MT es mucho menor, a pesar de ser igualmente vlida desde el punto de vista lgico. Ademas un nmero importante de sujetos juzgaron como vlidas las dos falacias (NA, AC). Algunos tericos piensan que estos resultados se deben a que los sujetos interpretan el condicional como si fuera bicondicional. Esta explicacin podra valer para la actuacin con los dos razonamientos falaces, pero no explica el fracaso en el MT porque se trata de una inferencia vlida entendida como bicondicional (FF). La tarea de Wason: Sesgos encontrados. La tarea ms utilizada durante el ltimo cuarto de siglo en la investigacion sobre razonamiento ha sido la tarea de las cuatro tarjetas. se presenta a los sujetos un juego de cuatro cartas ( AR27), entonces la regla es si hay una A por un lado de la carta, entonces hay un dos por el otro lado de la carta, la tarea es saber cual o cuales de las cuatro cartas hay que levantar para poder decidir si la regla es verdadera o falsa. A pesar de la aparente sencillez, slo el 10 15 % de los adultos inteligentes son capaces de resolverla correctamente, segn Wason el error que cometan los sujetos era un error de confirmacin o verificacin. Los sujetos tienden a verificar el condicional eligiendo p y q, en lugar de falsearlo eligiendo p y no q. Otra explicacin que se ha dado a este comportamiento es que los sujetos cometen un error de emparejamiento. Se ha demostrado que el contenido concreto o abstracto de la tarea influye mucho en los resultados. Los sujetos razonan mejor con contenidos concretos. Los esquemas de razonamiento pragmtico: Holyoak y cols. han propuesto que las personas razonan utilizando ciertas estructuras abstractas de conocimiento obtenidas a partir de la experiencia cotidiana, a las que denominan esquemas de razonamiento pragmtico. Estos esquemas estn formados por reglas sensibles a una situacin determinada en la que los sujetos tienen cierta prctica. Este esquema se puede aplicar a un condicional: si debe realizarse una accin, entonces debe satisfacerse una condicin. Cheng y Holyoak proponen que los sujetos usan una serie de esquemas abstractos, pero sensibles al contexto, cuando realizan la tarea de Wason. Estos esquemas favorecen el razonamiento. Aristteles introdujo el silogismo categrico hace ms de dos milenios.

Mtodo de Investigacin I

Un silogismo consta de tres partes: una premisa mayor, una premisa menor y una conclusin. Aplicando el razonamiento silogstico, puede llegarse a una conclusin vlida siempre que las premisas sean verdaderas y la forma correcta. Antes de seguir adelante, veamos cuantos modos y figuras existen en el silogismo. Modos del silogismo. El modo del silogismo viene determinado por los cuantificadores que aparecen en las premisas y en la conclusin, a cada cuantificador se le denomina por una letra mayscula. Combinando las cuatro figuras con los cuatro cuantificadores de las premisas y de la conclusin se obtiene un total de 256 silogismos diferentes, un silogismo es lgicamente vlido cuando la conclusin se sigue necesariamente de las premisas, segn la lgica, de estos 256, slo 24 son vlidos. El razonamiento con silogismos puede hacerse ms sencillo cuando se utilizan diagramas. Concepto de verdad y validez: Validez es un concepto lgico que significa que la conclusin se sigue necesariamente de las premisas, independientemente de su valor de verdad desde el punto de vista linguistico. Las tres fases del razonamiento silogstico aparecen a continuacin, los sujetos comenten errores en cada una de ellas: primera fase interpretacin de las premisas, segunda fase combinacin de la informacin contenida en las premisas y tercera fase produccin de la respuesta. -Efecto de la direccionalidad. Se trata de un efecto relacionado con las figuras del silogismo: los sujetos tienden a preferir la conclusin en una determinada direccin. Los silogismos que resultan ms fciles son los de la figura 1, y los ms difciles los de la figura 4. Los silogismos de las figuras 2 y 3 tienen una dificultad intermedia. La explicacin ms frecuente los hace depender de la direccin del procesamiento.

-Errores producidos en el proceso de interpretacin. Chapman y Chapman propusieron la hiptesis de la conversin licita de las premisas, los sujetos interpretan todos los As son Bs como todos los Bs son As. El efecto atmsfera, se produce en el momento de emitir la respuesta y significa que los cuantificadores del silogismo (todos, algunos, ninguno y alguno no) crean un modo global, o atmsfera, que predispone alos sujetos a aceptar conclusiones en las que aparezcan los mismos trminos. Esta hiptesis ha tenido bastante xito en la prediccin de los resultados obtenidos en experimentos con silogismos. Segn esta hiptesis, los sujetos aceptaran la conclusin que concuerde con el modo de las premisas, tanto si esta conclusin es vlida como si es invlida, sin embargo se ha observado que tienden a aceptar ms la conclusin cuando es vlida que cuando es invlida. Razonamiento con modelos mentales. La teora de los modelos mentales propuesta por Johnson-Laird y cols. se puede aplicar a las tres fases de resolucin del silogismo. Esta teora no acepta la existencia de reglas de inferencia ni construcciones lgicas, ni las reglas de contenido especfico. Segn JohnsonLaird las personas construyen modelos mentales de las premisas en lugar de razonar utilizando reglas lgicas. Segn la teora de los modelos mentales, si las personas quieren

Mtodo de Investigacin I

validar la conclusin, a la que han llegado tentativamente, deben construir modelos alternativos en los que las premisas sean verdaderas, pero que la conclusin no lo sea, con la intencin de falsear estos modelos, si es capaz de construir modelos alternativos, la conclusin a la que lleg no se sirve de premisas, en caso de que no puedan construir modelos alternativos, esto significara que la conclusin tentativa es correcta. La teora de Johnson-Laird predice que cuantos ms modelos se puedan construir consistentes con las premisas que falseen las conclusiones, ms difcil ser el silogismo, esta prediccin ha sido confirmada. La explicacin del razonamiento con silogismos en trminos de modelos mentales, aunque est todava en sus comienzos constituye quiza la explicacin ms importante y prometedora. Razonamiento con series de tres trminos. Adems de la inferencia condicional y del razonamiento silogstico, existe un tercer tipo de razonamiento deductivo conocido como series de tres trminos, o inferencia transitiva. El siguiente ejemplo constituye una inferencia transitiva tpica: La marca X de camisetas es peor que la marca Y, la marca W es mejor que la marca Y, cul es mejor de las tres marcas?. La variable que suele medirse en este tipo de problemas de razonamiento es el tiempo de reaccin ya que el nmero de errores cometidos es pequeo.

Las teoras propuestas pueden agruparse en tres categoras: a) la hiptesis espacial o de las imgenes mentales, b) la hiptesis lisgustica, y c) la hiptesis mixta. Segn la hiptesis de las imgenes mentales cuandolos sujetos razonan con series de tres trminos construyen imgenes mentales de las premisas, la dificultad de la tarea depende del tipo de relaciones implicadas en las premisas. Las premisas ms sencillas son aquellas que van desde un trmino extremo de la serie al trmino medio. existe adems una preferencia a construir la imagen del problema en forma vertical u horizontal. Resutados ms recientes parecen indicar que las imgenes creadas no tienen por qu ser de tipo espacial. Segn la hipotesis lingustica, el sujeto representa la informacin contenida en el problema de razonamiento relacional en forma lingustica, pera lo que construye una representacin proposicional de las premisas. La dificultad de la tarea viene de los adjetivos utilizados en el planteamiento de las premisas. Segn el modelo mixto, propuesto por Robert Sternberg (1980), consiste en la combinacin de las dos propuestas anteriores admitiendo tanto aspectos lingusticos como imgenes mentales en la solucin de los silogismos lineales, segn Stern berg, se produce primero el procesamiento lingustico de la informacin contenida en las premisas y despus el procesamiento espacial en trminos de imgenes. Este modelo es el que mejor se ajusta a los datos.

Mtodo de Investigacin I

3. Aplicaciones: como reducir la influencia del sesgo en los procesos de razonamiento. El ser humano siendo inteligente comete errores que sesgan sus procesos de razonamiento, podemos hacer algo para reducir este sesgo?. Evans (1989) ha propuesto varias acciones, como por ejemplo sustituir el razonamiento humano por un ordenador, proporcionar el entrenamiento adecuado mediante mtodos efectivos, y el diseo de ambientes apropiados. El entrenamiento puede ser efectivo en aquellos casos en los que el sesgo se produce por una falta de comprensin de los principios, el problema est en que las personas tambin cometen errores cuando conocen los principios porque fallan a la hora de aplicarlos, otro factor importante de reduccin del sesgo consiste en crear situaciones adecuadas, por ejemplo razonar con tareas de contenido concreto suele producir mejores resultados que hacerlo en trminos abstractos.

Mtodo de Investigacin I

LENGUAJE SIMBOLICO EN LA LOGICA En la prctica, no es posible razonar directamente mediante conocimientos en un estado mental, sino por medio de representaciones simblicas, que se expresan en objetos materiales perceptibles por medio de los sentidos, tales como palabras, signos, grficos, frmulas, etc. El uso del lenguaje corriente lleva implcito un enfoque de sintaxis, que consiste en las relaciones formales entre los trminos empleados; y un enfoque semntico, que consiste en el sentido de referencia que se atribuye a las palabras empleadas, su relacin con los objetos y los conceptos de la realidad a que con su empleo se trata de aludir, y que es cierto modo es socialmente cambiante dentro de un mismo idioma, considerando distintos tiempos y lugares. El lenguaje de uso corriente - tanto el coloquial como el culto, literario o el de ciertas disciplinas especializadas - resulta totalmente imperfecto en cuanto al rigor, claridad, abstraccin y precisin requerido para la expresin de los conceptos y objetos en los estudios lgicos; especialmente considerando lo expuesto en cuanto a la prescindencia de los componentes de contenidos materiales de los procesos del razonamiento. En funcin de ello, la lgica formal procura liberarse de la incidencia que, en cuanto al examen de las cuestiones formales del razonamiento, pueda tener el uso de trminos de los lenguajes idiomticos, creando para ser aplicado en el estudio y exposicin de las leyes lgicas, un lenguaje simblico propio, un lenguaje formal. Este lenguaje simblico propio de la lgica, tiene por otra parte la ventaja de su universalidad; en cuanto al prescindir del empleo de expresiones de un idioma real, permite su comprensin directa independientemente del idioma concreto de la persona que se aplique a su estudio. Ese lenguaje simblico es adems lo que se denomina un metalenguaje, en el sentido de que se lo concibe como una forma de expresin que est ms all del uso mismo del lenguaje. En este sentido, se dice que el lenguaje-objeto es el que se utiliza, en tanto que el metalenguaje es aquel con el que se habla del otro; como cuando se aprende un idioma extranjero utilizando para ello el idioma propio. Una expresin sencilla del lenguaje simblico aplicable al anlisis lgico puede ser similar al aplicado en matemticas para representar una variable. De esta forma,

Mtodo de Investigacin I

un silogismo simple como: Todos los hombres son mortales Scrates es hombre, entonces Scrates es mortal

puede expresarse bajo la forma: Si A es B y C es A entonces C es B

De esta manera, la sustitucin de una proposicin por un simbolo permite construir una teora de las formas del razonamiento en las cuales intervengan componentes similares; de modo que sea posible reconocer facilmente en un proceso de razonamiento la presencia de una misma proposicin, de un mismo concepto, o de una misma propiedad o atributo. El smbolo que se emplea para representar una proposicin se designa como variable proposicional; pero debe distinguirse muy cuidadosamente de lo que constituye un smbolo de variables en otras disciplinas, como el lgebra o los lenguajes informticos de programacin:
o

Una variable algebraica de las que se emplean en las frmulas matemticas, fsicas o de otras ciencias, es un smbolo de valor cuantitativo implcito; ya sea que se trate de despejarlo cuando constituye una incgnita o que se trate de examinar diversas situaciones en funcin de los distintos valores que puede asumir. De la misma forma, en programacin informtica, es un smbolo susceptible de tomar diversos valores (no necesariamente aritmticos o cuantitativos) con lo cuales el programa opera; y que pueden modificarse en el transcurso de su ejecucin. Una variable proposicional, en cambio, representa una entidad lgica que se puede elegir o asignar con cierta libertad, dentro de un cierto mbito conceptual - llamado dominio de variacin de la variable que se caracteriza por poseer ciertas propiedades comunes a todos sus miembros, pero sin que eso permita establecer qu otras propiedades podrn distinguir esa entidad, de otras pertenecientes al mismo dominio.

Las proposiciones predicativas. A pesar de lo que se ha expuesto antes en cuanto a los rasgos distintivos de la lgica simblica o propiamente matemtica, lo cierto es que histricamente la lgica naci como como lgica de los enunciados idiomticos o proposiciones; estudiando la forma en que se relacionan esos enunciados ubicados en la posicin de premisas o de conclusiones, para determinar si los procesos del razonamiento que conducen de

Mtodo de Investigacin I

unas a las otras resultan ser vlidos. La lgica originaria de Aristteles, y ulteriormente complementada por las aportaciones de la escuela estoica y la escolstica se basa en el anlisis de proposiciones predicativas, de las que se distinguen las proposiciones que cumplen funcin de premisas y de conclusin. Posteriormente, debido a advertirse dificultades surgidas para explicar cierto tipo de inferencias a nivel de proposiciones, surge la necesidad de analizar las proposiciones segn su composicin interna, descomponindolas en sus trminos, lo que da lugar a la llamada lgica de trminos o de clases.

Las proposiciones predicativas no son otra cosa que expresiones de una estructura gramatical elemental, compuesta de sujeto, cpula y predicado: La puerta est abierta. Es oportuno precisar que, a pesar de la similitud, en la proposicin lgica la cpula, an cuando se presenta gramaticalmente como una expresin verbal (que normalmente estar configurada por es o no es), no tiene la funcionalidad del verbo; sino que solamente determina la circunstancia de que el predicado se cumple o no se cumple en el sujeto. Ha de tenerse en cuenta que cierto tipo de oraciones gramaticalmente consideradas, como las exclamativas, interrogativas, mandatos o expresivas de deseos, no revisten inters ninguno desde el punto de vista lgico; no son proposiciones enunciativas ni contienen conceptos o trminos. En una proposicin predicativa se establece una relacin entre un concepto que reviste la calidad de sujeto y otro que reviste la condicin de predicado . La funcin de relacionamiento y de enunciar es cumplida por un verbo que opera como cpula afirmativa o negativa: es. El anlisis de las proposiciones realizado por la lgica antigua de las proposiciones predicativas, se detiene en la distincin del sujeto, el predicado, la cpula y algunas pocas relaciones formales entre ellos en cuanto a la naturaleza del sujeto, la extensin o comprensin del predicado. El anlisis de la proposicin La puerta est abierta hace posible reconocer:
o o o

Un sujeto, que piensa esa proposicin. El acto de pensarla, que tiene lugar en la mente del sujeto pensante. El pensamiento mismo, independiente de que alguien lo piense, que puede ser pensado por muchos sujetos en diversos momentos, y que es siempre idntico a s mismo.

Mtodo de Investigacin I
o

o o

Las percepciones o imgenes que eventualmente pueden acompaar la existencia de ese pensamiento en un sujeto y en circunstancias determinadas; como que est actualmente viendo la puerta abierta, que sea la de la casa o la de una habitacin, etc., o que no la vea sino que al leer esa frase en un libro recuerde alguna puerta que ha visto abierta, etc., o que simplemente se imagine una situacin como la que enuncia la proposicin. La expresin del pensamiento mediante las palabras que lo enuncian con su sentido o significado conceptual. El objeto a que el pensamiento se refiere, como concepto general; y que en este caso corresponde al concepto de lo que es una puerta y a la propiedad de estar abierta.

Desde el punto de vista de la lgica formal, se denomina objeto todo lo que es capaz de admitir un predicado cualquiera; todo lo que puede ser sujeto de un juicio. En cuanto al objeto de las proposiciones lgicas, ellos pueden ser:

Los objetos reales o sensibles - son los objetos que se presentan en la experiencia sensible, en la percepcin externa o en la interior. o Los que son aprehendidos mediante la percepcin externa, son objetos fsicos; que existen en el tiempo y en el espacio. o Los objetos psquicos, que existen en el tiempo pero no en el espacio, que son hechos exclusivamente en la conciencia de quien los experimenta, tales como un deseo, una decisin de la voluntad. Los objetos ideales - son entes que no existen en el tiempo ni en el espacio, son totalmente ajenos a la espacialidad como a la temporalidad; que no tienen la consistencia material ni efectiva o concreta de los objetos reales y que no obran activamente. Los objetos metafsicos - que se conocen exclusivamente a travs del razonamiento segn algunos filsofos; o mediante actos inmediatos de conocimiento a travs de la intuicin sea intelectual o no racional. Entre stos, cabe destacar los valores, como cualidades de un orden especial, que no ataen al ser mismo de los objetos sino a su apreciacin tica.

Una proposicin enuncia una propiedad respecto de un objeto; pero en realidad las proposiciones son formuladas por lo comn en relacin a objetos del conocimiento que no constituyen la totalidad de lo real. De tal modo, es preciso que la proposicin precise a qu objetos reales trata de referirse, lo que se denomina el supuesto de la proposicin predicativa. Sin embargo, resulta obvio que no es posible introducir en la proposicin el objeto mismo respecto del cual se enuncia un juicio, por lo cual ese objeto debe ser expresado mediante un smbolo (al que se denomina sujeto de la proposicin) constitudo por un trmino que representa el objeto.

Mtodo de Investigacin I

El trmino es la expresin lgica de un concepto. Si bien vara segn los idiomas, el concepto que expresa es el mismo: silla, chair, cadeira, chaise, etc. Dentro de un mismo idioma pueden existir distintos trminos para expresar el mismo concepto, como se da en el caso de los sinnimos. Los trminos se clasifican en:

Unvocos Cuando terminantemente son susceptibles de un nico significado: banco, planta, trapecio. Equvocos Cuando son susceptibles de emplearse con significados diferentes y requieren precisarse para concretarlos: ley (fsica, jurdica). Anlogos Cuando teniendo significados claramente diferentes, no obstante esos significados son semejantes en cuanto a alguna propiedad: banco, silla, sof.

IEl

predicado es lo que expresa la propiedad que la proposicin enuncia respecto del sujeto. El predicado debe expresar una cierta idea respecto del sujeto, y un cierto conocimiento que existe en la mente, un pensamiento que resulta inteligible en cuanto es entendido. Los filsofos antiguos perciban que ningn conocimiento de la mente puede hacer comprensible a la misma vez la totalidad de las propiedades que pueden predicarse de un objeto; por lo cual el predicado debe limitarse a expresar una propiedad por vez, an cuando pueda ser muy compleja. El predicado se distingue del sujeto, porque en lugar de referirse a un sujeto real con todas sus propiedades, destaca una de las cualidades posibles de un objeto. De un mismo objeto puede afirmarse en dos proposiciones por separado, que es una mesa y que est sucia; pero tambin es posible afirmar en una proposicin que rene las dos anteriores, que la mesa est sucia. Pero las cosas cambian si se trata de aplicar una negacin; porque entonces hay que prestar atencin a si lo que se va a negar es que sea una mesa, o se va a negar que est sucia. All es posible advertir que, en realidad en la primera proposicin en que se afirm que el objeto era una mesa, la mesa no era sujeto sino predicado; y que en la segunda proposicin que afirmaba que el objeto estaba sucio, en realidad la cualidad mesa era un atributo del objeto. Un atributo es un anterior predicado del objeto, que se realiza en l efectivamente. El atributo, como tal, no puede ser puesto en duda; a lo sumo podr ponerse en duda que se realice en el sujeto. Por lo tanto, aunque el sujeto sea concreto, el atributo que lo determina es una abstraccin; por lo que un atributo aislado no constituye jams un sujeto, sino una cualidad del objeto que constituye el sujeto.