¡Más rápido que el navegador!
38 relaciones: Alfred North Whitehead, Aristóteles, Arthur Prior, Avicena, Axioma, Órganon, Bertrand Russell, Clarence Irving Lewis, Condicional estricto, Condicional material, Consecuencia lógica, Consistencia (lógica), Cuantificador, Fórmula bien formada, Gottlob Frege, Implicación, Intuicionismo, Lógica de primer orden, Lógica deóntica, Lógica doxástica, Lógica epistémica, Lógica proposicional, Lógica temporal, Lengua natural, Modus ponendo ponens, Mundo posible, Oskar Becker, Paradojas de la implicación material, Principia Mathematica, Regla de inferencia, Relación reflexiva, Relación simétrica, Relación transitiva, Saul Kripke, Semántica, Sistema deductivo, Sistema formal, Teorema.
Alfred North Whitehead
Alfred North Whitehead, OM, MRS (15 de febrero de 1861- 30 de diciembre de 1947) fue un matemático y filósofo inglés.
¡Nuevo!!: Lógica modal y Alfred North Whitehead · Ver más »
Aristóteles
Aristóteles (en griego antiguo: Ἀριστοτέλης; en griego moderno: Αριστοτέλης; en latín: Aristoteles; Estagira, 384 a. C.-Calcis, 322 a. C.) fue un filósofo, polímata y científico griego nacido en la ciudad de Estagira, al norte de la Antigua Grecia.
¡Nuevo!!: Lógica modal y Aristóteles · Ver más »
Arthur Prior
Arthur Norman Prior (Masterton, Nueva Zelanda, 4 de diciembre de 1914 – Trondheim, Noruega, 6 de octubre de 1969) fue un lógico y filósofo neozelandés.
¡Nuevo!!: Lógica modal y Arthur Prior · Ver más »
Avicena
Ibn Sina, latinizado como Avicena es el nombre por el que se conoce en la tradición occidental a Abū ‘Alī al-Husayn ibn ‘Abd Allāh ibn Sĩnã (en persa: ابو علی الحسین ابن عبدالله ابن سینا; en árabe: أبو علي الحسین بن عبدالله بن سینا; Bujará, Gran Jorasán, c. 980-Hamadán, 1037), un polímata, médico, filósofo, astrónomo y científico persa perteneciente a la Edad de Oro del Islam.
¡Nuevo!!: Lógica modal y Avicena · Ver más »
Axioma
Axioma es una proposición tan clara y evidente que se admite sin demostración.
¡Nuevo!!: Lógica modal y Axioma · Ver más »
Órganon
El Órganon (del griego antiguo όργανον, "instrumento") es un conjunto de obras de lógica escritas por Aristóteles y compiladas por Andrónico de Rodas siglos más tarde.
¡Nuevo!!: Lógica modal y Órganon · Ver más »
Bertrand Russell
Bertrand Arthur William Russell (Trellech, Monmouthshire; 18 de mayo de 1872-Penrhyndeudraeth, Gwynedd, 2 de febrero de 1970) fue un filósofo, matemático, lógico y escritor británico, ganador del Premio Nobel de Literatura.
¡Nuevo!!: Lógica modal y Bertrand Russell · Ver más »
Clarence Irving Lewis
Clarence Irving Lewis (12 de abril de 1883, Stoneham Massachusetts - 3 de febrero de 1964 Cambridge), usualmente citado como C. I. Lewis, fue un filósofo y catedrático estadounidense, fundador del pragmatismo conceptual.
¡Nuevo!!: Lógica modal y Clarence Irving Lewis · Ver más »
Condicional estricto
En lógica, el condicional estricto es un condicional material sobre el que opera un operador de necesidad.
¡Nuevo!!: Lógica modal y Condicional estricto · Ver más »
Condicional material
El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente confundido con la implicación material, es un conectiva lógica que conecta dos proposiciones, representado usualmente como A \to B. En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso.
¡Nuevo!!: Lógica modal y Condicional material · Ver más »
Consecuencia lógica
En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido.
¡Nuevo!!: Lógica modal y Consecuencia lógica · Ver más »
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 modal y Consistencia (lógica) · Ver más »
Cuantificador
En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo, pertenencia, equivalencia u orden).
¡Nuevo!!: Lógica modal y Cuantificador · Ver más »
Fórmula bien formada
En lógica matemática, una fórmula bien formada, también llamada expresión bien formada, y a menudo abreviada fbf o EBF, es una cadena de caracteres o palabra generada según una gramática formal a partir de un alfabeto dado.
¡Nuevo!!: Lógica modal y Fórmula bien formada · Ver más »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, 8 de noviembre de 1848 - Bad Kleinen, 26 de julio de 1925) fue un matemático, lógico y filósofo alemán.
¡Nuevo!!: Lógica modal y Gottlob Frege · Ver más »
Implicación
Implicación (del latín implicare), en su uso común, es una afirmación que conlleva otra, sin que la segunda deba ser comunicada explícitamente.
¡Nuevo!!: Lógica modal e Implicación · Ver más »
Intuicionismo
En filosofía de las matemáticas, el intuicionismo o neointuicionismo (contrario a preintuicionismo) es una aproximación a las matemáticas que considera todo objeto matemático como producto de la mente humana.
¡Nuevo!!: Lógica modal e Intuicionismo · Ver más »
Lógica de primer orden
Una lógica de primer orden, también llamada lógica predicativa, 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.
¡Nuevo!!: Lógica modal y Lógica de primer orden · Ver más »
Lógica deóntica
La lógica deóntica (del griego δέον déon 'lo debido, lo necesario') es la lógica de las normas y de las ideas normativas.
¡Nuevo!!: Lógica modal y Lógica deóntica · Ver más »
Lógica doxástica
La lógica doxástica (del griego antiguo δόξα, doxa, "creencia") es un sistema lógico que se ocupa del razonamiento acerca de las creencias.
¡Nuevo!!: Lógica modal y Lógica doxástica · Ver más »
Lógica epistémica
La lógica epistémica es un campo de la lógica modal que se ocupa del razonamiento sobre el conocimiento.
¡Nuevo!!: Lógica modal y Lógica epistémica · 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 modal y Lógica proposicional · Ver más »
Lógica temporal
La lógica temporal es una extensión de la lógica modal, la cual es prácticamente usada en sistemas de reglas, donde está presente el tiempo.
¡Nuevo!!: Lógica modal y Lógica temporal · Ver más »
Lengua natural
Una lengua natural es una variedad lingüística o forma de lenguaje humano generada espontáneamente en un grupo de hablantes con propósito de comunicarse, a diferencia de otras lenguas, como puedan ser una lengua construida, los lenguajes de programación o los lenguajes formales usados en el estudio de la lógica formal, especialmente la lógica matemática.
¡Nuevo!!: Lógica modal y Lengua natural · 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 modal y Modus ponendo ponens · Ver más »
Mundo posible
En filosofía y lógica, especialmente en lógica modal, la noción de mundo posible se utiliza para interpretar afirmaciones modales como «es posible que llueva» o «es necesario que 1 + 2.
¡Nuevo!!: Lógica modal y Mundo posible · Ver más »
Oskar Becker
Oskar Becker (Leipzig, 5 de septiembre de 1889-Bonn, 13 de noviembre de 1964) fue un filósofo, lógico e historiador de matemáticas alemán.
¡Nuevo!!: Lógica modal y Oskar Becker · Ver más »
Paradojas de la implicación material
Las paradojas de la implicación material son un conjunto de fórmulas de la lógica proposicional, reconocidas como verdades lógicas, pero que golpean al sentido común como cuestionables, o incluso absurdas.
¡Nuevo!!: Lógica modal y Paradojas de la implicación material · Ver más »
Principia Mathematica
Principia mathematica es un conjunto de tres libros con las bases de la matemática escritos por Bertrand Russell y Alfred North Whitehead y publicados entre 1910 y 1913.
¡Nuevo!!: Lógica modal y Principia Mathematica · Ver más »
Regla de inferencia
En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones).
¡Nuevo!!: Lógica modal y Regla de inferencia · Ver más »
Relación reflexiva
En matemáticas, una relación reflexiva o refleja es una relación binaria R sobre un conjunto A, de manera que todo elemento de A está relacionado consigo mismo.
¡Nuevo!!: Lógica modal y Relación reflexiva · Ver más »
Relación simétrica
Una relación binaria R sobre un conjunto A, es simétrica cuando se da que si un elemento está relacionado con otro mediante R, entonces ese otro también está relacionado con él, a través de la misma "R".
¡Nuevo!!: Lógica modal y Relación simétrica · Ver más »
Relación transitiva
Una relación binaria R sobre un conjunto A es transitiva cuando se cumple: siempre que un elemento se relaciona con otro y este último con un tercero, entonces el primero se relaciona con el tercero.
¡Nuevo!!: Lógica modal y Relación transitiva · Ver más »
Saul Kripke
Saul Aaron Kripke (Bay Shore, Nueva York, 13 de noviembre de 1940-15 de septiembre de 2022) fue un profesor, filósofo y lógico estadounidense.
¡Nuevo!!: Lógica modal y Saul Kripke · Ver más »
Semántica
El término semántica se refiere al estudio de diversos aspectos del significado, sentido o interpretación de signos lingüísticos como símbolos, palabras, expresiones o representaciones formales.
¡Nuevo!!: Lógica modal y Semántica · Ver más »
Sistema deductivo
Un sistema deductivo (también nombrado como aparato deductivo de un sistema formal) está constituido de axiomas y reglas de inferencia que pueden ser usados para derivar los teoremas del sistema.
¡Nuevo!!: Lógica modal y Sistema deductivo · Ver más »
Sistema formal
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Lógica modal y Sistema formal · Ver más »
Teorema
Un teorema es una proposición cuya verdad se demuestra.
¡Nuevo!!: Lógica modal y Teorema · Ver más »
