Esboço da lógica - Outline of logic
A lógica é a ciência formal do uso da razão e é considerada um ramo da filosofia e da matemática e, em menor grau, da ciência da computação . A lógica investiga e classifica a estrutura de declarações e argumentos, tanto por meio do estudo de sistemas formais de inferência quanto do estudo de argumentos em linguagem natural . O escopo da lógica pode, portanto, ser muito amplo, variando de tópicos centrais, como o estudo de falácias e paradoxos , a análises especializadas de raciocínio, como probabilidade , raciocínio correto e argumentos envolvendo causalidade . Um dos objetivos da lógica é identificar as inferências corretas (ou válidas ) e incorretas (ou falaciosas ). Os lógicos estudam os critérios de avaliação dos argumentos .
Fundamentos da lógica
- Distinção analítico-sintética
- Antinomia
- A priori e a posteriori
- Definição
- Descrição
- Entailment
- Identidade (filosofia)
- Inferência
- Forma lógica
- Implicação lógica
- Verdade lógica
- Conseqüência lógica
- Nome
- Necessidade
- Condicional de material
- Significado (linguístico)
- Significado (não linguístico)
- Paradoxo ( lista )
- Mundo possivel
- Pressuposto
- Probabilidade
- Quantificação
- Razão
- Raciocínio
- Referência
- Semântica
- Condicional estrita
- Sintaxe (lógica)
- Verdade
- Valor verdade
- Validade
Lógica filosófica
Lógica informal e pensamento crítico
Lógica informal Pensamento crítico Teoria da argumentação
- Argumento
- Mapa de argumentos
- Exatidão e precisão
- Hipótese ad hoc
- Ambiguidade
- Análise
- Raciocínio defeituoso de ataque
- Crença
- Viés de crença
- Tendência
- Viés cognitivo
- Viés de confirmação
- Credibilidade
- Pedagogia crítica
- Leitura crítica
- Decidofobia
- Tomando uma decisão
- Crença disposicional e ocorrente
- Raciocínio emocional
- Provas
- Especialista
- Explicação
- Poder explicativo
- Facto
- Falácia
- Pensamento de ordem superior
- Investigação
- Discussão interpretativa
- Lógica narrativa
- Navalha de Occam
- Opinião
- Silogismo prático
- Questionamento de precisão
- Propaganda
- Técnicas de propaganda
- Prudência
- Pseudofilosofia
- Raciocínio
- Relevância
- Retórica
- Rigor
- Questionamento socrático
- Credibilidade da fonte
- Crítica da fonte
- Teoria da justificação
- Lógica tópica
- Vaguidade
Raciocínio dedutivo
Teorias de dedução
- Anti-psicologismo
- Conceitualismo
- Construtivismo
- Convencionalismo
- Teoria da contraparte
- Teoria deflacionária da verdade
- Dialeteísmo
- Ficcionalismo
- Formalismo (filosofia)
- Teoria do jogo
- Filosofia iluminacionista
- Atomismo lógico
- Holismo lógico
- Logicismo
- Ficcionalismo modal
- Nominalismo
- Teoria do objeto
- Polilogismo
- Pragmatismo
- Pré-intuicionismo
- Teoria da Prova
- Psicologismo
- Ramismo
- Teoria semântica da verdade
- Sofisma
- Trivialismo
- Ultrafinitismo
Falácias
- Falácia ( lista ) - argumentação incorreta no raciocínio, resultando em um equívoco ou presunção. Por acidente ou desígnio, as falácias podem explorar gatilhos emocionais no ouvinte ou interlocutor (apelar para a emoção), ou tirar vantagem das relações sociais entre as pessoas (por exemplo, argumento de autoridade). Argumentos falaciosos são freqüentemente estruturados usando padrões retóricos que obscurecem qualquer argumento lógico. Falácias podem ser usadas para ganhar argumentos, independentemente dos méritos. Existem dezenas de tipos de falácias.
Lógica formal
- Lógica formal - a lógica matemática, a lógica simbólica e a lógica formal são em grande parte, senão completamente sinônimas. A característica essencial deste campo é o uso de linguagens formais para expressar as idéias cuja validade lógica está sendo estudada.
Símbolos e sequências de símbolos
Símbolos lógicos
Conectivos lógicos
- Implicação inversa
- Converse nonimplication
- Exclusivo ou
- NOR lógico
- Bicondicional lógico
- Conjunção lógica
- Disjunção lógica
- Implicação material
- Não Implicação Material
- Negação
- AVC Sheffer
Cordas de símbolos
Tipos de proposições
- Proposição analítica
- Axioma
- Sentença atômica
- Cláusula (lógica)
- Proposição contingente
- Contradição
- Verdade lógica
- Fórmula proposicional
- Regra de inferência
- Frase (lógica matemática)
- Sequent
- Declaração (lógica)
- Tautologia
- Teorema
Regras de inferência
- Eliminação bicondicional
- Introdução bicondicional
- Análise de caso
- Comutatividade de conjunção
- Introdução de conjunção
- Dilema construtivo
- Contraposição (lógica tradicional)
- Conversão (lógica)
- Leis De Morgan
- Dilema destrutivo
- Eliminação de disjunção
- Introdução de disjunção
- Silogismo disjuntivo
- Eliminação de dupla negação
- Generalização (lógica)
- Silogismo hipotético
- Lei do meio excluído
- Lei da identidade
- Modus ponendo tollens
- Modus ponens
- Modus tollens
- Obversion
- Princípio de contradição
- Resolução (lógica)
- Simplificação
- Transposição (lógica)
Teorias formais
Expressões em uma linguagem de objeto
Expressões em uma metalinguagem
Lógica proposicional e booleana
Lógica proposicional
- Lei de Absorção
- Cláusula (lógica)
- Fechamento dedutivo
- Entailment
- Regra de formação
- Completude funcional
- Lógica intermediária
- Literal (lógica matemática)
- Conectivo lógico
- Conseqüência lógica
- Forma normal de negação
- Frase aberta
- Cálculo proposicional
- Fórmula proposicional
- Variável proposicional
- Regra de inferência
- Condicional estrita
- Instância de substituição
- Mesa da verdade
- Lógica de ordem zero
Lógica booleana
- Álgebra booleana ( lista )
- Lógica booleana
- Álgebra booleana (estrutura)
- Álgebras booleanas definidas canonicamente
- Introdução à álgebra booleana
- Álgebra booleana completa
- Álgebra Booleana Livre
- Álgebra Booleana Monádica
- Álgebra booleana residual
- Álgebra booleana de dois elementos
- Álgebra modal
- Álgebra derivada (álgebra abstrata)
- Álgebra Relacional
- Lei de Absorção
- Leis da Forma
- Leis De Morgan
- Forma normal algébrica
- Forma canônica (álgebra booleana)
- Consulta conjuntiva booleana
- Modelo com valor booleano
- Domínio booleano
- Expressão booleana
- Anel booleano
- Função booleana
- Função com valor booleano
- Função de paridade
- Função booleana simétrica
- Disjunção condicionada
- Campo de jogos
- Completude funcional
- Implicante
- Alfabeto lógico
- Redundância lógica
- Conectivo lógico
- Matriz Lógica
- Termo do produto
- Fórmula booleana quantificada verdadeira
- Mesa da verdade
Lógica predicada e relações
Lógica de predicado
- Fórmula atômica
- Sentença atômica
- Domínio do discurso
- Domínio vazio
- Extensão (lógica de predicado)
- Lógica de primeira ordem
- Predicado de primeira ordem
- Regra de formação
- Variáveis livres e variáveis associadas
- Generalização (lógica)
- Cálculo de predicado monádico
- Predicado (lógica matemática)
- Lógica de predicado
- Variável de predicado
- Quantificação
- Predicado de segunda ordem
- Frase (lógica matemática)
- Instanciação universal
Relações
- Relação finitária
- Relação anti-simétrica
- Relação assimétrica
- Bijeção
- Bijeção, injeção e sobreposição
- Relação binária
- Composição das relações
- Relação de congruência
- Relação conectada
- Relação inversa
- Relação coreflexiva
- Relação de cobertura
- Ordem cíclica
- Relação densa
- Relação de dependência
- Relação de dependência
- Conjunto dirigido
- Relação de equivalência
- Relação euclidiana
- Relação homogênea
- Idempotência
- Intransitividade
- Relação involutiva
- Relação de equivalência parcial
- Função parcial
- Conjunto parcialmente ordenado
- Pedido antecipado
- Prewellordering
- Função proposicional
- Relação quase-transitiva
- Relação reflexiva
- Relação serial
- Função de sujeição
- Relação simétrica
- Relação ternária
- Relação transitiva
- Tricotomia (matemática)
- Relação bem fundada
Lógica matemática
Teoria de conjuntos
Teoria dos conjuntos ( lista )
- Aleph null
- Bijeção, injeção e sobreposição
- Conjunto binário
- Argumento diagonal de Cantor
- A primeira prova de incontabilidade de Cantor
- Teorema de Cantor
- Cardinalidade do continuum
- Número cardinal
- Codomain
- Complemento (teoria dos conjuntos)
- Universo construtível
- Hipótese do Continuum
- Conjunto contável
- Conjunto decidível
- Conjunto enumerável
- Conjuntos disjuntos
- União desarticulada
- Domínio de uma função
- Enumeração eficaz
- Elemento (matemática)
- Função vazia
- Conjunto vazio
- Enumeração
- Extensionalidade
- Conjunto finito
- Forçar (matemática)
- Função (teoria dos conjuntos)
- Composição de funções
- Hipótese do continuum generalizado
- Conjunto de índice
- Conjunto infinito
- Intenção
- Intersecção (teoria dos conjuntos)
- Função inversa
- Grande cardeal
- Teorema de Löwenheim-Skolem
- Mapa (matemática)
- Multiset
- Teoria dos conjuntos de Morse-Kelley
- Teoria dos conjuntos ingênua
- Correspondência um a um
- Par ordenado
- Partição de um conjunto
- Conjunto pontiagudo
- Conjunto de força
- Projeção (teoria dos conjuntos)
- Subconjunto próprio
- Superconjunto adequado
- Alcance de uma função
- Paradoxo de Russell
- Sequência (matemática)
- Conjunto (matemática)
- Conjunto de todos os conjuntos
- Teoremas simples na álgebra de conjuntos
- Singleton (matemática)
- Paradoxo de Skolem
- Subconjunto
- Superconjunto
- Tupla
- Conjunto incontável
- União (teoria dos conjuntos)
- Teoria dos conjuntos de Von Neumann – Bernays – Gödel
- Teoria dos conjuntos de Zermelo
- Teoria dos conjuntos de Zermelo-Fraenkel
Metalogic
Metalogic - O estudo da metateoria da lógica.
- Completude (lógica)
- Sintaxe (lógica)
- Consistência
- Decidibilidade (lógica)
- Sistema dedutivo
- Interpretação (lógica)
- Teorema de Cantor
- Teorema de Church
- Tese de igreja
- Método eficaz
- Sistema formal
- Teorema da completude de Gödel
- O primeiro teorema da incompletude de Gödel
- Segundo teorema da incompletude de Gödel
- Independência (lógica matemática)
- Conseqüência lógica
- Teorema de Löwenheim-Skolem
- Metalinguagem
- Variável meta-sintática
- Metateorema
- Linguagem de objeto
- Símbolo (formal)
- Distinção de tipo-token
- Distinção de uso-menção
- Fórmula bem formada
Teoria da Prova
Teoria da prova - O estudo do aparelho dedutivo .
- Axioma
- Sistema dedutivo
- Prova formal
- Sistema formal
- Teorema formal
- Conseqüência sintática
- Sintaxe (lógica)
- Regras de transformação
Teoria do modelo
Teoria dos modelos - O estudo da interpretação de sistemas formais.
- Interpretação (lógica)
- Validade lógica
- Modelo fora do padrão
- Modelo normal
- Modelo
- Conseqüência semântica
- Valor verdade
Teoria da computabilidade
Teoria da computabilidade - ramo da lógica matemática que se originou na década de 1930 com o estudo de funções computáveis e graus de Turing . O campo cresceu para incluir o estudo da computabilidade generalizada e definibilidade. As questões básicas abordadas pela teoria da recursão são "O que significa uma função dos números naturais para eles próprios ser computável?" e "Como as funções não computáveis podem ser classificadas em uma hierarquia com base em seu nível de não computabilidade?". As respostas a essas perguntas levaram a uma rica teoria que ainda está sendo pesquisada ativamente.
- Teoria da recursão alfa
- Conjunto aritmético
- Tese de Church-Turing
- Lógica de computabilidade
- Função computável
- Computação
- Problema de decisão
- Método eficaz
- Entscheidungsproblem
- Enumeração
- Forcing (teoria da recursão)
- Problema de parada
- História da Igreja - tese de Turing
- Cálculo lambda
- Lista de problemas indecidíveis
- Problema de correspondência postal
- Teorema de Post
- Função recursiva primitiva
- Recursão (ciência da computação)
- Linguagem recursiva
- Conjunto recursivo
- Linguagem recursivamente enumerável
- Conjunto recursivamente enumerável
- Redução (teoria da recursão)
- Máquina de Turing
Semântica da linguagem natural
Semântica formal (linguagem natural)
- Sistemas formais
- Conceitos
Lógica clássica
- Propriedades da lógica clássica:
- Lógica do termo
- Conceitos gerais em lógica clássica
- Baralipton
- Baroco
- Bivalência
- Lógica booleana
- Função com valor booleano
- Proposição categórica
- Distribuição de termos
- Termo de término
- Entimema
- Inferência imediata
- Lei dos contrários
- Conectivo lógico
- Termo principal
- Meio termo
- Termo menor
- Organon
- Polissilogismo
- Lógica Port-Royal
- Premissa
- Análise Prévia
- Termo relativo
- Paradoxo de Sorites
- Praça de oposição
- Soma da lógica
- Silogismo
- Tetralemma
- Função verdade
Lógica modal
Lógica não clássica
- Lógica afim
- Lógica agrupada
- Lógica de computabilidade
- Teoria da decisão
- Lógica de descrição
- Lógica desviante
- Lógica livre
- Lógica Fuzzy
- Teoria do jogo
- Lógica intensiva
- Lógica intuicionista
- Lógica linear
- Lógica de muitos valores
- Lógica mínima
- Lógica não monotônica
- Lógica não comutativa
- Lógica paraconsistente
- Teoria da probabilidade
- Lógica quântica
- Lógica de Relevância
- Lógica estrita
- Lógica Substrutural
Conceitos de lógica
- Teoria da Prova
- Teoria de conjuntos
- Sistema formal
- álgebra booleana
- Lógica aristotélica
- Lógica não aristotélica
- Lógica informal
- Lógica Fuzzy
- Lógica Infinitaria
- Lógica categórica
- Lógica linear
- Metalogic
- pedido
- Lógica ordenada
- Lógica temporal
- Lógica sequencial
- Lógica de Provabilidade
- Lógica quântica
- Lógica Relevante
- Conseqüente
- Afirmando o conseqüente
- Antecedente
- Negando o antecedente
- Teorema
- Axioma
- Sistema axiomático
- Axiomatização
- Prova condicional
- Prova inválida
- Grau de verdade
- Verdade
- Condição de verdade
- Função verdade
- Negação dupla
- Falácia
- Teoria de tipo
- Teoria do jogo
- Semântica do jogo
- Regra de inferência
- Procedimento de inferência
- Regra de inferência
- Regra de introdução
- Lei do meio excluído
- Lei da não contradição
- Constante lógica
- Portão lógico
- Tautologia
- Asserção lógica
- Condicional lógica
- Bicondicional lógico
- Equivalência lógica
- E lógico
- Negação
- OR lógico
- NAND lógico
- NOR lógico
- Contradição
- Logicismo
- Polissilogismo
- Silogismo
- Silogismo hipotético
- Premissa principal
- Premissa menor
- Prazo
- Termo singular
- Termo principal
- Meio termo
- Quantificação
- Quantificação plural
- Argumento lógico
- Inverso (lógica)
- Non sequitur
- Tolerância
- Satisfabilidade
- Linguagem lógica
- Paradoxo
- Notação polonesa
- Principia Mathematica
- Quod erat demonstrandum
- Reductio ad absurdum
- Retórica
- Autorreferência
- Necessário e suficiente
- Condição suficiente
- Capacidade de não encomenda
- Navalha de Occam
- Diálogo socrático
- Método socrático
- Forma de argumento
- Programação lógica
- Unificação
História da lógica
Literatura sobre lógica
Diários
Livros
- Um Sistema de Lógica
- Raciocínio defeituoso de ataque
- Begriffsschrift
- Categorias (Aristóteles)
- Bibliografia de Charles Sanders Peirce
- De Interpretatione
- Gödel, Escher, Bach
- Introdução à Filosofia Matemática
- Linguagem, verdade e lógica
- Leis da Forma
- Novum Organum
- Sobre proposições formalmente indecidíveis de Principia Mathematica e sistemas relacionados
- Organon
- Filosofia da Aritmética
- Lógica Polonesa
- Lógica Port-Royal
- Posterior Analytics
- Principia Mathematica
- Princípios da lógica matemática
- Análise Prévia
- Retórica (Aristóteles)
- Refutações sofísticas
- Soma da lógica
- A arte de estar certo
- Os fundamentos da aritmética
- Tópicos (Aristóteles)
- Tractatus Logico-Philosophicus
Organizações lógicas
Lógicos
Veja também
- Índice de artigos de lógica
- Matemática
- Filosofia
- Esboço de matemática discreta - para teoria dos conjuntos introdutória e outros materiais de apoio
links externos
- Taxonomia de falácias lógicas
- forall x: uma introdução à lógica formal , por PD Magnus , cobre a lógica sentencial e quantificada
- Dicas de tradução , de Peter Suber , para traduzir do inglês para a notação lógica
- Matemática e Lógica: A história das ideias matemáticas, lógicas, linguísticas e metodológicas formais. No Dicionário da História das Idéias.
- Teste de lógica Teste suas habilidades lógicas
- Lógica autodidata: uma pasta de trabalho (originalmente preparada para instrução de lógica on-line)