La lgica es la disciplina filosfica que tiene un carcter formal, ya que estudia la estructura o formas de pensamiento (tales como conceptos,

proposiciones, razonamientos) con el objeto de establecer razonamientos o argumentos vlidos o correctamente lgicos. Adems de estudiar las estructuras que conforman el pensamiento, a la lgica le interesa descubrir las leyes y los principios que permiten conducirnos con rigor, precisin y verdad hacia el conocimiento.

DEFINICIN DE GREGORIO FINGERMAAN

Para este autor la lgica es: "La ciencia de las leyes y de las formas del pensamiento, que nos da normas para la investigacin cientfica y nos suministra un criterio de verdad"

DEFINICIN DE AUTORES DIVERSOS

a) "La lgica es la ciencia de la demostracin, pues slo se preocupa de formular reglas para alcanzar verdades a travs de la demostracin" (Aristteles). b) "La lgica o arte de razonar es la parte de la ciencia que ensea el mtodo para alcanzar la verdad" (San Agustn). c) "La lgica es la ciencia de las leyes necesarias del entendimiento y de la razn" (Kant). d) "La lgica es la ciencia de la idea pura de la idea en el elemento abstracto del pensamiento" (Hegel). e) "La lgica es la ciencia de las aspiraciones intelectuales que sirven para estimacin de la prueba" (J. S. Mill).

CARACTERIZACIN DE LA LGICA
Segn las diferentes maneras de concebir o entender la lgica, sta se ha venido caracterizando como: a) Una disciplina terica. En cuanto que es considerada como una ciencia o un conocimiento "que investiga, desarrolla y establece los principios fundamentales proveyendo los mtodos necesarios para distinguir el razonamiento correcto del incorrecto. A travs de todos estos procesos, la lgica pretende encontrar la verdad".3 b) Una disciplina prctica o normativa. En la medida en que entraa una tcnica, un arte o una destreza que nos permite interpretar el razonamiento correcto y a la vez criticar el razonamiento incorrecto, de la manera como lo hizo Aristteles en sus refutaciones sofsticas. As, muchas veces se dice que la utilidad de la lgica estriba en que nos ensea a pensar correctamente y que, por ello, ms que una ciencia es un verdadero arte o entrenamiento de nuestras facultades cognoscitivas. Muchas veces se dice que la lgica es una "gimnasia" mental que nos entrena a usar correctamente nuestro intelecto.

LEYES DEL PENSAMIENTO: LOS PRINCIPIOS LGICOS SUPREMOS

La ciencia, dice Aristteles, "se deriva de principios que son necesarios" y que no necesitan ser demostrados porque son en s mismos evidentes. De esta manera, la ciencia, el conocimiento mismo, parte de ciertos principios fundamentales o "puntos de partida", sin los cuales no sera posible pensar con orden, con sentido y rigor lgico. La lgica tradicional nos habla de los principios lgicos supremos que rigen el proceso del pensamiento. Estos principios son de tal amplitud que se aplican a las distintas ciencias particulares (matemtica, fsica, historia, etctera). El campo extraordinariamente amplio de aplicacin de las leyes de la lgica se explica por el hecho de que estas leyes reflejan facetas y relaciones de los objetos del mundo material tan simples que se dan en todas partes. Estos principios lgicos son cuatro:

A) EL PRINCIPIO DE IDENTIDAD
Este principio establece que todo objeto es idntico a s mismo y se simboliza de esta manera: "A es A" Decir que una cosa es idntica a s misma significa que una cosa es una cosa. Podemos decir que una cosa cambia constantemente, sin embargo, sigue siendo ese mismo objeto, pues si no fuese as, no podramos decir que ese objeto ha cambiado. Todas las cosas, por mucho que stas cambien, tienen algo que las identifica, un sustrato lgico que nos permite identificarlas en la totalidad de sus diversas situaciones. La identidad es una ley de nuestro pensamiento, ya que ste reclama buscar la identidad de las cosas.

B) EL PRINCIPIO DE NO CONTRADICCIN
Este principio se enuncia diciendo: "es imposible que algo sea y no sea al mismo tiempo y en el mismo sentido". En forma esquemtica se puede simbolizar as: "Es imposible que A sea B y no sea B." Por ejemplo, no es posible que un objeto sea un libro y no sea, a la vez, un libro. Es posible pensar que el objeto pueda ser algo ahora y no ser ese algo despus, pero no al mismo tiempo. As, lo que antes fue un libro puede ser ahora basura o cenizas. Yo puedo estar aqu ahora y no estar despus, pero no al mismo tiempo. As como el principio de identidad nos dice que una cosa es una cosa, el principio de no contradiccin nos dice que una cosa no es dos cosas a la vez. En el plano lgico, de los juicios, este principio de no contradiccin nos dice que: dos juicios contradictorios entre s no pueden ser verdaderos los dos. Por ejemplo: "Todos los hombres son mortales." "Algunos hombres no son mortales." En este caso, slo el primer juicio es verdadero.

