Mdulo 1

Unidad 1
Lectura 1 La Argumentacin Lgica

Formas de Pensamiento en la Humanidad (Curso de Nivelacin) Pedro Ballester

Antes de comenzar con el desarrollo de los contenidos observemos las siguientes imgenes y los razonamientos correspondientes a cada una:

1- El mundo est hirviendo, por tanto, deberamos estar alerta.

Formas de Pensamiento en la Humanidad Pedro Ballester | 2

http://rufadas.com/wp-content/uploads/2007/05/deduccion-logica.png 2- El mdico sale de la casa de Carmela, por tanto, Carmela est enferma.

http://1.bp.blogspot.com/_ZTg0zE6Vxn0/SUkgq-COMvI/AAAAAAAAACs/3OqE4ULUONU/s400/max-clasificacion.jpg

3- Si todo marsupial es mamfero y el canguro es un marsupial, por lo tanto, el canguro es un mamfero.

Formas de Pensamiento en la Humanidad Pedro Ballester | 3

Piensa: Qu diferencia encuentra entre los tres razonamientos? Cul es la finalidad de cada uno? Alguno de ellos es verdadero? Alguno podra serlo, aunque no est seguro? Alguno es slo probable?

Ver a continuacin, que no todos los razonamientos son iguales. Algunos tienen por objetivo persuadir, convencer, aunque no podamos comprobar su veracidad. Es el caso del ejemplo 1. No creemos que sea verdad que el mundo sea una pava en hervor, pero el mensaje intenta persuadir a los receptores de que deben estar alertas.

Otros surgen de la regularidad de los hechos. Es decir, si de una casa sale un mdico, y ste no vive all, podramos pensar que hay alguien enfermo en la misma. Aunque esto es slo probable. La regularidad de que cada vez que sale un mdico de una casa hay en ella alguien enfermo, nos invita a generalizar que de toda casa de la cual sale un mdico hay alguien enfermo. Pero, como vemos en el ejemplo 2, no siempre esto es as; es slo una probabilidad.

Ahora bien, el tercero de los razonamientos es diferente, porque permite afirmar su veracidad. Dado que podemos observar que el conjunto de canguros corresponde al conjunto de marsupiales y el de marsupiales corresponde al conjunto de mamferos, es indiscutible que el conjunto de canguros corresponde al conjunto de mamferos. Podemos deducirlo a simple vista.

Esta relacin de DEDUCTIBILIDAD, que une una premisa (algo que sabemos) con una conclusin (lo que deducimos en base a la premisa) es estudiada por la Lgica. La Lgica tiene por finalidad indagar sobre qu condiciones debe poseer un argumento para que la conclusin sea necesaria y verdadera.

Formas de Pensamiento en la Humanidad Pedro Ballester | 4

La Argumentacin Lgica
En primer lugar, partiremos del concepto de Argumentacin. La argumentacin es un tipo de exposicin que tiene como finalidad defender con razones o argumentos una idea que se quiere probar. La argumentacin puede ser persuasiva o vlida. En el primer caso, ms all de la veracidad de los argumentos, el inters est puesto en convencer al interlocutor. De este tipo de Argumentacin se ocupa la Retrica. En el segundo caso, hablamos de premisas que llevan necesariamente a una conclusin. De dicha argumentacin se ocupa la Lgica. Se ha definido a la Lgica Deductiva como la Teora de la Argumentacin Vlida, en contraposicin con la Retrica que se ocupara de la argumentacin persuasiva y la Induccin que se ocupara de los razonamientos probables. Aristteles expone cierta relacin entre los razonamientos probables y los razonamientos persuasivos, sin embargo, no es lo mismo Retrica que Induccin, ya que en esta ltima el objetivo no es persuadir sino llegar a enunciados generales a partir de la observacin o de enunciados menos generales.

La diferencia entre la Lgica y la Retrica estara en que en la Lgica slo interesan los argumentos y su validez, mientras que en la Retrica interesan tambin los interlocutores que argumentan. Para la Retrica es importante convencer con argumentos, mientras que para la Lgica lo importante es validar los argumentos. En la argumentacin lgica la conclusin de los razonamientos se deriva necesariamente de las premisas. No sucede as en la Retrica, donde la conclusin a la que se llega suele ser la ms plausible pero no la verdadera.

Un argumento lgico nos lleva de las premisas: Los hombres son mortales y Scrates es un hombre a la conclusin: Scrates es mortal

Un argumento retrico tratara de persuadirnos de que: todos los pobres son honestos puesto que muchos hombres pobres son honestos,

Formas de Pensamiento en la Humanidad Pedro Ballester | 5

