Introduccin y definicin de Lgica Podemos decir que la lgica: Es la ms formal de las ciencias porque estudia la estructura formal del

pensamiento. No se preocupa de estriar qu es el pensamiento (esto es ms propio e la Gnoseologa, Epistemologa, Criteriologa y Teora del conocimiento) La Lgica se preocupa por saber Cmo es, que formas o estructuras tiene el conocimiento y no por el contenido. Segn el Profesor Moiss Chong, la Lgica no se interesa por la existencia real del mundo, sino por la existencia formal de los modos como ste se manifiesta en la mente del hombre. La Lgica es ciencia de relaciones porque estudia el pensamiento y, pensar es establecer relaciones. Pero se preocupa no tanto por establecer relaciones (esto es propios de las ciencias...) sino por el estudio de las relaciones mismas, por eso la lgica es una ciencia formal. La lgica es una disciplina cientfica dirigida a satisfacer la necesidad de investigar las leyes o principios que rigen el proceso de la adquisicin del conocimiento en todas sus formas, as como el modo de explicarlos. Los principios lgicos constituyen el fundamento terico de toda indagacin cientfica. Por lo tanto, las ciencias son consideradas, en el fondo, como Lgica aplicada. Debemos recordar que el hecho lgico es anterior a la ciencia misma de la Lgica, pues la Lgica se aprende en la vida comn y corriente y a eso es lo que llamamos concepto de pre-cientfico de Lgica. Qu funcin realiza entonces el Tratado de Lgica? Su funcin es vigorizar nuestras facultades mentales. En este aspecto la Lgica es muy parecida a la Gramtica, la cual no nos ensea a hablar (eso lo aprendemos en la vida comn y corriente), pero si nos ensea; a ser ms correctos, precisos y exactos en la expresin hablada y escrita. Lo mismo sucede con las distintas operaciones lgicas que practica el hombre sin haberlas aprendido en los tratados y textos de lgica, sino en las distintas ciencias especiales que se sirven de esta y, de la experiencia cotidiana. La funcin de la lgica es ayudarnos a mejorar nuestro razonamiento, proporcionarnos reglas que nos ayuden a evitar falacias sofismos y paralogismos lgicos, en fin ayudarnos a evitar, errores en la forma o estructura de nuestro pensamiento. Cabe destacar que, en muchos casos, lo evidente y lo lgico son considerado lo mismo aunque lo evidente no tenga un valor absoluto para todos los tiempos ni para todos los sitios.

Etimolgicamente hablando el trmino lgica procede de la voz griega logos que quiere decir discursos, tratado, ciencia, palabra, etc. Por eso se ha llegado a afirmar que la Lgica es la ciencia del logos. Es importante sealar que la traduccin ordinaria de logos tratado, no es la principal ni la ms importante a la hora de definir lo que es la Lgica; logos tiene varios significados; y el ms clsico entre los griegos fue el de pensamiento, idea, espritu, razn, en contraste con lo material, lo corpreo, lo orgnico. Por lo tanto debemos afirmar que la palabra logos hace referencia al mundo de la inteligencia, del pensamiento, de la razn, de la idea ese es el campo de la Lgica. En conclusin podramos decir que la definicin nominal (o sea referente a la palabra) de Lgica es ciencia de los pensamientos y de la razn. Cientficamente hablando, la lgica es un valioso medio para ordenar conceptualmente las ideas que tenemos sobre las cosas y las relaciones que surgen de estas mismas cosas. Es este sentido, la lgica es ciencia y mtodo a la vez. Adems dentro de su rama puramente formal, la Lgica no es mas que la indagacin sistemtica de los principios de todo razonamiento vlido. Plan 2. Objeto, Material Formal: El objeto hace referencia a aquella cosa sobre la cual versa el contenido de la ciencia en cuestin. Esto es aplicable a todas las ciencias incluyendo la lgica. El objeto de una ciencia tiene dos vertientes: 1. Lo Material: hace referencia al que de lo que se estudia. En el caso de la Lgica sera el pensamiento. 2. Lo Formal: hace referencia al como de lo que se estudia. En el caso de la Lgica seran las relaciones invariables y permanentes que se establecen entre las cosas, o sea, la estructura formal del pensamiento. Ej.: Si decimos: 1. El sol es el centro del sistema solar. 2. San Juan Bautista de La Salle fue el fundador de los Hermanos de las escuelas cristianas. Los dos ejemplos son distintos (1) es una verdad cientfica, (2) es una verdad