C) EL PRINCIPIO DEL TERCERO EXCLUIDO

Este principio declara que todo tiene que ser o no ser "A es B" o "A no es B". Si decimos, por ejemplo, que "el perro es un mamfero" y que "el perro no es mamfero", no podemos rechazar estas dos proposiciones como falsas, pues no hay una tercera posibilidad. En el principio de tercero excluido es preciso reconocer que una alternativa es falsa y otra verdadera y que no cabra una tercera posibilidad.

D) EL PRINCIPIO DE RAZN SUFICIENTE

Este principio, a diferencia de los otros, no fue planteado por Aristteles, sino por el filsofo alemn Wilhelm Leibniz (1646-1716). El principio de razn suficiente nos dice que "todo objeto debe tener una razn suficiente que lo explique". Lo que es, es por alguna razn, "nada existe sin una causa o razn determinante". Dice Leibniz en su Monadologa: Nuestros razonamientos estn fundados sobre dos grandes principios: el de contradiccin, en virtud del cual juzgamos falso lo que implica contradiccin, y verdadero lo que es opuesto o contradictorio a lo falso, [...] y el de razn suficiente, en virtud del cual consideramos que no podra hallarse ningn hecho verdadero o existente, ni ninguna enunciacin verdadera, sin que haya una razn suficiente para que sea as y no de otro modo. Aunque estas razones en la mayor parte de las cosas no pueden ser conocidas por nosotros.

El principio de razn suficiente nos da respuesta a una exigencia natural de nuestra razn, segn la cual nada puede ser nada ms "porque s", pues todo obedece a una razn. Pongamos algunos ejemplos que ilustran este principio lgico supremo: El cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos por alguna razn, y esa razn se nos da cuando hacemos la demostracin del teorema [de Pitgoras]. Los planetas se mueven en rbitas elpticas por alguna razn, y esa razn aparece cuando acudimos a la ley de la Gravitacin Universal. La Revolucin mexicana se produjo por alguna razn, y esa razn surge cuando estudiamos sus antecedentes y consecuencias. En suma, el principio de razn suficiente nos dice: "todo tiene una razn de ser".

HISTORIA DE LA LGICA
"Antes del pensamiento que aspira a una coherencia lgica hallamos fe en una u otra magia El nacimiento de la lgica propiamente dicho est directamente relacionado con el nacimiento intelectual del ser humano. La lgica emerge como mecanismo espontneo en el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla. Poncair destaca cinco etapas o revoluciones en ese proceso que se presentan entre dos grandes tpicos: del rigor y la formalidad, a la creatividad y el caos. Las etapas se identifican como: Revolucin Matemtica, Revolucin Cientfica, Revolucin Formal y Revolucin Digital adems de la prxima y prevista Revolucin Lgica. .

LGICA MATEMTICA
La lgica matemtica cuestiona con rigor los conceptos y las reglas de deduccin utilizados en matemticas lo que convierte la lgica en una especie de metamatemtica. Una teora matemtica considera objetos definidos -enteros, por ejemplo- y define leyes que relacionan a estos objetos entre s, los axiomas de la teora. De los axiomas se deducen nuevas proposiciones -los teoremas-, y a veces, nuevos objetos. La construccin de sistemas formales -formalizacin, piedra angular de la lgica matemtica-, permite eliminar la arbitrariedad en la eleccin de los axiomas y definir explcita y exhaustivamente las reglas de la deduccin matemtica.

LAS MATEMTICAS Y LA LGICA

Del ao 600 aC hasta 300 aC se desarrollan en Grecia los principios formales de las matemticas. Este periodo clsico lo protagonizan Platn, Aristteles y Euclides. Platn propone ideas o abstracciones. Aristteles resuelve el razonamiento deductivo y sistematizado. Euclides es el autor que establece el mtodo axiomtico. En los Elementos Euclides organiza las pruebas deductivas de que dispone dentro de una estructura sistemtica, rigurosa, altamente eficaz.

PLATN
Platn, 427aC - 347 aC, propone instaurar en Siracusa una utpica repblica dirigida por filsofos. Crea la Academia de Atenas que no era solo una institucin filosfica, sino centro de formacin poltica para jvenes aristcratas. Segn algunos especialistas, Platn edifica su teora del conocimiento con el fin de justificar el poder emergente de la figura del filsofo. Sostiene la existencia de dos mundos -el mundo de las ideas y el de mundo fsico de los objetos. Segn Platn, lo concreto se percibe en funcin de lo abstracto y por tanto el mundo sensible existe gracias al mundo de las ideas. Platn escoge el formato dilogo como forma de transmisin del pensamiento.