lo cual es una falacia. La diferencia entre el argumento lgico y el retrico reside en que en el primero de premisas verdaderas se derivan necesariamente conclusiones verdaderas. Se ha dicho que esta es la regla de oro de la Lgica. En la Retrica, en cambio, se puede partir de premisas ms o menos verdaderas y llegar a conclusiones de la misma ndole. O de premisas probablemente verdaderas a conclusiones del mismo tipo. Aristteles estudi un tipo de razonamiento retrico llamado entinema en el que las premisas de las que se parte slo son probables en lo que respecta a su verdad. Este tipo de razonamiento es comn a muchos discursos que tienen por objeto persuadir a los interlocutores a los que se dirige. El discurso poltico o publicitario suele usar dichos argumentos. Cuando a un consumidor se le dice que si usa determinado aparato puede adelgazar en poco tiempo, ya que muchos de los que lo han usado han logrado ese efecto, se lo est persuadiendo con un argumento retrico. Se puede usar un aparato cualquiera, un cinturn vibrador, por ejemplo, y si no se hace un rgimen para adelgazar que lo complemente difcilmente se lograr el objetivo buscado. La Lgica no tiene por finalidad desacreditar este tipo de argumentos. Su objetivo es indagar sobre qu condiciones debe tener un argumento para que la conclusin que se desprende o deduce de sus premisas sea la conclusin necesaria y verdadera. La Lgica estudia la relacin de deducibilidad, que es la relacin entre premisas y conclusin y que se puede resumir a su mnima expresin cuando se dice: si tal cosa entonces la otra. Estudia las condiciones que deben darse para que del antecedente del ENTONCES se desprenda necesariamente el consecuente. Esto no siempre sucede, puesto que en la mayora de los casos las consecuencias que se sacan de las premisas son tan solo probables. Pero esa es la forma de pensar normal, o ms frecuente, cuando se trata de resolver problemas de la vida cotidiana. La Lgica Deductiva se ocupa del pensamiento formalmente correcto, que corresponde a la ciencia.

Razonamientos Inductivos
El razonamiento inductivo es un proceso derivado de las inferencias que se hacen cuando se comprueba que a ciertos hechos observables le siguen regularmente otros. Es frecuente que cuando se percibe un relmpago se espere el trueno subsiguiente. En la vida cotidiana sucede con frecuencia que anticipemos un hecho a partir de otro que le antecede. Cuando pensamos que solamente si estudiamos aprobaremos el examen, o cuando aseveramos que si salimos de vacaciones podremos descansar

Formas de Pensamiento en la Humanidad Pedro Ballester | 6

estamos haciendo INFERENCIAS INDUCTIVAS. Estas inferencias son la base de los razonamientos porque ellas nos permiten establecer un nexo entre conocimientos adquiridos y conocimientos por adquirir. La induccin, en su forma ms elemental, nos sirve para actuar y resolver problemas que nos plantea la vida cotidiana. Al decidir levantarnos a cierta hora para llegar a tiempo al trabajo hacemos una induccin: si nos levantamos temprano entonces llegaremos a horario a nuestro trabajo. La aseveracin nos levantamos temprano es la premisa de dicha induccin y llegaremos a horario a nuestro trabajo es su conclusin. El trmino entonces es el nexo entre ambas. En este tipo de induccin elemental la premisa recibe el nombre de antecedente y la conclusin se denomina consecuente. Esta induccin elemental es un condicional lgico, es decir que se considera al antecedente como una condicin para que se d el consecuente. Pero se debe tener en cuenta que no siempre que se d el antecedente se tiene que dar tambin el consecuente. Puede suceder que salgamos de vacaciones y no descansemos o que estudiemos y no aprobemos el examen. Esto de alguna manera nos est indicando que el razonamiento inductivo es probable en lo que hace a la derivacin de la conclusin a partir de sus premisas. Para la ciencia el razonamiento inductivo es un instrumento insustituible. Gracias a l se pueden hacer generalizaciones a partir de la observacin de los hechos. Esto es posible porque con la induccin adems de anticipar hechos a partir de otros se pueden observar secuencias de hechos que permiten obtener una conclusin general en relacin con lo observado. Si se comprueba usando un termmetro que toda vez que se hace hervir el agua estando al nivel del mar esta hierve a los cien grados centgrados se puede concluir que siempre que se la haga hervir en las mismas condiciones alcanzar el hervor a esa temperatura. Cuando se dice que los metales se dilatan con el calor es porque se ha observado que cada vez que un metal se somete a la accin del calor se dilata. La induccin que permite dicha generalizacin, si se pudiesen observar todos los casos, tendra esta forma:

El hierro, al ser sometido a la accin del calor, se dilata El bronce, al ser sometido a la accin del calor, se dilata El plomo, al ser sometido a la accin del calor, se dilata Y as sucesivamente hasta la conclusin: Los metales, al someterse a la accin del calor, se dilatan.

Formas de Pensamiento en la Humanidad Pedro Ballester | 7

La conclusin de este argumento slo sera absolutamente verdadera si se pudieren observar todos los casos. Como eso no es posible dicha conclusin slo es probablemente verdadera y la induccin es incompleta (podra darse un caso en el que se someta un metal a la accin del calor y ste no se dilate). Una induccin completa exigira la observacin de todos los casos.

