Lógica tradicional y lógica proposicional Flashcards
¿Qué es la lógica?
Es el estudio de las condiciones de la forma de la argumentación.
¿Cómo entendía Aristóteles (384-322 a.C.) la lógica?
Entendía la lógica como un instrumento (órganon) de la ciencia en general, puesto que la lógica debe servir para saber qué conclusiones pueden obtenerse de premisas dadas y para distinguir las conclusiones legítimas de las ilegítimas.
¿Cómo nació la lógica tradicional?
Verdaderamente, Aristóteles no fundó la lógica tradicional. Los comentarios de autores posaristotélicos (siglo III a.C.) dieron inicio a este cosmos del saber, cuyos planteamientos distaban de los que Aristóteles propuso.
¿Cómo se distinguen la validez y la verdad de una argumentación?
La validez radica en la esencia de la argumentación y declara que la conclusión es una derivación de las premisas, independientemente de la verdad de sus asunciones.
La verdad radica en la materia de la argumentación y declara que, para conseguir una conclusión verdadera, se requiere la garantía material de las premisas.
¿Qué es la lógica proposicional?
Es una ciencia que estudia los procedimientos para distinguir si un razonamiento es correcto o incorrecto a partir de la sistematización de las proposiciones.
¿Qué es el valor de verdad?
Es un indicador que declara la veracidad o falsedad de un enunciado.
Conjunción
El valor de la verdad de la conjunción aparece cuando ambas proposiciones son verdaderas. Si no, son falsas
Significado: y
Disyunción
El valor de la verdad aparece cuando ambas proposiciones son falsas. Si no, son verdaderas.
Significado: o
Condicional
Es falsa cuando la primera es verdadera y la segunda es falsa. En el resto de situaciones, siempre es verdadera.
Significado: si… entonces
Bicondicional
Es falsa cuando sólo una de las proposiciones es falsa.
Significado: si y sólo si
Disyunción exclusiva
Solamente es verdadera cuando ambas frases tienen valores diferentes y es falsa si las dos frases son ambas verdaderas o ambas falsas.
¿Qué es la tautología?
- Es la repetición innecesaria de conceptos
- En retórica, es la repetición de un pensamiento expresándolo con las mismas o similares palabras. “Yo soy el que soy”
- Fórmula o proposición que es siempre verdadera cualquiera que sea el valor de verdad de los elementos componentes
Modus ponens
“El modo que afirmando afirma”.
Su falacia es la afirmación del consecuente.
Modus tollens
“El modo que negando niega”.
Su falacia es la negación del antecedente.
¿Qué es el método directo o semántico?
Es el que asume la verdad de las premisas y, a partir de ahí, se intenta deducir la verdad de la conclusión.
Se fundamenta en el modus ponens.
