Filosofía de la lógica
La filosofía de la lógica es el área de la filosofía que estudia el alcance y la naturaleza de la lógica. Investiga los problemas filosóficos planteados...
Lógica
Historia de la lógica
La historia de la lógica se ocupa del estudio del desarrollo de la ciencia de la inferencia válida tal como se encuentran en el Organon, encontraron una...
Si y solo si
Conector lógico↔Símbolos lógicos que representan SipEn lógica y campos relacionados como matemáticas y filosofía, "si y solo si" (abreviado como "iff") es un conector lógico bicondicional entre declaraciones, donde ambas declaraciones son verdaderas o ambas son falsas. El conectivo es bicondicional (una declaración de equivalencia material) y se puede comparar con el condicional material estándar […]
Modus ponens
En lógica proposicional, modus ponens también conocido como modus ponendo ponens o eliminación de implicación o afirmación del antecedente, es una forma...
Falacia de composición
La falacia de composición es una falacia informal que surge cuando se infiere que algo es cierto del todo a partir del hecho de que es cierto de alguna parte...
Positivismo lógico
El positivismo lógico, más tarde llamado empirismo lógico, y ambos juntos también se conocen como neopositivismo, fue un movimiento en la filosofía...
Argumento ad ignorantiam
El argumento de la ignorancia también conocido como apelación a la ignorancia es una falacia en la lógica informal. Afirma que una proposición es...
Silogismo disyuntivo
Regla de referencia en las lógicas: con "A o B" y "no A" deduce "B"En lógica clásica, silogismo disyuntivo (históricamente conocido como modus tollendo ponens (MTP), en latín "modo que afirma negando") es una forma de argumento válida que es un silogismo que tiene una declaración disyuntiva para una de sus premisas. Un ejemplo en […]
Lógica informal
La lógica informal abarca los principios de la lógica y el pensamiento lógico fuera de un entorno formal (caracterizado por el uso de declaraciones...
Modelo conceptual
Un modelo conceptual es una representación de un sistema. Consiste en conceptos que se utilizan para ayudar a las personas a conocer, comprender o simular un...
Generalización apresurada
Una generalización defectuosa o generalización apresurada es una falacia informal en la que se llega a una conclusión sobre todos o muchos casos de un...
Ley del tercero excluido
Teorema lógicoEn lógica, la ley del medio excluido (o el principio del medio excluido) establece que para cada proposición, esta proposición o su negación es verdadera. Es una de las llamadas tres leyes del pensamiento, junto con la ley de no contradicción y la ley de identidad. Sin embargo, ningún sistema de lógica se basa […]
Ciencias formales
La ciencia formal es una rama de la ciencia que estudia las disciplinas del lenguaje formal relacionadas con los sistemas formales, como la lógica, las...
Lema (matemáticas)
Teorema para probar teoremas más complejosEn matemáticas, lógica informal y mapeo de argumentos, un lema (plural lemmas o lemmata) es una proposición probada generalmente menor que es utilizado como un trampolín hacia un resultado mayor. Por esa razón, también se conoce como "teorema de ayuda" o un "teorema auxiliar". En muchos casos, un lema deriva […]
Afirmación del consecuente
Afirmar el consecuente, a veces llamado error inverso, falacia del inverso o confusión de necesidad y suficiencia, es una falacia formal de tomar una...