Razonamientos Deductivos
En el razonamiento inductivo podemos hacer generalizaciones a partir de la observacin de hechos. La conclusin que se obtiene es probablemente verdadera dado que no se pueden observar todos los hechos. Adems dicha conclusin no se deriva necesariamente de las premisas que se toman como antecedentes. Por ms que se observen casos en los que la indigencia o la falta de recursos econmicos es causa del analfabetismo no siempre las personas indigentes sern analfabetas. Hay una relacin entre un hecho y el otro pero dicha relacin no es necesaria, por lo tanto, inferir que siempre que se carece de recursos econmicos o si es indigente se es analfabeto no es correcto. El tipo de razonamiento que es la induccin no nos permite obtener conclusiones que se deriven necesariamente a partir de sus premisas. Pero existen formas de razonar en las que la conclusin se desprende necesariamente de las premisas de las que se parte. Un ejemplo puede servir para mostrarlo:

Si todo abogado es un egresado universitario y todo escribano es abogado Entonces todo escribano es egresado universitario

Este tipo de razonamiento es deductivo. Su diferencia con el inductivo reside en que la conclusin surge necesariamente de las premisas. En el ejemplo se ve con claridad que no se podra ser escribano sin ser egresado universitario. Hay otra caracterstica sealada por Aristteles: es un razonamiento en el que se va de lo general a lo particular. Verifiqumoslo con otro ejemplo:

Todos los mamferos son animales Todos los gatos son mamferos Luego: todos los gatos son animales

Formas de Pensamiento en la Humanidad Pedro Ballester | 8

Esto se explica mostrando que al ser el conjunto de los animales ms grande o extenso que el de los mamferos y el de stos mayor que el de los gatos, al estar los mamferos incluidos entre los animales y los gatos entre los mamferos es lgico que los gatos estn incluidos entre los animales. Otro modo de probarlo es que si los gatos son mamferos y los mamferos son animales, los gatos tambin deben serlo.

Para clarificar ms an la diferencia entre el razonamiento deductivo y el inductivo, veremos el siguiente ejemplo:

Imaginemos dos situaciones. En ambas hay, sobre una mesa, una bolsa de caramelos.
En la primera situacin, conocemos que la bolsa contiene slo un gusto de caramelos. Leyendo en la bolsa el ttulo frutilla, podremos extraer caramelos de esa bolsa, y an sin mirar, sabremos certeramente que sacamos caramelos de frutilla.

Esto es debido a que aplicamos la regla general (el gusto de los caramelos de la bolsa) a un caso particular (el puado de caramelos que saqu).

En la segunda situacin desconozco el contenido de la bolsa. Al introducir la mano en la misma saco un puado de caramelos, todos ellos de frutilla, e induzco que la bolsa contiene slo caramelos de frutilla. Sin embargo, podra ser que el sacar un puado neto de caramelos de frutilla haya sido fruto de la casualidad. Es decir, no es necesario.

Esto es debido a que a partir de un caso particular (el puado de caramelos que saqu) generamos una regla general aplicamos la regla general (el gusto de los caramelos de la bolsa).

La primer situacin se refiere a un razonamiento deductivo, mientras que la segunda situacin se refiere a un razonamiento inductivo.

Formas de Pensamiento en la Humanidad Pedro Ballester | 9

Validez de los razonamientos

http://cnho.files.wordpress.com/2010/04/pinguinos.gif

Formas de Pensamiento en la Humanidad Pedro Ballester | 10

Tanto los razonamientos inductivos como los deductivos deben ser construidos y formulados de modo correcto. En los razonamientos deductivos la forma o el modo en que se expresan constituyen su validez. Si esas formas no se respetan el razonamiento no es vlido. Los conceptos de validez o no validez se aplican solamente a los razonamientos completos, no a sus premisas o a su conclusin. Las premisas y la conclusin podrn ser verdaderas o falsas, pero nunca vlidas o no vlidas. En los sucesivos captulos de este material se ampliarn los significados de los trminos mencionados. Al solo efecto de mostrar la diferencia entre un razonamiento vlido y uno no vlido observemos los siguientes ejemplos:

Todos los hombres son mortales Todos los americanos son hombres Luego: todos los americanos son mortales El anterior es un razonamiento vlido dado que est correctamente formulado, puesto que si los hombres estn incluidos entre los mortales y los americanos entre los hombres se deduce que los americanos tambin estn incluidos entre los mortales. El siguiente, en cambio, no lo es:

Todos los hombres son mortales Todos los mamferos son vertebrados Luego: todos los mamferos son hombres La conclusin de este razonamiento no se desprende de las premisas porque no tiene la forma adecuada. Si bien es cierto que los hombres son mortales y los mamferos son vertebrados no se desprende de ello que todos los mamferos sean hombres.

Enunciados Categricos
Las premisas y conclusiones de los razonamientos son enunciados. Hay muchos tipos de enunciados. Analizaremos los enunciados categricos que tienen la forma de las oraciones con sujeto y predicado y cuya propiedad distintiva es que son o bien verdaderas o bien falsas. La siguiente oracin:

Los contadores son profesionales es un enunciado verdadero. La siguiente: Los hombres son inmortales es un enunciado falso.

Formas de Pensamiento en la Humanidad Pedro Ballester | 11

La verdad y la falsedad de los enunciados que se refieren a hechos, depende de la correspondencia entre lo que enuncian y lo que sucede.

