¡Más rápido que el navegador!
51 relaciones: Afirmación del consecuente, Aquí hay una mano, Argumento ontológico, Aritmética recursiva primitiva, Axioma, Cálculo proposicional de Frege, Condicional indicativo, Condicional material, Consistencia (lógica), Deducción natural, Demostración mediante ejemplo, Dilema destructivo, Empirismo lógico, Encadenamiento delantero, Entimema, Falacia informal, Gödel, Escher, Bach: un Eterno y Grácil Bucle, Generalización universal, Historia de la lógica, Jan Łukasiewicz, Lógica de primer orden, Lógica doxástica, Lógica modal, Lógica paraconsistente, Lógica probabilística, Lógica proposicional, Lo que la tortuga le dijo a Aquiles, Logic Theorist, Máquina de experiencias, Máquina de Gödel, Modus ponendo tollens, Modus tollendo ponens, Modus tollendo tollens, MP, Negación del antecedente, Negación lógica, OpenCog, Pensamiento, Peter Singer, Principio de razón suficiente, Problema de la justificación de la deducción, Prolog, Prueba condicional, Prueba formal, Razonamiento deductivo, Realismo moral, Regla de inferencia, Silogismo, Sistema B, C, K, W, Sistema formal, ..., Teísmo escéptico. Expandir índice (1 más) »
Afirmación del consecuente
En lógica, la afirmación del consecuente, también llamado error recíproco o error converso, es una falacia formal.
¡Nuevo!!: Modus ponendo ponens y Afirmación del consecuente · Ver más »
Aquí hay una mano
Aquí hay una mano es un argumento epistemológico propuesto por el filósofo británico George Edward Moore como respuesta al escepticismo filosófico y a favor del sentido común.
¡Nuevo!!: Modus ponendo ponens y Aquí hay una mano · Ver más »
Argumento ontológico
El argumento ontológico es un argumento filosófico deductivo a priori a favor de la existencia de Dios.
¡Nuevo!!: Modus ponendo ponens y Argumento ontológico · Ver más »
Aritmética recursiva primitiva
La aritmética recursiva primitiva (PRA por sus siglas en inglés) es una formalización libre de cuantificadores de los números naturales.
¡Nuevo!!: Modus ponendo ponens y Aritmética recursiva primitiva · Ver más »
Axioma
Axioma es una proposición tan clara y evidente que se admite sin demostración.
¡Nuevo!!: Modus ponendo ponens y Axioma · Ver más »
Cálculo proposicional de Frege
Cálculo proposicional de Frege, en la Lógica matemática, el cálculo proposicional de Frege fue la primera axiomatización del cálculo proposicional.
¡Nuevo!!: Modus ponendo ponens y Cálculo proposicional de Frege · Ver más »
Condicional indicativo
En lenguas naturales, un condicional indicativo es la operación lógica dada por enunciados de la forma "Si A entonces B".
¡Nuevo!!: Modus ponendo ponens y Condicional indicativo · 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!!: Modus ponendo ponens y Condicional material · 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!!: Modus ponendo ponens y Consistencia (lógica) · Ver más »
Deducción natural
La deducción natural es una aproximación a la teoría de la demostración en la que se busca capturar la manera en que las personas razonan naturalmente al construir demostraciones matemáticas.
¡Nuevo!!: Modus ponendo ponens y Deducción natural · Ver más »
Demostración mediante ejemplo
La demostración mediante ejemplo (también denominada generalización inapropiada) es una falacia lógica por la cual uno o más ejemplos son esgrimidos como "demostración" de una afirmación más general.
¡Nuevo!!: Modus ponendo ponens y Demostración mediante ejemplo · Ver más »
Dilema destructivo
Dilema destructivo es una regla de inferencia válida de lógica proposicional.
¡Nuevo!!: Modus ponendo ponens y Dilema destructivo · Ver más »
Empirismo lógico
El empirismo lógico, también llamado neopositivismo o positivismo lógico, es una corriente en la filosofía de la ciencia que limita la validez del método científico a lo empírico y verificable.
¡Nuevo!!: Modus ponendo ponens y Empirismo lógico · Ver más »
Encadenamiento delantero
Encadenamiento delantero (o razonamiento delantero) es uno de los dos métodos principales de razonamiento a la hora de usar un motor de inferencia.
¡Nuevo!!: Modus ponendo ponens y Encadenamiento delantero · Ver más »
Entimema
En lógica, entimema (El error del anterior entimema se descubre cuando se analiza el supuesto silogismo con el que está planteado: se confunde justicia con poder judicial. El segundo entimema erróneo oculta el siguiente esquema: En este caso ya la premisa mayor es una falsedad al plantear (en otro entimema) a la política solo como cuestión de políticos (cuando en verdad la política incumbe a todo ser humano en sociedad), y el entimema se agrava cuando la premisa correcta "muchos políticos son corruptos" es tácitamente transformada en "todos los políticos son corruptos", de este modo sale la conclusión falsa (aunque su falsedad está ocultada por la enunciación entimemática): "la política es corrupta". Esta clase de paralogía es frecuente en el discurso común —disfrazado de «sentido común»— precisamente por el mal uso de los entimemas.
¡Nuevo!!: Modus ponendo ponens y Entimema · Ver más »
Falacia informal
Las falacias informales son un tipo de argumento incorrecto en el lenguaje natural.
¡Nuevo!!: Modus ponendo ponens y Falacia informal · Ver más »
Gödel, Escher, Bach: un Eterno y Grácil Bucle
Gödel, Escher, Bach: un eterno y grácil bucle (Gödel, Escher, Bach: an Eternal Golden Braid, abreviado GEB por el mismo autor) es un libro de Douglas R. Hofstadter, publicado en 1979 por Basic Books y ganador del Premio Pulitzer.
¡Nuevo!!: Modus ponendo ponens y Gödel, Escher, Bach: un Eterno y Grácil Bucle · Ver más »
Generalización universal
En lógica de predicados, generalización (también generalización universal o introducción universal, GEN) es una regla de inferencia válida.
¡Nuevo!!: Modus ponendo ponens y Generalización universal · Ver más »
Historia de la lógica
La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la historia.
¡Nuevo!!: Modus ponendo ponens e Historia de la lógica · Ver más »
Jan Łukasiewicz
Jan Łukasiewicz (21 de diciembre de 1878 - 13 de febrero de 1956) fue un matemático, lógico y filósofo polaco que nació en Leópolis, Galitzia (actual Ucrania).
¡Nuevo!!: Modus ponendo ponens y Jan Łukasiewicz · 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!!: Modus ponendo ponens y Lógica de primer orden · 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!!: Modus ponendo ponens y Lógica doxástica · 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!!: Modus ponendo ponens y Lógica modal · Ver más »
Lógica paraconsistente
Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en forma atenuada.
¡Nuevo!!: Modus ponendo ponens y Lógica paraconsistente · Ver más »
Lógica probabilística
La lógica probabilística (o lógica probabilista) es una forma de razonamiento que tiene como objetivo combinar la capacidad de manejar la incertidumbre que tiene la teoría de probabilidad con la capacidad de explotar la estructura de la argumentación formal que tiene la lógica deductiva.
¡Nuevo!!: Modus ponendo ponens y Lógica probabilística · 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!!: Modus ponendo ponens y Lógica proposicional · Ver más »
Lo que la tortuga le dijo a Aquiles
Lo que la tortuga dijo a Aquiles (título original en inglés: What the Tortoise Said to Achilles) es un diálogo escrito por Lewis Carroll en 1895 para la revista filosófica Mind.
¡Nuevo!!: Modus ponendo ponens y Lo que la tortuga le dijo a Aquiles · Ver más »
Logic Theorist
El Logic Theorist es un complejo sistema de manejo de información creado por Allen Newell, Herbert A. Simon y Cliff Shaw en 1955.
¡Nuevo!!: Modus ponendo ponens y Logic Theorist · Ver más »
Máquina de experiencias
La máquina de las experiencias es una corta sección del libro Anarquía, Estado y Utopía del filósofo Robert Nozick.
¡Nuevo!!: Modus ponendo ponens y Máquina de experiencias · Ver más »
Máquina de Gödel
Una máquina Gödel es un programa informático hipotético que se mejora a sí mismo y resuelve problemas de manera óptima.
¡Nuevo!!: Modus ponendo ponens y Máquina de Gödel · Ver más »
Modus ponendo tollens
Modus ponendo tollens (latín: "el modo que, al afirmar, niega") es una regla de inferencia válida de la lógica proposicional, a veces abreviado MPT.
¡Nuevo!!: Modus ponendo ponens y Modus ponendo tollens · 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!!: Modus ponendo ponens y Modus tollendo ponens · Ver más »
Modus tollendo tollens
El modus tollendo tollens (latín: "el modo que, al negar, niega", conocido como modus tollens, negación del consecuente o ley de contraposición) es una forma de argumento válida y una regla de inferencia en lógica proposicional.
¡Nuevo!!: Modus ponendo ponens y Modus tollendo tollens · Ver más »
MP
Mp o MP puede referirse a.
¡Nuevo!!: Modus ponendo ponens y MP · Ver más »
Negación del antecedente
En lógica, la negación del antecedente, también llamado error inverso, es una falacia formal.
¡Nuevo!!: Modus ponendo ponens y Negación del antecedente · Ver más »
Negación lógica
En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos.
¡Nuevo!!: Modus ponendo ponens y Negación lógica · Ver más »
OpenCog
OpenCog es un proyecto que tiene como objetivo construir un marco de inteligencia artificial de código abierto.
¡Nuevo!!: Modus ponendo ponens y OpenCog · Ver más »
Pensamiento
En su sentido más común, los términos pensamiento y pensar se refieren a procesos cognitivos conscientes que pueden ocurrir independientemente de la estimulación sensorial.
¡Nuevo!!: Modus ponendo ponens y Pensamiento · Ver más »
Peter Singer
Peter Albert David Singer (Melbourne, Victoria, Australia, 6 de julio de 1946), citado como Peter Singer, es un filósofo utilitarista australiano.
¡Nuevo!!: Modus ponendo ponens y Peter Singer · Ver más »
Principio de razón suficiente
El principio de razón suficiente (en latín: principe de raison suffisante / principium reddendae rationis) es un principio filosófico según el cual todo lo que ocurre tiene una razón suficiente para que sea así y no de otra manera, o en otras palabras, todo tiene una explicación suficiente.
¡Nuevo!!: Modus ponendo ponens y Principio de razón suficiente · Ver más »
Problema de la justificación de la deducción
El problema de la justificación de la deducción es el problema de la filosofía de la lógica acerca de cómo justificar los métodos deductivos propios de las ciencias formales, suponiendo que necesitan ser justificados.
¡Nuevo!!: Modus ponendo ponens y Problema de la justificación de la deducción · Ver más »
Prolog
Prolog (o PROLOG), proveniente del francés PROgrammation en LOGique, es un lenguaje de programación lógico e interpretado usado habitualmente en el campo de la Inteligencia artificial.
¡Nuevo!!: Modus ponendo ponens y Prolog · Ver más »
Prueba condicional
Una prueba condicional es una prueba de que toma la forma de afirmar un condicional, y demostrando que el antecedente del condicional lleva necesariamente al consecuente.
¡Nuevo!!: Modus ponendo ponens y Prueba condicional · Ver más »
Prueba formal
En lógica, una derivación formal (o prueba formal) es una secuencia finita de sentencias donde cada sentencia puede ser un axioma o puede ser obtenida como consecuencia directa de las sentencias anteriores en la secuencia utilizándose una regla de inferencia.
¡Nuevo!!: Modus ponendo ponens y Prueba formal · Ver más »
Razonamiento deductivo
El razonamiento deductivo o deducción es el proceso de sacar inferencias deductivas.
¡Nuevo!!: Modus ponendo ponens y Razonamiento deductivo · Ver más »
Realismo moral
El realismo moral o realismo ético es la posición metaética en que las oraciones éticas expresan proposiciones que se refieren a características objetivas del mundo (es decir, características independientes de la opinión subjetiva), algunas de las cuales pueden ser verdaderas en la medida en que informan esas características con precisión.
¡Nuevo!!: Modus ponendo ponens y Realismo moral · 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!!: Modus ponendo ponens y Regla de inferencia · Ver más »
Silogismo
El silogismo (en latín: syllogismus) es un tipo de razonamiento deductivo que hace parte de la lógica, de origen griego.
¡Nuevo!!: Modus ponendo ponens y Silogismo · Ver más »
Sistema B, C, K, W
El sistema B, C, K, W es una variante de lógica combinatoria que toma como primitivas a los combinadores B, C, K, y W. Este sistema fue propuesto originalmente por el matemático estadounidense Haskell Curry en su tesis doctoral Grundlagen der kombinatorischen Logik (Fundamentos de la lógica combinatoria).
¡Nuevo!!: Modus ponendo ponens y Sistema B, C, K, W · 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!!: Modus ponendo ponens y Sistema formal · Ver más »
Teísmo escéptico
El teísmo escéptico es la postura que sostiene que uno debe permanecer escéptico con respecto a que sus percepciones de mal puedan ser consideradas evidencia contra la existencia de un Dios bueno.
¡Nuevo!!: Modus ponendo ponens y Teísmo escéptico · Ver más »
Redirecciona aquí:
Afirmación del antecedente, Modus ponens.