ARISTTELES
Los tratados de lgica de Aristteles, 384aC - 332 aC, conocidos como Organn, contienen el primer tratado sistemtico de las leyes de pensamiento para la adquisicin de conocimiento. Representan el primer intento serio que funda la lgica como ciencia. Aristteles no hace de la lgica una disciplina metafsica sino que establece correspondencias recprocas entre pensamiento lgico y estructura ontolgica. El silogismo fue adoptado por los escolsticos que representan el sistema teolgicofilosfico, caracterstico de la Edad Media. La escolstica, sin embargo, acab por sobrecargar la teora del silogismo, lo que acarre su descrdito a partir del Renacimiento. Los lgicos de la edad moderna como Rame, Arnauld, Nicole, Leibniz, Euler, y Lambert procuraron simplificarla al mximo, y su tratamiento matemtico se complet hasta principios del siglo XX con Boole, De Morgan, Frege y Russell. Desde entonces el silogismo se incluye en la lgica de predicados de primer orden y en la lgica de clases, y ocupa en la ciencia lgica un papel mucho menor que en otros tiempos.

EUCLIDES
Matemtico alejandrino autor de la universal obra, los clebres Elementos. Uno de los textos matemticos ms relevantes de la historia del pensamiento cientfico hasta del siglo XIX. Los Elementos estn divididos en XIII Libros y constituyen la recopilacin ms exhaustiva de las matemticas conocidas en el ao 300 aC. Su valor universal lo propaga el uso riguroso del mtodo deductivo que distingue entre principios -definiciones, axiomas y postulados-, y teoremas, que se demuestran a partir de los principios. A lo largo de la historia se mantuvo la sospecha de que el quinto postulado era demostrable a partir de los anteriores. El deseo de resolver tal hiptesis ocupa hasta el siglo XIX con la construccin de las geometras no euclidianas y se deduce con ellas la imposibilidad de demostrar el quinto postulado.

APOLONIO DE PERGA
La obra sobre curvas cnicas de Apolonio de Perga, un gemetra de la poca helenstica-, inicialmente dirigido a euclidianos exquisitos, se convirti en manual para balsticos del Renacimiento como Tartaglia y, poco despus, en base inmediata de la dinmica newtoniana.

LA CIENCIA MATEMTICA Ante el retroceso de la escuela clsica de los griegos se presentan periodos de autoridad religiosa. El Renacimiento es el inicio de una nueva revolucin que revive la ciencia y las matemticas. Los representantes ms destacados son Descartes, Newton y Leibniz. Este periodo abarca del ao 1500dC al 1800 dC.

REN DESCARTES
Filsofo y matemtico francs, 1596-1650, parte de la duda universal como principio y prescinde de cualquier conocimiento previo que no quede demostrado por la evidencia con que ha de manifestarse el espritu. Descartes duda de toda enseanza recibida, de todo conocimiento adquirido, del testimonio de los sentidos e incluso de las verdades de orden racional. Llegado a este punto, halla una verdad de la que no puede dudar: la evidencia interior que se manifiesta en su propio sujeto (pienso, luego existo). Como cientfico, se debe a Descartes, entre otras aportaciones de considerable importancia, la creacin de la geometra analtica a la vez que aporta un corpus cuantitativo al asunto y permite el uso de mtodos algebraicos. La geometra exige ser cuantitativa para ser usada en ciencia e ingeniera, y los mtodos algebraicos permiten el desarrollo ms rpido que los mtodos sistemticos -a su vez ms rigurosos- requeridos por el enfoque axiomtico de la geometra clsica. Ubi dubium ibi libertas, donde hay duda hay libertad.

ISACC NEWTON A Isacc Newton , 1642-1727, se le debe el descubrimiento de la gravitacin universal, el desarrollo del clculo infinitesimal e importantes descubrimientos sobre ptica, as como las leyes que rigen la mecnica clsica que alimentara el nacimiento de la mecnica cuntica. Su obra fundamental, Principios matemticos de la filosofa natural (1686).

GOTTFRIED W. LEIBNIZ
Filsofo y matemtico alemn, 1646-1716; fund la Academia de Ciencias de Berln, 1700. En Discurso sobre el arte combinatorio enuncia la necesidad de un lenguaje riguroso, exacto y universal puramente formal. Como matemtico, su principal trabajo publicado en 1684 es la memoria Nuevo mtodo para la determinacin de los mximos y los mnimos, en la que expone las ideas fundamentales del clculo infinitesimal, anticipndose unos aos a Newton. La notacin que emple es particularmente cmoda y se sigue utilizando con algunas modificaciones; introdujo el smbolo de integral y de diferencial de una variable. En el rea de lgica matemtica publica Generales inquisitiones de analysi notionum et veritatum y Fundamenta calculi logici .

GEORG WILHELM FRIEDRICH HEGEL

Filsofo alemn, 1770-1831; fascinado por la obra de Kant y de Rousseau. Autor de Ciencia de la lgica se le atribuye con este trabajo la constitucin de la lgica dialctica entendida como principio motor del concepto que disuelve y produce las particularidades de lo universal.

