Argumento - Argument

Na lógica e na filosofia , um argumento é uma série de afirmações (em uma linguagem natural ), chamadas de premissas ou premissas (ambas as grafias são aceitáveis), destinadas a determinar o grau de verdade de outra afirmação, a conclusão. A forma lógica de um argumento em uma linguagem natural pode ser representada em uma linguagem formal simbólica e, independentemente da linguagem natural, "argumentos" formalmente definidos podem ser feitos em matemática e ciência da computação.

Lógica é o estudo das formas de raciocínio em argumentos e o desenvolvimento de padrões e critérios para avaliar argumentos. Argumentos dedutivos podem ser válidos ou sólidos : em um argumento válido, as premissas precisam da conclusão, mesmo se uma ou mais das premissas forem falsas e a conclusão for falsa; em um argumento sólido, as premissas verdadeiras precisam de uma conclusão verdadeira. Os argumentos indutivos , em contraste, podem ter diferentes graus de força lógica: quanto mais forte ou mais convincente o argumento, maior a probabilidade de que a conclusão seja verdadeira, quanto mais fraco o argumento, menor essa probabilidade. Os padrões para avaliar argumentos não dedutivos podem se basear em critérios diferentes ou adicionais que a verdade - por exemplo, a persuasão das chamadas "reivindicações de indispensabilidade" em argumentos transcendentais , a qualidade das hipóteses em retrodução , ou mesmo a revelação de novas possibilidades para pensando e agindo.

Etimologia

A raiz latina arguere (tornar brilhante, iluminar, tornar conhecido, provar, etc.) é de argument-yo- proto-Indo-europeu , forma com sufixo de arg- (brilhar; branco).

Formal e informal

Os argumentos informais, conforme estudados na lógica informal , são apresentados na linguagem comum e destinam-se ao discurso cotidiano . Os argumentos formais são estudados na lógica formal (historicamente chamada de lógica simbólica , mais comumente referida como lógica matemática hoje) e são expressos em uma linguagem formal . A lógica informal enfatiza o estudo da argumentação ; a lógica formal enfatiza a implicação e a inferência . Argumentos informais às vezes estão implícitos. A estrutura racional - a relação de reivindicações, premissas, garantias, relações de implicação e conclusão - nem sempre é explicitada e imediatamente visível e deve ser explicitada pela análise.

Tipos padrão

Terminologia de argumento

Existem vários tipos de argumentos em lógica, os mais conhecidos dos quais são "dedutivos" e "indutivos". Um argumento tem uma ou mais premissas, mas apenas uma conclusão. Cada premissa e conclusão são portadoras da verdade ou "candidatos à verdade", cada um capaz de ser verdadeiro ou falso (mas não ambos). Esses valores verdadeiros têm relação com a terminologia usada com os argumentos.

Argumentos dedutivos

  • Um argumento dedutivo afirma que a verdade da conclusão é uma consequência lógica das premissas. Com base nas premissas, a conclusão segue necessariamente (com certeza). Por exemplo, dadas as premissas de que A = B e B = C, a conclusão segue necessariamente que A = C. Os argumentos dedutivos às vezes são chamados de argumentos de "preservação da verdade".
  • Um argumento dedutivo é considerado válido ou inválido. Se alguém assume que as premissas são verdadeiras (ignorando seus valores verdadeiros), a conclusão seguiria com certeza? Se sim, o argumento é válido. Se não, é inválido. Ao determinar a validade, a estrutura do argumento é essencial para a determinação, não os valores verdadeiros reais. Por exemplo, considere o argumento de que, como os morcegos podem voar (premissa = verdadeira) e todas as criaturas voadoras são pássaros (premissa = falsa), portanto, os morcegos são pássaros (conclusão = falsa). Se assumirmos que as premissas são verdadeiras, a conclusão segue necessariamente, e é um argumento válido.
  • Se um argumento dedutivo é válido e suas premissas são todas verdadeiras, ele também é conhecido como sólido. Caso contrário, não é saudável, pois "os morcegos são pássaros".
  • Se todas as premissas de um argumento dedutivo válido são verdadeiras, então sua conclusão deve ser verdadeira. É impossível que a conclusão seja falsa se todas as premissas forem verdadeiras.

