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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1951. G. E. Moore Positivismo lógico Filosofia da linguagem Lógica Filosofia da linguagem comum Teoria das descrições Murcho, Gomes & Branquinho 2006...

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

A lógica subjetiva é um tipo de lógica probabilística que explicitamente leva a incerteza e a própria crença em consideração. Em geral, a lógica subjetiva...

matemática e na lógica, e que resolveu o problema da generalidade múltipla. A lógica anterior tinha lidado com as constantes lógicas e, ou, se ... então...

apresenta o argumento do oponente sob uma forma que parece ridícula. Esta linha de raciocínio tem a seguinte forma: A é um argumento ridículo. Logo, A é falso...

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

mais tarde seriam chamadas de Leis de De Morgan, além de escrever sobre a lógica ternária, ou seja, sobre um sistema lógico com três valores da verdade...

se atrasando para o trabalho. Se fosse de alguma forma provado que não há outras possibilidades, então a lógica apareceria. Mas até lá o argumento é falacioso...

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

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

"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, o calculo monádico de predicados (também referido como lógica de primeira ordem monádica) é um fragmento da lógica de primeira ordem na qual...