NIKOLAI I. LOBACHEVSKY
Matemtico ruso, 1792-1856; funda la Geometra No Euclidiana y renueva por ello los fundamentos que hasta ese momento cimentaban la ciencia de la Geometra. Lobachevsky lleva a cabo su revolucin en el planteamiento que hasta entonces haba utilizado la ciencia Matemtica para resolver el enigma del quinto postulado de Euclides que a su vez sirve de puerta a Lobachevsky para adentrarse en los renovados campos de lo fsico y lo real.

FORMALIZACIN DE LAS MATEMTICAS

Esta etapa se caracteriza por el resurgimiento de la formalizacin rigurosa de las matemticas, que en la etapa clsica griega fu representativa. El uso de los infenitesimales fue una de las prcticas ms notoria en la poca renacentista, para la cual no se ofreca una justificacin. La rigorizacin del anlisis lleg con la eliminacin de los infinitesimales y la presencia de los lmites como argumento. En este periodo se crea la lgica simblica, la escuela formal, la lgica booleana, el clculo proposicional, la induccin matemtica, el clculo de secuentes,.... Personajes muy notables de esta etapa son: Peano, Hilbert, Frege, Boole, de Morgan, Gentzen, Russell, Gdel y Whitehead. A Rusell y Gdel se deben los planteamientos de las limitantes de la lgica y de la ciencia en general.

GUISEPPE PEANO
La enunciacin de los principios del italiano Guiseppe Peano, 1858-1932, acerca de lgica matemtica y su aplicacin prctica quedaron contenidos en su obra Formulaire de mathematiques. Los axiomas de Peano permiten definir el conjunto de los nmeros naturales.

DAVID HILBERT
Matemtico alemn, 1862-1943, aporta grandes avances a campos fundamentales de la relatividad y la mecnica cuntica con la Teora de Invariantes y el concepto de Espacio de Hilbert. A partir de las fuentes griegas de Euclides, publica en 1899 su obra Fundamentos de Geometra, en la que formula sus principios de axiomatizacin de la geometra. Segn sus teoras, es necesario establecer un conjunto de postulados bsicos antes de plantear de modo ms detallado cualquier tipo de problema fsico o matemtico. Estos principios deben ser simblicos, sin recurrir a dibujos y representaciones grficas, y es necesario preveer la mayora de las posibilidades con antelacin. Su concepcin reconoca tres sistemas de entes geomtricos, puntos, rectas y planos a los que pueden aplicarse axiomas distribuidos en cinco categoras: pertenencia, orden, igualdad o congruencia, paralelismo y continuidad.

FRIEDRICH G. FREGE
Junto con Boole y Peano, el matemtico y lgico Friedrich G. Frege, 1848-1925, partiendo del anlisis de los fundamentos de la matemtica lleva a cabo la ms profunda renovacin y desarrollo de la lgica clsica hasta el momento. Es el primero en introducir los cuantificadores u operadores y en elaborar una Teora de la Cuantificacin.

GEORGE BOOLE
El lgico y matemtico George Boole, 1815-1864 aplica el clculo matemtico a la lgica, fundando el lgebra de la lgica. En cierto modo realiza el sueo de Leibniz de una characteristica universalis o clculo del raciocinio. El empleo de smbolos y reglas operatorias adecuados permite representar conceptos, ideas y razonamientos mediante variables y relaciones (ecuaciones) entre ellas. Boole dio un mtodo general para formalizar la inferencia deductiva, representando complicados raciocinios mediante sencillos sistemas de ecuaciones. As, la conclusin de un silogismo se encuentra eliminando el trmino medio de un sistema de tres ecuaciones, conforme a las reglas del lgebra comn, La formalizacin de la lgica, iniciada por Boole, ha contribuido poderosamente a aclarar la estructura de los objetos lgicos, en contraposicin a los materiales y aun en contraposicin a los matemticos, pese a las analogas formales entre la matemtica y la lgica, que Boole seal. Su obra principal es Investigacin de las leyes del pensamiento en las que se fundan las teoras matemticas de la lgica y la probabilidad, 1854, que an hoy se lee con deleite.

AUGUSTUS DE MORGAN

La mayor contribucin de Augustus De Morgan (18061871) en el estudio de la lgica incluye la formulacin de las Leyes de Morgan y su trabajo fundamenta la teora del desarrollo de las relaciones y la matemtica simblica moderna o lgica matemtica. De Morgan es autor de la mayor contribucin como reformador de la lgica.

GEORG F. CANTOR
Al matemtico alemn Georg F. Cantor, 1845-1918, se debe la idea del infinito continuo, es decir, la posibilidad de considerar conjuntos infinitos dados simultneamente. Se le considera el creador de la teora de los nmeros irracionales y de los conjuntos.

GENTZEN
El alemn Gentzen (1909-1945) formul la prueba de la consistencia de un sistema de aritmtica clsica en el cual el mtodo no elemental es una extensin de induccin matemtica a partir de una secuencia de nmeros naturales a un cierto segmento de nmeros ordinales transfinitos.