Un enunciado, por lo tanto, es verdadero cuando brinda una informacin correcta con relacin a los hechos que describe y falso cuando esa informacin no es adecuada a dichos hechos. Es verdadero el enunciado que afirma que algunos autos son negros porque concuerda con los hechos. Pero es falso el que asevera que todos los autos son negros dado que no coincide con los hechos.

Enunciados Fcticos o Sintticos

Los enunciados que describen hechos se denominan fcticos y la verdad o falsedad de los mismos es una verdad fctica o una falsedad fctica. sta es la razn por la que muchos enunciados son verdaderos en algunos casos y en otros no. A veces coinciden con los hechos y a veces no. El enunciado hoy es un da caluroso es verdadero en algunos casos pero no en otros. Lo mismo sucede con el enunciado la puerta es marrn ya que depender de la puerta que se est describiendo. La puerta del aula en la que estudiamos puede que sea marrn, pero no tiene porque serlo la puerta del bao.

http://2.bp.blogspot.com/_MQzti-eDSnI/TFHlzAHKRYI/AAAAAAAAAYA/KcOXPxLmDAA/s1600/simpsonmonos-burns.jpg

Formas de Pensamiento en la Humanidad Pedro Ballester | 12

Los enunciados fcticos son contingentes con respecto a la verdad y a la falsedad. Esto quiere decir que tanto pueden ser verdaderos como falsos, ello depende de las circunstancias que son siempre contingentes, puesto que pueden ser de uno u otro modo. Es una contingencia que el da est nublado dado que el sol puede salir en cualquier momento, lo que tambin es una contingencia. Es entendible entonces que a los enunciados que describen ese tipo de hechos se los considere contingentes con respecto a la verdad y a la falsedad.

Los enunciados fcticos son enunciados sintticos. Esto quiere decir que el sujeto y el predicado al relacionarse el uno con el otro en el enunciado constituyen una sntesis o unin entre propiedades diferentes: una nombrada por la palabra que est como sujeto y otra por la que est como predicado. Algunas personas son abogados es un enunciado sinttico porque al unir las propiedades que nombran las palabras que hacen de sujeto y predicado producen una sntesis entre ambas que da por resultado una nueva propiedad que es la de ser al mismo tiempo persona y abogado.

El trmino sntesis no debe entenderse como sinnimo de resumen sino como combinacin o unin de dos o ms propiedades distintas para dar origen a una nueva. No es lo mismo decir silla que decir la silla es amarilla. El enunciado la silla es amarilla describe a una silla amarilla, es decir, a un objeto que tiene ambas propiedades como si fueran una sola y nueva propiedad, que es el resultado de la sntesis entre las otras dos.

En los enunciados sintticos la propiedad que se enuncia en el sujeto no implica ni contiene a la propiedad que se enuncia en el predicado. En el enunciado: algunos lpices son rojos el sujeto lpices no contiene al predicado rojos. Es otra razn por la que los enunciados sintticos o fcticos son contingentes con respecto a la verdad y a la falsedad. Si no siempre ni necesariamente los lpices son rojos es lgico concluir que un enunciado que haga referencia a un hecho de ese tipo a veces ser verdadero y a veces ser falso.

Otra caracterstica importante de los enunciados sintticos es que el predicado aade informacin al sujeto. En el ejemplo anterior el predicado rojo aade informacin al sujeto lpices porque no todos los lpices son rojos ni el ser de color rojo es una propiedad esencial de los lpices.

Formas de Pensamiento en la Humanidad Pedro Ballester | 13

Enunciados de relacin o analticos

Hay enunciados que no describen hechos sino que enuncian relaciones de identidad entre el sujeto y el predicado. En este tipo de enunciados el predicado no aade informacin al sujeto dado que ambos dicen lo mismo aunque con palabras diferentes. El siguiente es un ejemplo: todos los cuadrados son figuras geomtricas de cuatro lados iguales y cuatro ngulos rectos. En este enunciado el sujeto cuadrado dice lo mismo que figura geomtrica de cuatro lados iguales y cuatro ngulos rectos. El predicado lo nico que hace es desarrollar y hacer explcitas las propiedades implcitas en el trmino cuadrado. Hacer explicitas esas propiedades es el resultado de un anlisis del contenido del vocablo que hace de sujeto en el mencionado enunciado.

El verbo analizar significa descomponer un todo en sus partes constitutivas. Las partes que constituyen a un figura geomtrica como el cuadrado son precisamente sus lados, que son cuatro y son iguales, y su ngulos, que tambin son cuatro y tienen 90 cada uno. Los enunciados de la geometra semejantes al del ejemplo son tambin analticos. Todos los tringulos tienen tres lados y tres ngulos es un enunciado analtico porque es condicin del tringulo tener tres lados y tres ngulos.

La verdad de los enunciados analticos no depende de los hechos y, por lo tanto, no es una verdad fctica sino una verdad formal, es decir que depende de la relacin de identidad entre el sujeto y el predicado. El enunciado los abogados son abogados es formalmente verdadero porque el sujeto y el predicado son idnticos y no se necesita verificarlo contrastndolo con los hechos puesto que independientemente de lo que signifique la palabra abogado slo se ha dicho que es igual a s misma. Un enunciado como cuatro es igual a dos ms dos es verdadero independientemente de los hechos por la misma razn que lo es el enunciado anterior. La nica diferencia que hay entre cuatro es igual a dos ms dos y los abogados son abogados es que en el primero de los enunciados el predicado es el resultado de descomponer o analizar cuatro y poner su equivalente 2+2, mientras que en el segundo eso no sucede.

