Categoria:Lògica

A

• [+] Axiomes‎ (1 cat., 4 p.)

C

• [+] Conjectures‎ (1 cat., 5 p.)

F

• [×] Fal·làcies‎ (5 p.)

F cont.

• [×] Fal·làcies lògiques‎ (30 p.)

L

• [×] Lògica matemàtica‎ (11 p.)

M

• [×] Màquines de Turing‎ (6 p.)

P

• [×] Portes lògiques‎ (7 p.)

S

• [×] Sistemes lògics‎ (27 p.)

T

• [+] Teoremes‎ (2 cat., 4 p.)

• Lògica

A

• Àlgebra de Boole
• Amfibologia
• Anell binari
• Aporia
• Argument
• Autòmat finit

C

• Càlcul lambda
• Classe lògica
• Classificació
• Conclusió
• Condicional material
• Conjectura
• Conjunció lògica
• Conjunts disjunts
• Connectiva lògica
• Conseqüència lògica
• Constant lògica
• Contingència
• Contraexemple
• Contraposició lògica
• Conversió lògica
• Cum hoc ergo propter hoc

D

• Augustus De Morgan
• Declaració (lògica)
• Definició inductiva
• Demostració
• Dicotomia
• Dictum de omni et nullo
• Disjunció
• Distinció entre ús i menció
• Domini de discurs

E

• El sopar de filòsofs
• Entimema
• Entscheidungsproblem
• Essència

F

• Forma lògica

F cont.

• Fórmula (lògica)
• Fórmula ben formada
• Funció de veritat
• Funció recursiva

G

• Gödel, Escher, Bach

I

• Identitat dels indiscernibles
• Implicació
• Inferència
• Interpretació (lògica)
• Inversió lògica

J

• Jerarquia aritmètica
• Judici

L

• Lleis de De Morgan
• Llenguatge formal
• Llenguatge formalitzat
• Llista d'especialitats 11 de la Nomenclatura de la UNESCO

M

• Metallenguatge
• Metalògica
• Mètode d'extrapolació
• Mètode empíric
• Argument hipotètic-deductiu
• Modus ponendo ponens
• Modus ponendo tollens
• Modus ponens
• Modus tollendo ponens
• Modus tollendo tollens

N

• Negació
• Negació de l'antecedent
• Nombre de Gödel

O

• Obversió lògica

P

• Paralogisme
• Plot
• Post hoc ergo propter hoc
• Premissa
• Principi d'identitat
• Principi de no contradicció
• Principi de raó suficient

P cont.

• Principi del tercer exclòs
• Principia Mathematica (Russell-Whitehead)
• Problema de decisió
• Problema de la inducció
• Problema de la justificació de la deducció
• Proposició
• Prova diabòlica

Q

• Quadre d'oposició dels judicis
• Qualitat de convincent
• Quantificador (lògica)
• Quantificador existencial
• Quantificador universal

R

• Raonament
• Raonament abductiu
• Raonament deductiu
• Raonament no deductiu
• Reducció a l'absurd
• Regla d'inferència

S

• Semàntica
• Semàntica formal
• Sil·logisme
• Sil·logisme categòric
• Sil·logisme hipotètic
• Solidesa
• Suma de lògica

T

• Taula de veritat
• Tautologia
• Teorema d'incompletesa de Gödel
• Teoria
• Teoria de models
• Trilema

V

• Validesa lògica
• Valor vertader
• Veritat lògica

X

• Xarxa de Petri