La lgica es el estudio de los mtodos y principios que se usan para
distinguir el razonamiento bueno (correcto) del malo (incorrecto). Todo razonamiento es un pensamiento, pero no todo pensamiento es razonamiento. Es una forma especial de pensamiento en la cual se resuelven problemas, se realizan inferencias, esto es, se extraen conclusiones a partir de premisas. El lgico, empero, est interesado esencialmente en la correccin del proceso completo de razonamiento. El lgico pregunta: Tiene solucin el problema, se sigue la conclusin de las premisas que se han afirmado o supuesto?, las premisas proporcionan buenas razones para aceptar la conclusin? Si el problema queda resuelto, si las premisas proporcionan las bases adecuadas para afirmar la conclusin, si afirmar las premisas constituye una verdadera garanta para afirmar la verdad de la conclusin, entonces el razonamiento es correcto. De lo contrario es incorrecto. Premisas y conclusiones Inferencia es el proceso por el cual se llega a una proposicin y se afirma sobre la base de una o ms proposiciones aceptadas como punto inicial del proceso. Para determinar si una inferencia es correcta, el lgico examina las proposiciones que constituyen los puntos inicial y final de este proceso, as como las relaciones que existen entre ellos. Las proposiciones son o verdaderas o falsas, y en esto difieren de las preguntas, rdenes y exclamaciones. Solamente las proposiciones se pueden afirmar o negar; las preguntas se pueden responder, las rdenes se pueden dar y las exclamaciones pueden pronunciarse, pero ninguna de ellas se puede afirmar, negar o juzgarse como verdadera o falsa. Dos oraciones , que son claramente distintas porque constan de diferentes palabras ordenadas en distintas formas, pueden en el mismo contexto tener el mismo significado y emplearse para afirmar la mismo proposicin. Por ejemplo, Juan ama a Mara, y Mara es amada por Juan. Son dos oraciones diferentes, pero las dos oraciones tienen exactamente el mismo significado. Usamos el trmino proposicin para referirnos al contenido que ambas oraciones afirman. La diferencia entre oraciones y proposiciones puede entenderse mejor si se hace notar que una oracin es siempre oracin de un lenguaje particular , del lenguaje en el cual se emite, mientras que las proposiciones no son propias de ningn lenguaje. Desde el punto del lgico, un argumento es cualquier conjunto de proposiciones de las cuales se dice que una se sigue de las otras, que pretenden apoyar o fundamentar su verdad. Un argumento tiene una estructura. Al describir esta estructura, suelen usarse los trminos
premisa y conclusin. La conclusin de un argumento es la proposicin
que se afirma con base en las otras proposiciones del argumento, y estas otras proposiciones, que son afirmadas (o supuestas) como apoyo o razones para aceptar la conclusin, son las premisas de ese argumento. Ninguna proposicin por s misma, considerada en forma aislada, es una premisa ni una conclusin. Es una premisa solamente cuando aparece en un argumento y pretende fundamentarse en otras proposiciones del argumento. Llamaremos indicadores de la conclusin a tales expresiones. La presencia de cualquiera de ellas seala frecuentemente, pero no siempre, que lo que sigue es la conclusin de un argumento. Esta es una lista parcial de indicadores de conclusin: Por lo tanto De ah que As En consecuencia Llamaremos a tales expresiones: Puesto que Dado que A causa de Pues
Una vez que se ha reconocido un argumento, estas palabras y frases nos
ayudan a identificar las premisas y la conclusin. Si bien no aparecen en el pasaje anterior los indicadores de premisa o de conclusin, se trata claramente de un argumento cuya conclusin est enunciada primero y se sigue de una premisa que se ofrece en su apoyo. En resumen: Un argumento es un grupo de proposiciones de las cuales una, la conclusin, pretende derivarse o seguirse de las otras, que son las premisas. Las proposiciones son tpicamente enunciadas en oraciones declarativas, pero en ocasiones aparecen como rdenes, preguntas retricas o frases nominales. Un argumento completo se puede enunciar
en una sola oracin, pero frecuentemente varias oraciones se utilizan en
su formulacin. En la presentacin de un argumento, su conclusin puede ir antes o despus de las premisas, o en medio de ellas. O la conclusin puede no enunciarse explcitamente, pero puede aclararse por el contexto o quedar implicada por las premisas enunciadas explcitamente. La presencia de trminos especiales que funcionan como indicadores de premisas o de conclusin a menudo ayudan a identificar y distinguir las premisas y la conclusin de un argumento. Un pasaje que contiene un argumento pueden contener proposiciones que no son premisas ni conclusin de ese argumento, pero que contienen informacin que ayuda al lector o al oyente a entender de qu tratan las premisas y la conclusin del argumento. Al analizar un argumento, a menudo es til distinguir por separado las premisas que se pueden conjuntar en una oracin simple. Y al reportar el resultado de nuestro anlisis de un argumento en su premisa (o premisas) y conclusin, es frecuente y til formular cada premisa independiente y la conclusin en una oracin declarativa que se puede entender sin importar el contexto.