El enunciado los pentgonos son figuras geomtricas de cinco lados tambin es analtico y su verdad no depende de los hechos. Los pentgonos tienen siempre cinco lados, as como los tringulos tienen siempre tres o los hexgonos siempre seis. No puede haber un pentgono con ms o menos de cinco lados. Esto significa que la verdad de los enunciados analticos adems de no depender de los hechos tampoco es

Formas de Pensamiento en la Humanidad Pedro Ballester | 14

contingente. Los tringulos no tienen a veces tres lados y a veces no. Siempre tienen tres lados, si no fuera as no seran tringulos, por lo tanto, el enunciado todos los tringulos tienen tres lados es necesariamente verdadero. Los enunciados analticos son necesariamente verdaderos porque cualquier enunciado que los contradiga ser necesariamente falso. Si es verdad que todos los tringulos tienen tres lados entonces es falso necesariamente el enunciado que sostenga que algunos tringulos no tienen tres lados.

Las verdades necesarias son verdades formales, en oposicin a las verdades contingentes que son verdades fcticas.

PARA PENSAR: Qu sera de la literatura sin la lgica, o ms bien sin la ausencia de la misma. Un razonamiento inductivo es el siguiente: si caperucita parti a casa de su abuelita a llevar unos panecillos, lo esperable es que llegue! Pero algo sucede en el camino que rompe con esa probabilidad y da lugar al nudo de la historia. As mismo en los cuentos fantsticos la lgica es desafiada de manera continua para generar el conflicto. Sin embargo, una ausencia completa de lgica provoca la no credibilidad de la historia.

http://2.bp.blogspot.com/_8prwI9qcxo/TA00RbSZtPI/AAAAAAAAAQ4/fA_W0GOD6kc/s320/Caperucita+Roja.jpg

Formas de Pensamiento en la Humanidad Pedro Ballester | 15

Trminos de los enunciados

Trmino es el nombre que le damos a las palabras que usamos cuando hablamos o escribimos. Trminos son los artculos, los sustantivos, los adjetivos, entre otros, que aparecen en las oraciones y en los enunciados de cualquier discurso. En tal sentido podramos considerar a trmino como un sinnimo de vocablo y de palabra, pero tanto las palabras como los trminos expresan ideas o conceptos. Los conceptos o ideas son representaciones mentales de los objetos y los trminos son su expresin lingstica.

Esto nos permite usar la palabra trmino como si fuese un sinnimo de concepto o idea.

Los enunciados que tienen la forma gramatical de las oraciones con sujeto y predicado como el siguiente: los abogados son profesionales, tienen dos tipos de trminos: los que cumplen la funcin de sujeto y predicado y los que sirven para unir al sujeto con el predicado. A su vez, estn los artculos y vocablos como algunos, todos, entre otros, que son adverbios de cantidad, llamados en Lgica cuantificadores.

En los enunciados hay trminos lgicos, que son aquellos que, como el verbo ser, unen al sujeto y al predicado. Generalmente son trminos que permanecen estables en la estructura de los enunciados, lo mismo que los cuantificadores algunos o todos. Esto puede verificarse en innumerables ejemplos: algunos rboles son verdes, algunos gatos son amarillos, algunas puertas son de madera, entre otros, en todos los casos el verbo y el cuantificador son los mismos.

En todos los enunciados tambin hay trminos no lgicos. Estos trminos cambian en los distintos enunciados. Los trminos que hacen las veces de sujeto y predicado son trmino de este tipo. Esto quiere decir que no constituyen la estructura o forma del enunciado ya que varan de uno a otro. Distintos enunciados pueden tener la misma estructura y, sin embargo, decir cosas diferentes porque sus respectivos sujetos y predicados son distintos. Los enunciados: todos los rboles son vegetales, todos los gatos son animales, todos los arquitectos son ingenieros no difieren en la forma sino en los contenidos.

Formas de Pensamiento en la Humanidad Pedro Ballester | 16

Los trminos lgicos son los que determinan la forma y permanecen constantes, mientras que los trminos no lgicos son los que constituyen el contenido y pueden variar de un enunciado a otro. Los enunciados con sujeto y predicado pueden representarse por el esquema S es P, de modo que si se sustituye S por un trmino y P por otro se obtiene un enunciado con un sujeto y un predicado especfico. S y P representan a trminos no lgicos que varan de un enunciado a otro y por eso se las puede considerar variables. El verbo ser que oficia de nexo entre S y P es constante. Es necesario sealar que no todos los enunciados tienen la forma de las oraciones con sujeto y predicado. Enunciados como llueve, nieva, entre otros, que se derivan de verbos impersonales no tienen sujeto. Adems estn todos los enunciados en los que el sujeto est tcito como es el caso de: estudio; trabajo; leo; estudiamos; cantan; entre otros, en los que el sujeto es un pronombre personal que no se enuncia.

