daza

Lógica
Primer Parcial
Materia: Lógic
Grupo: 104
Introducción: La lógica es una ciencia formal que estudia los principios de la demostración e inferencia valida
La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón oprincipio»
La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica.
Objetivo: El objetivo de este trabajo es dar a conocer la gran historia de la lógica y suamplio contenido ya que muchas personas no tienen el conocimiento de lo que habla o trata la lógica
Justificación:
Desarrollo: La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».
Así como el objeto de estudio tradicional de laquímica es la materia, y el de la biología la vida, el de la lógica es la inferencia
La lógica investiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como lamatemática, en vez de una ciencia empírica.
La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que hapermitido su aplicación a la informática. Hasta el siglo XIX, la lógica aristotélica y estoica mantuvieron siempre una relación con los argumentos formulados en lenguaje natural.
Acepciones.
Ciencia del pensar
Los filósofos racionalistas, sin embargo, al situar el origen de la reflexión filosófica en la conciencia, aportaron, a través del desarrollo del análisis como método científico del pensar,5los temas que van a marcar el desarrollo de la lógica formal.
La palabra «lógica» ha sido utilizada como lógica trascendental por Kant, en el sentido de investigar los conceptos puros a priori del entendimiento o categorías trascendentales.
Hegel considera la lógica dentro del absoluto como proceso dialéctico del Absoluto, entendido éste como Principio Absoluto, Espíritu Absoluto, y Sujeto,como Sujeto Absoluto.9 10 La lógica, la epistemología y la ontología van unidas y son expuestas en la filosofía entendida ésta como Sistema Absoluto.
Sistemas lógicos: Existe un debate sobre si es correcto hablar de una lógica, o de varias lógicas, pero en el siglo XX se han desarrollado no uno, sino varios sistemas lógicos diferentes, que capturan y formalizan distintas partes del lenguaje natural.Se podría definir a un sistema lógico 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:
Un conjunto de símbolos primitivos (el alfabeto, o vocabulario).
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.
Unconjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una fórmula bien formada.
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.
Lógicas clásicas
Los sistemas lógicos...