Histrica. Pero ambas son iguales en su forma porque expresan una misma e idntica relacin. A es B. Plan 3. Relacin de la Lgica con las otras ciencias: Como ya vimos en la introduccin, la Lgica se relaciona con todo las ciencias porque todas ellas trabajan utilizando el lenguaje y sobre todo relaciones de pensamiento entre varias ideas. Como la lgica es una ciencia de relaciones y (sobre todo) la ciencia que estudia las relaciones, est estrechamente relacionada con las dems ciencias. Pero tiene una relacin especial con algunas de ellas. Todas las ciencias poseen un objeto formal distinto a las otras, esta particularidad es como la h8uella digital que los identifica. A travs del objeto formal podemos identificar y distinguir las disciplinas del saber aunque posean sendas similitudes. El objeto material por su parte puede ser compartido por varias ciencias. Un claro ejemplo de esto lo representan la Lgica, la Gramtica, la Teora del Conocimiento y la Psicologa las cuales poseen el mismo objeto material, a saber, el pensamiento. Como podemos observar estas tres ciencias poseen una relacin especial con la Lgica ya que tienen el mismo objeto material aunque su objeto formal sea distinto. Plan 5. Divisin de la Lgica Actualmente existen diferentes formas de presentar la divisin de la lgica. Nosotros nos conformaremos con seguir el estilo de divisin ms usual y con destacar los tipos de lgica ms significativos que han surgido a lo largo de la historia de la filosofa. Adems de la divisin de la Lgica en sus dos bloques bsicos (tradicional y simblica) debemos resaltar algunas de las numerosas diferencias que existen entre ambas: Lgica Tradicional Lgica Simblica 1. Es exclusivamente una Lgica de trminos. Utiliza el lenguaje comn o material. 1. Posee mayor amplitud. Utiliza un lenguaje artificial. 2. Slo se simboliza los trminos (los variables). 2. Se representan tanto los trminos como las proposiciones y los signos lgicos (variables y constantes). 3. El nico modelo de proposicin que debe ser considerado es el tipo A de B (o A no es B). Slo es capaz de formular proposiciones que expresar cualidades. 3. Puede analizar cualquier tipo de proposicin aunque indiquen una relacin.

Plan 6. Lgica Tradicional o Aristotlica La lgica tradicional estudia los elementos ms generales del pensamiento (concepto, juicio y raciocinio) y las caractersticas de cada uno de ellos. Esta lgica tradicional tiene su principal fuente en Aristteles (y su obra el Organn) por lo que tambin es conocida con el nombre de Lgica Aristotlica. Logica La lgica, palabra derivada del griego clsico logos (la razn, principio que gobierna al Universo), son las reglas usadas para hacer deducciones crebles. Es la ciencia que trata de los principios vlidos del razonamiento y la argumentacin. El estudio de la lgica es el esfuerzo por determinar las condiciones que justifican a una persona para pasar de unas proposiciones dadas, llamadas premisas, a una conclusin que se deriva de aqullas. La validez lgica es la relacin entre las premisas y la conclusin de tal forma que si las premisas son verdaderas la conclusin es verdadera. La validez de una proposicin se tomar de la verdad de la conclusin. Si una de las premisas, o ms, es falsa, la conclusin de una proposicin vlida ser falsa. Por ejemplo: "Todos los mamferos son animales de cuatro patas, todos los hombres son mamferos, por lo tanto, todos los hombres son animales de cuatro patas" es una proposicin vlida que conduce a una conclusin falsa. Por otro lado, una proposicin nula puede, por casualidad, llegar a una conclusin verdadera. "Algunos animales tienen dos patas; todos los hombres son animales, por lo tanto todos los hombres tienen dos patas" representa una conclusin verdadera, pero la proposicin no lo es. Por lo tanto, la validez lgica depende de la forma que adopta la argumentacin, no su contenido. Si la argumentacin fuera vlida, cualquier otro trmino podra sustituir a cualquiera de los casos utilizados y la validez no se vera afectada. Al sustituir "cuatro patas" por "dos patas" se comprueba que ambas premisas pueden ser verdaderas y la conclusin falsa. Por lo tanto, la proposicin no es correcta aunque posea una conclusin verdadera DIVISIONES DE LA LGICA: El pensamiento es verdadero cuando se adecua a la realidad y es correcto cuando seadecua a las leyes del propio pensamiento. LOGICA MATERIAL: Llamada tambin lgica mayor, aquella que radica en lanaturaleza de la inteligencia humana por el hecho de ser animales racionales,que podemos pensar. LOGICA FORMAL: Llamada tambin lgica menor, estudia las condicionespara que el pensamiento sea correcto. conocida como lgica PARVA. LOGICA CIENTIFICA: Encargada de estudiar la razn humana, sus leyes yprincipios contribuyendo a perfeccionar la lgica material.

