ORIGEN HISTORICO DE LA LOGICA

Br. GUILLERMO DE LOS SANTOS FORBES Br. FRANCIS M. LEDESMA DURAN Br. LUIS STALIN FORTUNA Br. LUIS NERY MONTERO JIMENEZ Br. SANTA JULIA SANCHEZ MATEO Br. JUAN BTA. DE LOS SANTOS F. Br. ESTEBANIA DE LA CRUZ C. 78-3668 CG-1948 AH-3475 BH-3668 AC-0232 AC-4955 100029683

PLANTEAMIENTO DEL PROBLEMA

En vista de que tenemos escasos conocimientos sobre la Logica y su evolucion historica, pretendemos salir de este curso con los conocimientos minimos generales sobre la misma y ademas ahondar en el estudio de la materia y en particular en el origen de la misma y su importancia como ciencia del conocimiento.

OBJETIVO GENERAL.
Adquirir los conocimientos generales sobre el origen historico de la Logica.

OBJETIVOS ESPECIFICOS. Conocer el origen de la logica Conocer las diferentes definiciones de logica Conocer la historia de la logica Conocer la importancia de la logica Conocer los diferentes tipos de logica Conocer las diferentes relaciones de la logica con otras ciencias.

Origen de la Lgica:
La Lgica deriva su origen de la naturaleza misma racional del hombre; pues el hombre est dotado de una facultad natural para alcanzar con sus actos la verdad y para evitar el error; de donde puede tambin procurar la rectitud con unas reglas determinadas. Y sta se llama Lgica Natural o Vulgar.

Pero la misma naturaleza humana, en cuanto esencialmente defectible, tambin es el origen de la Lgica Artificial, o Cientfica, la cual se preocupa del modo de pensar rectamente y de evitar los errores que, con mucha frecuencia se evitaran con enorme dificultad por medio de nuestra lgica ordinaria

La historia de la lgica documenta el desarrollo de la lgica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lgico estaba ya implcito en Babilonia en algn sentido, la lgica como anlisis explcito de los mtodos de razonamiento ha recibido un tratamiento sustancial solo originalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia. Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, es probable que la lgica emergiese en las tres sociedades hacia el siglo IV a. C. El tratamiento formalmente sofisticado de la lgica proviene de la tradicin griega, especialmente del Organon aristotlico, cuyos logros seran desarrollados por los lgicos islmicos y, luego, por los lgicos de la Edad Media europea. El descubrimiento de la lgica india entre los especialistas britnicos en el siglo XVIII influy tambin en la lgica moderna.

DEFINICION
La lgica es una ciencia formal y una rama de la filosofa que estudia los principios de la demostracin e inferencia vlida. La palabra deriva del griego antiguo (logike), que significa dotado de razn, intelectual, dialctico, argumentativo, que a su vez viene de (logos), palabra, pensamiento, idea, argumento, razn o principio. La lgica examina la validez de los argumentos en trminos de su estructura, (estructura lgica), independientemente del contenido especfico del discurso y de la lengua utilizada en su expresin y de los estados reales a los que dicho contenido se pueda referir.

Esto es exactamente lo que quiere decir que la lgica es una ciencia formal.
Priest, Graham (2008). An introduction to non-classical logic: From if to is (http:/ / cesfia. org. pe/ analitica/ 3/ Trelles. pdf) (2 edicin). Nueva York: Cambridge University Press. ISBN 978-0521854337. Ferrater Mora, J. (1984). Diccionario de Filosofia (4 tomos). Barcelona. Alianza Diccionarios.. ISBN 84-206-5299-7. Honderich, T.(Editor) (2001). Enciclopedia Oxford de Filosofia. Trd. Carmen Garcia Trevijano. Madrid. Editorial Tecnos. ISBN 84-309-3699-8.

