Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Instalar
Acesso mais rápido do que o navegador!
 

Lógica

Índice Lógica

Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.

158 relações: Abdução (lógica filosófica), Alfred North Whitehead, Algoritmo, Alonzo Church, Analogia, Análise matemática, Anti-intelectualismo, Argumentação, Argumento, Aristóteles, Aritmética, Artes liberais, Índia, Índice de Desenvolvimento Humano, Begriffsschrift, Bertrand Russell, Binário, Cambridge University Press, China, Chineses, Ciência, Ciência da computação, Coeficiente de Gini, Computação, Computador, Conceito, Condicional material, Conhecimento, Conjunção lógica, Consequência lógica, Contradição, Crítica, Cristão, Década, Década de 1950, Década de 1960, Desidério Murcho, Diálogos de Platão, Direito, Disciplina (conhecimento), Disjunção lógica, Epimênides, Epistemologia, Escola dos Nomes, Escola sofística, Estatística, Europa, Existência, Falácia, , ..., Fórmula, Filosofia, Filosofia analítica, Filosofia cristã, Filosofia da Lógica, Forma lógica, Gottlob Frege, Gramática, Grécia Antiga, Hardware, Harvard University Press, História da China, História da lógica, História das mentalidades, Idade Antiga, Idade Média, Identidade, Indeterminismo, Inferência, Informática, Inteligência artificial, Intuicionismo, Jan Łukasiewicz, Karl Weierstrass, Língua grega antiga, Língua natural, Lógica, Lógica aristotélica, Lógica de predicados, Lógica de primeira ordem, Lógica deôntica, Lógica difusa, Lógica epistêmica, Lógica informal, Lógica intuicionista, Lógica matemática, Lógica modal, Lógica paracompleta, Lógica paraconsistente, Lógica proposicional, Lógica temporal, Lógica ternária, Lei do terceiro excluído, Linguagem, Linguagem de programação, Linguagem formal, Livro, Logos, Matemática, Método científico, Método dedutivo, Método histórico, Método indutivo, Metafísica, Metodologia, Minos, Moísmo, Modus ponens, Modus tollens, Moral, Mundo ocidental, Número real, Necessidade (filosofia), Negação, Niaia, Normatividade, Ontologia, Operador lógico, Organon, Paradoxo, Paradoxo de Epiménides, Paradoxo do mentiroso, Parmênides, Pensamento, Platão, Predicado, Premissa, Previsão, Princípio da identidade, Princípio da incerteza de Heisenberg, Princípio da não-contradição, Principia Mathematica, Probabilidade epistemológica, Programação lógica, Prolog, Proposição, Prova, Prova automática de teoremas, Quantificação, Quantificação existencial, Quantificação universal, Raciocínio lógico, Raciocínio lógico-matemático, Racionalismo, Referência, Retórica, Semântica, Silogismo, Silogismo hipotético, Substantivo, Teoria, Teoria da computação, Teoria da prova, Teoria dos conjuntos, Teoria dos modelos, Trívio, Vegetarianismo, Verdade. Expandir índice (108 mais) »

Abdução (lógica filosófica)

A abdução é uma das três formas canônicas de inferência para estabelecer hipóteses científicas.

Novo!!: Lógica e Abdução (lógica filosófica) · Veja mais »

Alfred North Whitehead

Alfred North Whitehead (Ramsgate, – Cambridge) foi um filósofo, lógico e matemático britânico.

Novo!!: Lógica e Alfred North Whitehead · Veja mais »

Algoritmo

Uma animação do algoritmo de ordenação quicksort de uma matriz de valores ao acaso. As barras vermelhas marcam o elemento pivô. No início da animação, estando o elemento para o lado direito, é escolhido como o pivô Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.

Novo!!: Lógica e Algoritmo · Veja mais »

Alonzo Church

Alonzo Church (Washington, DC, 14 de junho de 1903 — Hudson (Ohio), 8 de novembro de 1995) foi um matemático estadunidense.

Novo!!: Lógica e Alonzo Church · Veja mais »

Analogia

Analogia (do grego αναλογία – analogia, "proporção") é um processo cognitivo de transferência de informação ou significado de um sujeito particular (fonte) para outro sujeito particular (alvo), e também pode significar uma expressão linguística, correspondendo a este processo.

Novo!!: Lógica e Analogia · Veja mais »

Análise matemática

Integral como região sob a curva. Definição de limite. Análise é o ramo da matemática que lida com os conceitos introduzidos pelo cálculo diferencial e integral, medidas, limites, séries infinitas e funções analíticas.

Novo!!: Lógica e Análise matemática · Veja mais »

Anti-intelectualismo

Anti-intelectualismo descreve um sentimento de hostilidade em relação a, ou suspeição de, intelectuais e seus objetos de pesquisa.

Novo!!: Lógica e Anti-intelectualismo · Veja mais »

Argumentação

A argumentação pode ser definida como uma organização discursiva com características próprias que a diferenciam de outros modos de organização de discurso, como a narração, a descrição e a explicação.

Novo!!: Lógica e Argumentação · Veja mais »

Argumento

Um argumento pode ser definido como uma afirmação acompanhada de justificativa (argumento retórico) ou como uma justaposição de duas afirmações opostas, argumento e contra-argumento (argumento dialético).

Novo!!: Lógica e Argumento · Veja mais »

Aristóteles

Aristóteles (Aristotélēs; Estagira, – Atenas) foi um filósofo e polímata da Grécia Antiga.

Novo!!: Lógica e Aristóteles · Veja mais »

Aritmética

Tabela de adição (Tabela de Dupla Entrada em português europeu) A aritmética (da palavra grega ἀριθμός, arithmós, "número") é o ramo mais elementar e antigo da matemática, lida com as operações possíveis entre os números; é utilizada por quase todo ser humano: seja em tarefas cotidianas, seja em tarefas científicas ou negociais.

