Conquista de mexico

INTRODUCCIÓN
La lógica es una ciencia formal y una rama de la filosofía que se encarga de estudiar los principios de la demostración y es usada comúnmente para rectificar si alguna inferencia es válida o no.
El objetivo de esta monografía es dar a conocer lo que es la lógica de una manera general así como estudiar las diferentes partes que componen la lógica, su función, los diferentes tipos derazonamiento y las características o reglas que se deben seguir para que un argumento sea valido

 
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra esta directamente relacionada con la palabra griega logos, cuyo significado en griego antiguo es equivalente a "palabra, pensamiento, idea, argumento, razón oprincipio" y logiké "dotado de razón, intelectual, dialéctico, argumentativo". En definitiva, se trata del estudio de la forma en que funciona la facultad humana de pensar y razonar.
Tambien puede definirse como el conjunto de conocimientos que tienen como objetivo la creación de las leyes que rigen los procesos del pensamiento humano; así como de los métodos que se deben de aplicarse alrazonamiento y la reflexión para lograr un sistema de racionamiento que conduzca a resultados que puedan considerarse como certeros o verdaderos.
SISTEMAS LÓGICOS
Existe un debate sobre si es correcto hablar de una lógica, o de varias lógicas, pero durante el siglo XX se han desarrollado varios sistemas lógicos diferentes, que capturan y formalizan distintas partes del lenguaje natural. Estos sepueden definir como un conjunto de cosas, que nos ayudan en la toma de decisiones que sean lo más convenientemente posible.
Un sistema lógico está compuesto por:
1. Un conjunto de símbolos primitivos (el alfabeto, o vocabulario).
2. Un conjunto de reglas de formación (la gramática) que nos dice cómo construir fórmulas bien formadas a partir de los símbolos primitivos.
3. Un conjunto de axiomas oesquemas de axiomas. Cada axioma debe ser una fórmula bien formada.
4. Un conjunto de reglas de inferencia. Estas reglas determinan qué fórmulas pueden inferirse de qué fórmulas. Por ejemplo, una regla de inferencia clásica es el modus ponens, según el cual, dada una fórmula A, y otra fórmula A → B, la regla nos permite afirmar que B.5. Una interpretación formal. En los lenguajes naturales, una misma palabra puede significar diversas cosas dependiendo de la interpretación que se le dé. En consecuencia, dependiendo de la interpretación, variará también el valor de verdad de la oración "los bancos son instituciones". Las interpretaciones formales asignan significados inequívocos a lossímbolos, y valores de verdad a las fórmulas.

SILOGISMO
Un silogismo es un razonamiento en el cual la conclusión es deducida a partir de dos premisas. Por este motivo, en la lógica clásica se los denomina inferencias mediatas.
El silogismo categórico es el que se compone de tres proposiciones categóricas, que tienen tres términos dos de los cuales aparecen en las proposiciones iniciales, ycuya conclusión es una proposición categórica que contiene dos de los tres términos del silogismo, uno como sujeto y el otro como predicado:
Todos los hombres son mortales
Sócrates es hombre
Sócrates es mortal
La conclusión se integra, en consecuencia, como uno de los términos que es tomado de la primera premisa, y otro que es tomado de la segunda premisa, cada uno de los cuales ocupa sea ellugar de sujeto sea el de predicado de la conclusión.
El término que ocupa en la conclusión la posición del predicado, es denominado término mayor, el que ocupa el lugar del sujeto de la conclusión es denominado término menor; y el que apareciendo en las premisas no lo hace en la conclusión es denominado término medio.
La premisa de la cual es tomado el término mayor, se denomina premisa mayor;...