Categoria:Lógica

A

• [+] Auto-referência (0)

F

• [+] Falácias lógicas (0)

L

• [+] Lógica matemática (3)

L (continuação)

• [+] Lógica modal (0)
• [+] Lógicos (0)

O

• [+] Oratória (1)

P

• [+] Paradoxos (0)

T

• [+] Teoremas (4)
• [+] Teoria da referência (0)

A

• A fortiori
• A priori
• Absurdo
• Acarretamento
• Algoritmo Chaff
• Algoritmo DPLL
• Analogia
• Analíticos anteriores (Aristóteles)
• Analíticos posteriores (Aristóteles)
• Anexo:Lista de teorias de primeira ordem
• Anfeque
• Argumentação
• Argumento
• Aridade
• Assinatura (lógica)
• Atribuição (lógica)
• Auto-referência
• Axioma
• Axioma esquemático

B

• Barra de Frege

C

• Categorias (Aristóteles)
• Completude (lógica)
• Completude funcional
• Condição lógica
• Condições necessárias e suficientes
• Conectivo de Sheffer
• Conjunção lógica
• Consequência lógica
• Constantes lógicas
• Contenção principal
• Contra-argumento
• Contra-exemplo
• Contradição
• Contrafatual
• Correspondente condicional
• Correção
• Cálculo proposicional implicacional

D

• Da Interpretação (Aristóteles)
• Dedução natural
• Derivação formal
• Descritivismo
• Descrições definidas
• Designador rígido
• Disjunção exclusiva
• Disjunção lógica
• Domínio veritativo
• Dupla negação

E

• Eliminação da dupla negação
• Entscheidungsproblem
• Equivalência lógica
• Escopo
• Essencialismo
• Estrutura de interpretação (lógica)

F

• Filosofia analítica
• Fio de Ariadne (lógica)

F (continuação)

• Forma de um argumento
• Forma lógica
• Forma normal algébrica
• Função de verdade
• Fórmula
• Fórmula (lógica)
• Fórmula atômica
• Fórmula bem formada

G

• Grafo lógico
• Gramática de ordem superior

H

• Heterodoxo
• História da lógica

I

• Implicação
• Inferência
• Interpretação (lógica)
• Interpretação pretendida
• Introdução da dupla negação

K

• Keep It Simple

L

• Lei da identidade
• Lei da não-contradição
• Lei de Peirce
• Lei do terceiro excluído
• Leis do pensamento
• Lema (filosofia)
• Liame
• Lista de regras de inferência
• Lógica
• Lógica Paraconsistente
• Lógica aristotélica
• Lógica binária
• Lógica de predicados
• Lógica difusa
• Lógica epistêmica
• Lógica informal
• Lógica paracompleta
• Lógica proposicional
• Lógicas de Descrição

M

• Mapa de argumentos
• Alexius Meinong
• Método hipotético-dedutivo
• Metodo indutivo
• Millianismo
• Modus ponens
• Modus tollens
• Método dedutivo
• Método dedutivo-nomológico

N

• NE (NAND)
• NOU (NOR)
• Navalha de Occam
• Negação
• Negação por falha
• Neutrosofia
• Não-ser

O

• Operadores lógicos
• Organon
• O ovo e a galinha

P

• Porta NAND
• Porta NOR
• Porta XNOR
• Porta XOR
• Portal:Lógica
• Predefinição:Porta Lógica
• Premissa
• Problema da parada
• Problema de decisão
• Problemas lógicos
• ProgTableau
• Programação lógica
• Prolog
• Proposição
• Proposições russellianas
• Prova automática de teoremas
• Prova direta
• Prova matemática
• Prova por contradição

Q

• Quadrado das oposições
• Quantificação
• Quantificação existencial

R

• Raciocínio
• Recursividade (ciência da computação)
• Reductio ad absurdum
• Regra de inferência
• Relação bem-fundada
• Relação binária
• Relação de Recorrência
• Relação ternária

S

• Se e somente se
• Silogismo
• Silogismo disjuntivo
• Silogismo hipotético
• Silogística Booleana
• Sintaxe (lógica)
• Sistema axiomático
• Sistema dedutivo
• Sistema lógico
• Sofisma
• Símbolo não-lógico

T

• Tabela verdade
• Tautologia (lógica)
• Teorema da Incompletude de Gödel
• Teorema da completude de Gödel
• Teoremas de De Morgan
• Teoria da referência direta
• Teoria semântica da verdade
• Termo (Lógica)

U

• Unificação
• Universo de discurso

V

• Validade
• Valor de verdade
• Valoração (lógica)
• Verdade