OTRAS DEFINICIONES
Lgica es por consiguiente la parte de la filosofa que trata de las formas del pensamiento y de las leyes por las que se rige para llegar a la verdad. * Por lo tanto el pensamiento es un termino general que designa todos los actos del entendimiento. Es la ciencia que de manera estructurada organiza nuestros razonamientos. Estudia la forma y el contenido de los pensamientos. Tiene objeto, mtodo, propio y tiene por objeto determinar pensamientos verdaderos y desechar los falsos. Es la forma de organizacin del pensamiento de acuerdo con un principio, para conseguir una determinada racionalidad.

*LOGICA PARA JURISTAS, Mans Puigarnau, Jaime M.

ARISTTELES: "La lgica es la ciencia de la demostracin, porque se preocupa de dar

reglas para alcanzar la verdad de evidencia inmediata, que conocemos por medio de la demostracin . KANT "Es la ciencia de las leyes necesarias del entendimiento y de la razn general. HEGEL "La lgica es la ciencia de la idea pura, esto es, de la idea en el pensamiento abstracto del pensamiento.

Importancia de la Logica
Aristteles defini al ser humano como un animal racional. Si nos guiamos por esta definicin, llegamos a la conclusin de que la lgica es imprescindible para que el ser humano pueda vivir de acuerdo a su naturaleza. Los componentes principales de todo proceso lgico son tres: las premisas, el razonamiento, tambin conocido como argumento lgico, y la conclusin. La lgica nos garantiza que, si utilizamos premisas verdaderas, mediante un razonamiento vlido podemos llegar a conclusiones verdaderas. Un elemento importante de la lgica es el Silogismo. Se trata de un tipo especial de razonamiento en el que se infiere una conclusin a partir de dos premisas. Tanto las conclusiones como las premisas son tipos de proposiciones. Este concepto nos es til para introducir un ejemplo simple de la aplicacin de la lgica: Premisa mayor: Todos los humanos son mortales. Premisa menor: Scrates es humano. Conclusin: Scrates es mortal.

HISTORIA DE LA LOGICA
La historia de la lgica documenta el desarrollo de la lgica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lgico estaba ya implcito en Babilonia en algn sentido, la lgica como anlisis explcito de los mtodos de razonamiento ha recibido un tratamiento sustancial solo originalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia.

La Edad Antigua:
En Mesopotamia, el Manual de diagnstico mdico de Esagil-kin-apli, escrito en el siglo XI a. C., se bas en un conjunto lgico de axiomas y asunciones, entre las que se incluyen la visin moderna de que, a travs del examen e inspeccin de los sntomas de un paciente, es posible determinar el problema del mismo, su etiologa y su desarrollo futuro, y las posibilidades de recuperacin.1 Durante los siglos VII y VIII, los astrnomos babilonios empezaron a utilizar una lgica interna en sus sistemas de prediccin planetaria que fue una importante contribucin a la lgica y la filosofa de la ciencia.2 El pensamiento babilnico tuvo una considerable influencia en el pensamiento de la Grecia arcaica.3

En la Antigua Grecia, emergieron dos tradiciones lgicas opuestas. La lgica estoica estaba enraizada en Euclides de Megara, pupilo de Scrates, y con su concentracin en la lgica proposicional es la que quizs est ms prxima a la lgica moderna. Sin embargo, la tradicin que sobrevivi a las influencias de culturas posteriores fue la peripattica, que tuvo su origen en el conjunto de obras de Aristteles conocido como Organon (instrumento), la primera obra griega sistemtica sobre lgica. El examen de Aristteles del silogismo permite interesantes comparaciones con el esquema indio de la inferencia y la menos rgida discusin china.

