Saltar para o conteúdo

Portal:Lógica

Origem: Wikipédia, a enciclopédia livre.

Introdução
	ver
O quadrado das oposições, imagem do século XV. A lógica (em grego clássico: λογική; romaniz.: logikḗ) é uma ciência de caráter matemático, ligada à filosofia. Ao longo dos anos a lógica passou a ser aplicada em campos variados, e hoje é empregada em disciplinas como as ciências da computação, ciências cognitivas, linguística e a psicologia. Uma definição comum da lógica é a que a distingue como a ciência do raciocínio. À lógica interessa a correção do processo, ou seja, se a conclusão a que se chegou decorre adequadamente das premissas pressupostas; se as premissas fornecem fundamento ou provas apropriadas para a conclusão, então o raciocínio pode ser considerado correto, caso contrário, ele será tratado como uma falácia. Portanto, a distinção entre o raciocínio correto e incorreto é o problema central que incumbe à lógica estudar. Apesar de ser conhecida como uma disciplina formal, nem toda lógica é puramente formal. A lógica informal analisa características de argumentação que não são estudadas pela lógica formal. Contudo, não é possível dominar a lógica informal sem o domínio dos aspectos elementares da lógica formal, já que ela é o fundamento a partir do qual é possível validar a lógica informal. Segundo uma perspectiva filosófica, a lógica tem o intuito de esclarecer o pensamento. A filosofia é caracterizada por um conjunto de problemas que os filósofos, ao longo da história, têm tentado responder. Para isso, eles apresentam teorias e argumentos lógicos. Leia o artigo completo...

Símbolos

Símbolos lógicos

Símbolo	Significado
$\lnot A$	Negação de A.
$A\to B$	Implicação Se A então B.
$A\land B$	Conjunção A e B.
$A\lor B$	Disjunção A ou B.
$A\leftrightarrow B$	Equivalência A é equivalente a B; A se e somente se B.
$\Gamma \vdash A$	Dedução Do conjunto de fórmulas $\Gamma$ deduzimos A.
$M\models A$	Modelização M é um modelo de A; A é verdade em M.
$\vdash A$	Teorema.
$\models A$	Tautologia.
$M\Vdash A$	Realizabilidade M percebe A; M "força" A.

*Artigo destacado*
	ver
Alfred North Whitehead Alfred North Whitehead (Ramsgate, 15 de fevereiro de 1861 — Cambridge, 30 de dezembro de 1947) foi um filósofo, lógico e matemático britânico. É o fundador da escola filosófica conhecida como a filosofia do processo, atualmente aplicada em vários campos da ciência, como dentre outros na ecologia, teologia, pedagogia, física, biologia, economia e psicologia. Seu primeiro grande trabalho foi O Tratado sobre a Álgebra Universal (1898), onde se propôs a unificar a álgebra, a exemplo do que David Hilbert fez com a geometria não euclidiana. Seu trabalho mais notável sobre o assunto é o Principia mathematica (1910–1913), escrito com a colaboração de seu ex-aluno Bertrand Russell. O Principia Mathematica propôs uma conclusão de todas as verdades matemáticas, baseando-se num rol precisamente delineado por axiomas e regras de dedução. Para isso, eles empregaram uma linguagem lógico-simbólica própria. O livro é considerado um dos mais importantes trabalhos sobre a interdisciplinaridade entre matemática, lógica e filosofia, com dimensão comparável ao Organon de Aristóteles. A Modern Library colocou-o no 23º de uma lista dos cem mais importantes livros em inglês de não ficção do século XX. Whitehead tinha a ideia inicial de concluir o Principia Mathematica em um ano, contudo, o projeto se estendeu por dez anos. Em sua primeira publicação o livro foi dividido em três volumes (mais de 2 000 páginas) e, por seu público restrito, formado majoritariamente por matemáticos profissionais, houve um prejuízo de 600 libras esterlinas em sua publicação - 300 dos quais foram pagos pela Cambridge University Press e 200 pela Royal Society. Whitehead e seu aluno Russell completaram a dívida com cinquenta libras cada. Leia o artigo completo...

*Biografia*
	ver
Kurt Gödel Kurt Friedrich Gödel (Brünn, Áustria-Hungria^[1], 28 de abril de 1906 — Princeton, Estados Unidos, 14 de janeiro de 1978) foi um filósofo, matemático e lógico austríaco, naturalizado americano. Considerado, ao lado de Aristóteles, Alfred Tarski e Gottlob Frege, um dos mais importantes lógicos da história, Gödel causou um imenso impacto no pensamento científico e filosófico no século 20, época em que nomes como Bertrand Russell, Alfred North Whitehead, e David Hilbert analisavam o uso da lógica e da teoria dos conjuntos como instrumento para compreender os fundamentos da matemática de Georg Cantor. Gödel publicou seus dois teoremas da incompletude em 1931, aos 25 anos, um ano depois de terminar seu doutorado na Universidade de Viena. O primeiro teorema da incompletude afirma que, para qualquer sistema axiomático recursivo autoconsistente capaz de descrever a aritmética dos números naturais (como, por exemplo, o axioma de Peano), há proposições naturais verdadeiras que não podem ser provadas a partir dos axiomas. Para provar esse teorema, Gödel desenvolveu uma técnica agora conhecida como numeração de Gödel, que codifica expressões formais como números naturais. Ele também mostrou que tanto o axioma da escolha quanto a hipótese do continuum não podem ser refutados a partir de axiomas aceitos na teoria dos conjuntos, assumindo que esses axiomas são consistentes. O primeiro resultado possibilitou que os matemáticos assumissem o axioma na escolha de suas provas. Ele também fez contribuições importantes para a teoria da prova, esclarecendo as conexões entre a lógica clássica, a lógica intuicionista e a lógica modal. Leia o artigo completo...

