Drop in the ass ass ass

Solo disponible en BuenasTareas
  • Páginas : 2 (351 palabras )
  • Descarga(s) : 0
  • Publicado : 22 de febrero de 2012
Leer documento completo
Vista previa del texto
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), quesignifica «dotado de razón, intelectual, dialéctico, argumentativo»,
La lógica examina la validez de los argumentos en términos de su estructura, (estructura lógica), independientementedel contenido específico del discurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir.
Esto es exactamente lo que quiere decir que la lógica es una cienciaformal.

-------------------------------------------------
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 nouno, 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 latoma de decisiones que sean lo más convenientemente posible.
Lógicas clásicas
Los sistemas lógicos clásicos son los más estudiados y utilizados de todos, y se caracterizan por incorporar ciertosprincipios 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 laimplicación. Entre los sistemas lógicos clásicos se encuentran

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 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: Esuna lógica paraconsistente que evita el principio de explosión al exigir que para que un argumento sea válido, las premisas y la conclusión deben compartir al menos una variable proposicional....
tracking img