Propositos de la logica

Propositos de la logica

• 1.
  VICERRECTORÍA ACADÉMICO Educación Continuada:Preuniversitario Nit. 800.247.940-1 Sede Mocoa: “Aire Libre” Barrio Luis Carlos Galán Teléfonos: 4200922 - 4201206 - 4296105 Subsede Sibundoy: Vía al Canal C – Granja Versalles Teléfono: 310 243 4689 Email: itputumayo@itp.edu.co www.itp.edu.co Página1de3 1. Propósito de la lógica La lógica ofrece métodos que enseñan cómo formar proposiciones, evaluar sus valores de verdad y determinar si unas conclusiones se pueden deducir correctamente a partir de proposiciones supuestas; además, la lógica es una ciencia que se interesa por las relaciones existentes entre las proposiciones, con el fin de obtener precisión, claridad y generalidad en los razonamientos. La precisión la logra mediante el uso de símbolos, los cuales tienen como función primordial eliminar las ambigüedades que la estructura del lenguaje ordinario no puede evitar con facilidad. La claridad y generalidad, la consigue en la medida en que el usuario se familiariza con los elementos básicos de un argumento lógico, tanto en su representación simbólica como en su significado para luego establecer un lenguaje simbólico artificial, que le permita simplificar argumentos lógicos complicados; de esta manera, el símbolo permite concentración sobre lo esencial de un contexto dado, incrementando la fiabilidad con que se aplica el conocimiento. Desde el punto de vista del derecho Con el propósito de motivar el estudio por esta área del conocimiento considero importante destacar algunos objetivos de la lógica citados por el Doctor David Kelley en su libro “the Art of Reasoning with Symbolic logic”, y he adaptado algunas situaciones reales en las que se evidencia el papel de la lógica y la necesidad de la coherencia y el análisis crítico en la argumentación. Cuando nos concentramos en nuestros pensamientos, nuestro objetivo normalmente es encontrar la respuesta de algo. Tratamos de responder una pregunta, resolver un problema, probar una tesis, comprender un texto de una disciplina específica. En todos estos casos, podríamos decir que estamos tratando de adquirir conocimientos que no teníamos antes. Y, en muchas ocasiones, podemos adquirir este conocimiento por la observación directa. Pero también tenemos que hacer razonamientos, elaborar inferencias y construir conclusiones conjuntamente a partir de la información obtenida. Un objeto esencial de la lógica, siempre, ha sido el estudio de la inferencia y buena parte de nuestro trabajo estará orientado en esta dirección. Estudiaremos reglas para evaluar las inferencias y aprenderemos a distinguir las correctas de las incorrectas. 2. Lógica y Lingüística Por su origen y desarrollo natural, han sido reconocidos dos tipos básicos de lenguajes: los lenguajes naturales y los lenguajes formales o artificiales. Los lenguajes naturales no se establecieron a través de ninguna teoría, entre ellos están el castellano, el francés y el inglés. Las teorías y gramáticas de lenguajes naturales, fueron establecidas a posteriori, es decir después de que el lenguaje ya había madurado. Los lenguajes formales como las matemáticas y la lógica, fueron desarrollados, generalmente, a partir del establecimiento de una teoría, la cual da las bases para que a través de dichos lenguajes se pueda desarrollar la misma teoría. Los lenguajes naturales y formales tienen puntos en común, en principio, se tiene la existencia de un conjunto finito llamado alfabeto, el cual está constituido de símbolos simples llamados
