Los sistemas lógicos clásicos son los más estudiados y utilizados de todos, y se caracterizan por incorporar ciertos principios tradicionales que otras lógicas rechazan. Algunos de estos principios son: el principio del tercero excluido, el principio de no contradicción, el principio de explosión y la monoticidad de la implicación. Entre los sistemas lógicos clásicos se encuentran:
Lógica proposicional
Lógica de primer orden
Lógica de segundo orden
miércoles, 2 de junio de 2010
sistemas logico
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 logico 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.
Un conjunto 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.
Estos cuatro elementos completan la parte sintáctica de los sistemas lógicos. Sin embargo, todavía no se ha dado ningún significado a los símbolos discutidos, y de hecho, un sistema lógico puede definirse sin tener que hacerlo. Tal tarea corresponde al campo llamado semántica formal, que se ocupa de introducir un quinto elemento:
Una interpretación formal. En los lenguajes naturales, una misma palabra puede significar diversas cosas dependiendo de la interpretación que se le dé. Por ejemplo, en el idioma español, la palabra "banco" puede significar un edificio o un asiento, mientras que en otros idiomas puede significar algo completamente distinto o nada en absoluto. 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 los símbolos, y valores de verdad a las fórmulas.
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.
Un conjunto 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.
Estos cuatro elementos completan la parte sintáctica de los sistemas lógicos. Sin embargo, todavía no se ha dado ningún significado a los símbolos discutidos, y de hecho, un sistema lógico puede definirse sin tener que hacerlo. Tal tarea corresponde al campo llamado semántica formal, que se ocupa de introducir un quinto elemento:
Una interpretación formal. En los lenguajes naturales, una misma palabra puede significar diversas cosas dependiendo de la interpretación que se le dé. Por ejemplo, en el idioma español, la palabra "banco" puede significar un edificio o un asiento, mientras que en otros idiomas puede significar algo completamente distinto o nada en absoluto. 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 los símbolos, y valores de verdad a las fórmulas.
concepto de logica
Lógica
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 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".
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 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".
miércoles, 26 de mayo de 2010
metalogica
Es un lenguaje que hablamos para hablar otro lenguaje, en este caso del cálculo.
a.Sintaxis lógica: nos dice cuáles son las reglas que hay que seguir para la combinación de los signos tengan sentido.b.Semántica lógica: nos dice qué es lo que significan los signos del cálculo lógico.c.Pragmática lógica: relación entre los signos y aquel que lo usa.
Hay ciertas expresiones que quedan por fuera del campo de la lógica. Ej. Ay!, Bah!, Oh!.Las exclamaciones, las preguntas y las expresiones sin sentido.
a.Sintaxis lógica: nos dice cuáles son las reglas que hay que seguir para la combinación de los signos tengan sentido.b.Semántica lógica: nos dice qué es lo que significan los signos del cálculo lógico.c.Pragmática lógica: relación entre los signos y aquel que lo usa.
Hay ciertas expresiones que quedan por fuera del campo de la lógica. Ej. Ay!, Bah!, Oh!.Las exclamaciones, las preguntas y las expresiones sin sentido.
que es un proposicion?
Es una expresión con sentido completo de la cual se puede decir que es verdadera o falsa.
a.Bivalente: cuando una proposición tiene dos valores uno falso y uno verdadero.b.Plurivalente: cuando tiene más de dos valores, verdadero, falso, probable.c.No analizada: donde la totalidad de la proposición se considera una variable.d.Analizada: Cuando nos metemos en la proposición para encontrar constantes y variables.
a.Bivalente: cuando una proposición tiene dos valores uno falso y uno verdadero.b.Plurivalente: cuando tiene más de dos valores, verdadero, falso, probable.c.No analizada: donde la totalidad de la proposición se considera una variable.d.Analizada: Cuando nos metemos en la proposición para encontrar constantes y variables.
tipos de logica
Lógica formal y lógica material:
En el pensamiento es posible distinguir los contenidos materiales y los contenidos formales. Los primeros son constituidos por los conceptos: montaña, casa, carro, árbol. Los segundos, hacen referencia a la forma como aquellos conceptos se relacionan entre sí: A es parte de B; A es idéntico a B; C = (A U B )
Cuando el objeto de estudio son los contenidos materiales del pensamiento, tenemos la lógica material. Cuando se estudian los contenidos formales, tenemos la lógica formal.
En el pensamiento es posible distinguir los contenidos materiales y los contenidos formales. Los primeros son constituidos por los conceptos: montaña, casa, carro, árbol. Los segundos, hacen referencia a la forma como aquellos conceptos se relacionan entre sí: A es parte de B; A es idéntico a B; C = (A U B )
Cuando el objeto de estudio son los contenidos materiales del pensamiento, tenemos la lógica material. Cuando se estudian los contenidos formales, tenemos la lógica formal.
logica
Factores del proceso de pensar:
a.Un sujeto pensante que produce el pensamiento.b.Un objeto al que se refiere el pensamiento y que determina su contenido.c.La forma como es expresado el pensamiento.
a.Un sujeto pensante que produce el pensamiento.b.Un objeto al que se refiere el pensamiento y que determina su contenido.c.La forma como es expresado el pensamiento.
Suscribirse a:
Entradas (Atom)