Los trminos lgicos se denominan sincategoremticos y los no lgicos categoremticos. Los primeros no tienen un significado independiente fuera del enunciado en el que se los usa. Un artculo nada significa por s mismo. Los segundos s tienen un significado independiente del enunciado en que se los usa. Trminos como casa o automvil tienen un significado propio que es el que nos permite definirlos. Casa se puede definir como un edificio en el que habitan personas. Automvil puede definirse como un vehculo de transporte.

Extensin y comprensin de los trminos

La extensin de los trminos est determinada por la cantidad de individuos a los que se aplica el trmino. Hay trminos que pueden aplicarse a ms individuos que otros. El trmino argentino es ms extenso que riojano por que se puede predicar de ms individuos que riojano. A su vez el trmino americano es ms extenso que argentino y que riojano porque se puede predicar de ms individuos que ambos.

La comprensin de los trminos est determinada por las notas o propiedades que son atribuibles al trmino. En el ejemplo anterior riojano es ms comprensivo que argentino y que americano porque de riojano se pueden predicar las propiedades argentino y americano. A su

Formas de Pensamiento en la Humanidad Pedro Ballester | 17

vez argentino es ms comprensivo que americano dado que de argentino se puede predicar americano. De los tres trminos el ms extenso es americano y el menos extenso es riojano. Argentino es ms extenso que riojano pero menos extenso que americano.

Si se compara a unos trminos con otros se puede comprobar que el menos extenso (riojano) es el ms comprensivo, mientras que el ms extenso (americano) es el menos comprensivo. Argentino por su parte es ms comprensivo que americano pero menos que riojano y ms extenso que riojano pero menos que americano.

De lo anterior se puede concluir que la relacin entre extensin y comprensin es inversamente proporcional, es decir que a mayor extensin menor comprensin y a mayor comprensin menor extensin.

La relacin entre extensin y comprensin permite clasificar a los trminos segn ambas propiedades. Se trata de una herramienta til para ordenar no slo a los trminos sino tambin a los objetos que nombramos con ellos. En un supermercado en la gndola donde se exponen los artculos de limpieza ordenamos dichos artculos de acuerdo a la extensin y la comprensin. Donde dice detergentes se ponen los detergentes de distinto tipo, como lo son los que hacen espuma y los que no la hacen o los perfumados y los no perfumados. En un quiosco los caramelos, las pastillas y lo chocolatines se ubican en el lugar correspondiente a las golosinas y no donde se ubican las facturas que es donde se encuentran las medialunas, las masitas, las galletas, etc. En este caso el trmino factura es ms extenso que medialuna, masita y galleta. Lo mismo puede decirse del trmino golosina con respecto a caramelo, pastilla y chocolatn. En la clasificacin se tienen en cuenta tambin la comprensin y el significado de los trminos. Por ello no se ponen los caramelos donde van las medialunas y a stas donde van los primeros, ya que los caramelos son golosinas y las medialunas son facturas.

Desde el punto de vista funcional se puede decir que la comprensin sirve para definir y la extensin sirve para nombrar. Cuando definimos un trmino enumeramos sus propiedades, que constituyen su comprensin. Cuando nombramos algo aplicamos la extensin del trmino, ya que al nombrar indicamos o sealamos a un objeto que cae dentro de su extensin.

Formas de Pensamiento en la Humanidad Pedro Ballester | 18

La relacin entre la extensin y la comprensin se puede representar por medio de grficos como el siguiente:

Cantidad y cualidad de los enunciados

Los enunciados tienen distintos grados de generalidad. Hay enunciados universales como todos los mamferos son animales y enunciados particulares como algunos estudiantes son aplicados. Tambin hay enunciados afirmativos como algunos abogados son contadores y negativos como algunos abogados no son contadores.

Los enunciados son particulares o universales en virtud de su cantidad y son afirmativos o negativos en virtud de su cualidad. Teniendo en cuenta estas propiedades se los puede clasificar de la siguiente manera:

Formas de Pensamiento en la Humanidad Pedro Ballester | 19

UNIVERSALES a) POR LA CANTIDAD SON: PARTICULARES AFIRMATIVOS b) POR LA CUALIDAD SON: NEGATIVOS

Combinando ambas propiedades se obtienen los siguientes cuatro tipos de enunciados simbolizados por las letras A, E, I, O:

A) UNIVERSALES AFIRMATIVOS: Todo animal es mortal (Todo S es P) E) UNIVERSALES NEGATIVOS: Ningn vegetal es mineral (Ningn S es P) I) PARTICULARES AFIRMATIVOS: Algn contador es abogado (Algn S es P) O) PARTICULARES NEGATIVOS: Algn auto no es amarillo (Algn S no es P) Los enunciados pueden ser representados por medio de grficos llamados diagramas de Venn.

La zona sombreada de cada diagrama indica la ausencia de elementos.

Los grficos correspondientes a los enunciados A, E, I, O son los siguientes:

A) TODO S es P

En el grfico se indica que todo individuo que tenga la propiedad S tiene la propiedad P. La parte sombreada indica que no hay elementos en P que no estn en S.

