Lecturas logica
0 recomendaciones1,852 vistas
El documento discute si el lenguaje es suficiente para expresar todos los pensamientos. Explica que el lenguaje natural tiene limitaciones y que sistemas más abstractos como la lógica y las matemáticas pueden expresar mejor las estructuras del pensamiento. También introduce la lógica formal como un lenguaje basado en símbolos que puede expresar argumentos de manera más precisa al eliminar ambigüedades del lenguaje natural.
Lecturas logica
- 1. ¿EL LENGUAJE ES SUFICIENTE PARA EXPRESAR LOS PENSAMIENTOS? El surgimiento del lenguaje humano se dio por la necesidad de los grupos sociales, y ha sufrido trasformaciones durante las cuales se han incorporado lenguas, palabras que representan conceptos nuevos o más complejos, usos del lenguaje, diferentes tipos de comunicación, entre otras adecuaciones. Sin embargo, el lenguaje ha trascendido la barrera de la realidad. La idea de la lógica de Aristóteles pretendía conocer la realidad y representarla con claridad también en el pensamiento. El lenguaje natural (humano) tiene sus limitaciones y conocer las estructuras del pensamiento ha requerido sistemas sofisticados más parecidos a las matemáticas. Mismos que, no necesariamente se alejan de la realidad, sino que se caracterizan por ser una abstracción, es decir, no necesitamos tener las cosas presentes para representarlas, y se aproxima al objetivo de llegar a las estructuras lógicas del pensamiento. Esa parte de la lógica no es suficiente para expresar lo que nuestro pensamiento puede razonar y cómo podemos comprender la realidad como una abstracción. Existen otro tipo de lenguajes como el artificial que es creado por los seres humanos, cumple ciertas reglas o se diseña para unos tipos de comunicación específicas. En la Lógica, el sistema lógico-matemático creado por Tottlob Frege, pretendía mejorar las formas lógicas y explorar lo que la lógica de Aristóteles no podía. Analizó los signos como lo que vincula los objetos con los hechos. También intentó usar símbolos de forma similar a las matemáticas con el objetivo de hacerla universal y eliminar las ambigüedades de los idiomas.
- 2. LÓGICA FORMAL Es aquella parte de la lógica que, a diferencia de la lógica informal, se dedica a estudiar la inferencia, mediante la construcción de lenguajes formales, es decir, a través de signos y símbolos, aquí es donde encontramos gran semejanza con la matemática, ya que vemos que muchas veces lo que hablamos o decimos no lo podemos expresar todo a través de un vocabulario. Es por eso, que la lógica formal acude a ciertos símbolos matemáticos para poder hacer pruebas y comprobaciones del lenguaje. Debemos aclarar que a la lógica formal no le interesa tanto que la conclusión sea verdadera o no, lo que le interesa es que la estructura de las premisas o del argumento en sí sea el adecuado. Premisa 1: Mi gato es negro Premisa 2: El gato de mi vecina es blanco Conclusión: Por lo tanto, todos los gatos son negros o blancos Premisa 1: Los tigres son felinos amarillos con rayas Premisa 2: Todos los gatos amarillos con rayas son felinos Conclusión: Por lo tanto, todos los gatos amarillos con rayas son felinos CONECTORES La forma lógica de una proposición es cuando a través de símbolos expresas aquello que está escrito en tu argumento. Veremos cinco conectores que, como bien lo dice su nombre, nos ayuda a vincular una premisa con otra y a su vez con la conclusión: 1. Conjunción 2. Disyunción 3. Condicional material 4. Bicondicional 5. Negación
- 3. A cada uno de estos conectores se les asigna una traducción muy específica y un símbolo, como se muestra en la siguiente tabla: CONECTOR LENGUAJE NATURAL SÍMBOLO EJEMPLO Negación NO No está lloviendo Conjunción Y Llueve y está nublado Disyunción O Llueve o está soleado Condicional material Si…entonces Si está soleado, entonces es de día Bicondicional Si y solo si Está nublado y solo si hay nubes visibles Iniciemos a trabajar con la traducción del lenguaje natural o el lenguaje común, que es el que utilizamos en la cotidianeidad, al lenguaje de símbolos lógicos y vamos a ver cómo utilizar estos conectores lógicos en específico. Premisa1: Si está soleado entonces es de día Premisa 2: Está soleado Conclusión: Por lo tanto, es de día Transforma con símbolo el conector “condicional material” Premisa 1: Está frío y es de noche Premisa 2: Está frío Conclusión: Por lo tanto, es de noche Transforma con símbolo el conector “conjunción” Premisa 1: Haz la tarea o no sales a jugar Premisa 2: Haz la tarea Conclusión: No sales a jugar Transforma con símbolo el conector “disyunción” Premisa1: Eres exitoso y solo si tienes dinero Premisa 2: Tienes dinero Conclusión: Eres exitoso Transforma con símbolo el conector “bicondicional”