INTRODUCCIN A LA LGICA

LA NECESIDAD DEL ARTE DEL RAZONAMIENTO:

Cuando uno de sus oyentes dijo, Convnceme de que la lgica es til, l respondi: Debo demostrarlo?. Si. Entonces, no debo usar un argumento demostrativo? Y cuando es otro se mostr de acuerdo, l dijo. Cmo sabrs que no te impongo simplemente la conclusin? Y, puesto que su interlocutor no tuvo respuesta, le dijo: Ves como t mismo aceptas que la lgica es necesaria?, sin ella no podras aprender siquiera si es o no necesaria
-Discursos de Epcteto

RAFAEL MORA - I17

EPGRAFE

En Fausto, una de las obras de Goethe, Mefistfeles responde una pregunta (que un joven estudiante le hace acerca de cmo conocer la verdad en el cielo y en la tierra) de la siguiente manera: Le aconsejo querido amigo seguir primero el curso de Lgica. All le peinarn debidamente el espritu, se lo calzaran en boca de tortura, de suerte que se deslice con mas tiento por el sendero del pensar y no tuerza ac y all y se descarrie. En realidad, la fbrica de pensamientos es como la obra maestra del tejedor: A un golpe de pedal se mueven mil hilos, suben y bajan las devaneras, corren invisibles los cabos, y un golpecito solo fragua miles de combinaciones. As tambin el filsofo aparece y nos demuestra cmo se debe proceder: lo primero tiene que ser as, lo segundo tiene que ser as, y de ah se deriva lo tercero y lo cuarto, y si no existiera lo primero y lo segundo, no tendramos nunca lo tercero y lo cuarto. As aprecian los discpulos por doquier, pero ninguno ha llegado a ser tejedor. Quien aspira a conocer y describir algo vivo, busca ante todo desentraar el espritu; tiene entonces las partes en sus manos. Y slo falta por desgracia!, el lazo espiritual.

QU ES LA LGICA?

La lgica es el lenguaje del razonamiento. Formalmente, es la ciencia que se ocupa de la validez de la inferencia y la demostracin. Coloquialmente, Lewis Carroll escribi al respecto de la naturaleza de la lgica:
Si ocurri, puede ser, y si ocurriera, sera. Pero como no ocurre, no es. Eso es la lgica

Lo que nos dice Carroll es que la lgica tiene que ver con nuestra manera de razonar. Y, como l lo dice, de eso trata la lgica. Todos razonamos. Tratamos de razonar sobre las bases de lo que ya sabemos. Tratamos de persuadir a otros de que algo es as dndoles razones. La lgica es el estudio de lo que cuenta como una buena razn para explicar para qu y por qu. A la lgica no le interesa si las premisas de una inferencia son verdadera o falsas. se es asunto de alguien ms. Le interesa simplemente si la conclusin se sigue o resulta de

FUNCIONES DEL LENGUAJE I

FUNCION EXPRESIVA Cuando se usa el lenguaje para comunicar sentimientos, valores, actitudes y emociones. El lenguaje sirve a la funcin expresiva siempre que se usa para expresar o inducir sentimientos o emociones. Ejemplos: Por Jpiter! Casi me saco la lotera! Valentn es bueno El viento de la noche gira en el cielo y canta Bravo! Qu felicidad! Es hielo abrazador, es fuego helado, es herida, que duele y no se siente, es un soado bien, un mal presente, es un breve descanso muy cansado.

FUNCIONES DEL LENGUAJE II

FUNCION APELATIVA Cuando se usa el lenguaje para generar o evitar una accin, puede tratarse de una orden, un pedido, una prohibicin, una interrogante etctera. Cuando un padre le dice a su hijo que se lave las manos antes de comer, la intencin no consiste en comunicar una informacin o en expresar o evocar una emocin en particular. El lenguaje intenta en este caso obtener resultados, ocasionar la accin de tipo previsto. Ejemplos: Estas estudiando? Debemos honrar a nuestros hroes a los smbolos patrios. Nadie ser sometido a torturas ni a penas o tratos crueles, inhumanos o degradantes. Guame, oh Seor, por la senda de tu justicia: haz que sea recto ante tus ojos mi camino por causa de mis enemigos. Firmes!, Descanso!, Atencin!

FUNCIONES DEL LENGUAJE III

