Categoría:Lógica

C

• [+] Conceptos‎ (16 cat, 13 págs.)

F

• [+] Falacias‎ (2 cat, 65 págs.)

L

• [×] Lógica aristotélica‎ (15 págs.)
• [×] Lógica formal‎ (2 págs.)

L (cont.)

• [+] Lógica matemática‎ (7 cat, 38 págs.)
• [+] Lógicos‎ (4 cat, 55 págs.)

M

• [×] Metalógica‎ (13 págs.)

P

• [+] Paradojas‎ (3 cat, 33 págs.)

R

• [×] Reglas de inferencia‎ (6 págs.)

S

• [+] Sistemas lógicos‎ (2 cat, 22 págs.)

T

• [+] Teoremas‎ (7 cat, 3 págs.)
• [×] Teorías de la verdad‎ (5 págs.)

• Lógica

2

• 2 + 2 = 5

A

• Afirmación
• Antinomia
• Apofántica
• Aporía
• Argumento
• Argumento (lógica)
• Armonía lógica
• Autorreferencia
• Axioma
• Axiomas de Peano

C

• Cálculo lambda
• Cálculo lógico
• Cogencia
• Conclusión
• Condicional estricto
• Condicional material
• Condición necesaria y suficiente
• Consecuencia lógica
• Constante lógica
• Contraejemplo
• Contrafactual
• Contraposición lógica
• Contrarrecíproco
• Cuantificación plural
• Cuantificador

D

• Deducción
• Deducción natural
• Definición
• Dialeteismo
• Dicotomía
• Distinción analítico-sintético
• Distinción entre uso y mención
• Disyunción exclusiva
• Dominio de discurso

E

• Entimema
• Episilogismo

E (cont.)

• Equivalencia lógica
• Extensión (semántica)

F

• Falacia
• Filosofía de la lógica
• Forma lógica (proposición)
• Lógica formal
• Función de verdad
• Fórmula atómica
• Fórmula bien formada

H

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

I

• Identidad (filosofía)
• Identidad de los indiscernibles
• Implicación
• Individuo
• Inferencia
• Lógica informal
• Interpretación (lógica)

L

• Lenguaje formal
• Lenguaje formalizado
• Lenguaje proposicional
• Lógica binaria
• Lógica bivalente
• Lógica computacional
• Lógica de descripción
• Lógica de Port-Royal
• Lógica digital
• Lógica de clases
• Lógica empírica
• Lógica plurivalente
• Lógica trivalente

M

• María Manzano Arjona
• Mentira
• Metamatemática
• Método hipotético-deductivo
• Modelo argumentativo de Toulmin
• Modelos completos

N

• Nota (anotación)

O

• Obviedad
• Operador

P

• Pars destruens/pars construens
• Piano Lógico
• Polilogismo
• Postulado
• Predicado (lógica matemática)
• Predicado (lógica)
• Premisa
• Principia mathematica
• Principio de explosión
• Principio de Hume
• Principio de identidad
• Principio de no contradicción
• Principio de razón suficiente
• Principio del tercero excluido
• Programación lógica
• Propiedad (lógica)
• Proposición

R

• Razonamiento
• Razonamiento abductivo
• Razonamiento analógico
• Razonamiento aproximado
• Razonamiento circular
• Razonamiento inductivo
• Razonamiento no deductivo
• Reductio ad absurdum
• Rigor matemático

S

• Semántica formal
• Sistema deductivo
• Solidez

T

• Tautología
• Teoría de la argumentación

V

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