Propositos de la logica

16,134 views 3 slides Mar 27, 2016
Slide 1
Slide 1 of 3
Slide 1
1
Slide 2
2
Slide 3
3

About This Presentation

Lectura para la actividad de la clase 4


Slide Content

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: [email protected]
www.itp.edu.co
Página
1

de
3


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

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: [email protected]
www.itp.edu.co
Página
2

de
3

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.

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: [email protected]
www.itp.edu.co
Página
3

de
3

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