Formas de Pensamiento en la Humanidad Pedro Ballester | 20

E) NINGN S es P

En este grfico se indica que todo individuo que tenga la propiedad S no tiene la propiedad P. La parte sombreada indica que no hay elementos comunes a S y P.

I) ALGN S es P

En el grfico precedente se indica que algunos individuos tienen la propiedad S y P. La cruz indica que slo algunos elementos de S pertenecen a P.

O) ALGN S no es P

En este grfico se indica que algunos individuos de S no tienen la propiedad P. La cruz indica que algunos elementos de S no pertenecen a P.

Cuantificacin del predicado

Los sujetos de los enunciados universales y particulares, tanto afirmativos como negativos, estn cuantificados explcitamente por los cuantificadores

Formas de Pensamiento en la Humanidad Pedro Ballester | 21

todos, ninguno, algunos, etc., pero los predicados no estn cuantificados de modo explcito. Sin embargo, tanto en los enunciados universales como en los particulares dichos predicados son tomados en la totalidad o en parte de su extensin.

En los enunciados afirmativos el predicado se toma en parte de su extensin.

Veamos los siguientes ejemplos:

a) El enunciado: todos los contadores son profesionales debera leerse: todos los contadores son algunos de los profesionales. Esto se debe a que el conjunto de los contadores es menos extenso que el de los profesionales y que, por lo tanto hay profesionales que no son contadores.

b) El enunciado: algunos estudiantes son ingenieros puede leerse: algunos estudiantes son algunos ingenieros, porque en los enunciados particulares afirmativos el predicado siempre se toma en parte de su extensin al relacionar los conjuntos que nombran el sujeto y el predicado parcialmente. Slo algunos de los estudiantes y de los ingenieros son a la vez estudiantes e ingenieros.

En los enunciados negativos el predicado se toma en toda su extensin.

Consideremos los siguientes ejemplos: a) El enunciado: ningn animal es vegetal debe leerse: ningn animal es ningn vegetal. Esto se debe a que el conjunto de los vegetales y el conjunto de los animales no tienen ningn elemento en comn, ya que son conjuntos disyuntos.

b) El enunciado: algunos diseadores no son publicitarios se puede leer: algunos diseadores no son ninguno de los publicitarios, dado que el enunciado asevera que algunos de los elementos del conjunto de los diseadores no es ninguno de los elementos del conjunto de los publicitarios.

Formas de Pensamiento en la Humanidad Pedro Ballester | 22

Los diagramas de los enunciados A, E, I, O representan grficamente la cuantificacin de sujetos y predicados.

Conjuntos

Los conjuntos son colecciones de objetos que tienen por lo menos una propiedad en comn.

El conjunto de objetos cuya propiedad es ser silla est integrado por todos los individuos que tienen dicha propiedad. Los trminos que en los enunciados cumplen la funcin de sujeto y predicado son los nombres de los conjuntos que se caracterizan por la propiedad que dichos trminos mencionan. En el siguiente enunciado: todos los jueces son abogados el trmino sujeto hace referencia al conjunto de objetos cuya propiedad es ser juez y el trmino predicado al conjunto de objetos cuya propiedad es ser abogado. La negacin de una propiedad es tambin una propiedad. O sea que no ser abogado es una propiedad que determina un conjunto: el de los que no son abogados, que es el complemento del conjunto cuyos elementos tienen la propiedad de ser abogados. Los conjuntos son de diversos tipos. Hay cuatro tipos de conjuntos que son importantes para la lgica:

a. EL CONJUNTO UNIVERSAL, que se define como el conjunto de todos los objetos que tienen como propiedad ser idnticos a s mismos. b. EL CONJUNTO VACO, que se define como el conjunto de todos los objetos cuya propiedad es no ser idnticos a s mimos (por definicin carece de elementos). c. EL CONJUNTO NO VACO, que se define como el conjunto que tiene al menos un elemento. d. EL CONJUNTO UNITARIO, que se define como el conjunto que tiene slo un elemento. Tanto el conjunto universal como el conjunto unitario son conjuntos no vacos dado que tienen elementos. El contenido de estos conjuntos se simboliza con el nmero 1 que indica que tienen elementos. El conjunto vaco que carece de elementos se simboliza usando el 0.

Formas de Pensamiento en la Humanidad Pedro Ballester | 23

Estos dos nmeros son importantes cuando es necesario operar con conjuntos o establecer relaciones entre ellos. Los conjuntos pueden representarse por letras maysculas del alfabeto. Es decir que el conjunto de los objetos cuya propiedad es ser ingeniero puede simbolizarse por A y el conjunto de los objetos cuya propiedad es ser administrador por B, y as sucesivamente si aparecen otros conjuntos. Dado que los conjuntos pueden ser vacos o no vacos se puede asignar a los mismos los valores 1 y 0 del siguiente modo: A 1 0

Cuando se niega la propiedad que caracteriza a un conjunto se hace referencia a su complemento y sus valores se invierten, de modo que:

-A es el complemento de A y por lo tanto sus valores deben asignarse: 0 1

Relaciones entre conjuntos

