UNIVERSIDAD DE ANTIOQUIA ESCUELA INTERAMERICANA DE BIBLIOTECOLOGA SEMINARIO DE LGICA Taller #1

OSCAR VERGARA RAMIREZ C.C. 80441678

MEDELLN 2011

1. Explique las tres herramientas que plantea Aristteles para concebir la lgica. Las tres herramientas que plantea Aristteles son: a. Concepto: Segn Aristteles, es la captacin de la esencia, y sta permite que algo sea lo que es. En otras palabras, y como ejemplo, la esencia de la mesa, es, ser mesa. El concepto permite establecer una diferencia entre idea e imagen: Idea es una facultad del la inteligencia y es de tipo universal porque todos tienen la posibilidad de concebir una. Imagen es una facultad de la imaginacin que es de tipo particular, subjetivo. b. Juicio: es afirmar o negar algo de algo. Se expresa en premisas o proposiciones. El juicio tiene una forma: S + es + P Sujeto Verbo Predicado

Existen cuatro tipos de proposiciones o premisas: 1. Todos los S son P. 2. Ningn S es P. 3. Algn S no es P. 4. Algn S es P. El juicio posee dos caractersticas: De cantidad
Universales Particulares Afirmativas Negativas 1, 2 3, 4 1, 4 2, 3

De cualidad

c. Silogismo: Es inferir o deducir una proposicin o premisa a partir de dos proposiciones. Ejemplo: Premisa # 1. Todas las personas son mortales. Premisa # 2. Andrs es una persona.  Andrs es mortal

Un silogismo solo se puede concluir entre una proposicin o premisa particular y una premisa universal. Existen dos clases de silogismos: P Q y El silogismo hipottico, que tiene la forma:
Antecedente

R
Consecuente

En el silogismo hipottico el antecedente de la segunda premisa debe concordar con el consecuente de la primera. y Silogismo disyuntivo: O, lgico
P V Q P R Q R

  Est conformado por tres premisas, la primera es la disyuncin y las otras dos son implicaciones. 2. Explique el concepto de lgica formal o simblica. Relacione lo expuesto por A. Deao y Fuchs. De acuerdo con Deao, la lgica es la ciencia de los principios de la validez formal de la inferencia., donde la inferencia es sinnimo de razonamiento1, entendido, como resultado, de la accin de razonar, plasmado en el lenguaje y cuyo objetivo especfico consiste en derivar una conclusin a partir de unas premisas. Al hablar de validez formal, Deao, se refiere a que la idea de un razonamiento es independiente de la verdad o la falsedad de sus premisas y de su conclusin. Un razonamiento es vlido cuando es imposible que, siendo verdaderas sus premisas, sea falsa su conclusin. Es decir, estudiar lgica no consiste en estudiar si enunciados relativos a una materia especfica son efectivamente verdaderos, sino, en qu otros enunciados, dados los anteriores como verdaderos, habra que aceptar como verdaderos tambin.2 Deao concluye diciendo que. La nocin fundamental, concluyente, de la lgica no es la de verdad material, la verdad de hecho, sino la de coherencia. La lgica no se ocupa de verdades materiales, sino de las relaciones formales entre ellas.3 Fuchs, por su parte y apoyando esta definicin en el contexto de la lgica formal dice: Lgico no significa acuerdo con las leyes del de pensamiento, tampoco tiene el significado que se le da en el lenguaje

1 2

Deao, Alfredo. Introduccin a la lgica formal. 2004. Alianza editorial. Pg. 36 Ibd. Pg. 39 3 Ibd. Pg. 39

corriente (claro, evidente, que no necesita explicacin).4 El que se posean o no elementos de juicio para poder determinar la certidumbre o la falsedad de un predicado cualquiera, es algo que no nos debe importar.5 porque la validez de una conclusin depende exclusivamente de la forma de los predicados, pero no de su contenido.6 Fuchs, finaliza diciendo que la lgica formal es la ciencia que saca conclusiones a partir de formas explicativas.7 3. Explique la nocin de clculo como sistema de reglas de juego. Debe tener presente las nociones de Fuchs y Deao. Clculo es, segn Deao, una estructura, un sistema de relaciones.8 Para Fuchs, sta (estructura) consiste en un conjunto de reglas claras y especficas, que se constituyen para dar sentido al juego permitiendo ciertas operaciones o movimientos, mientras que otros estn prohibidos: cada jugador se somete a un sistema de reglas preestablecido, y manipula sus fichas de acuerdo con esas reglas.9 Deao, menciona los siguientes componentes de un clculo: y Un conjunto de elementos primitivos o smbolos elementales: que en el caso del juego de ajedrez, corresponderan a las piezas del juego. y Un conjunto de reglas (de formacin o de construccin): Se relacionaran con las instrucciones sobre las posiciones que pueden ocupar las piezas en el juego. y Un conjunto de reglas de transformacin: Seran como las reglas sobre los movimientos que se pueden efectuar con las piezas. Segn Deao, los clculos y los juegos se parecen en que son autrquicos, en que ni uno ni los otros hacen referencia a nada ajeno a ellos, y, en que carecen de otra finalidad que no sea calcular o jugar. 4. Fuchs establece relaciones entre mtodo formal matemtico y la lgica formal, adems afirma que el secreto del lgico est en la formalizacin. Pg. 20. Por qu? Porque el mtodo formal de la matemtica es la llave para entrar en la lgica moderna dado que, como en la matemtica, en la lgica se construyen frmulas, se deduce, se concluye, se demuestra; esto significa que el lgico, lo mismo que el matemtico, habla un lenguaje

