Categoria:Lógica

!

• !Portal Lógica‎ (9 P)

A

• Autorreferência‎ (5 P)

C

• Ciências formais‎ (6 C, 8 P)
• Conceitos de lógica‎ (3 C, 7 P)

F

• Falácias lógicas‎ (2 C, 105 P)
• Lógica filosófica‎ (7 C, 35 P)

H

• História da lógica‎ (1 P)

L

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

M

• Metalógica‎ (6 P)

O

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

P

• Paradoxos‎ (2 C, 73 P)
• Pensamento crítico‎ (6 C, 15 P)

R

• Regras de inferência‎ (27 P)

S

• Sistemas de reescrita de termos‎ (6 P)

T

• Teoremas‎ (5 C, 25 P)
• Teoria da referência‎ (4 P)
• Teorias dedutivas‎ (4 C, 3 P)

V

• Validação‎ (1 C, 5 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
• Análise (filosofia)
• Analíticos Posteriores
• Analogia
• Anfeque
• Antecedente (lógica)
• Antinomia
• Apelo à probabilidade
• 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

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
• Falácia do ápice
• 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 falácias
• Lista de regras de inferência
• Lista de teorias de primeira ordem
• 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 filosófica
• 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 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
• 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
• Objeto 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