FUNCIN INFORMATIVA Cuando se usa el lenguaje para describir objetos, hechos o situaciones, haciendo referencia a las caractersticas o cualidades que se supone, le corresponden efectivamente. El lenguaje usado para para afirmar o negar proposiciones, o para presentar argumentos, se dice que sirve a la funcin informativa. Ejemplos: El cuadriltero es un polgono de 4 lados El planeta Marte gira alrededor del Sol El agua se congela a cero grados centgrados en condiciones normales J. M. Arguedas escribi El Sexto. La lgica es una ciencia formal

CONCEPTOS BSICOS -I

PROPOSICIN De todas estas funciones del lenguaje, la lgica toma en cuenta slo aquellas oraciones que sirvan para afirmar, negar, describir, informar, etc. Estas oraciones son las declarativas o aseverativas y son las nicas que pueden constituir proposiciones, segn cumplan o no determinados requisitos.
La proposicin es una oracin aseverativa de la que tiene sentido decir que es verdadera o falsa. Ejemplos: El ornitorrinco es ave. El tomo es molcula. Arguedas es un poeta peruano Per est en Europa. Cinco ms tres es ocho.

Es importante notar que lo que interesa bsicamente en una expresin proposicional es su sentido de verdad o falsedad, porque oraciones distintas pueden expresar una misma proposicin. Por ejemplo, las 3 oraciones siguientes expresan una sola proposicin:
Luis y Mara son compaeros de promocin. Luis es compaero de promocin de Mara Mara es compaera de promocin de Luis.

De igual modo las siguientes oraciones en diferentes idiomas expresan la misma proposicin:
El cielo est nublado The sky is cloudy Le ciel est nuageux

CONCEPTOS BSICOS -II

INFERENCIA Una inferencia (razonamiento, deduccin, argumentacin o argumento) es una operacin lgica (estructura de proposiciones) que consiste en derivar a partir de la verdad de ciertas proposiciones conocidas como premisas la verdad de otra proposicin conocida como conclusin. Las premisas de una inferencia son proposiciones que ofrecen las razones para aceptar la conclusin. La conclusin de una inferencia es la proposicin que se afirma sobre la base de las premisas. Preceden a la conclusin las palabras luego, por tanto, por consiguiente, en consecuencia, etc. Ejemplos:
Ningn metaloide es metal, puesto que todos los metales son cuerpos brillantes y ningn metaloide es cuerpo brillante. Si estoy viendo una pelcula, entonces estoy en el cine. Estoy viendo una pelcula. Por tanto, estoy en el cine. Juan es buen alumno o buen hijo. Juan no es buen alumnos. Por tanto, Juan es buen hijo. Si 2x=8, entonces x = 4. Y, 2x=8. Por lo tanto, x=4.

CONCEPTOS BSICOS -III

LA VALIDEZ La verdad o falsedad de las proposiciones en relacin con los hechos no es asunto que est dentro del alcance de la lgica. Lo nico que podemos hacer en la lgica es determinar qu ocurre si suponemos que una proposicin es verdadera o falsa, cuando estas se combinan para dar lugar a argumentos. Los razonamientos a diferencia de las proposiciones no son verdaderos ni falsos, sino vlidos o invlidos. As, por ejemplo, es fcil ver que el siguiente argumento es vlido porque la conclusin se deriva de las premisas:
Si hoy es lunes, entonces las tiendas estn abiertas. Hoy es lunes. Por consiguiente, las tiendas abiertas.

Mientras, por el contrario en el siguiente razonamiento no hay conexin entre premisas y conclusin:
Si hoy es lunes, entonces las tiendas estn abiertas. Hoy es lunes. Por lo tanto, hace calor.

La validez de los argumentos se puede explicar de dos maneras diferentes: Validez sintctica: un argumento es vlido sintcticamente hablando cuando de las premisas p1 pn se obtiene la conclusin k mediante aplicacin de reglas a las premisas. Las reglas son proposiciones compuestas tautolgicas y, por tanto, siempre son verdaderas. Validez semntica: un argumento es vlido semnticamente hablando cuando no es posible que las premisas p1 pn sean verdaderas y la conclusin k falsa. Esto quiere decir que en un argumento vlido con premisas verdaderas, la conclusin tiene que ser verdadera. La verdad es,

CLASIFICACIN DE LAS INFERENCIAS