Novo!!: Lógica e Aritmética · Veja mais »

Artes liberais

''Philosophia et septem artes liberales'' ("Filosofia e As Sete Artes liberais"). De Herrad de Landsberg da obra ''Hortus Deliciarum'' (século XII). Artes liberais é o termo que define uma metodologia de ensino, organizada na Idade Média, cujo conceito foi herdado da antiguidade clássica.

Novo!!: Lógica e Artes liberais · Veja mais »

Índia

*.

Novo!!: Lógica e Índia · Veja mais »

Índice de Desenvolvimento Humano

Índice de Desenvolvimento Humano (IDH) é um índice estatístico composto de expectativa de vida, educação (média de anos de escolaridade completados e anos esperados de escolaridade ao entrar no sistema educacional) e indicadores de renda per capita, que é usado para classificar os países em quatro níveis do desenvolvimento humano.

Novo!!: Lógica e Índice de Desenvolvimento Humano · Veja mais »

Begriffsschrift

Begriffsschrift (Traduzido grosseiramente do alemão para "ideografia") é um livro de lógica feito por Gottlob Frege, publicado em 1879, e o sistema formal estabelecido neste livro.

Novo!!: Lógica e Begriffsschrift · Veja mais »

Bertrand Russell

Bertrand Arthur William Russell, 3.º Conde Russell OM FRS (Trelleck, País de Gales, 18 de maio de 1872 — Penrhyndeudraeth, País de Gales, 2 de fevereiro de 1970) foi um dos mais influentes matemáticos, filósofos, ensaístas, historiadores e lógicos que viveram no.

Novo!!: Lógica e Bertrand Russell · Veja mais »

Binário

* ''Binário'' (revista).

Novo!!: Lógica e Binário · Veja mais »

Cambridge University Press

Cambridge University Press é uma editora britânica, fundada em 1534 com o aval do rei Henrique VIII para a Universidade de Cambridge, sendo a editora mais antiga do mundo em operação contínua e a segunda maior editora universitária do mundo.

Novo!!: Lógica e Cambridge University Press · Veja mais »

China

A República Popular da China (RPC), também conhecida simplesmente como China, é o maior país da Ásia Oriental e o segundo país mais populoso do mundo, com mais de 1,4 bilhão de habitantes, quase um quinto da população da Terra, superado apenas pela Índia.

Novo!!: Lógica e China · Veja mais »

Chineses

O povo chinês é formado pelos vários indivíduos e etnias associadas à China, normalmente através de sua ascendência, etnia, nacionalidade, cidadania ou outra afiliação.

Novo!!: Lógica e Chineses · Veja mais »

Ciência

Ciência (do latim scientia, traduzido por "conhecimento") refere-se a qualquer conhecimento ou prática sistemáticos.

Novo!!: Lógica e Ciência · Veja mais »

Ciência da computação

A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.

Novo!!: Lógica e Ciência da computação · Veja mais »

Coeficiente de Gini

Coeficiente de Gini, por vezes chamado índice de Gini ou razão de Gini, é uma medida de desigualdade desenvolvida pelo estatístico italiano Corrado Gini, e publicada no documento "Variabilità e mutabilità" ("Variabilidade e mutabilidade" em italiano), em 1912.

Novo!!: Lógica e Coeficiente de Gini · Veja mais »

Computação

A computação é qualquer atividade orientada a objetivos que exija, se beneficie ou crie máquinas de computação.

Novo!!: Lógica e Computação · Veja mais »

Computador

Um computador pessoal. Columbia, um supercomputador da NASA. Um assistente pessoal digital. Na tecnologia, o computador é um dispositivo eletroeletrônico formado por um conjunto de componentes eletrônicos capaz de executar variados tipos de tratamento de informações (processamento de dados) e de algoritmos.

Novo!!: Lógica e Computador · Veja mais »

Conceito

Conceito (do latim conceptus, do verbo concipere, que significa "conter completamente", "formar dentro de si"), substantivo masculino, é aquilo que a mente concebe ou entende: uma ideia ou noção, representação geral e abstracta de uma realidade.

Novo!!: Lógica e Conceito · Veja mais »

Condicional material

O condicional material, também conhecido como implicação material, condicional funcional de verdade ou simplesmente condicional, é uma operação lógica.

Novo!!: Lógica e Condicional material · Veja mais »

Conhecimento

Conhecimento (do latim cognoscere, "ato de conhecer"), como a própria origem da palavra indica, é o ato ou efeito de conhecer.

Novo!!: Lógica e Conhecimento · Veja mais »

Conjunção lógica

A conjunção é uma operação na lógica matemática, que pode ser ligada à operação de interseção de conjuntos.

Novo!!: Lógica e Conjunção lógica · Veja mais »

Consequência lógica

Consequência lógica é um conceito fundamental na lógica.

Novo!!: Lógica e Consequência lógica · Veja mais »

Contradição

Na lógica clássica, uma contradição consiste numa incompatibilidade lógica entre duas ou mais proposições.

Novo!!: Lógica e Contradição · Veja mais »

Crítica

Crítica (do grego κριτικός, kritikós, "apto a julgar") é uma opinião ou juízo de valor.

Novo!!: Lógica e Crítica · Veja mais »

Cristão

Cristão é todo o indivíduo que adere ao cristianismo, uma religião monoteísta abraâmica centrada na vida e nos ensinamentos de Jesus de Nazaré, e que foi profetizada na Bíblia hebraica (Antigo Testamento).

Novo!!: Lógica e Cristão · Veja mais »

Década

Década,, abreviada como "dec.", designam um período de dez anos.