LOGICA MATERIAL: Tambin llamada lgica mayor o lgica magna .Estudialas condiciones para que el pensamiento se adecue a la realidad significandoque sea verdadero. Enunciados o proposiciones La lgica de enunciados o de proposiciones es el nivel ms bsico de anlisis lgico. Se analizan las relaciones que se dan entre los enunciados o las proposiciones; es, pues, una lgicainterproposicional, no intraproposicional. En este nivel se simboliza de la misma manera proposiciones o enunciados de contenido tan diferente como: "ahora llueve", "algunos das llueve" o "todos los das llueve". Qu es uno enunciando o una proposicin? Una oracin declarativa que puede ser verdadera o falsa. Los enunciados dicen de las cosas y, consecuentemente, pueden ser verdaderos o falsos. No son enunciados las expresiones lingsticas interrogativas, exclamativas o imperativas. Los enunciados o proposiciones pueden ser atmicos o simples, los que no se pueden descomponer en otros; y moleculares o complejos, los que s se pueden descomponer. Elementos de la lgica de enunciados o proposicional El lenguaje o vocabulario de la lgica proposicional o de enunciados consta de tres clases de elementos o smbolos: variables,constantes y auxiliares. 2.1 Variables Variables o variables proposicionales son los smbolos que sustituyen las proposiciones o enunciados. Se llaman variables porque su significado va cambiando en las diferentes argumentaciones o expresiones. Se han acordado cinco variables o letras como smbolos: p, q, r, s, t. Si hacen falta ms variables, se recorre a subndices: Una variable como por ejemplo p puede simbolizar "La Tierra es un planeta" o "Todos los planetas giran entorno all Sol" o cualquier otra proposicin. Por ello, siempre es preciso indicar la proposicin que se simboliza con la variable. As, p = La Tierra es un planeta. 2.2 Constantes Constantes o conectores proposicionales son las partculas de significado no variable que tienen la funcin de alterar, relacionar o conectar enunciados atmicos hacindolos complejos. Los ms frecuentes son la negacin, la conjuncin, la disyuncin, el condicional y el bicondicional. Negacin: . (Tambin: -, ~ ) Representa la partcula lingstica no o cualquiera otras partculas que incluyan la idea de negacin. Por ejemplo: no es el caso que, no pasa que, ni, etc. Tambin prefijos que indican esta idea como imposible.

