¡Más rápido que el navegador!
17 relaciones: Consistencia (lógica), Contradicción, Creencia, Griego antiguo, Jaakko Hintikka, Lógica, Lógica modal, Lógica proposicional, Modus ponendo ponens, Oxford University Press, Proposición, Raymond Smullyan, Razonamiento, Tautología, Teorema de Löb, Teoremas de incompletitud de Gödel, Valor de verdad.
Consistencia (lógica)
En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema.
¡Nuevo!!: Lógica doxástica y Consistencia (lógica) · Ver más »
Contradicción
En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones.
¡Nuevo!!: Lógica doxástica y Contradicción · Ver más »
Creencia
Las creencias son estados de la mente en los que uno supone que algo es verdadero o probable.
¡Nuevo!!: Lógica doxástica y Creencia · Ver más »
Griego antiguo
El nombre genérico de griego antiguo (autoglotónimo: Ἀρχαία Ἑλληνικὴ γλῶσσα/γλῶττα; griego moderno: Αρχαία ελληνική γλώσσα o Αρχαία ελληνικά; Lingua Palaeograeca o Lingua Graeca antiqua en latín), se refiere a todas las lenguas, dialectos y variantes de la lengua griega hablados durante la Antigüedad: griego homérico, arcaico, clásico, helenístico, dórico, jónico, ático, entre otros, sin hacer distinción entre ellos.
¡Nuevo!!: Lógica doxástica y Griego antiguo · Ver más »
Jaakko Hintikka
Jaakko Hintikka (Vantaa, 12 de enero de 1929-Porvoo, 12 de agosto de 2015) fue un filósofo y lógico finés.
¡Nuevo!!: Lógica doxástica y Jaakko Hintikka · Ver más »
Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
¡Nuevo!!: Lógica doxástica y Lógica · Ver más »
Lógica modal
Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.
¡Nuevo!!: Lógica doxástica y Lógica modal · Ver más »
Lógica proposicional
La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
¡Nuevo!!: Lógica doxástica y Lógica proposicional · Ver más »
Modus ponendo ponens
El modus ponendo ponens (latín: "el modo que, al afirmar, afirma"1, también llamado modus ponens, eliminación de la implicación, regla de separación, afirmación del antecedente, generalmente abreviado MP) es una forma de argumento válido (razonamiento deductivo) y una de las reglas de inferencia en lógica proposicional.
¡Nuevo!!: Lógica doxástica y Modus ponendo ponens · Ver más »
Oxford University Press
Oxford University Press (OUP) es la casa editorial de mayor reconocimiento en el Reino Unido y una de las más prestigiosas a nivel mundial.
¡Nuevo!!: Lógica doxástica y Oxford University Press · Ver más »
Proposición
En filosofía y lógica, el término proposición se usa para referirse a.
¡Nuevo!!: Lógica doxástica y Proposición · Ver más »
Raymond Smullyan
Raymond M. Smullyan (Far Rockaway, Queens, 25 de mayo de 1919-6 de febrero de 2017) fue un matemático, lógico, filósofo, mago, pianista y humorista estadounidense.
¡Nuevo!!: Lógica doxástica y Raymond Smullyan · Ver más »
Razonamiento
En sentido amplio, se entiende por razonamiento a la facultad que permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos, estableciendo conexiones causales y lógicas necesarias entre ellos.
¡Nuevo!!: Lógica doxástica y Razonamiento · Ver más »
Tautología
En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.
¡Nuevo!!: Lógica doxástica y Tautología · Ver más »
Teorema de Löb
En lógica matemática, el teorema de Löb establece que en una teoría con aritmética de Peano, para cualquier fórmula P, se puede demostrar que "si P es demostrable entonces P", entonces P es demostrable.
¡Nuevo!!: Lógica doxástica y Teorema de Löb · Ver más »
Teoremas de incompletitud de Gödel
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931.
¡Nuevo!!: Lógica doxástica y Teoremas de incompletitud de Gödel · Ver más »
Valor de verdad
En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad.
¡Nuevo!!: Lógica doxástica y Valor de verdad · Ver más »