Argumentos indutivos

  • Um argumento indutivo afirma que a verdade da conclusão é apoiada pela probabilidade das premissas. Por exemplo, dado que o orçamento militar dos Estados Unidos é o maior do mundo (premissa = verdadeira), é provável que assim permaneça nos próximos 10 anos (conclusão = verdadeira). Os argumentos que envolvem previsões são indutivos, pois o futuro é incerto.
  • Um argumento indutivo é considerado forte ou fraco. Se as premissas de um argumento indutivo são assumidas como verdadeiras, é provável que a conclusão também seja verdadeira? Se sim, o argumento é forte. Se não, é fraco.
  • Um argumento forte é considerado convincente se tiver todas as premissas verdadeiras. Caso contrário, o argumento não é convincente. O exemplo do argumento do orçamento militar é um argumento forte e convincente.

Dedutivo

Um argumento dedutivo , se válido, tem uma conclusão que é acarretada por suas premissas. A verdade da conclusão é uma consequência lógica das premissas. Se as premissas são verdadeiras, a conclusão deve ser verdadeira. Seria auto-contraditório afirmar as premissas e negar a conclusão, porque a negação da conclusão é contraditória com a verdade das premissas.

Validade

Os argumentos dedutivos podem ser válidos ou inválidos. Se um argumento é válido, é uma dedução válida, e se suas premissas são verdadeiras, a conclusão deve ser verdadeira: um argumento válido não pode ter premissas verdadeiras e uma conclusão falsa.

Um argumento é formalmente válido se e somente se a negação da conclusão for incompatível com a aceitação de todas as premissas.

A validade de um argumento não depende da verdade real ou falsidade de suas premissas e conclusão, mas se o argumento tem uma forma lógica válida . A validade de um argumento não é uma garantia da verdade de sua conclusão. Um argumento válido pode ter premissas falsas que o tornam inconclusivo: a conclusão de um argumento válido com uma ou mais premissas falsas pode ser verdadeira ou falsa.

A lógica busca descobrir as formas que tornam os argumentos válidos. Uma forma de argumento é válida se e somente se a conclusão for verdadeira em todas as interpretações daquele argumento em que as premissas são verdadeiras. Visto que a validade de um argumento depende de sua forma, um argumento pode ser mostrado como inválido, mostrando que sua forma é inválida. Isso pode ser feito por um contra-exemplo da mesma forma de argumento com premissas que são verdadeiras sob uma dada interpretação, mas uma conclusão que é falsa sob essa interpretação. Na lógica informal, isso é chamado de contra-argumento .

A forma do argumento pode ser mostrada pelo uso de símbolos. Para cada forma de argumento, há uma forma de instrução correspondente, chamada de condicional correspondente , e uma forma de argumento é válida se e somente se sua condicional correspondente for uma verdade lógica . Uma forma de declaração que é logicamente verdadeira também é considerada uma forma de declaração válida. Uma forma de declaração é uma verdade lógica se for verdadeira em todas as interpretações . Uma forma de declaração pode ser mostrada como uma verdade lógica por (a) mostrando que é uma tautologia ou (b) por meio de um procedimento de prova .

A condicional correspondente de um argumento válido é uma verdade necessária (verdadeira em todos os mundos possíveis ) e, portanto, a conclusão necessariamente segue das premissas, ou segue de necessidade lógica. A conclusão de um argumento válido não é necessariamente verdadeira, depende se as premissas são verdadeiras. Se a conclusão em si é uma verdade necessária, não leva em consideração as premissas.