La Antigua India Dos de las seis escuelas indias de pensamiento estn relacionadas con la lgica: Nyya y Vaisheshika. Los Nyaya Sutras de Aksapada Gautama constituyen el ncleo de textos de la escuela Nyaya, una de las seis escuelas ortodoxas de filosofa hind. Esta escuela realista trabaj con un rgido esquema de inferencia de cinco miembros que engloba una premisa inicial, una razn, un ejemplo, una aplicacin y una conclusin. La filosofa budista idealista se convirti en la principal oponente de los Naiyayikas. Ngrjuna, el fundador del camino intermedio Madhyamika, desarroll un anlisis conocido como "catuskoti" o tetralemma. Esta argumentacin de cuatro aspectos examin y rechaz sistemticamente la afirmacin de una proposicin, su negacin, la afirmacin conjunta y negacin, y finalmente, el rechazo de su afirmacin y negacin. Pero fue con Dignaga y su sucesor Dharmakirti con quienes la lgica budista alcanz su mayor altura. Su anlisis, centrado en la definicin de la implicacin necesariamente lgica, "vyapti", conocida tambin como concomitancia o penetracin invariable. A este fin, fue desarrollada una doctrina conocida como "apoha" o diferenciacin.

Comprende lo que se podra llamar la inclusin y exclusin de propiedades definitorias. Las dificultades concernientes a esta empresa, en parte, estimularon a la escuela neoescolstica de Navya-Nyya, que introdujo un anlisis formal de la inferencia en al siglo XVI.

La Antigua China

En China, un contemporneo de Confucio, Mozi, "Maestro Mo", es considerado como el fundador de la escuela Mohista (mohsmo), cuyos principios estn relacionados con temas como la inferencia vlida y las condiciones de las conclusiones correctas.
En particular, una de las escuelas que siguieron al mohsmo, los lgicos, es considerada por varios expertos como la primera que investig la lgica formal. Desafortunadamente, debido a la rgida normativa legal durante la dinasta Qin, esa lnea de investigacin desapareci de China hasta la introduccin de la filosofa india por parte del budismo

La Edad Media
El mundo islmico Durante un tiempo tras la muerte de Mahoma, la ley islmica consider importante formular estndares para los argumentos, lo que dio lugar a una nueva aproximacin a la lgica en Kalam, pero esta aproximacin fue ms tarde desplazada por ideas tomadas de la filosofa griega y helenstica con el auge de los filsofos de la escuela Mu'tazili, que valoraron extraordinariamente el Organon de Aristteles.

Averroes, uno de los principales rabes en rescatar la lgica aristotlica y regresarla a Occidente.

Las obras de los filsofos islmicos con influencias helensticas fueron cruciales para la recepcin de la lgica aristotlica en la Europa medieval, junto con los comentarios sobre el Organon elaborados por Averroes. Las obras de al-Farabi, Avicenna, al-Ghazali y otros lgicos musulmanes que en ocasiones criticaron y corrigieron la lgica aristotlica e introdujeron sus propias formas de lgica, tambin desempearon un papel central en el subsecuente desarrollo de la lgica europea medieval. La lgica islmica no solo incluye el estudio de modelos formales de inferencia y su validacin, sino tambin elementos de la filosofa del lenguaje y elementos de epistemologa y metafsica.

Entre los ms importantes desarrollos realizados por los lgicos musulmanes est el de la lgica de Avicena como sustituta de la lgica aristotlica. El sistema lgico de Avicena fue responsable de la introduccin del silogismo hipottico,[4] de la lgica modo-temporal,[5] [6] y de la lgica inductiva.[7] [8] Otro importante desarrollo en la filosofa islmica es el de una estricta ciencia de la cita, la isnad o "revisin", y el desarrollo de un mtodo cientfico de investigacin abierta para poner en cuestin determinadas afirmaciones, la ijtihad, que poda aplicarse normalmente a muchos tipos de cuestiones. Desde el siglo XII, a pesar de la sofisticacin lgica de al-Ghazali, el auge de la escuela Asharite al final de la Edad Media.

La Europa medieval
Se entiende habitualmente por "lgica medieval" (tambin conocida como "lgica escolstica") la forma de la lgica aristotlica desarrollada en la Europa medieval en el periodo de c 12001600. Esta tarea comenz tras las traducciones al latn del siglo XII, cuando textos rabes sobre lgica aristotlica y la lgica de Avicena fueron traducidos a la lengua de Roma. Aunque la lgica de Avicena tuvo influencia en los primeros lgicos medievales europeos tales como Alberto Magno,9 la tradicin aristotlica se convirti en la dominante debido a la importante influencia del averrosmo.

