De qu trata la lgica?

Las personas constantemente tomamos decisiones acerca de lo que creemos que es verdadero en distintos aspectos de nuestras vidas. Aunque todo el mundo est de acuerdo en preferir creer lo que es verdad, con frecuencia discrepamos sobre lo que es verdadero en casos particulares. Si bien muchas de nuestras convicciones fundamentales sobre el mundo que nos rodea las adquirimos de cualquier manera en lugar de mediante el uso de la razn, todos reconocemos que nuestras creencias sobre el mundo y los hechos que acaecen en el mismo mundo estn de algn modo ligadas. Por ejemplo, si yo creo que todos los perros son mamferos y que todos los mamferos son seres racionales, entonces tendra sentido para m suponer que todos los perros son seres racionales. En este caso, incluso quien (acertadamente) discrepara con mi comprensin de las clasificaciones biolgicas podra apreciar la forma consistente y razonable en que he utilizado mis creencias errneas como base sobre la que establecer nuevas creencias. Por otra parte, si llego a la conclusin de que Alonso Quijano es espaol porque creo que Alonso Quijano es un personaje de Jos Zorrilla, y que algunos espaoles son personajes de Jos Zorrilla, entonces incluso alguien que est de acuerdo con mi conclusin me reprochar (de nuevo acertadamente) no haber dado buenas razones para apoyarla. En conclusin, podemos estar de acuerdo con el camino que sigue un razonamiento aunque discrepemos de sus puntos de partida y de llegada. Es decir, es posible distinguir los razonamientos vlidos de los invlidos independientemente de que estemos o no de acuerdo con el contenido que expresen dichos razonamientos. Dicho de forma muy simple, la lgica es la disciplina que estudia esta distincin determinando las condiciones bajo las cuales la verdad de ciertas creencias conduce con certeza a la verdad de alguna otra creencia. La lgica estudia, pues, los principios de los razonamientos correctos. Hay que apresurarse a sealar que la lgica no garantiza que siempre lleguemos a conclusiones verdaderas, ya que algunas veces las creencias de las que partimos son errneas (como suponer que todos los mamferos son seres racionales, en el ejemplo anterior). Lo que s garantiza la lgica es que siguiendo los principios de los razonamientos correctos, no surgan otros errores aparte de los derivados de la posible falsedad de los conocimientos que sustancian nuestros razonamientos. En esta primera parte de introduccin a la lgica estudiaremos los siguientes bloques de conceptos que subyacen a la aproximacin intuitiva que acabamos de exponer: en qu consisten las proposiciones la estructura de los argumentos y nocin de inferencia la distincin entre lgica formal y lgica material la diferencia entre verdad, validez y solidez de los argumentos los tipos de inferencia, distinguiendo entre inferencias deductivas e inductivas

Continuemos en la siguiente seccin viendo en qu consisten las proposiciones.