Es comn distinguir entre dos tipos de validez. Para entenderlo, consideremos las tres siguientes inferencias:
1. Si el ladrn hubiera entrado por la ventana de la cocina, habra huellas afuera; pero no hay huellas; as pues, el ladrn no entr por la entrada de la cocina. 2. Juan tiene manchas de nicotina en los dedos; por lo tanto, Juan es un fumador. 3. Juan compra dos paquetes de cigarros al da; por lo tanto, alguien dej huellas afuera de la ventana de la cocina.

La primera inferencia es muy sencilla. Si las premisas son verdaderas, la conclusin deber serlo. O para ponerlo de otra manera, las premisas no podras ser verdaderas sin que la conclusin tambin lo fuera. Los lgicos llaman deductivamente vlidas a las inferencias de este tipo. La inferencia nmero 2 es un poco diferente. La premisa da claramente una buena razn para la conclusin, pero no es por completo conclusiva. Despus de todo, Juan simplemente pudo haberse manchado los dedos para hacer creer a la gente que es fumador. As que la inferencia no es deductivamente vlida. De estas inferencias se dice que son inductivamente vlidas.

La inferencia nmero 3, en contraste, no tiene posibilidad alguna bajo cualquier estndar. La premisa no parece aportar ningn tipo de razn para la conclusin. Es invlida tanto deductiva como inductivamente.
Las inferencias deductivas o inductivas segn tengan una o ms premisas pueden clasificarse en: inmediatas y mediatas. Ejemplo:
Todo argentino es sudamericano. Luego, algn argentino es sudamericano.

Esta inferencia deductiva es inmediata puesto que usa tan solo una premisa.
Juan es hermano de Pedro. Pedro lo es de Olga. Olga lo es de Mara. Por lo tanto, Juan es hermano de Mara.

EJERCICIOS -I

1. Qu es la lgica? A) Como sustantivo es el sentido comn, la coherencia, el buen sentido, la sensatez, la razn o actitud racional. Tambin se hace uso del sustantivo lgica para referirse a una determinada estructura o a la forma que asume cierto mbito o conjunto de elementos de cierto ndole. B) La lgica es el instrumento del pensamiento y del pensar correcto. Sin embargo, la lgica no es la ciencia de las leyes del pensamiento ya que no es una rama de la Psicologa. Tampoco es la ciencia del razonamiento, ya que al lgico slo le interesa la correccin del proceso del razonamiento una vez terminado ste. C) La lgica matemtica (o simblica o moderna) comprende la Teora de los Conjuntos y la Teoria de las Funciones Computables que es el aspecto matemtico de lo que se conoce como Ciencia de la Computacin. D) La lgica es una ciencia formal que utiliza las tcnicas, procedimientos, reglas, mtodos y principios necesarios para discriminar la inferencia vlida de la no vlida. Es una ciencia formal porque ella atiende slo al aspecto estructural de las inferencias sin considerar el contenido significativo de sus proposiciones componentes. E)La lgica moderna se caracteriza por la formalizacin, el clculo, la axiomatizacin y la simbolizacin. Se divide en lgica de proposiciones no analizadas (o simplemente lgica proposicional, o de grado cero) y en lgica de proposiciones analizadas (o lgica de trminos, de predicados, de primer orden, o predicativa)

2. Identifique las funciones a las que sirven las siguientes oraciones:

Los alumnos que estn reunidos en el pasillo hacen ruido

Si yo volase tan alto El nmero 2 es primo y par a la vez Al! Agg! Nicols de Pirola es el presidente de E.E. U.U.

EJERCICIOS -II3. Indique cul de las siguientes es una proposicin de la cual podra decirse que correcto afirmar que es verdadera o falsa: A) La noche est estrellada y tiritan azules los astros a los lejos B) Carla es bisilbica y Carla es mi amiga C) Fuego!, Fuego!, Fuego! D) Ojal hubiera extraterrestres, y genios de lmparas maravillosas E) As es la vida, te quita, te pone, te sube, te baja y a veces te lo da. 4. Indique la inferencia deductiva: A) Llovi ayer, y tambin anteayer, por lo tanto, hoy tambin llover. B) Si Juan es mdico entonces curar a Pedro, Juan no curar a Pedro. Luego, Juan no es mdico. C) Te vi y estudie la situacin, de ah cuando descubr tu taln de Aquiles supe como vencerte. D) La mam de Carla dio a luz el ao 1899, tambin el ao 1900, y tambin el ao 1901. Es de esperarse que el ao 1902 tambin nos venga con una agradable sorpresa. E) Yo quiero que escuches, imagen de mi alma que te ama y te adora como una aventura que nadie ha gozado, tu imagen quedar grabada para ser dichosa por tu falso amor.