Un rasgo del desarrollo de la lgica aristotlica se conoce con el nombre de teora de la suposicin, un estudio de la semntica de los trminos de la proposicin.
La ltimas grandes obras de esta tradicin son Logic de John Poinsot (15891644, conocido como John of St Thomas), y Disputas metafsicas de Francisco Surez (15481617).

La Edad Moderna
La lgica de Port-Royal La expresin "lgica tradicional" hace referencia, habitualmente, a la tradicin de manuales que comienza con La logique ou l'art de penser de Antoine Arnauld y Pierre Nicole, ms conocido como Lgica de Port-Royal. Publicada en 1662, fue la ms influyente obra sobre lgica en Inglaterra hasta el Sistema Lgico de Mill de 1825 [N4]. El libro presenta una muy libre doctrina cartesiana (que la proposicin es una combinacin de ideas antes que de trminos, por ejemplo) dentro de un marco que se deriva ampliamente de la lgica de trminos aristotlica y medieval. Entre 1664 y 1700 se publicaron ocho ediciones, y el libro tuvo considerable influencia. Fue frecuentemente reeditado en Inglaterra hasta finales del siglo XIX.

 El tratamiento que realiza Locke de la proposicin en el Ensayo es, esencialmente, el de Port-Royal: "Las proposiciones verbales, que son palabras, [son] los signos de nuestras ideas, ya vayan juntas o separadas en oraciones afirmativas o negativas. As, pues, la proposicin consiste en juntar o separar esos signos, de acuerdo con las cosas con las que estn de acuerdo o en desacuerdo." (Locke, An Essay Concerning Human Understanding, IV. 5. 6) Los trabajos ms conocidos dentro de esta tradicin son los de Isaac Watts, Logick: Or, the Right Use of Reason (1725), Richard Whately, Logic (1826), y John Stuart Mill, A System of Logic (1843), que fue una de las ltimas grandes obras de la tradicin

La Edad Contempornea

Histricamente, Descartes puede que haya sido el primer filsofo en haber tenido la idea de usar el lgebra, especialmente sus tcnicas para resolver cantidades desconocidas en las ecuaciones, como vehculo para la exploracin cientfica. La idea de un clculo de razonamiento fue tambin cultivada por Gottfried Wilhelm Leibniz. Leibniz fue el primero en formular la nocin de un sistema de lgica matemtica aplicable de forma generalizada. Sin embargo, los documentos relevantes al respecto no fueron publicados hasta 1901 y muchos de ellos siguen sin estar publicados, y la actual comprensin del poder de los descubrimientos de Leibniz no empez a desarrollarse hasta los aos ochenta.

Gottlob Frege en su Begriffsschrift (1879) extendi la lgica formal ms all de la lgica proposicional para incluir constructores como "todo" y "algunos". Mostr cmo introducir variables y cuantificadores para revelar la estructura lgica de las oraciones, que podra estar ocultas tras su estructura gramatical. Por ejemplo, "Todos los seres humanos son mortales" se convierte en "Toda cosa x es tal que, si x es un ser humano entonces x es mortal." La peculiar doble notacin dimensional de Frege hizo que su obra fuese ignorada durante muchos aos. En un magistral artculo de 1885 ledo por Peano, Ernst Schrder y otros, Charles Peirce introdujo el trmino "Lgica de segundo orden" proporcionando la mayor parte de la moderna notacin lgica, incluyendo los smbolos prefijados para la cuantificacin universal y existencial. Los lgicos de finales del siglo XIX y de comienzos del XX estuvieron ms familiarizados con el sistema lgico de PeirceSchrder, aunque generalmente se reconoce que Frege es el Padre de la lgica moderna. En 1889, Giuseppe Peano public la primera versin de la axiomatizacin lgica de la aritmtica. Cinco de los nueve axiomas son conocidos como axiomas de Peano. Uno de estos axiomas fue una formalizacin del principio de la induccin matemtica.

