Lógica e Racionalidade

Cartões · 52

Proposição

Sentença declarativa passível de assumir exatamente um valor-verdade: verdadeiro ou falso.

Princípio da Identidade

Axioma ontológico e lógico que postula que todo objeto ou proposição é idêntico a si mesmo (A = A).

Princípio da Não-Contradição

Postulado formal segundo o qual duas proposições contraditórias não podem ser ambas verdadeiras ao mesmo tempo e sob a mesma relação.

Princípio do Terceiro Excluído

Postulado da lógica clássica que afirma que qualquer proposição ou é verdadeira ou é falsa, inexistindo terceira possibilidade.

Premissa

Proposição inicial que fundamenta, apoia ou conduz à conclusão de um argumento.

Conclusão

Proposição inferida das premissas de um argumento por meio de regras de derivação lógica.

Validade

Propriedade estrutural de um argumento dedutivo cuja forma torna impossível as premissas serem verdadeiras e a conclusão falsa.

Solidez

Condição de um argumento dedutivo que é simultaneamente válido e composto exclusivamente por premissas empiricamente verdadeiras.

Dedução

Processo de inferência no qual a conclusão segue-se necessariamente das premissas por necessidade formal.

Indução

Processo de inferência probabilística que generaliza conclusões amplas a partir de premissas particulares observadas.

Abdução

Inferência à melhor explicação; formulação de uma hipótese plausível para justificar um conjunto de fatos observados.

Negação (~ / ¬)

Conectivo unário que inverte o valor-verdade de uma proposição; se P é verdadeira, ¬P é falsa.

Conjunção (∧)

Conectivo binário que gera uma proposição verdadeira se, e somente se, ambos os operandos forem verdadeiros.

Disjunção inclusiva (∨)

Conectivo binário que gera falsidade apenas quando ambos os termos componentes são simultaneamente falsos.

Disjunção exclusiva (⊕ / ⊻)

Conectivo binário verdadeiro quando um, e apenas um, de seus componentes é verdadeiro.

Condicional material (→)

Proposição que afirma que se o antecedente for verdadeiro, o consequente também é; falsa unicamente com antecedente verdadeiro e consequente falso.

Bicondicional (↔)

Operação lógica verdadeira quando ambos os termos constituintes possuem idêntico valor de verdade.

Tautologia

Fórmula proposicional invariavelmente verdadeira sob qualquer atribuição possível de valores de verdade aos seus termos.

Contradição formal

Fórmula proposicional invariavelmente falsa sob qualquer interpretação lógica de seus componentes.

Contingência

Fórmula proposicional cujo valor de verdade varia entre verdadeiro e falso conforme a valoração dos constituintes.

Modus Ponens

Regra de inferência válida: se P implica Q e P é verdadeiro, logo Q necessariamente é verdadeiro.

Modus Tollens

Regra de inferência válida: se P implica Q e Q é falso, logo P necessariamente é falso.

Silogismo Hipotético

Regra transitiva: dadas as premissas 'P implica Q' e 'Q implica R', deduz-se formalmente 'P implica R'.

Silogismo Disjuntivo

Regra de inferência: dada a proposição 'P ou Q' e a negação de P, deduz-se validamente Q.

Afirmação do Consequente

Falácia formal que infere incorretamente P a partir das premissas 'se P então Q' e 'Q'.

Negação do Antecedente

Falácia formal que infere incorretamente a negação de Q a partir de 'se P então Q' e 'não P'.

Quantificador Universal (∀)

Operador da lógica de predicados que indica que o predicado aplica-se a todos os elementos do domínio.

Quantificador Existencial (∃)

Operador da lógica de predicados que indica que existe ao menos um elemento no domínio que satisfaz o predicado.

Falácia Formal

Defeito puramente estrutural em um argumento dedutivo que rompe o rigor da relação de consequência lógica.

Falácia Informal

Erro no conteúdo substantivo, no contexto ou na ambiguidade da linguagem de um argumento, sem quebrar necessariamente uma regra sintática pura.

Argumentum ad Hominem

Falácia informal que consiste em atacar as características do proponente em vez de refutar a tese lógica defendida.

Espantalho (Straw Man)

Falácia que consiste em distorcer, simplificar ou hiperbolizar a premissa alheia para atacá-la com facilidade.

Petição de Princípio (Petitio Principii)

Falácia circular na qual a tese a ser provada é pressuposta implicitamente como premissa verdadeira.

Falso Dilema

Falácia que reduz arbitrariamente um espectro amplo de possibilidades a duas alternativas disjuntivas mutuamente excludentes.

Post Hoc Ergo Propter Hoc

Falácia causal que presume relação de causa e efeito puramente pela sucessão temporal de dois eventos.

Argumentum ad Ignorantiam

Falácia que afirma a veracidade ou falsidade de uma proposição baseando-se unicamente na ausência de sua refutação.

Argumentum ad Verecundiam

Apelo indevido à autoridade; sustenta a validade de uma asserção amparando-se na autoridade do enunciador em detrimento da prova.

Argumentum ad Populum

Falácia de relevância que infere que uma proposição é verdadeira com base na aceitação majoritária pela população.

Derrapagem (Slippery Slope)

Falácia causal que pressupõe, sem elos causais necessários demonstrados, que um evento desencadeará uma cadeia de desastres.

Falácia da Equivocação

Uso capcioso de um termo polissêmico em mais de um sentido semântico dentro de um mesmo argumento estrutural.

Falácia da Composição

Inferência ilógica que atribui as propriedades das partes constituintes ao todo considerado como sistema integrado.

Falácia da Divisão

Inferência ilógica que atribui as propriedades do conjunto ou do todo a cada uma de suas partes tomadas individualmente.

Non Sequitur

Dedução cuja conclusão formal não decorre legitimamente nem é suportada pelas premissas postuladas.

Falácia do Escocês de Verdade

Modificação ad hoc da definição original de um conceito para blindar uma asserção universal contra contraexemplos factuais.

Falácia da Falsa Analogia

Comparação entre duas entidades distintas que pressupõe semelhança essencial onde há apenas semelhança superficial e irrelevante.

Generalização Precipitada

Indução defeituosa que estabelece uma lei universal embasada em um volume amostral estatisticamente insuficiente.

Falácia do Apostador

Crença irracional de que eventos probabilísticos estatisticamente independentes são influenciados por desfechos prévios.

Argumentum ad Baculum

Coerção retórica que tenta fundamentar uma conclusão na imposição de ameaças ou uso da força.

Argumentum ad Misericordiam

Tentativa de validação argumentativa fundamentada no apelo à piedade ou compaixão, desprovida de relevância lógica objetiva.

Tu Quoque

Variante do ad hominem que tenta refutar um argumento apontando hipocrisia ou incongruência comportamental de quem argumenta.

Ignoratio Elenchi

Falácia em que o argumento estabelece formalmente uma conclusão irrelevante à questão primária em debate.

Leis de De Morgan

Equivalências que convertem a negação da conjunção na disjunção das negações, e a negação da disjunção na conjunção das negações.