As, la formalizacin de "La luna no tiene satlites", ser p ; habiendo definido "La luna tiene satlites" con la letra p. Conjuncin: . (Tambin: , & ) Representa la partcula lingstica y o cualquier otra que indique la idea de uni, como tambin,igualmente, pero. As, la formalizacin de "Marte tiene satlites y Jpiter tambin", considerando "Marte tiene satlites" = p y "Jpiter tiene satlites" = q, ser p q . Disyuncin: . Representa la partcula lingstica o. Es preciso advertir que esta partcula tiene dos sentidos: un inclusivo y otro exclusivo. En sentido inclusivo equivale a y/o, o sea, que incluye la verdad de los dos enunciados de la disyuncin o bien slo la de uno de los dos. El sentido exclusivo expresa la idea que la verdad de un miembro es incompatible con la verdad del otro: o uno o el otro, pero no los dos. El sentido inclusivo es lo que, en general, se adopta a lgica. As, la formalizacin de "Se aprende lgica escuchando a clase o estudiando", siendo "Se aprende lgica escuchando a clase" = p y "Se aprende lgica estudiante" = q, ser p q . Condicional: . (Tambin: ) Representa las partculas lingsticas si entonces ... o cualquiera otros que indiquen la idea de condicin, como cuando entonces... , entonces o una simple "coma". La partcula entonces o equivalente separa el antecedente del consecuente. As, la formalizacin de "Si llueve, entonces la tierra se moja", con p simbolizando "Llueve" y q, "La tierra se moja", ser p q . Bicondicional : . (Tambin: ) Representa las partculas lingsticas si y slo si o cualquier otra que indique doble condicin, comoequivale, cuando y slo cuando, nicamente. Se trata de una condicin necesaria y suficiente. As, la formalizacin de "Es de noche si y slo si se ha post el sol", con p simbolizando "Es de noche" y q "Se ha post el sol", ser p q. 2.3 Smbolos auxiliares Smbolos auxiliares o parntesis que no tienen ningn significado lgico pero que se usan con el objetivo de clarificar la comprensin de los enunciados. Los smbolos auxiliares parntesis ( ... ) y corchetes [ ... ] evitan ambigedades y facilitan la lectura. Parntesis y corchetes clarifican el siguiente enunciado molecular: "Si [(cantas y bebes) o (bailas y comes)] entonces no puedes hacer ninguna de las cosas bien". En lgica, un argumento es un conjunto de premisas seguidas por una conclusin.1 Un argumento puede ser slido (valido y con premisas verdaderas) o ser persuasivo de alguna otra manera.2Sin embargo, un argumento no necesita ser slido o persuasivo para ser un argumento. Por ejemplo, el siguiente puede ser considerado un argumento:

1. Est lloviendo. 2. Est nublado. 3. Por lo tanto, es de noche. Aunque ni la solidez ni la persuasin son esenciales para que algo sea un argumento, en general se argumenta con la intencin de persuadir a alguien de la verdad de una conclusin, y producir un argumento slido es una buena manera de lograrlo. En un lenguaje formal, un argumento se define como un conjunto ordenado de frmulas, donde la ltima es designada como la conclusin, y las dems como las premisas. significado de filosofia: filo: amor sophia: sabiduria En sentido amplio, se entiende por razonamiento a la facultad que permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos, estableciendo conexiones causales y lgicas necesarias entre ellos. En sentido ms restringido se puede hablar de diferentes tipos de razonamiento:

El razonamiento argumentativo en tanto actividad mental se corresponde con la actividad lingstica de argumentar. En otras palabras, un argumento es la expresin lingstica de un razonamiento. El razonamiento lgico o causal es un proceso de lgica mediante la cual, partiendo de uno o ms juicios, se deriva la validez, la posibilidad o la falsedad de otro juicio distinto. El estudio de los argumentos corresponde a la lgica, de modo que a ella tambin le corresponde indirectamente el estudio del razonamiento. Por lo general, los juicios en que se basa un razonamiento expresan conocimientos ya adquiridos o, por lo menos, postulados como hiptesis.1 Es posible distinguir entre varios tipos de razonamiento lgico. Por ejemplo el razonamiento deductivo(estrictamente lgico), el razonamiento inductivo (donde interviene la probabilidad y la formulacin de conjeturas) y razonamiento abductivo, entre otros.

