30 relaciones: Abraham Fraenkel, Axiomas de Zermelo-Fraenkel, Consistencia (lógica), Demostración en matemática, Dialeteismo, Ernst Zermelo, Fórmula bien formada, Gottlob Frege, Graham Priest, Guillaume de Soissons, Lógica clásica, Lógica intuicionista, Lógica matemática, Lógica paraconsistente, Lógica proposicional, Limón (desambiguación), Modus tollendo ponens, Paradoja de Russell, Paradojas de la implicación material, Principio de no contradicción, Principio del tercero excluido, Proposición, Quod erat demonstrandum, Razonamiento deductivo, Reductio ad absurdum, Sistema axiomático, Sistema formal, Teoría de conjuntos, Trivialismo, Unicornio.
Abraham Fraenkel
Abraham Halevi «Adolf» Fraenkel (אברהם הלוי "אדולף" פרנקל; Múnich, 17 de febrero de 1891 - Jerusalén, 15 de octubre de 1965) fue un lógico y matemático alemán nacionalizado israelí.
¡Nuevo!!: Principio de explosión y Abraham Fraenkel · Ver más »
Axiomas de Zermelo-Fraenkel
En lógica y matemáticas, los axiomas de Zermelo-Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos.
¡Nuevo!!: Principio de explosión y Axiomas de Zermelo-Fraenkel · 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!!: Principio de explosión y Consistencia (lógica) · Ver más »
Demostración en matemática
En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática.
¡Nuevo!!: Principio de explosión y Demostración en matemática · Ver más »
Dialeteismo
El dialeteismo es la creencia de que existen proposiciones verdaderas, cuyas negaciones también son verdaderas.
¡Nuevo!!: Principio de explosión y Dialeteismo · Ver más »
Ernst Zermelo
Ernst Friedrich Ferdinand Zermelo (Berlín, 27 de julio de 1871 - 21 de mayo de 1953) fue un lógico y matemático alemán.
¡Nuevo!!: Principio de explosión y Ernst Zermelo · 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!!: Principio de explosión 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!!: Principio de explosión y Gottlob Frege · Ver más »
Graham Priest
Graham Priest (Londres, 1948) es un filósofo conocido por su defensa del dialeteismo y sus análisis de las paradojas semánticas.
¡Nuevo!!: Principio de explosión y Graham Priest · Ver más »
Guillaume de Soissons
Guillaume de Soissons, a veces llamado William de Soissons, fue un prelado y filósofo medieval, activo en París en el.
¡Nuevo!!: Principio de explosión y Guillaume de Soissons · Ver más »
Lógica clásica
Una lógica clásica o lógica estándar es un sistema formal que respeta los siguientes principios.
¡Nuevo!!: Principio de explosión y Lógica clásica · Ver más »
Lógica intuicionista
La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer.
¡Nuevo!!: Principio de explosión y Lógica intuicionista · Ver más »
Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.
¡Nuevo!!: Principio de explosión y Lógica matemática · Ver más »
Lógica paraconsistente
Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en forma atenuada.
¡Nuevo!!: Principio de explosión y Lógica paraconsistente · 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!!: Principio de explosión y Lógica proposicional · Ver más »
Limón (desambiguación)
Limón o limones hace referencia a varios artículos: Fruto de alguna de las siguientes especies de cítricos.
¡Nuevo!!: Principio de explosión y Limón (desambiguación) · Ver más »
Modus tollendo ponens
El modus tollendo ponens (latín: "el modo que, al negar, afirma")1 también conocido como eliminación de la disyunción o eliminación del "o", abreviado ∨E,HurleyCopi y Cohen o silogismo disyuntivo (cabe anotar que para algunos autores son dos reglas diferentes) es, en lógica clásica, una forma de argumento válida que contiene una declaración disyuntiva en una de sus premisas,HurleyCopi y Cohen y en lógica proposicional, una regla de inferencia válida.
¡Nuevo!!: Principio de explosión y Modus tollendo ponens · Ver más »
Paradoja de Russell
La paradoja de Russell o paradoja del barbero, acreditada a Bertrand Russell, demuestra que la teoría original de conjuntos formulada por Cantor y Frege es contradictoria.
¡Nuevo!!: Principio de explosión y Paradoja de Russell · 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!!: Principio de explosión y Paradojas de la implicación material · Ver más »
Principio de no contradicción
El principio de no contradicción (PNC), o a veces llamado principio de contradicción, ley de la contradicción o ley de no contradicción, es un principio clásico de la lógica y la filosofía, según el cual una proposición (A) y su negación (\neg A) no pueden ser ambas verdaderas al mismo tiempo y en el mismo sentido.
¡Nuevo!!: Principio de explosión y Principio de no contradicción · Ver más »
Principio del tercero excluido
El principio del tercero excluido, propuesto y formalizado por Aristóteles, también llamado principio del cuarto excluido o excluso o en latín principium tertii exclusi o bien tertium non datur (“una tercera cosa no se da”), es un principio de lógica clásica según el cual si existe una proposición que afirma algo, y otra que lo contradice, una de las dos debe ser verdadera, y una tercera opción no es posible.
¡Nuevo!!: Principio de explosión y Principio del tercero excluido · Ver más »
Proposición
En filosofía y lógica, el término proposición se usa para referirse a.
¡Nuevo!!: Principio de explosión y Proposición · Ver más »
Quod erat demonstrandum
Quod erat demonstrandum es una locución latina que significa «que era lo que se quería demostrar» y se abrevia QED.
¡Nuevo!!: Principio de explosión y Quod erat demonstrandum · Ver más »
Razonamiento deductivo
El razonamiento deductivo o deducción es el proceso de sacar inferencias deductivas.
¡Nuevo!!: Principio de explosión y Razonamiento deductivo · Ver más »
Reductio ad absurdum
Reductio ad absurdum, expresión latina que significa literalmente 'reducción al absurdo', es uno de los métodos lógicos de demostración más usado en matemáticas para demostrar la validez (o invalidez) de proposiciones categóricas.
¡Nuevo!!: Principio de explosión y Reductio ad absurdum · Ver más »
Sistema axiomático
En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas.
¡Nuevo!!: Principio de explosión y Sistema axiomático · 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!!: Principio de explosión y Sistema formal · Ver más »
Teoría de conjuntos
La teoría de conjuntos es una rama de laNlab lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas.
¡Nuevo!!: Principio de explosión y Teoría de conjuntos · Ver más »
Trivialismo
Trivialismo (del Latín trivalis, significa «encontrado en todas partes») es la teoría lógica de que todas las definiciones (o proposiciones) son verdaderas y que todas las contradicciones de la forma «p y no p» (ej. la pelota es roja y no es roja) son verdaderas.
¡Nuevo!!: Principio de explosión y Trivialismo · Ver más »
Unicornio
El unicornio es una criatura mitológica del folclore europeo representada habitualmente como un caballo blanco con patas de antílope, ojos y pelo de cabra y un cuerno en la frente.
¡Nuevo!!: Principio de explosión y Unicornio · Ver más »
Redirecciona aquí:
Ex falso quodlibet, Principio de explosion, Quodlibet sequitur.