BERTRAND RUSELL
Bertrand Rusell (1872-1970) es uno de los creadores de la logstica y uno de los pensadores de mayor influencia en la filosofa cientfica contempornea. Lo fundamental en su obra es su aportacin a la lgica. Antiaristotlico por excelencia lleg a afirmar que para iniciarse en lgica lo bsico era no estudiar la lgica de Aristteles. Conociendo los trabajos de Cantor descubre en la Teora de Conjuntos varias paradojas que resuelve mediante la Teora de los Tipos. Aos ms tarde establece una teora similar, -la de la jerarqua de los lenguajes- para eliminar las paradojas semnticas. Siguiendo adems de los trabajos de Cantor, a Peano y Frege, Rusell se propone fundamentar y axiomatizar la matemtica a partir de conceptos lgicos. Este empeo culmina con la publicacin (1910-1913) de los monumentales Principia Mathematica -en colaboracin con Whitehead-, obra que, adems, sienta las bases de la moderna lgica formal.

KURT GDEL
Kurt Gdel (1906-1978) aporta mltiples contribuciones a la lgica matemtica, destacando la demostracin de la consistencia de la hiptesis cantoriana del continuo y el teorema y prueba de incompletez semntica. En Sobre las proposiciones indecidibles de los sistemas de matemtica formal establece que es imposible construir un sistema de clculo lgico suficientemente rico en el que todos sus teoremas y enunciados sean decidibles dentro del sistema. Con este teorema se demostr definitivamente que era imposible llevar a cabo el programa de la axiomatizacin completa de la matemtica propugnado por Hilbert y otros, ya que, segn l, no puede existir una sistematizacin coherente de la misma tal que todo enunciado matemtico verdadero admita demostracin. Siempre habr enunciados que no son demostrables ni refutables. Para probar esta asercin se sirvi de la matematizacin de la sintaxis lgica.

LA REVOLUCIN DIGITAL
Esta revolucin se inicia con la invencin de la computadora digital y el acceso universal a las redes de alta velocidad. Turing relaciona lgica y computacin antes que cualquier computadora procese datos. Weiner funda la ciencia de la Ciberntica. En las Escuelas modernas de Computacin estn presentes Lgicos que han permitido avances importantes como Hoare que presenta un sistema axiomtico de los sistemas de programacin y Dijkstra con un sistema de verificacin y deduccin de programas a partir de especificaciones.

ALAN TURING
Matemtico y Lgico pionero en Teora de la Computacin que contribuye a importantes anlisis lgicos de los procesos computacionales. Las especificaciones para la computadora abstracta que l idea -conocida como Mquina de Turing-, resulta ser una de sus ms importantes contribuciones a la Teora de la Computacin. Turing adems prueba que es posible construir una mquina universal con una programacin adecuada capaz de hacer el trabajo de cualquier mquina diseada para resolver problemas especficos. La Mquina de Turing es un intento para determinar si la matemtica se puede reducir a algn tipo simple de computacin. Su objetivo fu desarrollar la mquina ms simple posible capaz de realizar computacin. La mquina propuesta por Turing es un dispositivo relativamente simple, pero capaz de realizar cualquier operacin matemtica. Turing se ilusion con la idea de que su mquina poda realizar cualquier proceso del cerebro humano, inclusive la capacidad de producir conciencia de uno mismo.

NORBERT WEINER
El cientfico norteamricano Norbert Weiner (1894-1964) en 1947 publica su libro ms famoso: Ciberntica, o control y comunicacin en el animal y la mquina; en donde se utiliza por primera vez la palabra Ciberntica. Existen muchas definiciones de Ciberntica -del griego kybernetes, piloto-, y Norbert Weiner da vida a la palabra con una definicin simple: La Ciberntica es la ciencia que estudia la traduccin de procesos biolgicos a procesos que reproduce una mquina. Desde los inicios la Ciberntica se relaciona directamente con ciencias como Neurologa, Biologa, Biosociologa, Robtica e Inteligencia Artificial.

LUITZEN EGBERTUS JAN BROUWER

Matemtico y lgico alemn (1881-1966) conocido como LEJ Brouwer y fundador de la escuela de la Lgica intuicionista contrarrestando definitivamente el formalismo de Hilbert. Miembro del Significs Group son significativos sus trabajos Life, Art and Mysticism (1905) y Sobre la infiabilidad de los principios lgicos.

ALFRED TARSKI
Matemtico y lgico y filsofo polaco (1902-1983). Emrito profesor de la University of California, Berkeley, realiza importantes estudios sobre lgebra en general, teora de mediciones, lgica matemtica, teora de conjuntos, y metamatemticas. El trabajo de Tarski5 incluye respuestas a la paradoja de Banach-Tarski, el teorema de la indefinibilidad de la verdad, las nociones de cardinal, ordinal, relacin y es inductor de las lgebras cilndricas.

