Danna

Solo disponible en BuenasTareas
  • Páginas : 3 (613 palabras )
  • Descarga(s) : 0
  • Publicado : 4 de marzo de 2011
Leer documento completo
Vista previa del texto
1. Logica formal: En el último tercio del siglo XIX la Lógica va a encontrar su transformación más profunda de la mano de las investigaciones matemáticas y lógicas, junto con el desarrollo de lainvestigacón de las estructuras profundas del lenguaje, la lingüística, convirtiéndose definitivamente en una ciencia formal.
2. Lógica informal: En el lenguaje cotidiano, expresiones como «lógica»o «pensamiento lógico», aporta también un sentido alrededor de un «pensamiento lateral» comparado, haciendo los contenidos de la afirmación coherentes con un contexto, bien sea del discurso o de unateoría de la ciencia, o simplemente con las creencias o evidencias transmitidas por la tradición cultural.

3.Lógicas clásicas

Los sistemas lógicos clásicos son los más estudiados y utilizadosde 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 nocontradicción, el principio de explosión y la monoticidad de la implicación
4.logica proposicional: En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos.En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor complejidad.[1] Como otrossistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza.

5. lógica de primer orden: La lógica deprimer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer ordenson, a su vez, lenguajes formales con cuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyos argumentos son sólo constantes o variables de individuo.[2...
tracking img