Novo!!: Lógica e Década · Veja mais »

Década de 1950

Conforme padronização da norma internacional para representação de data e hora da Organização Internacional de Padronização (ISO), a década de 1950, também referida como década de 50 ou ainda anos 50, compreende o período de tempo entre 1 de janeiro de 1950 e 31 de dezembro de 1959.

Novo!!: Lógica e Década de 1950 · Veja mais »

Década de 1960

Conforme padronização da norma internacional para representação de data e hora da Organização Internacional de Padronização (ISO), a década de 1960, também referida como década de 60 ou ainda anos 60, compreende o período de tempo entre 1 de janeiro de 1960 e 31 de dezembro de 1969.

Novo!!: Lógica e Década de 1960 · Veja mais »

Desidério Murcho

Desidério Orlando Figueiredo Murcho (18 de Maio de 1965) é um filósofo, professor e escritor português.

Novo!!: Lógica e Desidério Murcho · Veja mais »

Diálogos de Platão

Os diálogos de Platão representam a filosofia platônica na sua forma escrita.

Novo!!: Lógica e Diálogos de Platão · Veja mais »

Direito

p.

Novo!!: Lógica e Direito · Veja mais »

Disciplina (conhecimento)

Colagem de fotos retratando diferentes disciplinas acadêmicas. Disciplina, disciplina científica, designam um determinado ramo do conhecimento.

Novo!!: Lógica e Disciplina (conhecimento) · Veja mais »

Disjunção lógica

Disjunção, operador ou (OR), é uma operação lógica utilizada em lógicas digitais e lógicas matemáticas.

Novo!!: Lógica e Disjunção lógica · Veja mais »

Epimênides

Epimenides (Epimenidēs) foi um poeta, filósofo e místico grego, e profeta que viveu em meados dos anos 600 a.C. de acordo com o apóstolo Paulo em, que cita sua obra "Crética".

Novo!!: Lógica e Epimênides · Veja mais »

Epistemologia

Epistemologia (do grego ἐπιστήμη, transl. episteme: conhecimento certo, ciência; λόγος, transl. logos: discurso, estudo), em sentido estrito, refere-se ao ramo da filosofia que se ocupa do conhecimento científico; é o estudo crítico dos princípios, das hipóteses e dos resultados das diversas ciências, com a finalidade de determinar seus fundamentos lógicos, seu valor e sua importância objetiva.

Novo!!: Lógica e Epistemologia · Veja mais »

Escola dos Nomes

