logica
Páginas: 2 (498 palabras)
Publicado: 4 de febrero de 2014
Por último es importante destacar el desarrollo de una disciplina paralela y hermana de la lógica: la metalógica.
La metalógica estudia las propiedades de los sistemas o cálculos lógicos, entrelas que señalamos las siguientes:
• La consistencia: un sistema lógico es consistente cuando no produce contradicciones (no puede ser que dentro del sistema sean verdad A y no A).
• Ladecidibilidad: un sistema es decidible cuando tiene un método que nos permite saber siempre si una proposición es verdadera o falsa.
• La completitud: un sistema sería incompleto si encontramos unaproposicion verdadera que no puede deducirse en él.
La metalógica fue desarrollada especialmente por el lógico austríaco Kurt Gödel, que demostró que ciertos sistemas lógicos no pueden ser a la vezconsistentes y completos.
Tipos de lógica en la actualidad: •Lógicas clásicas ◦Lógica de enunciados.
◦Lógica de predicados.
•Lógicas no clásicas ◦Lógicas plurivalentes.
◦Lógica difusa.◦Lógica intuicionista.
◦Lógica cuántica.
•Lógicas modales ◦Lógica modal.
◦Lógica deóntica.
◦ Lógica temporal.
•Lógica informal ◦Falacias.
◦Paradojas.
•Metalógica ◦Consistencia.◦Decidibilidad.
◦Completitud.
Por último es importante destacar el desarrollo de una disciplina paralela y hermana de la lógica: la metalógica.
La metalógica estudia las propiedades de los sistemas ocálculos lógicos, entre las que señalamos las siguientes:
• La consistencia: un sistema lógico es consistente cuando no produce contradicciones (no puede ser que dentro del sistema sean verdad A y noA).
• La decidibilidad: un sistema es decidible cuando tiene un método que nos permite saber siempre si una proposición es verdadera o falsa.
• La completitud: un sistema sería incompleto siencontramos una proposicion verdadera que no puede deducirse en él.
La metalógica fue desarrollada especialmente por el lógico austríaco Kurt Gödel, que demostró que ciertos sistemas lógicos no...
La metalógica estudia las propiedades de los sistemas o cálculos lógicos, entrelas que señalamos las siguientes:
• La consistencia: un sistema lógico es consistente cuando no produce contradicciones (no puede ser que dentro del sistema sean verdad A y no A).
• Ladecidibilidad: un sistema es decidible cuando tiene un método que nos permite saber siempre si una proposición es verdadera o falsa.
• La completitud: un sistema sería incompleto si encontramos unaproposicion verdadera que no puede deducirse en él.
La metalógica fue desarrollada especialmente por el lógico austríaco Kurt Gödel, que demostró que ciertos sistemas lógicos no pueden ser a la vezconsistentes y completos.
Tipos de lógica en la actualidad: •Lógicas clásicas ◦Lógica de enunciados.
◦Lógica de predicados.
•Lógicas no clásicas ◦Lógicas plurivalentes.
◦Lógica difusa.◦Lógica intuicionista.
◦Lógica cuántica.
•Lógicas modales ◦Lógica modal.
◦Lógica deóntica.
◦ Lógica temporal.
•Lógica informal ◦Falacias.
◦Paradojas.
•Metalógica ◦Consistencia.◦Decidibilidad.
◦Completitud.
Por último es importante destacar el desarrollo de una disciplina paralela y hermana de la lógica: la metalógica.
La metalógica estudia las propiedades de los sistemas ocálculos lógicos, entre las que señalamos las siguientes:
• La consistencia: un sistema lógico es consistente cuando no produce contradicciones (no puede ser que dentro del sistema sean verdad A y noA).
• La decidibilidad: un sistema es decidible cuando tiene un método que nos permite saber siempre si una proposición es verdadera o falsa.
• La completitud: un sistema sería incompleto siencontramos una proposicion verdadera que no puede deducirse en él.
La metalógica fue desarrollada especialmente por el lógico austríaco Kurt Gödel, que demostró que ciertos sistemas lógicos no...
Leer documento completo
Regístrate para leer el documento completo.