Alguns exemplos:

  • Todos os gregos são humanos e todos os humanos são mortais; portanto, todos os gregos são mortais.  : Argumento válido; se as premissas são verdadeiras, a conclusão deve ser verdadeira.
  • Alguns gregos são lógicos e alguns lógicos são cansativos; portanto, alguns gregos são cansativos. Argumento inválido: os cansativos lógicos podem ser todos romanos (por exemplo).
  • Ou estamos todos condenados ou todos estamos salvos; não somos todos salvos; portanto, estamos todos condenados. Argumento válido; as premissas implicam a conclusão. (Isso não significa que a conclusão tem que ser verdadeira; só é verdade se as premissas forem verdadeiras, o que pode não ser!)
  • Alguns homens são vendedores ambulantes. Alguns vendedores ambulantes são ricos. Portanto, alguns homens são ricos. Argumento inválido. Isso pode ser visto mais facilmente dando um contra-exemplo com a mesma forma de argumento:
    • Algumas pessoas são herbívoros. Alguns herbívoros são zebras. Portanto, algumas pessoas são zebras. Argumento inválido, pois é possível que as premissas sejam verdadeiras e a conclusão falsa.

No penúltimo caso acima (Alguns homens são vendedores ambulantes ...), o contra-exemplo segue a mesma forma lógica do argumento anterior, (Premissa 1: "Alguns X são Y ". Premissa 2: "Alguns Y são Z . "Conclusão:" Alguns X são Z. ") Para demonstrar que, sejam eles quais forem os vendedores ambulantes, eles podem ou não ser ricos, considerando as premissas como tais. (Veja também: Importação existencial ).

As formas de argumento que tornam as deduções válidas são bem estabelecidas, porém alguns argumentos inválidos também podem ser persuasivos dependendo de sua construção ( argumentos indutivos , por exemplo). (Veja também: Falácia formal e falácia informal ).

Solidez

Um argumento sólido é um argumento válido cuja conclusão segue de sua (s) premissa (s), e a (s) premissa (s) de que é / são verdadeiras.

Indutivo

A lógica não dedutiva é o raciocínio usando argumentos nos quais as premissas apóiam a conclusão, mas não a implicam. As formas de lógica não dedutiva incluem o silogismo estatístico , que argumenta a partir de generalizações verdadeiras em sua maior parte, e a indução , uma forma de raciocínio que faz generalizações com base em instâncias individuais. Diz-se que um argumento indutivo é convincente se e somente se a verdade das premissas do argumento tornaria a verdade da conclusão provável (isto é, o argumento é forte ), e as premissas do argumento são, de fato, verdadeiras. Cogência pode ser considerada o análogo da lógica indutiva à " solidez " da lógica dedutiva . Apesar do nome, a indução matemática não é uma forma de raciocínio indutivo. A falta de validade dedutiva é conhecida como o problema da indução .

Argumentos derrotáveis ​​e esquemas de argumentação

Nas teorias de argumentação modernas, os argumentos são considerados passagens evitáveis ​​das premissas para uma conclusão. Revogabilidade significa que quando informações adicionais (novas evidências ou argumentos contrários) são fornecidas, as premissas podem não levar mais à conclusão ( raciocínio não monotônico ). Esse tipo de raciocínio é conhecido como raciocínio derrotável . Por exemplo, consideramos o famoso exemplo do Piu-Piu:

Piu-Piu é um pássaro.
Os pássaros geralmente voam.
Portanto, Piu-Piu (provavelmente) voa.

Esse argumento é razoável e as premissas apóiam a conclusão, a menos que informações adicionais indiquem que o caso é uma exceção. Se Tweety for um pinguim, a inferência não é mais justificada pela premissa. Argumentos derrotáveis ​​são baseados em generalizações que valem apenas na maioria dos casos, mas estão sujeitos a exceções e padrões.

