COPI INTRODUCCIN A LA LGICA.

El estudio de la lgica es el estudio de los mtodos y los principios usados

para distinguir el razonamiento correcto del incorrecto (falacias). El
razonamiento es un gnero especial de pensamiento en el cual se derivan
conclusiones a partir de premisas. Si las premisas constituyen un fundamento o
una buena evidencia de la conclusin, de manera que afirmar la verdad de las
premisas es afirmar la verdad de la conclusin, entonces el razonamiento es
correcto. Las proposiciones solo pueden afirmarse o negarse, se las puede
juzgar como verdaderas o falsas. Los razonamientos pueden ser deductivos o
inductivos. Solamente los razonamientos deductivos pretenden que sus
premisas ofrezcan evidencias concluyentes, y son vlidos cuando las premisas
y la conclusin estn relacionados de tal manera que es imposible que una sea
falsa cuando la otra es verdadera. Ej: Todos los hombres son libres. Aristteles
es un hombre. Aristteles es libre. Un razonamiento inductivo no pretende que
sus premisas ofrezcan una evidencia total de la verdad de su conclusin, miden
la probabilidad que las premisas confieren a las conclusiones. Ej: El primer
cuervo es negro. El segundo cuervo es negro. Todos los cuervos son negros. La
validez de un razonamiento no garantiza su verdad. Refutacin por analoga
lgica: Para probar que un R no es vlido basta formular otro razonamiento que
tenga la misma forma pero con premisas verdaderas y conclusin falsa. Si la
forma especfica de un razonamiento tiene algn ejemplo de sustitucin cuyas
premisas sean verdaderas pero su conclusin sea falsa, entonces el
razonamiento en cuestin no es verdadero (sin que entre en consideracin el
contenido de los enunciados). p q r s q s p r Una forma de enunciado
que solo tiene ejemplos de sustitucin verdadera es una tautologa. Una forma
de enunciado que solo tiene ejemplos de sustitucin falsos es una
contradiccin. Una forma de enunciado que posee ejemplos de sustitucin
verdaderos y falsos es una contingencia, y sus valores de verdad dependen de
sus contenidos y no de sus formas solamente. Dos enunciados p y q son
materialmente equivalentes cuando tanto p como q son verdaderos o falsos, se
simboliza pq (p es materialmente equivalente a q): p V, q V pq V p V, q
F pq F p F, q V pq F p F, q F pq V LEYES DEL PENSAMIENTO:
Principio de identidad, afirma que si un enunciado es verdadero, entonces es
verdadero (p q es verdadero). Principio de contradiccin, afirma que ningn
enunciado puede ser verdadero y falso (p p es falso). Principio del tercero
excluido, afirma que un enunciado o es verdadero o es falso (p v p es
verdadero).