BENOIT MANDELBROT
El gran impulsor de la matemtica contempornea y pionero de la geometra fractal6 a quien la computacin pura revela la moderna Geometra de la Naturaleza. Fractal y geometra fractal son el corpus principal de sus investigaciones adems de los sistemas irreversibles. A la prctica totalidad de disciplinas se aplican hoy sus principios dando por sentado paradigmas como la Teora del Caos que a finales del siglo XX ya contemplaba el estudio de sistemas dinmicos, irreversibles, caticos.

LA SIGUIENTE REVOLUCIN LGICA

La siguiente Revolucin Lgica incorpora la fusin entre matemticas y computacin. Las computadoras tienden a explorar datos inteligentemente transfiriendo informacin de las bases de datos a las bases de conocimiento interconectadas a travs de la Red a escala infinitesimal. La lgica evoluciona pues como un gen hacia la culminacin del conocimiento libre que nace del rigor formal de la Matemtica griega; emerge renovadamente de etapas de persecucin tan oscuras como la Edad Media y otros intentos ms recientes; hasta el intercambio constante y continuo de datos en la moderna era de estructura de redes que Internet proporciona a modo neuronal a la Humanidad.

FUNCIONES BSICAS DEL LENGUAJE

Los usos o funciones bsicas del lenguaje son informativos, expresivos y directivos.

FINES DEL LENGUAJE ADEMS DE COMUNICAR IDEAS

El filosofo George Berkeley, observo hace mucho en su tratado sobre los principios del conocimiento humano que: La comunicacin de ideas no es el principal fin del lenguaje y el nico como se supone comnmente. Hay otros fines como el de despertar alguna pasin estimulo o impedir una accin o colocar el espritu en alguna disposicin particular fines a los cuales el primero esta en muchos casos simplemente subordinado y a veces falta totalmente o cuando esos fines pueden obtenerse sin el primero como cree que suele ser frecuencia en el uso familiar del lenguaje. En sus investigaciones filosficas Ludwing Wittgentein sugiere que hay incontables tipos de usos de lo que llamamos smbolos palabras y oraciones entre las que se encuentran el de dos ordenes describir la apariencia de un objeto o de sus medidas informar sobre un suceso, elaborar y poner a prueba una hiptesis, presentar los resultados de un experimento en cuadros y diagramas construir una teora, actuar en teatro, cantar, adivinar acertijos, hacer una broma, resolver un problema de aritmtica practica, traducir de un lenguaje a otro, preguntar, agradecer, maldecir, saludar y orar.

FUNCIN INFORMATIVA
Esto se realiza mediante la formulacin y la afirmacin (o negacin) de proposiciones o razonamientos tanto de lo que se considera informacin falsa o verdadera, tanto los razonamientos correctos como los incorrectos. El discurso informativo es usado para describir el mundo y razones acerca de l.

FUNCIN EXPRESIVA DEL LENGUAJE

El lenguaje tiene una funcin expresiva cuanto se le usa para dos expansiones a sentimientos y emociones o para comunicarlos. La poesa no suministra los mejores ejemplos del lenguaje que cumple una funcin expresiva, sin embargo no todo lenguaje expresivo es potico. Expresan pena excitante "Que desgracia", "Dios mo" y entusiasmo "Bravo", "Magnifico". El expresa su delicada pasin murmurante "Querida" o "Tesoro". El poeta expresa sus emociones complejas y concentradas en un soneto o en alguna otra forma de poesa. Todos estos son usos del lenguaje no dirigido a comunicar informacin, sino a expresar emociones sentimentales o actitud. El discurso expresivo como tal no es verdadero ni falso. La expresin puede ser descompuesta en los componentes ya sea para manifestar los sentimientos del que habla o para despertar ciertos sentimientos en los dems como cuando un orador trata de instar a un auditorio no al la accin sino a que comparta su entusiasmo. Por supuesto que puede ser usado simultneamente para ambas fines.

FUNCIN DIRECTIVA DEL LENGUAJE

El lenguaje cumple una funcin directiva cuando se lo usa con el propsito de originar (o impedir) una accin manifiesta. Los ejemplos mas claros de discurso directivos es por lo comn pedir una respuesta y debe clasificarse como discurso directivo. La diferencia entre un orden es bastante sutil, pues cualquier orden puede trabajarse en una solicitud agregar las palabras "por favor" o mediante cambios adecuados en el tono de la voz o en la expresin facial. En su forma imperativa el discurso directivo no es verdadero ni falso. Sin embrago las ordenes tienen alguna analoga con la verdad o falsedad del discurso informativo son las cualidades de ser "razonables o adecuados no razonables o inadecuados".

BAJO QUE CIRCUNSTANCIAS CUMPLE EL DISCURSO FUNCIONES MIXTAS?