A fim de representar e avaliar o raciocínio derrotável, é necessário combinar as regras lógicas (que regem a aceitação de uma conclusão com base na aceitação de suas premissas) com as regras de inferência material, que regem como uma premissa pode apoiar uma determinada conclusão (se ela é razoável ou não tirar uma conclusão específica de uma descrição específica de um estado de coisas).

Esquemas de argumentação foram desenvolvidos para descrever e avaliar a aceitabilidade ou a falácia de argumentos derrotáveis. Os esquemas de argumentação são padrões estereotipados de inferência, combinando relações semântico-ontológicas com tipos de raciocínio e axiomas lógicos e representando a estrutura abstrata dos tipos mais comuns de argumentos naturais. Um exemplo típico é o argumento da opinião de especialistas, mostrado a seguir, que possui duas premissas e uma conclusão.

Argumento da opinião de um especialista
Premissa principal: Fonte E é um especialista no domínio do assunto S contendo a proposição A.
Premissa secundária: E afirma que a proposição A é verdadeira (falsa).
Conclusão: A é verdadeiro (falso).

Cada esquema pode ser associado a um conjunto de questões críticas, nomeadamente critérios para avaliar dialeticamente a razoabilidade e aceitabilidade de um argumento. As perguntas críticas correspondentes são as formas padrão de colocar o argumento em dúvida.

Por analogia

O argumento por analogia pode ser pensado como um argumento do particular para o particular. Um argumento por analogia pode usar uma verdade particular em uma premissa para argumentar em direção a uma verdade particular semelhante na conclusão. Por exemplo, se A. Platão era mortal, e B. Sócrates era como Platão em outros aspectos, então afirmar que C. Sócrates era mortal é um exemplo de argumento por analogia porque o raciocínio empregado nele procede de uma verdade particular em uma premissa (Platão era mortal) para uma verdade particular semelhante na conclusão, a saber, que Sócrates era mortal.

Outros tipos

Outros tipos de argumentos podem ter padrões de validade ou justificativa diferentes ou adicionais. Por exemplo, o filósofo Charles Taylor disse que os chamados argumentos transcendentais são compostos de uma "cadeia de reivindicações de indispensabilidade" que tentam mostrar por que algo é necessariamente verdadeiro com base em sua conexão com nossa experiência, enquanto Nikolas Kompridis sugeriu que há dois tipos de argumentos " falíveis ": um baseado em afirmações da verdade e o outro baseado na revelação de possibilidade em resposta ao tempo ( revelação mundial ). Kompridis disse que o filósofo francês Michel Foucault foi um defensor proeminente desta última forma de argumento filosófico.

Divulgador

Argumentos reveladores de mundo são um grupo de argumentos filosóficos que, de acordo com Nikolas Kompridis, empregam uma abordagem reveladora , para revelar características de uma compreensão ontológica ou cultural-linguística mais ampla - um "mundo", em um sentido especificamente ontológico - a fim de esclarecer ou transformar o pano de fundo do significado ( conhecimento tácito ) e o que Kompridis chamou de "espaço lógico" do qual um argumento depende implicitamente.

Explicações

Enquanto os argumentos tentam mostrar que algo foi, é, será ou deveria ser o caso, as explicações tentam mostrar por que ou como algo é ou será. Se Fred e Joe resolverem se o gato de Fred tem pulgas ou não, Joe pode dizer: "Fred, seu gato tem pulgas. Observe, o gato está se coçando agora." Joe argumentou que o gato tem pulgas. No entanto, se Joe perguntar a Fred: "Por que seu gato está se coçando?" a explicação, "... porque tem pulgas." fornece compreensão.