LA INCLUSIN: es una relacin entre conjuntos. Un conjunto est incluido en otro cuando es un subconjunto del que lo incluye. El conjunto de los vertebrados es un subconjunto del conjunto de los animales y est incluido en este ltimo. Se dice que un subconjunto es propio cuando no tiene los mismos elementos que el conjunto que lo incluye. Como todo conjunto se incluye a s mismo se lo define como subconjunto impropio, dado que tiene los mismos elementos que el conjunto que lo incluye. El conjunto vaco por definicin se puede incluir en cualquier conjunto. La relacin de inclusin se puede representar algebraicamente. Si al conjunto de los gestores lo representamos por A y al conjunto de los profesionales por B y a la relacin estar incluido en por el signo C la inclusin se expresa por la frmula A C B. En los enunciados universales verdaderos el conjunto de objetos nombrado por el sujeto est incluido en el conjunto de objetos nombrado por el predicado. Es lo que sucede en el

Formas de Pensamiento en la Humanidad Pedro Ballester | 24

enunciado todos los gestores son profesionales. El siguiente grfico representa dicha relacin:

LA EQUIVALENCIA es una relacin que se da cuando al menos dos conjuntos tienen los mismos elementos. Todo conjunto por definicin equivale a s mismo. El enunciado todos los contadores son contadores expresa una relacin de equivalencia. La frmula que expresa dicha relacin es A A y se representa por el siguiente grfico:

Tambin la frmula: A B puede expresar una equivalencia entre conjuntos, en cuyo caso A y B tendrn los mismos elementos.

Operaciones entre conjuntos

LA SUMA LGICA O UNIN es una operacin entre conjuntos. Esta operacin se puede representar por la frmula A U B, en la que A y B son conjuntos y el signo U representa la unin entre ambos. En los enunciados en los que se expresa una disyuncin o alternativa entre hechos u objetos hay una unin de conjuntos. Un enunciado como el siguiente es un ejemplo de ello: en el aula 103 hay sillas rojas o negras. Otro ejemplo es el siguiente: todos los asistentes al curso de Economa son contadores o administradores. Lo que se quiere decir en este enunciado es que el conjunto de los asistentes considerado como totalidad

Formas de Pensamiento en la Humanidad Pedro Ballester | 25

es la suma del conjunto de los contadores con el conjunto de los administradores. El siguiente grfico representa la suma o unin entre conjuntos:

A: contadores B: administradores

EL PRODUCTO LGICO o interseccin es una operacin entre conjuntos. La frmula que expresa dicha operacin es la siguiente A * B, en ella A y B son conjuntos y el signo * es la representacin del producto. En los enunciados particulares afirmativos como algunos diseadores son publicitarios hay una interseccin o producto lgico entre el conjunto representado por el trmino sujeto y el conjunto representado por el trmino predicado. En el ejemplo dado se quiere decir que existen individuos que son a la vez diseadores y publicitarios. El grfico de esta operacin es el siguiente:

A: Diseadores

B: Publicitarios

que es similar al de los enunciados particulares afirmativos.

EL COMPLEMENTO de un conjunto es una operacin lgica que consiste en la negacin de la propiedad que caracteriza al conjunto. Las negaciones se usan en los enunciados negativos. En los universales negativos nos

Formas de Pensamiento en la Humanidad Pedro Ballester | 26

encontramos con pares de conjuntos que no tienen ninguna propiedad en comn. El siguiente ejemplo es uno de dichos casos: ningn tringulo es cuadrado. Este enunciado niega que los elementos del conjunto de los tringulos estn contenidos en el conjunto de los cuadrados. El siguiente sera su grfico:

A: Tringulos

B: Cuadrados

Los enunciados particulares negativos indican que algunos elementos del conjunto nombrado en el sujeto pertenezcan al conjunto de elementos nombrados en el predicado. El enunciado algunos relacionistas pblicos no son administradores es un ejemplo de lo dicho. Su grfico es el siguiente:

A: Relacionistas

B: Administradores

Por lo que se ha expuesto hasta aqu se puede comprobar que los enunciados A, E, I, O son una expresin lingstica arquetpica de las operaciones y relaciones entre conjuntos. Los elementos de un conjunto cualquiera pertenecen a dicho conjunto. La relacin de pertenencia no es, por lo tanto, una relacin entre conjuntos, como lo son la inclusin y la equivalencia, sino entre elemento y conjunto. Si consideramos a la semana como el conjunto de los das de la semana, entonces cada da es un elemento de dicho conjunto, por lo tanto, el martes o el mircoles, as como los dems das, pertenecen al conjunto en cuestin.

Formas de Pensamiento en la Humanidad Pedro Ballester | 27

Por su parte, la semana, en tanto que conjunto con siente elementos, est incluida en el conjunto de los objetos cuya propiedad es tener siete elementos.

El conjunto de los alumnos de primer ao de Relaciones Pblicas es un subconjunto del conjunto de los alumnos de primer ao, por lo tanto, est incluido en este ltimo, pero los alumnos de primer ao son tan solo elementos de dicho conjunto, por lo tanto, pertenecen a l.

http://dudutundra.blogspot.es/img/pensando.jpeg

Formas de Pensamiento en la Humanidad Pedro Ballester | 28