• 2.
  VICERRECTORÍA ACADÉMICO Educación Continuada:Preuniversitario Nit. 800.247.940-1 Sede Mocoa: “Aire Libre” Barrio Luis Carlos Galán Teléfonos: 4200922 - 4201206 - 4296105 Subsede Sibundoy: Vía al Canal C – Granja Versalles Teléfono: 310 243 4689 Email: itputumayo@itp.edu.co www.itp.edu.co Página2de3 comúnmente letras. En los lenguajes naturales se tienen como ejemplos los alfabetos: latino, griego y árabe-persa, entre otros. En los formales como la lógica se tiene el léxico del cálculo proposicional y de predicados. Mediante la concatenación de las letras del alfabeto se forman los monemas, fonemas o palabras que se encuentran en el interior de un enunciado, de tal forma que un lenguaje se considera como un conjunto infinito de oraciones o enunciados que se forman con palabras. En los sistemas formales los enunciados del lenguaje consisten en una lista de símbolos, (lógicos o matemáticos) sujetos a diversas interpretaciones. En un lenguaje formal, las palabras y las oraciones están perfectamente definidas, una palabra mantiene el mismo significado prescindiendo del contexto o de su uso. Los lenguajes formales son, por esto, necesariamente exentos de cualquier componente semántico fuera de sus operadores y relaciones, y es gracias a esta ausencia de significado especial, que los lenguajes formales pueden ser usados para modelar una teoría de la ingeniería de sistemas, mecánica, eléctrica, entre otras. TIPOS DE LENGUAJES Aunque existen muchas clasificaciones, en general se puede distinguir entre dos clases de lenguajes: los lenguajes naturales (inglés, alemán, español, etc.) y los lenguajes artificiales o formales (matemático, lógico, computacional, etc.). Tanto el lenguaje natural como el lenguaje artificial son humanos. El primero es natural porque se aprende (o adquiere) inconsciente e involuntariamente. Ningún bebé decide aprender o no la lengua que hablan sus padres, y ningún padre sienta a su hijo y le enseña las reglas sintácticas de su lengua. Las personas hablan y se entienden, pero generalmente no se cuestionan las reglas que utilizan al hablar. Por otra parte, los lenguajes artificiales sí se aprenden de manera voluntaria y conscientemente. Un ejemplo de lenguaje artificial son los lenguajes de programación utilizados para desarrollar programas informáticos. LOS LENGUAJES DE PROGRAMACIÓN Un Lenguaje de Programación es un conjunto de reglas, notaciones, símbolos y/o caracteres que permiten a un programador poder expresar el procesamiento de datos y sus estructuras en la computadora. Cada lenguaje posee sus propias sintaxis. También se puede decir que un programa es un conjunto de órdenes o instrucciones que resuelven un problema específico basado en un Lenguaje de Programación. Existen varias clasificaciones para los lenguajes de programación. Clasificación de los Lenguajes de Programación Los programadores escriben instrucciones en diversos lenguajes de programación. La computadora puede entender directamente algunos de ellos, pero otros requieren pasos de traducción intermedios. Hoy día se utilizan cientos de lenguajes de computadora. Los Lenguajes de Programación pueden clasificarse de acuerdo con su uso en: 1. Lenguajes desarrollados para el cálculo numérico. Tales como FORTRAN, Mathematica y Matlab. 2. Lenguajes para sistemas. Como C, C++ y ensamblador. 3. Lenguajes para aplicaciones de Inteligencia Artificial. Tales como Prolog, y Lisp.
• 3.
  VICERRECTORÍA ACADÉMICO Educación Continuada:Preuniversitario Nit. 800.247.940-1 Sede Mocoa: “Aire Libre” Barrio Luis Carlos Galán Teléfonos: 4200922 - 4201206 - 4296105 Subsede Sibundoy: Vía al Canal C – Granja Versalles Teléfono: 310 243 4689 Email: itputumayo@itp.edu.co www.itp.edu.co Página3de3 También se pueden clasificar de acuerdo con el tipo de instrucciones de que constan. En esta clasificación se tiene al lenguaje máquina, al lenguaje ensamblador y al lenguaje de alto nivel. Se presenta a continuación una descripción de cada uno de ellos. Actividades Complementarias Con el fin de propiciar la reflexión sobre los temas tratados en la sección anterior y ampliar su discusión, se proponen las siguientes actividades. Analice cada uno de los conceptos que se presentan a continuación y, elabore un mapa conceptual utilizando la herramienta CmapTools (Descargar) BIBLIOGRAFIA  Kelley, David. The Art of Reasoning with Symbolic Logic. W.W. Norton & Company. New York, London, 1990. Pág. 5. Op. Cit., pág. 7.  COPI, Irving, COHEN, Carl. Introducción a la Lógica. Limusa, México 2002.  GOMEZ, Carlos, GOMEZ, German, BOTERO, William. Matemática Digital. Mc Graw Hill. Bogotá 1998.  SCHEINNERMAN, Edward. Matemáticas Discretas. Thomsom-Learning. Mexico 2001.  LIPSCHUTZ, Seymor. Teoría de Conjuntos. Mc Graw Hill. Bogotá 1980.  SMITH, Kart. Introducción a la Lógica Simbólica. Iberoamericana. Mexico 1991.  GALINDO, Nubia Janeth. Lógica Matemática. Unad. Colombia 1998.  SUPPES, Patrick, HILL, Shirley. Introducción a la Lógica Matemática. Reverté. Colombia 1976.  GUTIERREZ, Fabio. Lógica. Una síntesis didáctica. Fund. Universitaria de Boyacá. Colombia 2001.  Direcciones de sitios web.  http://www.cibernous.com/logica/  http://www.cnice.mecd.es/eos/MaterialesEducativos/mem2003/logica/logica/01concbasicos /130formalmat.html  http://www.monografias.com/trabajos10/clasi/clasi.shtml  http://w3.mor.itesm.mx/~logica/log9908/lc.html  http://minerva.filosoficas.unam.mx/~Tdl/03-1/0424LunaBib.ppt  http://www.monografias.com/trabajos/iartificial/pagina4_1.htm  http://www.monografias.com/trabajos/iartificial/pagina4_1.htm  http://www.ucsm.edu.pe/rabarcaf/Introducci%C3%B3n%20a%20la%20L%C3%B3gica/2. %20L%C3%B3gica%20Proposicional.doc  http://docencia.udea.edu.co/SistemasDiscretos/contenido/capitulo_01.html