2.Lógica proposicional

La lógica es una disciplina filosófica... Lorem ipsum dolor sit amet consectetur adipisicing elit. Illum magnam provident maxime. Possimus maiores obcaecati doloribus. Esse debitis quas consectetur, minus iste repudiandae ipsum. Nobis eligendi voluptatum voluptate dignissimos ut.

En esta sección aprenderemos a operar con los siguientes aspectos de la lógica proposicional:

2.1 Reconocimiento de argumentos
2.2 Formalización de propocisiones
2.3 Formalización de argumentos
2.4 Confección de tablas de verdad

Antes de comenzar con los contenidos específicos tenemos que aprender algunas cosas. En principio, entender por qué el conocimiento para la filosofía se presenta como un problema. Además, debemos poder distinguirlo de otras prácticas humanas y entender su definición. Para ello deben aprender los conceptos que este texto explica.
Por si quieren profundizar en este planteo problemático del conocimiento, puden ver los siguientes videos en YouTube.

2.1 Reconocimiento de argumentos

Definamos qué es un argumento. Es un conjunto de enunciados o proposiciones en el que alguno o algunos de ellos cumplen el rol de premisas, y otro, el de conclusión. La o las premisas dan razones en favor de la conclusión. Más adelante ahondaremos en esta definición. Por el momento es necesario que nos concentremos en lo siguiente: hablamos de proposiciones o enunciados, pero no de oraciones. ¿Cuál es el motivo? La razón es que oraciones y proposiciones/enunciados no son lo mismo. Pero ¿en qué se diferencian? Para responder estos interrogantes lean el apartiado "Oraciones y enunciados" de este texto y luego miern este video.

Por otro lado, debemos poder distinguir, una vez que ya entendimos qué es un argumento, sus partes: las premisas y la conclusión. Para ello debemos prestar atención a los roles que cada proposición cumplen dentro del argumento. Las proposiciones que dan apoyo a otra son las premisas. La propocisión que quiere ser probada es la conclusión. Por suerte, hay otra manera que no es infalible pero resulta útil en una primera aproximación a la cuestión. Se trata de los indicadores de premisas y los indicadores de conclusión. Para ello, deben leer el siguiente texto.

Les dejo a continuación un cuadro que contine varios de los indicadores mencionados:

cuadro indicadores de premisas conclusión

También pueden ver el siguiente video que les resultará útil en este sentido.

Por último, en el mismo texto se les enseña a distinguir entre mención y uso de los términos.

2.2 Formalización de proposiciones

En este tema aprenderemos un nuevo lenguaje: el de la lógica porposicional simbólica. Si bien en un principio parece una tarea ardua, con la práctica resulta sencillo. Se vuelve casi una tarea mecánica.

Para aprender dicho lenguaje deben leer el siguiente texto. En definitiva, este mismo texto será el que usemos hasta el final de este tema tan importante.

Por otro lado, les dejo a continuación un cuadro con los símbolos del lenguaje llamados "conectivas":

2.4 Confección de tablas de verdad

Lorem ipsum dolor sit amet consectetur adipisicing elit. Nobis incidunt eos dignissimos rerum! Tenetur rerum fuga optio nam eum voluptatum porro consequatur, doloribus, aperiam error mollitia, beatae odio temporibus dicta.

En Logic calculator pueden entrar para practicar. Ingresan una fórmula y luego ejecutan para que se les confeccione la tabla de verdad correspondiente. Cabe aclara que el modo en el que lo resuelve no es exactamente el mismo que practiamos en clase. Tengan en cuenta además que carece de un operador lógico o constante que nosotros empleamos que es la "disyunción exclusiva", cuyo símbolo es "V". Sin embargo, les puede resultar útil para corregir la resolución de distintas tablas de verdad con el fin de practicar.

Para reforzar lo aprendido en el texto y las clases recomiendo ver, si hace falta, el siguiente video.

Confección de tablas de verdad

¡¡¡Y a practicar incansablemente!!!