*Imagem destacada*
	ver
Gregor Reisch "A lógica apresenta os seus temas centrais" 1503/08. Os dois cães, veritas e falsitas, correm atrás da lebre problema e a lógica empunha a espada syllogismus.

*Você sabia que...*
	ver
Você sabia que... A lógica matemática surgiu apenas em meados do século XIX? Que o filósofo Ludwig Wittgenstein criticou a "rigidez lógica" em sua última obra, Investigações Filosóficas? Que Gottlob Frege uniu a lógica aristotélica com a lógica dos estoicos? O brasileiro Newton da Costa é reconhecido internacionalmente pela lógica paraconsistente, um tipo de lógica que põe em xeque o princípio da não contradição? O termo Navalha de Occam surgiu muito depois da morte de Guilherme de Ockham? Além de lógico, Gottfried Leibniz também era engenheiro, advogado e diplomata? A demonstração ontológica de Gödel é um argumento formal que visa provar a existência de Deus? O filósofo Vicente Ferreira da Silva foi assistente do lógico Willard van Orman Quine?

Lógica Aristotélica

Elementos da lógica aristotélica

Portais Relacionados


Linguística	Filosofia	Matemática	Filosofia da ciência

Ciência	História da ciência	Tecnologias de informação	Psicologia

Outros projetos

Lógica no Commons
Imagens e mídia

Lógica no Wikcionário
Definições

Lógica no Wikilivros
Livros didáticos e manuais

Lógica no Wikinotícias
Notícias

Lógica no Wikiquote
Citações

Lógica no Wikisource
Biblioteca

Lógica na Wikiversidade
Recursos de aprendizado

Categorias da Lógica

Lógica filosófica

Pensamento crítico

Livros de lógica

sem subcategorias

sem subcategorias

Lógica não clássica

Lógica multivalorada

Lógicos por país

Especialistas em lógica matemática

Especialistas em teoria dos conjuntos

Visão global

Áreas
acadêmicas

Conceitos
fundamentais

Lógica filosófica

Pensamento crítico e Lógica informal	Análise Ambiguidade Argumento Crença Credibilidade Evidência Explicação Poder explicativo Fato Falácia Investigação Opinião Parcimônia Premissa Propaganda Prudência Raciocínio Relevância Retórica Rigor Vagueza
Teorias da dedução	Atomismo lógico Construtivismo Dialetismo Ficcionalismo Finitismo Formalismo Intuicionismo Logicismo Nominalismo Pragmatismo Realismo Realismo platônico

Metalógica e Metamatemática

Lógica matemática

Geral	Linguagem formal Regra de formação Sistema formal Sistema dedutivo Prova formal Semântica formal Fórmula bem formulada Conjunto Elemento Classe Lógica clássica Axioma Dedução natural Regra de inferência Relação Teorema Consequência lógica Sistema axiomático Teoria dos tipos Símbolo Sintaxe Teoria
Lógica aristotélica	Proposição Inferência Argumento Validade Irrefutabilidade Silogismo Quadrado das oposições Diagrama de Venn
Cálculo proposicional e Lógica booliana	Funções boolianas Cálculo proposicional Fórmula proposicional Conectivo lógico Tabela verdade
Predicativa	Primeira ordem Quantificadores Predicado Segunda ordem Cálculo do predicado monádico
Teoria dos conjuntos	Conjunto Conjunto vazio Enumeração Extensionabilidade Conjunto finito Função Subconjunto Conjunto de partes Conjunto contável Conjunto recursivo Domínio Imagem da função Par ordenado Conjunto incontável
Teoria dos modelos	Modelo Interpretação Modelo não padrão Teoria do modelo finito Valor da verdade Validade
Teoria da prova	Prova formal Sistema dedutivo Sistema formal Teorema Consequência lógica Regra de inferência Sintaxe
Teoria da computabilidade	Recursão Conjunto recursivo Conjunto enumerável recursivamente Problema de decisão Tese de Church-Turing Função computável Função recursiva primitiva

Lógica não clássica

Lógica modal	Alética Deôntica Doxástica Epistêmica Temporal
Intuicionismo	Lógica intuicionística Análise construtiva Aritmética de Heyting Teoria do tipo intuicionística Teoria do conjunto construtiva
Lógica difusa	Grau de verdade Regra difusa Conjunto difuso Elemento infinito difuso Operações de conjunto difusas
Lógica subestrutural	Regra estrutural Lógica relevante Lógica linear
Lógica paraconsistente	Dialeteísmo
Lógica de descrição	Ontologia Linguagem ontológica

Listas

Tópicos	Esboço de lógica Índice de artigos sobre lógica Lógica matemática Álgebra booliana Teoria dos conjuntos
Outros	Lógicos Regras de inferência Paradoxos Símbolos lógicos

Categoria
Portal

Obtida de "https://pt.wikipedia.org/w/index.php?title=Portal:Lógica&oldid=66601185"

!Portal Lógica

Categorias ocultas: