Categoria:Lógica

A

• [×] Auto-referência‎ (3 P)

C

• [+] Ciências formais‎ (5 C, 1 P)

F

• [×] Falácias lógicas‎ (73 P)
• [+] Lógica filosófica‎ (4 C, 9 P)

L

• [×] Lógica modal‎ (3 P)
• [+] Lógica matemática‎ (7 C, 73 P)

L (continuação)

• [+] Lógica não-clássica‎ (2 C)
• [+] Lógicos‎ (2 C, 5 P)

O

• [+] Oratória‎ (1 C, 6 P)

P

• [×] Paradoxos‎ (55 P)
• [+] Pensamento crítico‎ (6 C, 6 P)

R

• [×] Regras de inferência‎ (7 P)

S

• [×] Sistemas de reescrita de termos‎ (6 P)

T

• [+] Teoremas‎ (4 C, 11 P)
• [×] Teoria da referência‎ (4 P)
• [+] Teorias dedutivas‎ (4 C)

A

• Absurdo
• Acarretamento
• Álgebra booleana
• Algoritmo Chaff
• Algoritmo DPLL
• Analogia
• Analíticos Anteriores
• Analíticos Posteriores
• Anfeque
• Antinomia
• Ardil 22 (lógica)
• Argumentação
• Argumento
• Aridade
• Assinatura (lógica)
• Atribuição (lógica)
• Autorreferência
• Axioma
• Axioma esquemático

B

• Barra de Frege

C

• Cálculo proposicional implicacional
• Categorias (Aristóteles)
• Certeza
• Charadas de Smullyan
• Circuito digital
• Coincidência
• Completude (lógica)
• Completude funcional
• Condicional material
• Condições necessárias e suficientes
• Conjunção lógica
• Consequência lógica
• Constantes lógicas
• Contenção principal
• Contingência
• Contra-argumento
• Contradição
• Contraexemplo
• Contrafatual
• Convicção
• Correspondente condicional
• Correção
• Criptaritmética

D

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

E

• Eliminação da conjunção
• Entscheidungsproblem
• Equivalência lógica
• Escola dos Nomes
• Escopo
• Essencialismo
• Estrutura de interpretação (lógica)

F

• Fio de Ariadne (lógica)
• Forma canónica
• Forma lógica
• Forma normal algébrica
• Forma de um argumento

F (continuação)

• Fórmula
• Fórmula (lógica)
• A fortiori
• Função booleana
• Função de verdade

G

• Gödel (linguagem de programação)
• Grafo lógico
• Gramática de ordem superior
• Grau de verdade

H

• Heterodoxo
• História da lógica

I

• Inferência
• Interpretação (lógica)
• Interpretação pretendida
• Introdução da conjunção
• Introdução da disjunção
• Introdução à Filosofia da Matemática

K

• Keep It Simple

L

• Lei epigramática
• Lei de Peirce
• Lei do terceiro excluído
• Leis do pensamento
• Lema (filosofia)
• Liame
• Anexo:Lista de regras de inferência
• Anexo:Lista de teorias de primeira ordem
• Lógica aristotélica
• Lógica binária
• Lógica de classes
• Lógica de descrição
• Lógica difusa
• Lógica epistêmica
• Lógica informal
• Lógica matemática
• Lógica modal clássica
• Lógica modal normal
• Lógica paracompleta
• Lógica paraconsistente
• Lógica de Port-Royal
• Lógica proposicional
• Lógica quântica
• Lógica ternária
• Lógica
• Portal:Lógica
• Lógica deôntica
• Lógica modal

M

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

N

• Não ser
• Navalha de Occam
• Negação por falha
• Neutrosofia

O

• Objecto da mente
• Ônus da prova
• Operadores lógicos
• Organon
• O ovo e a galinha

P

• Paradoxo
• Paradoxo de Grelling-Nelson

P (continuação)

• Pensamento crítico
• Porta lógica
• Predefinição:Porta Lógica
• Premissa
• Principia Mathematica de Whitehead e Russell
• Princípio da identidade
• Princípio da não contradição
• Princípio de explosão
• A priori
• Problema da parada
• Problema de decisão
• Problema dos chapéus
• Problemas lógicos
• Programação lógica
• ProgTableau
• Projeto lógico
• 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 existencial
• Quantificação

R

• Raciocínio revogável
• Raciocínio
• Recursividade (ciência da computação)
• Recíproca
• Refutação
• Relação bem-fundada
• Relação total
• Relação binária
• Relação de recorrência
• Relação ternária

S

• S5 (lógica modal)
• Satisfatibilidade
• Senso comum
• Silogismo
• Silogismo disjuntivo
• Silogismo hipotético
• Silogística booleana
• Símbolo não lógico
• Sintaxe (lógica)
• Sistema axiomático
• Sistema dedutivo
• Sistema especialista
• Sistema lógico
• Sociedade Brasileira de Lógica
• Sofisma
• Subestrutura

T

• Tabela verdade
• Tautologia (lógica)
• Teorema da completude de Gödel
• Teorema da incompletude de Gödel
• Teorema de redução de modalidades em S5
• Teoremas de De Morgan
• Teoria axiomática
• Teoria da referência direta
• Teoria semântica da verdade
• Termo (lógica)
• Testabilidade

U

• Universo de discurso

V

• Validade
• Valor de verdade