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

Lógica

Índice Lógica

Aristóteles é o autor do primeiro trabalho sobre 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.

157 relações: Abdução (lógica filosófica), 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, 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, 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ã, Forma lógica, Gottlob Frege, Gramática, Grécia Antiga, Hanes, 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 Lukasiewicz, 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, Metafísica, Metodologia, Minos, Moísmo, Modus ponens, Modus tollens, Moral, Mundo ocidental, Número real, Necessidade (filosofia), Negação, Normatividade, Nyaya, 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, Raciocínio lógico, Raciocínio lógico-matemático, Racionalismo, Referência, Retórica, Século XIX, Século XX, Semântica, Silogismo, Silogismo hipotético, Substantivo, Teoria, Teoria da computação, Teoria dos conjuntos, Teoria dos modelos, Trívio, Vegetarianismo, Verdade. Expandir índice (107 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 »

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ô. Algoritmo é uma sequência finita de instruções bem definidas e não ambíguas, cada uma das quais devendo ser executadas mecânica ou eletronicamente em um intervalo de tempo finito e com uma quantidade de esforço finita.

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

Livros "semitas" sendo queimados em Berlim, na queima de livros em 10 de maio de 1933. 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 grego, aluno de Platão e professor de Alexandre, o Grande.

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

Aritmética

A aritmética (da palavra grega ἀριθμός, arithmósO termo 'aritmética' (português) provém do grego 'arithmós', que se refere aos números, enquanto o prefixo 'ar_' implica reunir, isto é, aritmética é a ciência que reúne - soma, subtrai, multiplica, divide - números. Trata-se, portanto, da parte da matemática que estuda as operações numéricas e, por extensão de sentido, significa tudo que pressupõe um cálculo qualquer., "número") é o ramo da matemática que lida com números e com as operações possíveis entre eles.

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

Índia (भारत, Bhārat,; India), oficialmente denominada República da Índia (भारत गणराज्य, Bhārat Gaṇarājya; Republic of India), é um país da Ásia Meridional.

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

Índice de Desenvolvimento Humano

Índice de Desenvolvimento Humano (IDH) é uma medida comparativa usada para classificar os países pelo seu grau de "desenvolvimento humano" e para ajudar a classificar os países como desenvolvidos (desenvolvimento humano muito alto), em desenvolvimento (desenvolvimento humano médio e alto) e subdesenvolvidos (desenvolvimento humano baixo).

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

Begriffsschrift

Begriffsschrift (Traduzido grosseiramente do alemão para "ideografia") é um livro da 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 (Ravenscroft, 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 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

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

Novo!!: Lógica e China · 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

Representação gráfica do Coeficiente de Gini. O eixo horizontal representa a percentagem de pessoas, e o eixo vertical, a percentagem da renda. A diagonal representa a igualdade perfeita de renda, o coeficiente de Gini.

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

Computação

A computação pode ser definida como a busca de uma solução para um problema a partir de entradas (inputs) e tem seus resultados (outputs) depois de trabalhada através de um algoritmo.

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

Computador

Um assistente pessoal digital. Um computador pessoal. Columbia, um supercomputador da NASA. Computador é uma máquina capaz de variados tipos de tratamento automático de informações ou processamento de dados.

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") é 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 etmo do grego κριτικός (kritikós.

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

Uma década designa uma série de dez unidades.

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

Década de 1950

A década de 1950, também referida como anos 1950 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

A década de 1960, também referida como anos 1960 ou ainda anos 60, compreende o período de tempo entre os dias 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

A palavra direito possui mais de um significado correlato.

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

Disciplina

Colagem de fotos retratando fenômenos estudados pela física: a física é uma disciplina científica Disciplina (do latim disciplina), disciplina científica, designam um determinado ramo do conhecimento.

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

Disjunção lógica

Disjunção, operador ou (em inglês 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 "Cretica".

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

Epistemologia

Epistemologia (do grego ἐπιστήμη: conhecimento científico, ciência; λόγος: discurso, estudo de) é o ramo da filosofia que trata da natureza, etapas e limites do conhecimento humano, especialmente nas relações que se estabelecem entre o sujeito e o objeto do conhecimento.

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

Os sofistas se compunham de grupos de pensadores na Grécia Antiga que viajavam de cidade em cidade realizando discursos públicos para atrair 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-se das 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 é a síntese de um raciocínio e não um subterfúgio para não raciocinar em geral.

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

Filosofia

Filosofia (do grego Φιλοσοφία, philosophia, literalmente «amor pela sabedoria») é o estudo das questões gerais e fundamentais relacionadas com a natureza da existência humana; do conhecimento; da verdade; dos valores morais e estéticos; da mente; da linguagem, bem como do universo em sua totalidade.

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, cujo ponto comum é a ideia de que a filosofia é análise - a análise do significado dos enunciados - e se reduz a uma pesquisa sobre a linguagem.

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 »

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 um conjunto de regras que regem o uso de uma língua, especialmente o modo como as unidades desta se combinam entre si para formar unidades maiores.

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

Grécia Antiga

O Partenon, um templo dedicado à deusa Atena, localizado na Acrópole de Atenas, é um dos símbolos mais representativos da cultura e da sofisticação dos gregos antigos Mapa das colônias gregas no mar Mediterrâneo durante o Período Arcaico. Grécia Antiga é o termo geralmente usado para descrever o mundo antigo grego e áreas próximas (tais como Chipre, Anatólia, sul da Itália, da França e costa do mar Egeu, além de assentamentos gregos no litoral de outros países, como o Egito).

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

Hanes

Distribuição etnolinguística de etnias na R.P. da China e Taiwan em 1983. Os Han estão a castanho Han (chinês simplificado: 汉, pinyin: hàn) é o maior grupo étnico da China, que representa quase 91% da população chinesa, ou mais de 1260 milhões de pessoas (cerca de 17% da população mundial, equivalente à população da Índia).

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

Hardware

O hardware pode ser definido como um termo geral da língua inglesa que se refere a equipamentos físicos como chaves, fechaduras, dobradiças, trincos, puxadores, fios, correntes, material de canalização, ferramentas, utensílios, talheres e peças de máquinas.

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. A história da China está registrada em documentos que datam do século XVI a.C. em diante e que demonstram que aquele país é uma das civilizações mais antigas do mundo com existência contínua.

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 chamada 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é a 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 caracteres próprios e exclusivos com os quais se podem diferenciar pessoas, animais, plantas e objetos inanimados uns dos outros, quer diante do conjunto das diversidades, quer ante seus semelhantes.

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

Indeterminismo

Indeterminismo se refere 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 é um termo usado para descrever o conjunto das ciências relacionadas ao armazenamento, transmissão e processamento de informações em meios digitais, estando incluídas neste grupo: a ciência da computaçã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 (por vezes mencionada pela sigla em português IA ou pela sigla em inglês AI - artificial intelligence) é a inteligência similar à humana exibida por mecanismos ou software.

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

Intuicionismo

Na filosofia da matemática, intuicionismo, ou neo-intuicionismo (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 Lukasiewicz

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

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

Karl Weierstrass

Karl Wilhelm Theodor Weierstraß, mais conhecido como Karl Weierstrass, (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

Aristóteles é o autor do primeiro trabalho sobre 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

Em lógica, lógica difusa é a forma de lógica multivalorada na qual os valores lógicos das variáveis podem ser qualquer número real entre 0, correspondente ao valor falso, e 1, correspondente ao valor verdadeiro.

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

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

A Lógica Paraconsistente inclui-se entre as chamadas lógicas não-clássicas heterodoxas, por derrogar alguns dos princípios basilares da Lógica clássica, tais como o princípio da contradição: segundo a Lógica Paraconsistente, uma sentença e a sua negação podem ser ambas verdadeiras.

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

Linguagem pode se referir tanto à capacidade especificamente humana para aquisição e utilização de sistemas complexos de comunicação, quanto a uma instância específica de um sistema de comunicação complexo3.

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

Linguagem de programação

C. Uma linguagem de programação é um método padronizado para comunicar instruções para um 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, um termo relacionado com a cortiça da árvore) é 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

O Logos (em grego λόγος, do grego λέγω, "Eu digo") é um termo filosófico intraduzível, encontrado em estudos de psicologia, retórica, religião, e que inicialmente se referia a composição lógica por trás de uma argumentação, conforme popularizado por Heráclito.

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

Matemática

grego, representado por Rafael em A Escola de Atenas. A 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, medidas, espaços, estruturas, variações e estatísticas.

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

Método científico

O método científico refere-se a um aglomerado 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 é a modalidade de raciocínio lógico que faz uso da dedução para obter uma conclusão a respeito de determinadas premissas.

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 duas operações a saber: análise e síntese.

Novo!!: Lógica e Método histórico · 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 antecedente, é 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

imigração e colonização europeia Samuel Huntington em seu livro ''Choque de civilizações'' (1996). Mundo ocidental, civilização ocidental ou simplesmente Ocidente (occidens - "pôr do sol, oeste", como distinto de Oriente), é um termo que se refere a diferentes nações, dependendo do contexto.

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

Número real

Conjuntos Numéricos. O conjunto dos números reais \mathbb\, é uma expansão do conjunto dos números racionais que engloba não só os inteiros e os fracionários, positivos e negativos, mas também todos os números irracionais.

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 »

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 »

Nyaya

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

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

Ontologia

Ontologia (do grego ontos "ente" e logoi, "ciência do ser") é a parte da metafísica que trata da natureza, realidade e existência dos entes.

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 do filósofo antigo 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.

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

Paradoxo do mentiroso

Em filosofia e lógica, o paradoxo 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. Pensamento e pensar são, respectivamente, uma forma de processo mental ou faculdade do sistema mental.

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 do tempo — estudo baseado nas condições meteorológicas que busca antecipar com alguma certeza as condições do tempo.

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

Princípio da identidade

O princípio da identidade também conhecido como princípio da não-contradição 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

Werner Heisenberg O princípio da incerteza consiste num enunciado da mecânica quântica formulado em 1927 por Werner Heisenberg.

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 mutualmente exclusivas.

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

Principia mathematica

Página de rosto da versão resumida de ''Principia mathematica to *56''. 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

O Raciocínio (ou raciocinar) é uma operação lógica discursiva e mental.

Novo!!: Lógica e Raciocínio · 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 é a corrente filosófica que iniciou com a definição do raciocínio como uma operação mental, discursiva e lógica que usa uma ou mais proposições para extrair conclusões, ou seja, se uma ou outra proposição é verdadeira, falsa ou provável.

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 »

Século XIX

O século XIX começou no dia 1 de janeiro de 1801 e terminou no dia 31 de dezembro de 1900.

Novo!!: Lógica e Século XIX · Veja mais »

Século XX

O Século XX iniciou em 1° de janeiro de 1901 e terminou em 31 de dezembro de 2000.

Novo!!: Lógica e Século XX · Veja mais »

Semântica

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ável com que se designam ou se nomeiam os seres em geral ou são as palavras variáveis com que se designam os seres (pessoas, animais e coisas).

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

Teoria

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, na linguagem 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 dos conjuntos

conjuntos. Teoria dos conjuntos é o ramo da matemática que estuda conjuntos, que 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 o nome dado na Idade Média ao 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 palavra verdade pode ter vários significados, desde “ser o caso”, “estar de acordo com os fatos ou a realidade”, ou ainda ser fiel às origens ou a um padrão.

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

Redireciona aqui:

Argumentação sólida, Ciência da Lógica, 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! »