Tanto o argumento quanto a explicação acima requerem o conhecimento das generalidades de que a) pulgas costumam causar coceira eb) que muitas vezes se coça para aliviar a coceira. A diferença está na intenção: um argumento tenta estabelecer se alguma afirmação é verdadeira ou não , e uma explicação tenta fornecer compreensão do evento. Observe que, ao incluir o evento específico (do gato de Fred se coçando) como uma instância da regra geral de que "animais se coçam quando têm pulgas", Joe não vai mais se perguntar por que o gato de Fred está se coçando. Os argumentos tratam de problemas de crença, as explicações tratam de problemas de compreensão. Observe também que no argumento acima, a afirmação "O gato de Fred tem pulgas" está em debate (ou seja, é uma afirmação), mas na explicação, a afirmação "O gato de Fred tem pulgas" é considerada verdadeira (não questionada em desta vez) e só precisa de explicação .

Argumentos e explicações se assemelham amplamente no uso retórico . Essa é a causa de muita dificuldade em pensar criticamente sobre as reivindicações. Existem várias razões para esta dificuldade.

  • Muitas vezes as pessoas não sabem ao certo se estão argumentando ou explicando algo.
  • Os mesmos tipos de palavras e frases são usados ​​na apresentação de explicações e argumentos.
  • Os termos 'explicar' ou 'explicação', etc., são freqüentemente usados ​​em argumentos.
  • As explicações são freqüentemente usadas em argumentos e apresentadas para servir como argumentos .
  • Da mesma forma, "... os argumentos são essenciais para o processo de justificar a validade de qualquer explicação, visto que freqüentemente existem múltiplas explicações para qualquer fenômeno."

Explicações e argumentos são freqüentemente estudados no campo de Sistemas de Informação para ajudar a explicar a aceitação do usuário de sistemas baseados em conhecimento . Certos tipos de argumento podem se encaixar melhor com traços de personalidade para aumentar a aceitação por parte dos indivíduos.

Falácias e não argumentos

Falácias são tipos de argumentos ou expressões considerados de forma inválida ou que contêm erros de raciocínio.

Um tipo de falácia ocorre quando uma palavra freqüentemente usada para indicar uma conclusão é usada como uma transição (advérbio conjuntivo) entre orações independentes. Em inglês, as palavras portanto , então , porque e, portanto, tipicamente separam as premissas da conclusão de um argumento. Assim: Sócrates é um homem, todos os homens são mortais, portanto, Sócrates é mortal é um argumento porque a afirmação de que Sócrates é mortal segue das declarações anteriores. Porém, eu estava com sede e por isso bebi não é uma discussão, apesar de sua aparência. Não está sendo afirmado que eu bebi é logicamente decorrente de que eu estava com sede . O portanto nesta frase indica por essa razão não segue isso .

Outro tipo de falácia é um argumento semicircular. Este é um argumento baseado na existência de oposição ao argumento. Exemplo: Precisamos lutar contra isso porque a oposição está lutando ativamente contra nós. Este exemplo é semicircular, uma vez que são necessários dois lados para criar argumentos semelhantes, mas opostos que, juntos, equivalem a um argumento circular.

Argumentos elípticos ou etimemáticos

Freqüentemente, um argumento é inválido ou fraco porque falta uma premissa - cujo fornecimento o tornaria válido ou forte. Isso é conhecido como um argumento elíptico ou etimemático (ver também Entimema § Silogismo com uma premissa não declarada ). Palestrantes e escritores muitas vezes deixam de fora uma premissa necessária em seu raciocínio se ela for amplamente aceita e o escritor não desejar afirmar o óbvio. Exemplo: Todos os metais se expandem quando aquecidos, portanto, o ferro se expande quando aquecido. A premissa que falta é: o ferro é um metal. Por outro lado, pode-se descobrir que um argumento aparentemente válido carece de uma premissa - uma "suposição oculta" - que, se destacada, pode mostrar uma falha de raciocínio. Exemplo: Uma testemunha argumentou: Ninguém saiu pela porta da frente, exceto o leiteiro; portanto, o assassino deve ter saído pela porta dos fundos. As suposições ocultas são: (1) o leiteiro não era o assassino e (2) o assassino saiu pela porta da frente ou de trás.

