Lecturas de clase

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”