Diferentes acepciones del trmino lgica

Tipos de Lgica:
Podemos clasificar los tipos de lgica desde dos puntos de vista, la lgica clsica y la moderna. Sin embargo dicha clasificacin slo sirve para efectos histricos, de ah que mejor proponemos dividir, los distintos tipos de lgica, respecto a los objetos que trata. La Lgica Formal es conocida tambin como lgica clsica o aristotlica. Se imputa al filosofo ARISTOTELES ser el creador de la misma, aunque ya existan antecedentes en PARMENIDES y ZELEO.. As mismo con el paso del tiempo, con la evolucin de algunas corrientes matemticas, especficamente las aportaciones realizadas por los matemticos EULER y BOOLE, a la lgebra, se da inicio a la Lgica Moderna, Matemtica, Simblica o Logstica.

De esta lgica moderna, se desprende la semitica, lgica dentica, modal, cuantificacional y proposicional. .

La Semitica es la lgica de los smbolos y se divide en tres partes: sintaxis, semntica y pragmtica. La primera trata de las relaciones de los smbolos entre si, prescindiendo de su contenido. La segunda trata de las relaciones entre el smbolo y lo que significa. La tercera trata de las relaciones entre el smbolo y el sujeto que lo utiliza. La lgica dentica se formaliza a travs de conceptos relacionados con el deber. Este tipo de lgica se utiliza en el Derecho, infirindose del mismo, la denominada lgica de las normas. La lgica modal lo hace en los conceptos de necesidad y posibilidad.

La lgica de clases relaciona conceptos con propiedades (sujeto y predicado), estudia adems las implicaciones de unas clases con otras, las cuales suelen ser representados grficamente mediante crculos (mejor conocidos como diagramas de Venn) empleando la denominada lgebra booleana.

La lgica cuantificacional que estudia de manera ms detallada los predicados a travs del uso de cuantificadores que expresan cantidad (todos o algunos ).

La lgica proposicional analiza los razonamientos formalmente vlidos partiendo de proposiciones y conectivas proposicionales (operadores lgicos).

Esta lgica simblica, de la que nos estamos refiriendo, emplea un lenguaje artificial en la que simboliza las proposiciones generalmente con las letras p, q, r, s, t utilizando de operadores lgicos, tambin llamados conectores, functores, juntores, para poder construir formulas operando sobre las variables proposicionales y las proposiciones complejas.[73]

Finalmente existe otro tipo de lgica que es la dialctica, aunque sta no la podemos considerar como integrante de la lgica moderna, toda vez que la misma no tiene un contenido formal, sino ideolgico; ni es pasiva como la lgica formal, sino que es activa, al obtener principios racionales a travs de la interpretacin de la historia, utilizando como su estructura en su discurso, la tesis, seguida de la anttesis y su respectiva conclusin denominada sntesis; teniendo sus antecedentes desde los griegos con SOCRATES y PLATN quienes la concibieron como una tcnica de discusin y de obtencin de conclusiones, siendo la misma tambin estudiada y empleada por algunos filsofos como KANT, HEGEL, MARX, entre otros ms.

Relaciones de la Lgica con otras ciencias.

La lgica est relacionada con todas las ciencias, porque como dijo Cohen, es el aspecto formal de todo cuanto existe. En forma general diramos: Desde el punto de vista formal todas las ciencias estn integradas por conceptos, juicios y razonamientos, los cuales son la parte fundamental del objeto de la lgica. As mismo, les proporciona a todas las ciencias la teora para las demostraciones cientficas. No se puede hablar de ciencia si esta no est organizada conforme a las leyes de la lgica. La metodologa es lgica aplicada, inferida de numerosos casos cientficos. Dichos procesos lgicos se deben observar si se desea obtener elconocimiento cientfico. De manera especial, est vinculada con la matemtica, la psicologa, la lingstica, la filosofa, computacin, ciencia, gramtica, y con la teora del conocimiento.