Mineração de argumento

O objetivo da mineração de argumentos é a extração e identificação automática de estruturas argumentativas de textos em linguagem natural com o auxílio de programas de computador. Essas estruturas argumentativas incluem a premissa, as conclusões, o esquema do argumento e a relação entre o argumento principal e o subsidiário, ou o principal e o contra-argumento dentro do discurso.

Veja também

Notas

Referências

  • Shaw, Warren Choate (1922). A Arte do Debate . Allyn e Bacon . p. 74 . argumento por analogia.
  • Robert Audi , Epistemology , Routledge, 1998. Particularmente relevante é o Capítulo 6, que explora a relação entre conhecimento, inferência e argumento.
  • JL Austin How to Do Things With Words , Oxford University Press, 1976.
  • HP Grice, Logic and Conversation in The Logic of Grammar , Dickenson, 1975.
  • Vincent F. Hendricks , Thought 2 Talk: A Crash Course in Reflection and Expression , New York: Automatic Press / VIP, 2005, ISBN  87-991013-7-8
  • RA DeMillo, RJ Lipton e AJ Perlis, Social Processes and Proofs of Theorems and Programs , Communications of the ACM, Vol. 22, No. 5, 1979. Um artigo clássico sobre o processo social de aceitação de provas em matemática.
  • Yu. Manin , A Course in Mathematical Logic , Springer Verlag, 1977. Uma visão matemática da lógica. Este livro é diferente da maioria dos livros sobre lógica matemática porque enfatiza a matemática da lógica, em oposição à estrutura formal da lógica.
  • CH. Perelman e L. Olbrechts-Tyteca, The New Rhetoric , Notre Dame, 1970. Este clássico foi publicado originalmente em francês em 1958.
  • Henri Poincaré , Science and Hypothesis , Dover Publications, 1952
  • Frans van Eemeren e Rob Grootendorst , Speech Acts in Argumentative Discussions , Foris Publications, 1984.
  • Conhecimento objetivo KR Popper ; An Evolutionary Approach , Oxford: Clarendon Press, 1972.
  • LS Stebbing , A Modern Introduction to Logic , Methuen and Co., 1948. Uma conta da lógica que cobre os tópicos clássicos da lógica e do argumento, considerando cuidadosamente os desenvolvimentos modernos na lógica.
  • Douglas N. Walton , Informal Logic: A Handbook for Critical Argumentation , Cambridge, 1998.
  • Walton, Douglas; Christopher Reed; Fabrizio Macagno, Argumentation Schemes , New York: Cambridge University Press, 2008.
  • Carlos Chesñevar, Ana Maguitman e Ronald Loui , Logical Models of Argument , ACM Computing Surveys, vol. 32, núm. 4, pp. 337-383, 2000.
  • T. Edward Damer . Attacking Faulty Reasoning , 5th Edition, Wadsworth, 2005. ISBN  0-534-60516-8
  • Charles Arthur Willard, A Theory of Argumentation. 1989.
  • Charles Arthur Willard, Argumentation and the Social Grounds of Knowledge . 1982.

Leitura adicional

  • Salmon, Wesley C. Logic . Nova Jersey: Prentice-Hall (1963). Cartão do Catálogo da Biblioteca do Congresso no. 63–10528.
  • Aristóteles, Análise Prévia e Posterior . Ed. e trans. John Warrington. Londres: Dent (1964)
  • Companheiros, Benson. Lógica elementar . Nova York: OUP (1972). Cartão do Catálogo da Biblioteca do Congresso no. 74–166004.
  • Mendelson, Elliot. Introdução à lógica matemática . Nova York: Van Nostran Reinholds Company (1964).
  • Frege, Gottlob. Os fundamentos da aritmética . Evanston, IL: Northwestern University Press (1980).
  • Martin, Brian . The Controversy Manual (Sparsnäs, Suécia: Irene Publishing, 2014).

links externos