Una inferencia deductiva est formada por un conjunto de sentencias, las premisas, a las que llamaremos P1,P2,...Pn, y una conclusin, C, tales que las premisas implican lgicamente la conclusin: Una inferencia es una evaluacin que realiza la mente entre expresiones bien formadas de un lenguaje (EBF) que, al ser relacionadas intelectualmente como abstraccin, permiten trazar una lnea lgica de condicin o implicacin lgica entre las diferentes EBF. De esta forma, partiendo de la verdad o falsedad posible (como hiptesis) o conocida (como argumento) de alguna o algunas de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras EBF. Surge as lo que conocemos como postulado1 o transformada de una expresin original conforme a reglas previamente establecidas,2 que puede enmarcarse en uno o varios contextos referenciales

diversos,3 obtenindose en verdad de equivalente.4 5 6

cada

uno

de

ellos

un

significado

como valor

de

Es la operacin lgica utilizada en los motores de inferencia de los Sistemas Expertos. En la lgica tradicional En la lgica tradicional, llamada aristotlica, la forma esencial de inferencia es una forma de razonamiento deductivo. No obstante se reconocan algunas inferencias directas o inmediatas. En lgica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusin. Si la conclusin es una consecuencia lgica de las premisas, se dice que el argumento es deductivamente vlido. Algunos consideran estas dos nociones idnticas y usan ambos trminos indistintamente. Otros, sin embargo, consideran que puede haber argumentos vlidos que no sean deductivamente vlidos, como las inducciones. En cualquier caso, de las inducciones a veces se dice que son buenas o malas, en vez de vlidas o invlidas. Ejemplos de argumentos deductivamente vlidos son los siguientes: 1. Si est soleado, entonces es de da. 2. Est soleado. 3. Por lo tanto, es de da. Lenguaje de programacin lgica La programacin lgica consiste en la aplicacin del corpus de conocimiento sobre lgica para el diseo de lenguajes de programacin. La programacin lgica comprende dos paradigmas de programacin: la programacin declarativa y la programacin funcional. Campos de aplicacin Sistemas expertos, donde un sistema de informacin imita las recomendaciones de un experto sobre algn dominio de conocimiento. Demostracin automtica de teoremas, donde un programa genera nuevos teoremas sobre una teora existente. Reconocimiento de lenguaje natural, donde un programa es capaz de comprender (con limitaciones) la informacin contenida en una expresin lingstica humana. Etc. Fundamentos La mayora de los lenguajes de programacin lgica se basan en la teora lgica de primer orden, aunque tambin incorporan algunos comportamientos de orden superior. En este sentido, 1. Si es lunes, entonces es martes. 2. Es lunes. 3. Por lo martes. tanto, es 1. Todos los planetas giran alrededor del Sol. 2. Marte es un planeta. 3. Por lo tanto, Marte gira alrededor del Sol.

destacan los lenguajes funcionales, ya que se basan en el clculo lambda, que es la nica teora lgica de orden superior que es demostradamente computable (hasta el momento). Lenguajes El lenguaje de programacin lgica por excelencia es Prolog, que cuenta con diversas variantes. La ms importante es la programacin lgica con restricciones, que posibilita la resolucin de ecuaciones lineales adems de la demostracin de hiptesis. Lenguaje de Programacin funcional La Programacin funcional es un paradigma de programacin declarativa basado en la utilizacin de funciones matemticas. Caractersticas No como subprogramas clsicos de un lenguaje imperativo, sino como funciones puramente matemticas, Otras caractersticas propias de estos lenguajes son la no existencia de asignaciones de variables y la falta de construcciones estructuradas como la secuencia o la iteracin Tipos de Lenguajes Existen dos grandes categoras de lenguajes funcionales: los funcionales puros y los hbridos. Lenguajes Puros En contraste, los lenguajes funcionales puros tienen una mayor potencia expresiva, conservando a la vez su transparencia referencial, algo que no se cumple siempre con un lenguaje funcional hbrido. Entre los lenguajes funcionales puros, cabe destacar a Haskell y Miranda Lenguajes Hibridos Los lenguajes funcionales hbridos son menos dogmticos que los puros, al admitir conceptos tomados de los lenguajes imperativos, como las secuencias de instrucciones o la asignacin de variables. Los lenguajes funcionales hbridos ms conocidos son Scala, Lisp, Scheme, Ocaml, SAP y Standard ML