Fuchs, Walter. Los padres descubren nueva lgica. Ediciones Omega. Pg. 20 Fuchs, Walter. Los padres descubren nueva lgica. Ediciones Omega. Pg. 25 6 Ibd. Pg. 29 7 Ibd. Pg. 30 8 Deao, Alfredo. Introduccin a la lgica formal. 2004. Alianza editorial. Pg. 30 9 Fuchs, Walter. Los padres descubren nueva lgica. Ediciones Omega. Pg. 15
5

artificial, exacto y cuidadosamente definido que se diferencia del lenguaje corriente. 5. Por qu es importante la notacin simblica para la lgica? Porque mediante la notacin simblica se hace abstraccin del significado; de esa forma se estar seguro de no tener que preocuparse por consideraciones acerca del contenido, pues mientras se opera con smbolos no es necesario pensar en su significado. El sentido, el significado del smbolo, no tiene importancia en relacin al clculo. Segn Scholz, las consideraciones acerca del contenido deben evitarse cuando el manejo de los objetos (smbolos o signos) est sometido a ciertas reglas. 6. Explique la nocin de validez formal a partir de la siguiente expresin: La lgica conecta oraciones de tal modo que la combinacin resultante es verdadera independientemente de la verdad de las oraciones individuales. A. Deao. De la anterior afirmacin se desprenden tres elementos para considerar: y Valor de verdad de las premisas (Oraciones = Premisas) pueden ser verdaderas o falsas. y Valor de verdad de la Resultante (Conclusin) puede ser verdadera o falsa. y Naturaleza del razonamiento (Conexin de oraciones = relacin entre las oraciones) puede ser vlida o no vlida. Segn Deao, nos es til una grfica para comprender la nocin de validez formal. Esta tiene tres entradas as:
Valor de verdad de la conclusin
Verdadera Falsa

Valor de verdad de las premisas

Verdaderas Falsas Falsas Verdaderas

1 3 5 7

2 4 6 8

No vlido

Vlido

10

De tipo 1 (Premisas y conclusin verdadera; razonamiento no vlido) Si los perros son cuadrpedos, entonces los gatos son mamferos. Es as que los gatos son mamferos. Luego
10

Deao, Alfredo. Introduccin a la lgica formal. 2004. Alianza editorial. Pg. 37

Naturaleza del razonamiento

Los perros son cuadrpedos. De tipo 2 (Premisas verdaderas; conclusin falsa; razonamiento no vlido) Algunas aves vuelan El avestruz es un ave Luego El avestruz vuela De tipo 3 (Premisas falsas; conclusin verdadera; razonamiento no vlido) Todos los seres vivos son animales de piel vellosa. El pingino tiene piel vellosa Luego El pingino es un ser vivo De tipo 4 (Premisas falsas; conclusin falsa; razonamiento no vlido) Si la luna es un cometa, entonces el sol es gris. Es as que la luna no es un cometa. Luego El sol es gris. De tipo 5 (premisas falsas; conclusin verdadera; razonamiento vlido) Todos los seres humanos son colombianos George Bush es colombiano Luego George Bush es un ser humano De tipo 6 (premisas y conclusin falsas; razonamiento vlido) Si las mujeres colombianas son rubias, entonces, los hombres colombianos son rubios. Es as que los hombres colombianos son rubios. Luego Los hombres colombianos son rubios. De tipo 7 (Premisas y conclusin verdaderas; razonamiento vlido) Los animales vertebrados se caracterizan por tener huesos. Los perros y los gatos son animales vertebrados. Luego Los perros y los gatos tienen huesos. De tipo 8 (Premisas verdaderas; conclusin falsa; razonamiento vlido) No hay razonamientos vlidos que tengan premisas verdaderas y conclusin falsa.

Los ejemplos tratan de ilustrar que la validez de un razonamiento es independiente de la verdad o la falsedad de sus premisas y su conclusin.11 Puede haber razonamientos cuyas premisas y cuya conclusin sean verdaderas y que sin embargo sean no validos, y, puede haber razonamientos que sean vlidos, pero que tengan premisas y conclusiones falsas.12 Deao asegura que La nocin fundamental, constituyente, de la lgica no es la de verdad material, la de verdad de hecho, sino la de coherencia. La lgica no se ocupa de verdades materiales, sino de las relaciones formales entre ellas.13

11

Deao, Alfredo. Introduccin a la lgica formal. 2004. Alianza editorial. Pg. 39 Deao, Alfredo. Introduccin a la lgica formal. 2004. Alianza editorial. Pg. 39 Ibd. Pg. 39

12 13