Logica
Páginas: 13 (3111 palabras)
Publicado: 5 de agosto de 2010
LA LOGICA
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"
Se trata de una ciencia formalque se dedica al estudio de las formas válidas de inferencia (inferir es ‘llegar a conclusiones’). Es decir, se trata del estudio de los métodos y los principios utilizados para distinguir el razonamiento correcto del incorrecto.
La lógica estudia las estructuras del pensamiento: concepto, juicio y razonamiento.
El filósofo griego Aristóteles(s IV a. C.) fue pionero al utilizar la noción parareferirse al estudio de los argumentos como manifestadores de la verdad en la ciencia, y al plantear al silogismo como el argumento válido. Para Aristóteles, la lógica era una propedéutica o introducción al saber general, pues constituye una especie de instrumento a ser utilizado por todas las ciencias.
CLASES DE LOGICAS
La lógica aristotélica constituye el núcleo fundamental de la llamadalógica clásica, primer período en el desarrollo de la lógica que se extiende hasta el siglo XVIII. Su característica más importante es que se valió de los lenguajes naturales y, por ende, se mantuvo alejada de las matemáticas. En el siglo XIX se produce una gran revolución en la materia, con lo que se inicia el segundo período en el desarrollo de la lógica. Se trata de la llamada lógica simbólica ológica matemática, que es en sus orígenes obra de matemáticos que advirtieron la estrecha relación entre las dos disciplinas formales: la lógica y la matemática.
Lógicas clásicas
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 principiodel tercero excluido el principio de no contradicción.
Entre los sistemas lógicos clásicos se encuentran:
* Lógica proposicional
* Lógica de predicados de primer orden
* Lógica de predicados de segundo orden
Lógicas no clásicas
Los sistemas lógicos no clásicos son aquellos que rechazan uno o varios de los principios de la lógica clásica. Algunos de estos sistemas son:* Lógica intuicionista
* Lógica difusa: Es una lógica plurivalente que rechaza el principio del tercero excluido y propone un número infinito de valores de verdad.
* Lógica relevante: Es una lógica paraconsistente que evita el principio de explosión al exigir que para que una implicación sea válida, el antecedente y el consecuente deben compartir al menos una variable.
* Lógicacuántica: Desarrollada para lidiar con razonamientos en el campo de la mecánica cuántica, su característica más notable es el rechazo de la Lógicas modales
Las Lógicas modales: están diseñadas para tratar con expresiones que califican la verdad de los juicios. Así por ejemplo, la expresión “siempre” califica a un juicio verdadero como verdadero siempre. No es lo mismo decir “está lloviendo” quedecir “siempre está lloviendo”.
Lógica modal: trata con las nociones de necesidad, posibilidad, imposibilidad y contingencia.
Lógica deóntica: se ocupa de nociones morales como la obligación y la permisibilidad
Definición de Lógica Formal
Para distinguir entre los razonamientos correctos y los incorrectos, la lógica opera, principalmente, desde un punto de vista formal, es decir,considerando la forma o estructura de un razonamiento y no su contenido o materia. Se dice que con la lógica ocurre algo parecido a lo que sucede con la aritmética: cuando se suman naranjas o manzanas, no interesan, en realidad, las manzanas o las naranjas, sino ciertas relaciones formales como que "a+b=b+a", porque una vez establecida esta relación formal la misma valdrá para múltiples reemplazos de...
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"
Se trata de una ciencia formalque se dedica al estudio de las formas válidas de inferencia (inferir es ‘llegar a conclusiones’). Es decir, se trata del estudio de los métodos y los principios utilizados para distinguir el razonamiento correcto del incorrecto.
La lógica estudia las estructuras del pensamiento: concepto, juicio y razonamiento.
El filósofo griego Aristóteles(s IV a. C.) fue pionero al utilizar la noción parareferirse al estudio de los argumentos como manifestadores de la verdad en la ciencia, y al plantear al silogismo como el argumento válido. Para Aristóteles, la lógica era una propedéutica o introducción al saber general, pues constituye una especie de instrumento a ser utilizado por todas las ciencias.
CLASES DE LOGICAS
La lógica aristotélica constituye el núcleo fundamental de la llamadalógica clásica, primer período en el desarrollo de la lógica que se extiende hasta el siglo XVIII. Su característica más importante es que se valió de los lenguajes naturales y, por ende, se mantuvo alejada de las matemáticas. En el siglo XIX se produce una gran revolución en la materia, con lo que se inicia el segundo período en el desarrollo de la lógica. Se trata de la llamada lógica simbólica ológica matemática, que es en sus orígenes obra de matemáticos que advirtieron la estrecha relación entre las dos disciplinas formales: la lógica y la matemática.
Lógicas clásicas
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 principiodel tercero excluido el principio de no contradicción.
Entre los sistemas lógicos clásicos se encuentran:
* Lógica proposicional
* Lógica de predicados de primer orden
* Lógica de predicados de segundo orden
Lógicas no clásicas
Los sistemas lógicos no clásicos son aquellos que rechazan uno o varios de los principios de la lógica clásica. Algunos de estos sistemas son:* Lógica intuicionista
* Lógica difusa: Es una lógica plurivalente que rechaza el principio del tercero excluido y propone un número infinito de valores de verdad.
* Lógica relevante: Es una lógica paraconsistente que evita el principio de explosión al exigir que para que una implicación sea válida, el antecedente y el consecuente deben compartir al menos una variable.
* Lógicacuántica: Desarrollada para lidiar con razonamientos en el campo de la mecánica cuántica, su característica más notable es el rechazo de la Lógicas modales
Las Lógicas modales: están diseñadas para tratar con expresiones que califican la verdad de los juicios. Así por ejemplo, la expresión “siempre” califica a un juicio verdadero como verdadero siempre. No es lo mismo decir “está lloviendo” quedecir “siempre está lloviendo”.
Lógica modal: trata con las nociones de necesidad, posibilidad, imposibilidad y contingencia.
Lógica deóntica: se ocupa de nociones morales como la obligación y la permisibilidad
Definición de Lógica Formal
Para distinguir entre los razonamientos correctos y los incorrectos, la lógica opera, principalmente, desde un punto de vista formal, es decir,considerando la forma o estructura de un razonamiento y no su contenido o materia. Se dice que con la lógica ocurre algo parecido a lo que sucede con la aritmética: cuando se suman naranjas o manzanas, no interesan, en realidad, las manzanas o las naranjas, sino ciertas relaciones formales como que "a+b=b+a", porque una vez establecida esta relación formal la misma valdrá para múltiples reemplazos de...
Leer documento completo
Regístrate para leer el documento completo.