LGICA Y CIENCIA:
Estudia problemas y leyes del pensar formal, no define lo verdadero de lo falso. Entre lo verdadero y lo falso, hay una competencia del razonamiento aplicado y la experiencia. Esta lgica estudia las condiciones del pensar cientfico y metodolgico y las condiciones de verdad de las teoras cientficas, as como su alcance y lmites. LGICA Y PSICOLOGA: Existe una gran diferencia entre estas dos ciencias, la relacin que pueda existir seria que prescindiran del sujeto que elabora su lgica y su psicologa. La diferencia que existe entre ambas ciencias es que la psicologa estudia el sujeto pensante y sus procesos psicolgicos que ocurren en el estando tambin el proceso del pensar; mientras que la lgica, como se ha descrito anteriormente, se ocupa del pensamiento elaborado y formulado, ya que estudia los pensamientos mismos, los analiza, los estructura y encadena el enlace que pueden tener dichos pensamientos.

LGICA Y TEORA DEL CONOCIMIENTO: Consiste en aplicar la lgica y la filosofa del conocimiento para rodear la teora del conocimiento, se ocupa de la definicin del saber y de los conocimientos relacionados entre estas dos ciencias. Los tipos del conocimiento posibles y el grado con que las fuentes y los criterios resultan ciertas, as como la relacin exacta entre el que conoce y el objeto conocido. LGICA Y GRAMTICA: Los lenguajes tienen lgica, porque la lgica y la gramtica trabajan ambiguamente para descifrar una oracin, decidir si la composicin de la oracin es correcta. Para esto hay que estudiar la lengua y la lgica. La interaccin que puede haber entre la lgica y la gramtica es como un romance entre las dos para que funcione bien un idioma. Como es muy complejo este tema, se cita el siguiente ejemplo para obtener ms o menos una idea de la fusin de estas dos ciencias juntas.

LGICA Y MATEMTICA:
Es una parte de la lgica y las matemticas, que consiste en el estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en lasciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad.

La relacin de la lgica con la matemtica desarrollo el intento de buscar un lenguaje en que los problemas derivados de la validez o invalidez de los razonamientos, fuesen tratados como un simple clculo, un problema que consistira en mirar si estaba o no de acuerdo con la tabla. Con George Boole en 1847, se inici la construccin sistemtica de la lgica matemtica, l fue el primero en aplicar el lgebra a la lgica, dando origen a una lgica de clases y una lgica sentencial. A partir de este momento, la lgica matemtica se ira construyendo a imagen y semejanza de las lenguas naturales. .

La lgica matemtica dispone de unas herramientas superiores a la que utiliza la lgica clsica. Pero concebir la lgica ya sea un arte de calcular o de pensar tiene unas consecuencias importantes en vista de la actividad desempeada por los sujetos, por la manera como se van relacionar con los objetos, por los instrumentos que van utilizar y por las relaciones onticas sobre las cuales se van a trabajar

LA LGICA Y LINGSTICA: El neopositivismo se hizo consciente de un hecho sencillo, pero extraordinariamente fecundo: la nica manera que dispone cualquier ciencia para expresar sus pensamientos, ya sean estos fsicos, qumicos, matemticos, etc., es mediante el lenguaje. A partir de entonces, quedara establecido que todos los problemas de cualquier ciencia estn vinculados al lenguaje, de ahora y para siempre. Ello nos explica porque hay trabajos en los cuales, se vinculan la matemtica y la lingstica, la fsica y el lenguaje, etc., y por qu se habla de una sintaxis matemtica, de una semntica fsica, de un metalenguaje jurdico, etc. Bsicamente, todas las ciencias se vincularon a la lingstica, a travs de la sintaxis, la semntica y la pragmtica. Con la sintaxis, porque ella brinda el conjunto de reglas en las cuales se establecen las combinaciones de palabras permitidas y prohibidas.