EJERCICIOS -III

5. Analice el siguiente vals Regresa compuesto por Augusto Polo Campos (e interpretado magistralmente por Lucha Reyes) y diga cules oraciones estn siendo usadas con una finalidad expresiva, directiva o imperativa.
Te estoy buscando
Porque mis labios extraan tus besos de fuego. Te estoy llamando Y en mis palabras tan tristes mi voz es un ruego. Te necesito Porque sin verte mi vida no tiene sentido Y van, y van por el mundo mis pasos perdidos buscando el camino de tu comprensin Apidate de mi! Si tienes corazn, escucha en sus latidos la voz de mi dolor. Pero regresa! para llenar el vacio que dejaste al irte, regresa, regresa aunque sea para despedirte No dejes que muera sin decirte adis! Te estoy buscando

EJERCICIOS -IV

6. Proceda igual que en el caso anterior con este estribillo del vals El plebeyo compuesto por Felipe Pinglo Alva (e interpretado por Jess Vasquez). [] Trmulo de emocin dice as en su cancin: El amor siendo humano tiene algo de divino,

Amar no es un delito porque hasta Dios am.

Y si el amor es puro, el deseo es sincero porque robarme quieren la fe del corazn? Mi sangre aunque plebeya tambin tie de rojo y el alma en que se anida mi incomparable amor. Ella de noble cuna y yo, un humilde plebeyo, no es distinta la sangre ni es otro el corazn. Seor! por qu los seres no son de igual valor?! []

TEOREMA (O PROPIEDAD) DE EXISTENCIA

En todo tringulo la longitud de un lado es mayor que la diferencia de las longitudes de los otros dos y menor que la suma de las mismas (propiedad de existencia)

En el tringulo ABC, sean a, b y c longitudes diferentes. Se cumple: b-c<a<b+c

PARADOJA DE LA EXISTENCIA DE LOS TRINGULOS

Dado un tringulo ABC, determinemos sus puntos medios. Unamos los puntos medios de dos lados consecutivos, y luego unamos los puntos medios de otros dos lados consecutivos. Lo que obtendremos ser un paralelogramo. Nos daremos cuenta que la suma de dos lados consecutivos es la misma que la recta quebrada originada por el intercambio de segmentos del paralelogramo. (FIGURA 1) Si el proceso de unir puntos medios de dos lados consecutivos lo continuamos ejecutando en los tringulos DBE y FEC, obtendremos una lnea quebrada cada vez ms pegada al lado BC. (FIGURA 2) Esto implicara aceptar que la suma de dos lados consecutivos de un tringulo es idntico al tercero lo cual contradice al teorema, propiedad o principio de existencia de los tringulos.

FIGURA 1

FIGURA 2

BIBLIOGRAFA

GARCA ZRATE, scar. (2007) Lgica. Lima: UNMSM. PRIEST, G. (2006) Una brevsima introduccin a la lgica. Mxico: Ocano. REA RAVELLO, Bernardo. (2003) Introduccin a la Lgica. Lima: Mantaro. ROSALES, D. (1994) Introduccin a la Lgica. Lima: Amaru. CAMACHO, Luis. (2003) Lgica Simblica Bsica. Mxico: Limusa. COPI, I. & C. COHEN. (2001) Introduccin a la Lgica. Mxico: Limusa.

PISCOYA, Luis. (1997) Lgica. Lima: UNMSM.

HART, Wilbur D. Les Liaisons dangereuses. En: I Curso Internacional de Filosofa: Epistemologa y Metodologa de las Ciencias 2 abril - 4 mayo de 2007, UNMSM, p. 13. Originalmente en: Andrew Irving (ed.), Philosophy of mathematics, XI Vol. de The Handbook of the Philosophy of Science, msterdam, North-Holland/ Elsevier. (En prensa.) Ir a: www.cesfia.org.pe POLO CAMPOS, A. (2008) Regresa. Vals peruano interpretado por Lucha Reyes en: http://www.youtube.com/watch?v=ThJPWplemN0 PINGLO ALVA, F. (2008) El Plebeyo. Vals peruano interpretado por Jess Vasquez en: http://www.youtube.com/watch?v=bGhTWzMmzIw