A Lógica de descrição (LD) é uma família de linguagens formais de representação do conhecimento. É mais expressiva do que a lógica proposicional , mas...

pelo seu conteúdo. A lógica silogística aristotélica tradicional e a lógica simbólica moderna são exemplos de lógicas formais. Lógica informal é o estudo...

Na lógica, é comum usar um conjunto de símbolos para representar uma expressão lógica. Esses símbolos não são explicados cada vez que são usados pois os...

nas teorias da lógica e em sua aplicação. Isto envolve questões sobre como a lógica deve ser definida e como diferentes sistemas lógicos se relacionam...

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

aparência de verdadeiro. Na lógica e na retórica, uma falácia é um argumento logicamente incoerente, sem fundamento, inválido ou falho na tentativa de provar...

and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004 Portal da filosofia Portal da lógica...

Valor de verdade. Verdade lógica é um dos conceitos mais fundamentais na lógica. Existem diferentes teorias sobre sua natureza. Uma verdade lógica é uma...

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

estendidos como a lógica modal. Alguns teóricos concebem a lógica filosófica em um sentido mais amplo como o estudo do escopo e da natureza da lógica em geral...

linguagem natural. O padrão argumentativo se caracteriza pela tentativa de refutação de uma linha propositiva a partir da crítica ao seu autor, e não ao seu...

teoria do sentido e referência de Frege. Para Russell, a análise lógica precisa de frases declarativas contendo descrições definidas - expressões como p...

simplesmente porque muitas pessoas (ou a maioria delas) a aprovam. Também chamado de apelo à quantidade, o argumento é inválido pois nada garante que algo seja...

Consultado em 13 de outubro de 2022  João Branquinho; Desidério Murcho e Nelson Gonçalves Gomes (2006). Enciclopédia de Termos Lógico-Filosóficos. São...

presumir de forma cíclica, até chegar a uma conclusão inválida que está interligada à premissa. A inferência não é inválida, e a estrutura lógica é aceitável...

nenhuma pessoa pode ser dispensada de voar por razões de insanidade) Situações que tem similaridades lógicas a Ardil-22. Lógica Circular Falso Dilema Ironia...

A Lógica da Argumentação (AL) é uma descrição formalizada das maneiras pelas quais os seres humanos raciocinam e discutem sobre proposições. Ele é usado...

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

substituindo tudo por uma versão mais ou menos distorcida que não representa o que de fato seu adversário defende. Essa falácia se produz propositalmente ou não...

para provar a exstência de Deus. Acessado em 24 de outubro de 2011. Reflexão de Bertrand ussel. Acessado em 24 de outubro de 2011. (em português) Filedu...

simbólica cuja forma lógica seria igual à forma lógica do estado de coisas que a frase representa (TLP 2.18). A proposição dotada de sentido constrói um...

principalmente pela formulação da lógica paraconsistente, um tipo de lógica distinta da lógica clássica. A lógica paraconsistente põe em xeque o princípio...

cardinal e ordinal. Na matemática e na lógica, a ambiguidade pode ser considerada uma instância do conceito lógico de subdeterminação - por exemplo, X = Y...

"redução (da argumentação) a Hitler (ou aos nazistas)" – é uma moderna lógica falaciosa. A expressão reductio ad Hitlerum foi cunhada pelo filósofo político...

Na lógica, semântica formal ou lógica semântica, é o estudo da semântica ou interpretações (idealizações) de linguagens naturais e formais, geralmente...

Uma lógica livre é uma lógica com menos pressuposições existenciais do que a lógica clássica. Lógicas livres permitem termos que não denotam qualquer...

A lógica de transações é uma extensão da Lógica de Predicados que responde de uma forma limpa e declarativa para o fenômeno de mudanças de estado em programas...

(traduzida para o português como "não se segue que") que designa a falácia lógica na qual a conclusão não decorre das premissas. Em um non sequitur, a conclusão...

Giorgi Japaridze em 2003, lógica de computabilidade é um programa de pesquisa e quadro matemático para reabilitação lógica como uma Teoria da Computabilidade...

do contraditório e da ampla defesa. Na lógica clássica, uma contradição consiste numa incompatibilidade lógica entre duas ou mais proposições. Isso ocorre...

a perceber que a anatomia da lógica — "as leis do pensamento" — é assunto de análise combinatória. Em 1666 escreveu De Arte Combinatória, no qual formulou...