A Escola de Nomes (名家; Míng jiā; ming.

Novo!!: Lógica e Escola dos Nomes · Veja mais »

Escola sofística

O termo Sofista (em grego antigo: σοφιστής, transliterado: sophistēs) refere uma pessoa de um grupo de pensadores do século V e IV AEC na Grécia Antiga que viajavam de cidade em cidade realizando discursos públicos e atraindo estudantes, de quem cobravam taxas para oferecer-lhes educação.

Novo!!: Lógica e Escola sofística · Veja mais »

Estatística

Um exemplo de gráfico. Estatística é a ciência que utiliza as teorias probabilísticas para explicar a frequência da ocorrência de eventos, tanto em estudos observacionais quanto em experimentos para modelar a aleatoriedade e a incerteza de forma a estimar ou possibilitar a previsão de fenômenos futuros, conforme o caso.

Novo!!: Lógica e Estatística · Veja mais »

Europa

A Europa é, por convenção, um dos seis continentes do mundo.

Novo!!: Lógica e Europa · Veja mais »

Existência

Existência é a qualidade de tudo o que é real ou existe, e é também a base de todas as outras coisas.

Novo!!: Lógica e Existência · Veja mais »

Falácia

O termo falácia deriva do verbo latino fallere, que significa enganar.

Novo!!: Lógica e Falácia · Veja mais »

Fé (do Latim fide) é a adesão de forma incondicional a uma hipótese que a pessoa passa a considerar como sendo uma verdade sem qualquer tipo de prova ou critério objetivo de verificação, pela absoluta confiança que se deposita nesta ideia ou fonte de transmissão.

Novo!!: Lógica e Fé · Veja mais »

Fórmula

*Fórmula (lógica).

Novo!!: Lógica e Fórmula · Veja mais »

Filosofia

Filosofia (do grego Φιλοσοφία, philosophia, literalmente "amor pela sabedoria") é o estudo de questões gerais e fundamentais sobre a existência, conhecimento, valores, razão, mente, e linguagem; frequentemente colocadas como problemas a se resolver.

Novo!!: Lógica e Filosofia · Veja mais »

Filosofia analítica

A filosofia analítica é uma vertente do pensamento contemporâneo reivindicada por filósofos bastante diferentes e com duas caracterizações distintas, cuja filosofia precursora surgiu da superação da filosofia sintética do Século XIX.

Novo!!: Lógica e Filosofia analítica · Veja mais »

Filosofia cristã

Filosofia cristã é o conjunto de ideias filosóficas iniciadas pelos seguidores de Jesus Cristo do século II aos dias de hoje.

Novo!!: Lógica e Filosofia cristã · Veja mais »

Filosofia da Lógica

Filosofia da lógica é a área da filosofia que estuda o alcance e a natureza da lógica.

Novo!!: Lógica e Filosofia da Lógica · Veja mais »

Forma lógica

A forma lógica, forma de um argumento, ou simplesmente forma, é a representação de suas sentenças usando a gramática formal e o simbolismo de um sistema lógico para mostrar sua semelhança com todos outros argumentos do mesmo tipo.

Novo!!: Lógica e Forma lógica · Veja mais »

Gottlob Frege

Friedrich Ludwig Gottlob Frege (Wismar, — Bad Kleinen) foi um matemático, lógico e filósofo alemão.

Novo!!: Lógica e Gottlob Frege · Veja mais »

Gramática

Gramática (do grego: γραμματική, transl. grammatiké, feminino substantivado de grammatikós) designa conjunto de prescrições e regras que determinam o uso considerado correto da língua escrita e falada.

Novo!!: Lógica e Gramática · Veja mais »

Grécia Antiga

Grécia Antiga (Ἑλλάς), ou Hélade, foi uma civilização pertencente a um período da história grega que abrange desde o Período Homérico dos séculos XIV a IX a.C. até o fim da antiguidade (c.476 d.C.). Imediatamente após este período foi o início da Idade Média e da era bizantina.

Novo!!: Lógica e Grécia Antiga · Veja mais »

Hardware

Equipamentos de computadores. O hardware (pronúncia: 'rarduér') é um termo técnico (e anglicismo de engenharia eletrônica) que foi traduzido para a língua portuguesa como equipamento, e pode ser definido como um termo geral da língua inglesa, que se refere à parte física de computadores e outros sistemas microeletrônicos.

Novo!!: Lógica e Hardware · Veja mais »

Harvard University Press

Harvard University Press (HUP) é uma editora estabelecida desde 1913 como uma divisão da Universidade Harvard, focada em publicações acadêmicas.

Novo!!: Lógica e Harvard University Press · Veja mais »

História da China

Territórios aproximados ocupados por diferentes Dinastias, bem como modernos Estados políticos, ao longo da história da China Os primeiros registros escritos conhecidos da história da China datam de 1250 a.C.,William G. Boltz, Early Chinese Writing, World Archaeology, Vol.

Novo!!: Lógica e História da China · Veja mais »

História da lógica

A história da lógica documenta o desenvolvimento da lógica em várias culturas e tradições.

Novo!!: Lógica e História da lógica · Veja mais »

História das mentalidades

A história das mentalidades é uma modalidade historiográfica que privilegia os modos de pensar e de sentir dos indivíduos de uma mesma época.

Novo!!: Lógica e História das mentalidades · Veja mais »

Idade Antiga

Idade Antiga ou Antiguidade, na periodização das épocas históricas da humanidade, é o período que se estende desde a invenção da escrita (de a) até à queda do Império Romano do Ocidente.

Novo!!: Lógica e Idade Antiga · Veja mais »

Idade Média

p.

Novo!!: Lógica e Idade Média · Veja mais »

Identidade

Identidade é o conjunto de características próprias e exclusivas com os quais se podem diferenciar pessoas, animais, plantas e objetos inanimados uns dos outros, quer diante do conjunto das diversidades, quer ante seus semelhantesidentidade in Dicionário infopédia da Língua Portuguesa.

Novo!!: Lógica e Identidade · Veja mais »

Indeterminismo

O indeterminismo refere-se a uma concepção filosófica segundo a qual alguns acontecimentos não têm causas ou que têm causas não-lineares: limitam-se a acontecer e nada há no estado prévio do mundo que os explique.

Novo!!: Lógica e Indeterminismo · Veja mais »

Inferência

Em Lógica, inferência ou ilação é operação intelectual mediante a qual se afirma a verdade de uma proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras.

Novo!!: Lógica e Inferência · Veja mais »

Informática

Informática (do frances: "informatique", do alemã "informatik"; composição: "informação" e "automática") é um termo usado para descrever o conjunto das ciências relacionadas à coleta, armazenamento, transmissão e processamento de informações nos meios digitais, estando incluídas neste grupo: a ciência da computação, os sistemas de informação, a teoria da informação, o processo de cálculo, a análise numérica e, os métodos teóricos da representação dos conhecimentos e da modelagem dos problemas.

Novo!!: Lógica e Informática · Veja mais »

Inteligência artificial

Inteligência artificial (de sigla: IA; do inglês: artificial intelligence, de sigla: AI) é um campo de estudo multidisciplinar que abrange varias áreas do conhecimento.

Novo!!: Lógica e Inteligência artificial · Veja mais »

Intuicionismo

Na filosofia da matemática, intuicionismo ou neointuicionismo (em oposição ao pré-intuicionismo) é uma abordagem à matemática de acordo com a atividade mental construtiva dos humanos.

Novo!!: Lógica e Intuicionismo · Veja mais »

Jan Łukasiewicz

Jan Łukasiewicz (21 de dezembro de 1878 — 13 de fevereiro de 1956) foi um lógico polonês.

Novo!!: Lógica e Jan Łukasiewicz · Veja mais »

Karl Weierstrass

Karl Wilhelm Theodor Weierstraß, mais conhecido como Karl Weierstrass (pronúncia Karl Vaiˈɐrʃtras), (Ostenfelde, próximo de Ennigerloh, — Berlim) foi um matemático alemão, professor na Universidade de Berlim.

Novo!!: Lógica e Karl Weierstrass · Veja mais »

Língua grega antiga

A língua grega antiga ou clássica (ἡ Ἑλληνικὴ γλῶσσα, hē Hellēnikḕ glō̃ssa, em grego antigo) é uma língua indo-europeia extinta, falada na Grécia durante a Antiguidade e que evoluiu para o grego moderno.

Novo!!: Lógica e Língua grega antiga · Veja mais »

Língua natural

Língua natural (língua humana, língua idiomática, ou somente língua ou idioma) é qualquer linguagem desenvolvida naturalmente pelo ser humano, de forma não premeditada, como resultado da facilidade inata para a linguagem possuída pelo intelecto humano.

Novo!!: Lógica e Língua natural · Veja mais »

Lógica

Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.

Novo!!: Lógica e Lógica · Veja mais »

Lógica aristotélica

A lógica aristotélica é o estudo formal da lógica desenvolvido pelo filósofo grego Aristóteles, na Antiguidade.

Novo!!: Lógica e Lógica aristotélica · Veja mais »

Lógica de predicados

Para o termo específico, ver Lógica de primeira ordem Na lógica matemática, a lógica de predicados é um termo genérico para sistemas formais simbólicos como lógica de primeira ordem, lógica de segunda ordem, many-sorted logic ou infinitary logic.

Novo!!: Lógica e Lógica de predicados · Veja mais »

Lógica de primeira ordem

A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.

Novo!!: Lógica e Lógica de primeira ordem · Veja mais »

Lógica deôntica

A lógica deôntica é um tipo de lógica modal usada para analisar formalmente as normas ou as proposições que tratam acerca das normas.

Novo!!: Lógica e Lógica deôntica · Veja mais »

Lógica difusa

A lógica difusa ou lógica fuzzy é a forma de lógica multivalorada, na qual os valores verdade das variáveis podem ser qualquer número real entre 0 (correspondente ao valor falso) e 1 (correspondente ao valor verdadeiro), diferentemente do que se verifica na lógica booliana (também chamada, às vezes, lógica nítida), segundo a qual os valores lógicos podem ser apenas 0 ou 1.

Novo!!: Lógica e Lógica difusa · Veja mais »

Lógica epistêmica

A Lógica Epistêmica é uma lógica complementar da Lógica Clássica que trata do conhecimento.

Novo!!: Lógica e Lógica epistêmica · Veja mais »

Lógica informal

Lógica informal ou lógica não-formal é o estudo dos argumentos apresentados na linguagem comum, em contraste com as apresentações de argumentos numa linguagem artificial, formal ou técnica (ver lógica formal).

Novo!!: Lógica e Lógica informal · Veja mais »

Lógica intuicionista

Lógica intuicionista, ou lógica construtivista, é o sistema de lógica simbólica desenvolvido por Arend Heyting para prover uma base formal para o intuicionismo de Brouwer.

Novo!!: Lógica e Lógica intuicionista · Veja mais »

Lógica matemática

A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.

Novo!!: Lógica e Lógica matemática · Veja mais »

Lógica modal

A lógica modal se refere a qualquer sistema de lógica formal que procure lidar com modalidades (tratar de modos quanto a tempo, possibilidade, probabilidade, etc.). Tradicionalmente, as modalidades mais comuns são possibilidade e necessidade.

Novo!!: Lógica e Lógica modal · Veja mais »

Lógica paracompleta

Uma dada lógica ou sistema lógico é dita paracompleta quando ela não adota a lei do terceiro excluído.

Novo!!: Lógica e Lógica paracompleta · Veja mais »

Lógica paraconsistente

Em lógica, entende-se por lógica paraconsistente um sistema formal no qual se podem verificar, de modo controlado, exceções ao princípio da não contradição, isto é, no qual podem se apresentar contradições sem que, com isso, seja possível derivar uma proposição qualquer, dentro do sistema, evitando-se assim o princípio de explosão (em latim, ex falso quodlibet, 'da falsidade, qualquer coisa'; ou ex contradictione quodlibet, 'da contradição, qualquer coisa ').

Novo!!: Lógica e Lógica paraconsistente · Veja mais »

Lógica proposicional

Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.

Novo!!: Lógica e Lógica proposicional · Veja mais »

Lógica temporal

Em lógica, lógica temporal é qualquer sistema de regras e símbolos para representar e dissertar sobre proposições qualificadas em termos de tempo.

Novo!!: Lógica e Lógica temporal · Veja mais »

Lógica ternária

Lógica ternária (ou lógica trivalente) refere-se a qualquer sistema lógico polivalente em que há três valores verdade indicando verdadeiro, falso e algum terceiro valor.

Novo!!: Lógica e Lógica ternária · Veja mais »

Lei do terceiro excluído

Em lógica, a lei do terceiro excluído (em latim, principium tertii exclusi ou tertium non datur) é a terceira de três clássicas Leis do Pensamento.

Novo!!: Lógica e Lei do terceiro excluído · Veja mais »

Linguagem

A linguagemAntônio Houaiss.

Novo!!: Lógica e Linguagem · Veja mais »

Linguagem de programação

C. A linguagem de programação é um método padronizado, formado por um conjunto de regras sintáticas e semânticas, de implementação de um código fonte - que pode ser compilado e transformado em um programa de computador, ou usado como script interpretado - que informará instruções de processamento ao computador.

Novo!!: Lógica e Linguagem de programação · Veja mais »

Linguagem formal

Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.

Novo!!: Lógica e Linguagem formal · Veja mais »

Livro

Livros. Exemplar do livro de Georg Büchmann, ''Geflügelte Worte'', edição de 1898. Livro (do latim liber, libri) é um objeto transportável, composto por páginas encadernadas, contendo texto manuscrito ou impresso e/ou imagens e que forma uma publicação unitária (ou foi concebido como tal) ou a parte principal de um trabalho literário, científico ou outro, formando um volume.

Novo!!: Lógica e Livro · Veja mais »

Logos

Lógos (UK: /ˈloʊɡɒs, ˈlɒɡɒs/, US: /ˈloʊɡoʊs/; Grego antigo: λόγος, translit. lógos; de λέγω, légō, lit. 'Eu digo') é um termo na filosofia ocidental, psicologia, retórica e religião derivada de uma palavra grega que significa, "fundamento", "pleito", "opinião", "expectativa", "pensamento", "palavra", "fala", "conta", "razão", "proporção" e "discurso", mas se tornou um termo técnico na filosofia ocidental, começando com Heráclito (535 a.C. - 475 a.C.), que usou o termo para um princípio de ordem e conhecimento.

Novo!!: Lógica e Logos · Veja mais »

Matemática

problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.

Novo!!: Lógica e Matemática · Veja mais »

Método científico

O método científico refere-se a um conjunto de regras básicas dos procedimentos que produzem o conhecimento científico, quer um novo conhecimento, quer uma correção (evolução) ou um aumento na área de incidência de conhecimentos anteriormente existentes.

Novo!!: Lógica e Método científico · Veja mais »

Método dedutivo

Método dedutivo o raciocínio dedutivo é a maneira de tirar inferências dedutivas.

Novo!!: Lógica e Método dedutivo · Veja mais »

Método histórico

O método histórico, também chamado de método crítico ou crítica histórica, compreende o conjunto de técnicas, métodos e procedimentos usados pelos historiadores para gerenciar fontes primárias e outras evidências (arqueologia, arquivística, disciplinas auxiliares da história, etc.) para investigar eventos passados relevantes para as sociedades humanas.

Novo!!: Lógica e Método histórico · Veja mais »

Método indutivo

Na lógica, método indutivo ou indução é o raciocínio que, após considerar um número suficiente de casos particulares, conclui uma verdade geral.

Novo!!: Lógica e Método indutivo · Veja mais »

Metafísica

Metafísica (do grego antigo μετα (metà).

Novo!!: Lógica e Metafísica · Veja mais »

Metodologia

A metodologia é o estudo dos métodos.

Novo!!: Lógica e Metodologia · Veja mais »

Minos

Minos (Mínōs), na mitologia grega, foi um rei semi-deus da ilha de Creta, filho de Zeus e da princesa fenícia Europa.

Novo!!: Lógica e Minos · Veja mais »

Moísmo

Moísmo era uma escola da filosofia chinesa desenvolvida pelos seguidores de Mozi (470 a.C. - 391 a.C.). Evoluiu ao mesmo tempo que o confucionismo, o taoísmo e o legalismo, e foi uma das quatro principais escolas filosóficas durante o Período das Primaveras e Outonos (de 770 a.C. a 480 a.C.) e o Período dos Reinos Combatentes (de 479 aC a 221 aC).

Novo!!: Lógica e Moísmo · Veja mais »

Modus ponens

Na lógica proposicional, modus ponendo ponens (em latim significa "a maneira que afirma afirmando", muitas vezes abreviado para MP ou modus ponens) ou a eliminação da implicação é uma válida e simples forma de argumento e regra de inferência.

Novo!!: Lógica e Modus ponens · Veja mais »

Modus tollens

Modus tollens (Latim: modo que nega por negação) ou negação do consequente, é o nome formal para a prova indireta, também chamado de modo apagógico.

Novo!!: Lógica e Modus tollens · Veja mais »

Moral

Moral (do latim moralis "maneira, caráter, comportamento próprio") é a diferenciação de intenções, decisões e ações entre aquelas que são distinguidas como próprias e as que são impróprias.

Novo!!: Lógica e Moral · Veja mais »

Mundo ocidental

via.

Novo!!: Lógica e Mundo ocidental · Veja mais »

Número real

Um número real é um valor que representa uma quantidade (nula, positiva ou negativa) ao longo de uma linha contínua, ou seja um ponto sobre uma linha reta infinita, chamada de reta numérica ou reta real, onde os pontos correspondentes aos números inteiros são igualmente espaçados.

Novo!!: Lógica e Número real · Veja mais »

Necessidade (filosofia)

Uma proposição necessária é aquela que não pode ser falsa.

Novo!!: Lógica e Necessidade (filosofia) · Veja mais »

Negação

Negação, em lógica e matemática, é uma operação unária sobre valores lógicos, por exemplo o valor lógico de uma proposição.

Novo!!: Lógica e Negação · Veja mais »

Niaia

O Niaia ou Nyaya é uma das seis escolas de pensamento que integram a filosofia indiana ortodoxa.

Novo!!: Lógica e Niaia · Veja mais »

Normatividade

Em filosofia da mente, pertencem à normatividade os conceitos que explicam o pensamento e a ação dos seres racionais, como o ser humano, a partir de normas que são irredutíveis às leis da natureza.

Novo!!: Lógica e Normatividade · Veja mais »

Ontologia

Ontologia (do grego ontos "ente" e -logia, "discurso lógico"; no conjunto, "ciência do ser") é o ramo da filosofia que estuda conceitos como existência, ser, devir e realidade. Inclui as questões de como as entidades são agrupadas em categorias básicas e quais dessas entidades existem no nível mais fundamental. A ontologia é às vezes referida como a ciência do ser e pertence ao maior ramo da filosofia conhecido como metafísica. Os ontologistas frequentemente tentam determinar quais são as categorias ou tipos mais altos e como formam um sistema de categorias que fornece uma classificação abrangente de todas as entidades. As categorias comumente propostas incluem substâncias, propriedades, relações, estados de coisas e eventos. Estas categorias são caracterizadas por conceitos ontológicos fundamentais, como particularidade e universalidade, abstração e concretude, ou possibilidade e necessidade. De especial interesse é o conceito de dependência ontológica, que determina se as entidades de uma categoria existem no nível mais fundamental. As discordâncias dentro da ontologia são muitas vezes sobre se as entidades pertencentes a uma determinada categoria existem e, em caso afirmativo, como se relacionam com outras entidades. Quando usado como substantivo contável, os termos "ontologia" e "ontologias" referem-se não à ciência do ser, mas às teorias dentro da ciência do ser. As teorias ontológicas podem ser divididas em vários tipos de acordo com seus compromissos teóricos. As ontologias monocategóricas sustentam que há apenas uma categoria básica, o que é rejeitado pelas ontologias policategóricas. As ontologias hierárquicas afirmam que algumas entidades existem em um nível mais fundamental e que outras entidades dependem delas. As ontologias planas, por outro lado, negam tal status privilegiado a qualquer entidade.

Novo!!: Lógica e Ontologia · Veja mais »

Operador lógico

Operador lógico, assim como um operador aritmético, é uma classe de operação sobre variáveis ou elementos pré-definidos.

Novo!!: Lógica e Operador lógico · Veja mais »

Organon

Organon (do grego, ὄργανον) é o nome tradicionalmente dado ao conjunto das obras sobre lógica de Aristóteles.

Novo!!: Lógica e Organon · Veja mais »

Paradoxo

Um paradoxo é uma declaração aparentemente verdadeira que leva a uma contradição lógica, ou a uma situação que contradiz a intuição comum.

Novo!!: Lógica e Paradoxo · Veja mais »

Paradoxo de Epiménides

O paradoxo de Epiménides é um enigma sem resposta que forma um paradoxo semelhante ao paradoxo do mentiroso, no qual as proposições se ligam umas às outras mas, afinal, não possibilitam qualquer conclusão quanto ao seu valor de verdade.

Novo!!: Lógica e Paradoxo de Epiménides · Veja mais »

Paradoxo do mentiroso

Em filosofia e lógica, o paradoxo do mentiroso abrange afirmações paradoxais como: ou Para evitar que uma afirmação se refira ao seu próprio valor lógico, também se pode construir o paradoxo da seguinte forma, chamada de paradoxo mentiroso fortalecido: Geralmente, a denominação “paradoxo do mentiroso” é mais usada, embora a abstração seja feita precisamente pelo próprio mentiroso.

Novo!!: Lógica e Paradoxo do mentiroso · Veja mais »

Parmênides

de Eleia (Παρμενίδης ὁ Ἐλεάτης) (— Cléverson Minikovsky.. biblioteca24horas; ISBN 978-85-7893-226-8. p. 25.) foi um filósofo grego natural de Eleia, uma cidade grega na costa sul da Magna Grécia.

Novo!!: Lógica e Parmênides · Veja mais »

Pensamento

O Pensador de Auguste Rodin. Em seu sentido mais comum, os termos pensamento e pensar referem-se a processos cognitivos conscientes que podem acontecer independentemente da estimulação sensorial.

Novo!!: Lógica e Pensamento · Veja mais »

Platão

Platão (Πλάτων, transl Plátōn, "amplo", Atenas, 428/427 – Atenas, 348/347 a.C.) foi um filósofo e matemático do período clássico da Grécia Antiga, autor de diversos diálogos filosóficos e fundador da Academia em Atenas, a primeira instituição de educação superior do mundo ocidental.

Novo!!: Lógica e Platão · Veja mais »

Predicado

*Predicado (gramática) — termo da oração que afirme ou negue algo a respeito do sujeito.

Novo!!: Lógica e Predicado · Veja mais »

Premissa

Em Lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência.

Novo!!: Lógica e Premissa · Veja mais »

Previsão

Previsão (sinônimos: prospecção, prognóstico, antecipação; hipótese; estimativa; conjectura) refere-se à capacidade de antecipar ou prever eventos, tendências ou desenvolvimentos futuros com base em análises cuidadosas, informações e uma compreensão profunda das circunstâncias atuais.

Novo!!: Lógica e Previsão · Veja mais »

Princípio da identidade

O princípio da identidade foi formulado por Parmênides em seus estudos sobre a lógica.

Novo!!: Lógica e Princípio da identidade · Veja mais »

Princípio da incerteza de Heisenberg

322x322px Em mecânica quântica, o princípio da incerteza (também chamado princípio da incerteza da Heisenberg), formulado em 1927 por Werner Heisenberg, é um enunciado que estabelece um limite fundamental para a precisão com que certos pares de propriedades de determinada partícula física, conhecidas como variáveis complementares (tais como posição e momento linear), podem ser conhecidos.

Novo!!: Lógica e Princípio da incerteza de Heisenberg · Veja mais »

Princípio da não-contradição

Na Lógica clássica, o princípio da não-contradição (ou o princípio da contradição, ou a lei da não-contradição, ou a lei da contradição), afirma que duas afirmações contraditórias não podem ser verdadeiras ao mesmo tempo, exemplo: As duas proposições "A é B" e "A não é B" são mutuamente exclusivas, dito de outra forma: "nada pode ser e não ser simultaneamente" O princípio da não-contradição foi (primeiramente) formulado por Aristóteles e diz-nos que uma proposição verdadeira não pode ser falsa e uma proposição falsa não pode ser verdadeira.

Novo!!: Lógica e Princípio da não-contradição · Veja mais »

Principia Mathematica

''Principia Mathematica'' O Principia Mathematica (tradução livre do latim: Princípios Matemáticos) é uma obra de três volumes sobre fundamentos da matemática, escrita por Alfred North Whitehead e seu aluno Bertrand Russell e publicada nos anos de 1910, 1912 e 1913.

Novo!!: Lógica e Principia Mathematica · Veja mais »

Probabilidade epistemológica

Probabilidade epistemológica ou probabilidade Bayesiana (relacionando-se ao matemático Thomas Bayes), é uma percepção em seres humanos que representa incertezas sobre proposições quando não se tem conhecimento completo das circunstâncias causativas.

Novo!!: Lógica e Probabilidade epistemológica · Veja mais »

Programação lógica

Programação lógica é um paradigma de programação que faz uso da lógica matemática.

Novo!!: Lógica e Programação lógica · Veja mais »

Prolog

Prolog (Programação Lógica) é uma linguagem de programação que se enquadra no paradigma de Programação em Lógica Matemática.

Novo!!: Lógica e Prolog · Veja mais »

Proposição

Proposição é um termo usado em lógica para descrever o conteúdo de asserções.

Novo!!: Lógica e Proposição · Veja mais »

Prova

A palavra prova no processo, bem como em outros ramos das ciências, pode assumir diferentes conotações.

Novo!!: Lógica e Prova · Veja mais »

Prova automática de teoremas

agda2 Prova automática de teoremas (PAT) ou dedução automática (DA) é a prova de teoremas matemáticos por um programa de computador.

Novo!!: Lógica e Prova automática de teoremas · Veja mais »

Quantificação

O termo Quantificação tem vários significados, gerais e específicos.

Novo!!: Lógica e Quantificação · Veja mais »

Quantificação existencial

Na lógica de predicados, um quantificador existencial é a predicação de uma propriedade ou relação para, pelo menos, um elemento do domínio.

Novo!!: Lógica e Quantificação existencial · Veja mais »

Quantificação universal

Na lógica de predicados, a quantificação universal é uma formalização da noção de que algumas coisas são verdadeiras para todas as coisas, ou para todas as coisas relevantes.

Novo!!: Lógica e Quantificação universal · Veja mais »

Raciocínio lógico

Em lógica, pode-se distinguir três tipos de raciocínio lógico: dedução, indução e abdução.

Novo!!: Lógica e Raciocínio lógico · Veja mais »

Raciocínio lógico-matemático

O raciocínio lógico-matemático é uma das operações de pensamento descritas por Jean Piaget.

Novo!!: Lógica e Raciocínio lógico-matemático · Veja mais »

Racionalismo

O racionalismo é uma posição epistemológica ou corrente filosófica caracterizada pela aceitação de ao menos uma entre três teses: a razão e a intuição devem ter privilégio sobre a sensação e a experiência na obtenção do conhecimento; toda ou a maior parte das ideias é inata ao invés de adquirida no decorrer da vida; e a certeza do conhecimento deve ser privilegiada sobre a mera probabilidade dele em investigações filosóficas.

Novo!!: Lógica e Racionalismo · Veja mais »

Referência

*Referência bibliográfica — grupo de informações que identifica uma obra bibliográfica.

Novo!!: Lógica e Referência · Veja mais »

Retórica

Retórica (do latim rhetorica, originado no grego ῥητορικὴ τέχνη, literalmente a arte/técnica de bem falar, do substantivo rhêtôr, «orador») é a arte de usar uma linguagem para comunicar de forma eficaz e persuasiva.

Novo!!: Lógica e Retórica · Veja mais »

Semântica

Rede semântica em língua portuguesa Semântica (do grego σημαντικός, sēmantiká, plural neutro de sēmantikós, derivado de sema, sinal) é o estudo do significado.

Novo!!: Lógica e Semântica · Veja mais »

Silogismo

Um silogismo (do grego antigo συλλογισμός, transl. syllogismós, 'conexão de ideias', 'raciocínio', composto pelos termos σύν, transl. syn, 'com', e λογισμός, 'cálculo' e, por extensão, 'raciocínio', pelo latim syllogismus,i) é um termo filosófico com o qual Aristóteles designou a conclusão deduzida de premissas, a argumentação lógica perfeita.

Novo!!: Lógica e Silogismo · Veja mais »

Silogismo hipotético

Em lógica, um silogismo hipotético tem dois usos.

Novo!!: Lógica e Silogismo hipotético · Veja mais »

Substantivo

O substantivo ou nome é uma classe de palavras variáveis com que se designam ou se nomeiam os seres (pessoas, animais e coisas).

Novo!!: Lógica e Substantivo · Veja mais »

Teoria

corroboradas. Teoria (do grego θεωρία, transl. theoria: 'contemplação', 'reflexão', 'introspecção', de θεωρέω, tranl. theoréo, 'olho', 'observo', composto por θέα, thea, 'espetáculo', por sua vez derivado de θαῦμα, thâuma, 'visão', e ὁράω, horao, 'vejo'.) indica, no senso comum, uma ideia nascida com base em alguma hipótese, conjectura, especulação ou suposição, mesmo abstrata, sobre a realidade.

Novo!!: Lógica e Teoria · Veja mais »

Teoria da computação

A teoria da computação é um subcampo da ciência da computação e matemática que busca determinar quais problemas podem ser computados em um dado modelo de computação.

Novo!!: Lógica e Teoria da computação · Veja mais »

Teoria da prova

A teoria das provas, teoria da prova ou teoria da demonstração é um ramo importante da lógica matemática que representa provas como objetos matemáticos, facilitando sua análise por técnicas matemáticas.

Novo!!: Lógica e Teoria da prova · Veja mais »

Teoria dos conjuntos

conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.

Novo!!: Lógica e Teoria dos conjuntos · Veja mais »

Teoria dos modelos

Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam sistemas matemáticos.

Novo!!: Lógica e Teoria dos modelos · Veja mais »

Trívio

Trívio (Trivium, de tres: três e vía: caminho) era, na Idade Média, o conjunto de três matérias ensinadas nas universidades no início do percurso educativo: gramática, dialética e retórica.

Novo!!: Lógica e Trívio · Veja mais »

Vegetarianismo

Vegetarianismo ou vegetarismo é um regime alimentar baseado no consumo de alimentos de origem vegetal.

Novo!!: Lógica e Vegetarianismo · Veja mais »

Verdade

A verdade é a propriedade de estar de acordo com o fato real ou a realidade.

Novo!!: Lógica e Verdade · Veja mais »

Redireciona aqui:

Argumentação sólida, Ciência da lógica, Lógica Formal, Lógica Simbólica, Lógica formal, Lógica simbólica, Lógico, Pensamento lógico, Princípio lógico, Teoria da correspondencia da verdade.

CessanteEntrada
Ei! Agora estamos em Facebook! »