Categoria:Lógica

!

• ► !Portal Lógica‎ (9 P)

A

• ► Autorreferência‎ (4 P)

C

• ► Ciências formais‎ (8 C, 5 P)
• ► Conceitos em lógica‎ (1 C, 2 P)

D

• ► Dicotomias‎ (1 C, 3 P)

F

• ► Falácias lógicas‎ (1 C, 103 P)
• ► Lógica filosófica‎ (7 C, 29 P)

L

• ► Livros de lógica‎ (11 P)
• ► Lógica matemática‎ (11 C, 163 P)
• ► Lógica modal‎ (6 P)
• ► Lógica não clássica‎ (2 C, 19 P)
• ► Lógicos‎ (3 C, 20 P)

M

• ► Metalógica‎ (5 P)

O

• ► Oratória‎ (2 C, 9 P)

P

• ► Paradoxos‎ (2 C, 71 P)
• ► Pensamento crítico‎ (6 C, 13 P)

R

• ► Regras de inferência‎ (27 P)

S

• ► Sistemas de reescrita de termos‎ (6 P)

T

• ► Teoremas‎ (5 C, 24 P)
• ► Teoria da referência‎ (4 P)
• ► Teorias dedutivas‎ (4 C, 2 P)

V

• ► Validação‎ (3 P)

• Lógica
• Lógica multivalorada
• Sistema de símbolos físicos

!

• Predefinição:Lógica

A

• Ábaco lógico
• Absorção (lógica)
• Acarretamento
• Algoritmo Chaff
• Algoritmo DPLL
• Analíticos Anteriores
• Analíticos Posteriores
• Analogia
• Anfeque
• Antecedente (lógica)
• Antinomia
• Ardil 22 (lógica)
• Argumento
• Aridade
• Aritmética de Robinson
• Aritmética primitiva recursiva
• Árvore Lógica Computacional
• Assinatura (lógica)
• Atribuição (lógica)
• Axioma
• Axioma esquemático

B

• Barra de Frege
• Begriffsschrift

C

• Cálculo proposicional implicacional
• Categorias (Aristóteles)
• Certeza
• Charadas de Smullyan
• Circuito digital
• Coincidência
• Colorless green ideas sleep furiously
• Concepções rivais da lógica
• Condicional estrito
• Condicional indicativo
• Condicional material
• Conectivo lógico
• Conjunção lógica
• Conjunto difuso
• Conjunto maximal consistente
• Conjuntos livremente gerados
• Consequência lógica
• Consequente
• Constantes lógicas
• Dilema construtivo
• Contenção principal
• Contingência
• Contra-argumento
• Contraexemplo
• Contraintuição
• Contraposição
• Controle de enlace lógico
• Convicção
• Correção
• Correspondente condicional
• Corretude (lógica)
• Criptaritmética

D

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

E

• Eliminação da conjunção
• Entscheidungsproblem
• Equivalência lógica
• Escola dos Nomes
• Escolha de Hobson
• Escopo
• Essencialismo
• Estrutura de interpretação (lógica)
• Expressão lógica a partir de tabela de verdade
• Extremo lógico

F

• Falácia da projeção mental
• Filosofia da Lógica
• Fio de Ariadne (lógica)
• Forma canónica
• Forma lógica
• Forma normal algébrica
• Forma normal canônica
• Fórmula (lógica)
• A fortiori
• Função de verdade

G

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

H

• Harmonia lógica
• Herbrandização
• História da lógica
• Honestidade

I

• Inexpressabilidade da Lógica de Primeira Ordem
• Inferência
• Interpretação pretendida
• Introdução à Filosofia da Matemática
• Introdução da conjunção
• Introdução da disjunção
• Inversa
• Is Logic Empirical?

J

• Jogo de Ehrenfeucht–Fraïssé

L

• Lei epigramática
• Lei de Peirce
• Lei do terceiro excluído
• Leis do pensamento
• Lema (filosofia)
• Liame
• Linguagem de Mitchell–Bénabou
• Lista de regras de inferência
• Lista de teorias de primeira ordem
• Portal:Lógica
• Lógica aristotélica
• Lógica binária
• Lógica de classes
• Lógica clássica
• Lógica da argumentação
• Lógica da informação
• Lógica de descrição
• Lógica de segunda ordem monádica
• Lógica deôntica
• Lógica difusa
• Lógica e dialética
• Lógica e racionalidade
• Lógica em ciência da computação
• Lógica epistêmica
• Lógica imperativa
• Lógica informal
• Lógica modal
• Lógica modal clássica
• Lógica modal normal
• Lógica não monotônica
• Lógica paracompleta
• Lógica paraconsistente
• Lógica polissortida
• Lógica de Port-Royal
• Lógica proposicional
• Lógica quântica
• Lógica sequencial
• Lógica subjetiva
• Lógica temporal de ações
• Lógica ternária
• Lógica universal
• Lógica vetorial
• Conectivo lógico bicondicional

M

• Mapa de argumentos
• Princípio de Markov
• Alexius Meinong
• Meio-termo
• Metateorema
• Metavariável
• Método dedutivo
• Método dedutivo-nomológico
• Método dos Tableaux Analíticos
• Método hipotético-dedutivo
• Métodos de Mill
• Millianismo
• Modus tollens
• Monotonicidade da implicação

N

• Não-ser
• Necessidade (filosofia)
• Necessidade e suficiência
• Negação por falha
• Neutrosofia

O

• O que a Tartaruga falou para Aquiles
• Objecto da mente
• Ônus da prova
• Operador lógico
• Organon
• O ovo ou a galinha

P

• Paradoxo de Grelling-Nelson
• Paradoxo do barbeiro
• Paradoxo do enforcamento inesperado
• Passagem não-inferencial simples
• Pensamento crítico
• Pluralismo lógico
• Polinômio de Zhegalkin
• Predefinição:Porta Lógica
• Porta lógica
• Possibilidade lógica
• Premissa
• Principia Mathematica
• Princípio da bivalência
• Princípio da identidade
• Princípio da não-contradição
• Princípio de explosão
• Princípio de razão suficiente
• Princípio KISS
• Princípios talmúdicos