Los ejemplos presentados anteriormente eran casos "qumicamente puros" por decirlo as, de los tres tipos bsicos de comunicacin, la triple divisin es aclaratoria y muy valiosa, pero no se le puede aplicar mecnicamente porque casi toda comunicacin ordinaria ejemplifique en mayor o menor medida los tres usos del lenguaje. As un poema que es un tipo de discurso expresivo puede tambin contener cierta cantidad de informacin, por otra parte un sermn es de carcter predominante directivo, tambin puede manipular y despertar sentimientos cumpliendo as funcin expresiva e incluir cierta informacin al comunicar los hechos. Un tratado cientfico que es esencialmente informativo puede revelar algo del propio entusiasmo del autor con lo cual desempea una funcin expresiva y puede tambin incluir alguna otra funcin directiva. La comunicacin efectiva exige cierta combinacin de funciones.

QU MTODO ES NECESARIO UTILIZAR PARA PROVOCAR O ESTIMULAR UNA ACCIN DESEADA?

Fuera del contexto de relaciones formales como las de padre e hijo o de patrono a empleado no podemos tener la esperanza de ser obedecidos con solo emitir una orden el mtodo deben ser mas sutil para estimular la accin deseada. Puede decirse que toda accin obedece a casos muy complejos. El anlisis de las motivaciones corresponde mas a un psiclogo que a un lgico pero es de conocimiento comn que las acciones son el resultado de deseos y creencias. Los deseos son un tipo especial de lo que hemos llamado actitudes. Por consiguiente las acciones pueden ser provocadas instigando las actitudes apropiadas y convenientes la informacin pertinente. Supongamos que trata usted de obtener una donacin de gente que no tiene actitud caritativa, ni cree que la caridad sirva a un propsito benfico. En este caso debe usar un lenguaje que sea al mismo tiempo informativo y expresivo. El lenguaje usado desempea entonces las tres funciones pues sern simultneamente directivo informativo y expresivo, y ello da como resultado de una manera puramente accidental sino una manera necesaria para una comunicacin exitosa.

QU RELACIN EXISTE ENTRE FORMA Y

FUNCIN EN EL DISCURSO?
Si consideramos una pregunta como el pedido de una respuesta podramos vernos llevados mas lejos hasta pensar que el discurso directivo consiste exclusivamente en oraciones formuladas en los modos interrogativos o imperativos. Si tales identificaciones fueran posibles, ellos simplificaran enormemente el problema de la comunicacin pues entonces podramos conocer el uso implcito de un pasaje solamente por su forma que se presta para la inspeccin directa. Algunas personas evidentemente identifican la forma con la funcin pero no son lectores sensibles pues como esta identificacin a menudo impide que comprendan lo que se dice se pierde mucho de lo que se pretende comunicar. Es un error creer que todo lo que hay en la forma de una oracin declarativa es discpulo informativo, que debe ser valorado si es verdadero o falso, lo mismo ocurre con otras formas de oraciones. La oracin interrogativa "te das cuenta de que vamos a llegar tarde? "No es necesariamente un pedido de informacin sino que puede ser una orden de apresurarse. Debe recordase que algunos tipos de discursos estn destinados a servir a dos o quizs tres funciones del lenguaje simultneamente. Por lo tanto, como estudiosos de la lgica debemos se capaces de demostrar la funcin informativa, que cumple un pasaje determinado de cualquier otra funcin que pueda tambin desempear. Para poder realizar este desentraamiento debemos saber cuales son las diferentes funciones que puede cumplirse el lenguaje y ser capaces de distinguirlos.

PALABRAS EMOTIVAS
Cuando una oracin expresa una actitud o un sentimiento alguna de sus palabras pueden tambin tener una sugestin o un impacto emotivo. Una misma palabra o frase puede tener simultneamente una significacin literal y un impacto emotivo. Entre los significados literales y emotivos de una palabra existe gran interpretacin.

CMO SE RELACIONA EL SIGNIFICADO LITERAL Y EL IMPACTO EMOTIVO DE UNA PALABRA?

En nuestra terminologa las palabras pueden tener exactamente los mismos significados descriptivos o literales y ser moderada o totalmente opuestas en su sugestin o significado emotivo. Ciertas actividades fisiolgicas relativas a la reproduccin pueden describirse de manera emotivamente neutra usando un vocabulario medico, sin ofender el gusto mas delicado pero todos esos trminos tienen ciertos sinnimos cuyo uso choca hasta a los mas curtidos oyentes. Una palabra puede siempre adquirir una significacin emotiva por asociacin pero no es necesario que esta asociacin se produzca directamente con el objeto denotado por la palabra. El filsofo Bertrand Russell hizo una ilustrativa broma basada en el contraste entre el significado literal y emotivo al "conjugar un verbo irregular" como: "Yo soy firma; tu eres obstinado; el es un tanto cabeza dura." Como se puede observar el mismo "verbo irregulas" tiene un impacto laudatorio en la primera persona otra neutra en la segunda persona y otra denigratoria en la tercera persona.