La semntica, estudia las significaciones de las palabras desde el punto de vista de las relaciones signo-objeto, entendiendo el objeto como "imagen de la cosa". La semntica, como un hecho universal, estudia las relaciones entre los conceptos y los signos de las cosas. Por consiguiente, todas las ciencias tienen una semntica, en la medida en que relacionan sus signos con los conceptos propios de cada una de ellas.
La pragmtica, estudia las relaciones signo-usuario, desde el punto de vista de su utilizacin practica por parte de la comunidad. en el juego comentado, se hace presente la pragmtica en la forma como usan los jugadores todo el sistema de signos que componen el ajedrez .

En conclusin, pensamos en la medida en que transcurren el tiempo, se har ms importante la importante la relacin ciencia-lenguaje. Los hombres de hoy estamos cientficamente ms posibilitados para entender a San Juan que quienes nos han precedido. En efecto, dice al comenzar su evangelio: "en el principio era el verbo y por el fueron creadas todas las cosas." Si la palabra creo todas las cosas el universo entero es el lenguaje, y al estudiar cualquier proporcin de este, tal vez se podra de presente la existencia de un lenguaje objetivado, de unas estructuras lingsticas en todas las ciencias, en todos los objetos y en todos los procesos.

LA LGICA Y LA FILOSOFA.
Si aceptamos que al saber filosfico est integrado por la ontologa , la gnoseologa y la tica , o sea " el ser" , "el conocer " y el "obrar " , la lgica forma parte esencial del conocer , porque estudia las formas y las leyes validas de ese conocimiento. La gnoseolgica o teora del conocimiento pretende estudiar la correspondencia o adecuacin entre el conocimiento y su objeto , pero no puede pronunciarse si previamente no incorpora a la lgica , pues es esta quien le va a suministrar la validez a todas sus conclusiones.

LA LGICA Y COMPUTACIN:
La lgica est presente en la computacin a travs de los siguientes aspectos: A. Es tan importante la relacin lgica-computacin que todo ordenador tiene una unidad en la cual se realizan las operaciones lgicas ; es la unidad aritmtico lgica . En ella, se efectan las operaciones lgicas de cualquier programa. Nos referimos a los operadores lgicos "y", "o", etc., los cuales trabajan en base a las tablas de verdad. B. La lgica se hace presente en los programas. Cada uno de ellos es un conjunto formal y secuencial de operaciones, las cuales permiten realizar un trabajo. Decimos "formal " y con ello evidenciamos de la lgica formal , puesto que tericamente , un mismo programa puede estar referido a varios contenidos , siempre y cuando tengan los mismos esquemas.

LA LGICA Y DERECHO:
Se podra sealar que esta tendencia pona la existencia de un marcado paralelismo entre la lgica y derecho, pues aquella estudia la validez de los conceptos , juicios y razonamientos desde el punto de vista formal , y el Derecho , tendra por objeto el estudio de los mencionados aspectos , pero desde el punto de vista de las conductas puras , consideradas estas como meras formas , las cuales estn expresadas en las normas.

Sus principales requisitos eran dos: ser coherentes y no contradictorias, para observar los postulados hilberlianos en el desarrollo de la lgica matemtica.
Esta concepcin sent las bases al ulterior desarrollo de la lgica dentica

CONCLUSION
Pretendemos con esta exposicin cumplir con los objetivos de conocer los cambios que ha sufrido en el devenir historia la lgica como ciencia del razonamiento y que cada uno de los miembros de esta ctedra logre aclarar las dudas sobre el tema presentado y adems tratar de que cualquier laguna que nos quede embebernos de los conocimientos que los diferentes

textos puedan

aportarnos y de esta manera enriquecer el acerbo de

quirir en nuestra formacin acadmica.

conocimientos que debemos ad

GRACIAS