Categoría:Lógica

D

• [+] Demostradores de teoremas (0)

F

• [+] Falacias (1)

L

• [+] Lógica deductiva (5)
• [+] Lógica inductiva (3)
• [+] Lógica modal (0)

L (cont.)

• [+] Lógicos (2)

P

• [+] Paradojas (2)

T

• [+] Teorías de la verdad (0)

• Lógica

2

• 2 + 2 = 5

A

• Afirmación
• Anacoluto
• Antinomia
• Apodíctico
• Apofántica
• Aporía
• Argumentación
• Argumento
• Argumento hipotético-deductivo
• Autorreferencia
• Axioma

B

• Bicondicional

C

• Cálculo lambda
• Cálculo lógico
• Caos
• Categorema
• Causa
• Clase natural
• Cláusula de Horn
• Cogencia
• Complejidad
• Completitud (lógica)
• Condición (lógica)
• Condición necesaria y suficiente
• Consecuencia lógica
• Consistencia (lógica)
• Contraejemplo
• Contrafactual
• Contraposición lógica
• Contrarrecíproco
• Conversión lógica
• Credibilidad
• Cuadro de oposición de los juicios
• Cuantificación plural
• Cuantificador

D

• Decidibilidad
• Definición
• Diagrama de Venn
• Dialeteismo
• Dilema
• Dilema de Warnock
• Distinción analítico-sintética
• Disyunción lógica
• Dominio de referencia

E

• El huevo o la gallina
• Empirismo lógico
• Entimema
• Enunciado
• Epiquerema
• Evidencia (filosofía)

F

• Falacia patética
• Falsabilidad

F (cont.)

• Felapton
• Filosofía analítica
• Filosofía de la lógica
• Forma lógica
• Fórmula bien formada
• Función de verdad

G

• Gong Sunlong
• Gráficos conceptuales

H

• Hipótesis (lógica)
• Historia de la lógica

I

• Implicación
• Inducción estructural
• Inferencia
• Inversión lógica

J

• Jerarquía analítica
• Juicio de términos

L

• Lenguaje formalizado
• Lógica aristotélica
• Lógica binaria
• Lógica bivalente
• Lógica computacional
• Lógica cuántica
• Lógica de Port-Royal
• Lógica de control
• Lógica de descripción
• Lógica de primer orden
• Lógica demostrativa
• Lógica difusa
• Lógica digital
• Lógica doxástica
• Lógica formal
• Lógica informal
• Lógica libre
• Lógica modal
• Lógica no monótona
• Lógica no monotónica
• Lógica paraconsistente
• Lógica plurivalente
• Lógica por defecto
• Lógica proposicional
• Lógica relevante
• Lógica retractable
• Lógica de segundo orden
• Lógica empírica
• Lógica experimental
• Lógica intuicionista

M

• Mención
• Mentira
• Metalenguaje
• Metalógica
• Método de extrapolación
• Método empírico-analítico
• Modelo argumentativo de Toulmin
• Modus ponendo ponens

M (cont.)

• Modus ponendo tollens
• Modus tollendo ponens
• Modus tollendo tollens
• Método experimental

N

• Numeración de Gödel

O

• Obversión lógica
• Operador lógico

P

• Paradoja
• Paralogismo
• Pars destruens/pars construens
• Postulado
• Premisa
• Principia Mathematica
• Principio de Hume
• Principio de explosión
• Principio de identidad
• Principio de no contradicción
• Principio de razón suficiente
• Principio del tercero excluido
• Programación lógica
• Proposición analítica
• Proposición universal
• Proposición (lógica)
• Prueba diabólica

Q

• Quaternio terminorum

R

• Razonamiento
• Razonamiento abductivo
• Razonamiento aproximado
• Razonamiento circular
• Razonamiento deductivo
• Razonamiento inductivo
• Razonamiento no deductivo
• Reducción al absurdo
• Representación del conocimiento

S

• Sentido común
• Silogismo
• Silogismo categórico
• Sincategoremático
• Sistema de Frege
• Sorites
• Suma de lógica

T

• Tabla de valores de verdad
• Tautología
• Teoría de la coherencia
• Teoría del consenso
• Tesis (lógica)
• Tractatus logico-philosophicus
• Tropo de los pirrónicos

V

• Validez lógica
• Valor de verdad
• Verdad
• Verdades de razón
• Vocabulario (lógica)

¿

• ¿Es empírica la lógica?