DESACUERDO
En la medida en que algo puede ser descrito mediante freces diferentes una de las cuales exprese una actitud de aprobacin, otra de desaprobacin y otra mas o menos neutra, hay diferentes tipos de acuerdo o desacuerdo que pueden expresarse con respecto a cualquier situacin o actividad.

TIPOS DE DESACUERDO EXISTENTES

Las personas pueden diferir sobre si ha ocurrido o no un suceso cuando se da esta situacin puede decirse que hay desacuerdo en las creencias; por otra parte pueden estar de acuerdo en que un acontecimiento ha ocurrido concordancia as en las creencias pero pueden tener actitudes muy divergentes de sentimientos acerca de la cuestin, un desacuerdo en las actitudes. Tambin es posible que coincidan en la actitud a pesar de discrepar en la creencia. Este tercer tipo de situacin se da a menudo en la poltica; diferentes personas pueden apoyar al mismo candidato por razones distintas y hasta incompatibilidades. Tambin hay una cuarta posibilidad, aquella en la cual el desacuerdo es competo. Una persona puede aprobar clidamente a fulano de tal por haber reconsiderado juiciosamente una opinin, mientras que otro, creyendo que no ha cambiado de opinin, puede castigarlo con el mismo vigor por ser demasiado testarudo como para reconocer su error. En este caso hay desacuerdo en la ciencia y tambin en la actividad.

MTODOS PARA RESOLVER DESACUERDOS

Es importante comprender que el acuerdo o el desacuerdo pueden referirse en un caso determinado no solamente a los hechos sino tambin a las actitudes frente a sus hechos. Hay diferentes mtodos aplicables y si no vemos con claridad cual es el tipo de desacuerdo existente, tampoco sabremos cuales mtodos deben utilizarse. Si el desacuerdo reside en las creencias, puede resolverse mediante una averiguacin concerniente a los hechos; puede interrogarse testigos, consultarse documentos, examinar archivos, etctera. Tericamente puede decirse los hechos y puede decirse la cuestin. Por otra parte si hay desacuerdo en las actitudes y no en las ciencias, las tcnicas apropiadas para resolverlo son diferentes; ms amplias y menos directas. El desacuerdo no versa sobre los hechos sino en la manera de valorarlos. Un intento serio por resolver este desacuerdo en las actitudes puede necesitar la referencia a muchas cuestiones de hecho, pero no a la mencionada hasta ahora. En cambio puede ser til considerar que implicaciones o consecuencias se desprenden de la accin referida y cuales se desprenden de algn otro curso de accin.

LENGUAJE EMOTIVAMENTE NEUTRO

El lenguaje emotivo no tiene nada de anmalo como tampoco lo tiene el lenguaje no emotivo o neutro. En la traduccin de Tnouless de los versos de Keats a un lenguaje neutro haba un gran valor que se perda, aunque se mantena el significado lateral. Hay circunstancia en las cuales un lenguaje neutro es preferible a otro con tintes emotivos? Es evidente que cuando estamos tratando de "averiguar los hechos", de seguir un racionamiento o de conocer la verdad acerca de algo todo lo que nos distraiga de nuestro propsito tendr a frustrarnos. Es en lugar comn el que las pasiones tienden a oscurecer la razn y esta opinin se refleja en el uso de las palabras "desapasionado y "objetivo" como sinnimos. Lo importante es que nuestro propsito es obtener y comunicar informacin y deseamos evitar los malentendidos el lenguaje mas til es el que tiene menos impacto emotivo. Si nuestro inters es de carcter cientfico, haremos bien en evitar el lenguaje expresivo y en cultivos un conjunto de trminos que sean, desde el punto de vista emotivo lo mas neutro posible. Es en las ciencias fsicas donde se ha hecho esto con mayor con mayor amplitud, los trminos mas antiguos y con estmulos emotivos, como "noble" y "bajo" para caracterizar metales, han sido desplazados por una jerga especial o, a travs del tiempo se ha llegado a divorciarlos completamente de sus anteriores asociaciones honorficas o despectivas. Este ha sido en factor que ha contribuido al progreso cientfico.

CONCLUSIN
Con esta investigacin hemos obtenido un amplio conocimiento sobre la Lgica y el Lenguaje, aunque con este material no es suficiente por lo amplio que este tema, pero nos dio una iniciacin en la ctedra en estudio, con esto queremos decir que hemos entendido, en parte, la mayora de los concepto y estudios referentes a los temas antes mencionados; estos temas nos han parecido bastante amplios e indispensables para nuestro crecimiento intelectual, ya que ellos nos sirven de herramienta para cualquier actividad en nuestra existencia, en especial con reas de estudios y reas de trabajo que se vinculan con lo estudiado, aunque no es dems decir que la Lgica y El Lenguaje se aplican a cualquier tema, seas social, cientfico, etc.