argumento do matemtico ciclista

mostram que a percentagem de curas efectuadas pelos psiquiatras diminuta, o que sugere que esta prtica mdica muito diferente de outras prticas cujo sucesso real muitssimo superior. Alm disso, este argumento viola outra regra:
4) Os especialistas da matria em causa, no seu todo, no podem ter fortes interesses pessoais na afirmao em causa. Walton, D. 1989. Informal Logic. Cambridge: Cambridge University Press.

argumento de Frege-Church Ver ARGUMENTO DA CATAPULTA. argumento de uma funo Ver FUNO. argumento do matemtico ciclista Argumento clssico aduzido por Quine (1960: 119) contra a lgica modal quantificada e os alegados compromissos desta com as doutrinas do essencialismo e da modalidade de re. A conteno principal do argumento a de que no faz qualquer sentido atribuir directamente predicados modalizados, predicados como necessariamente racional e contingentemente bpede, a um indivduo ou particular. Pois a correco ou incorreco de tais atribuies varia forosamente em funo dos modos especficos que escolhermos para descrever (linguisticamente) os particulares em questo; e, argumentavelmente, nenhum dos modos disponveis tem um estatuto privilegiado em relao aos outros. O descrdito assim aparentemente lanado sobre a inteligibilidade da noo de uma modalidade (necessidade, possibilidade, contingncia, etc.) presente nas coisas elas mesmas, in rerum natura; e, consequentemente, sobre a doutrina do ESSENCIALISMO, que pressupe a inteligibilidade de tal noo. A modalidade antes invariavelmente de dicto, nada mais do que um aspecto do nosso esquema conceptual, um resultado de algumas das nossas maneiras convencionais de classificar coisas. O argumento do matemtico ciclista desenvolve-se da seguinte maneira. Tome-se uma pessoa, Wyman, simultaneamente matemtico e ciclista. Descrito como matemtico, Wyman tem aparentemente a propriedade de ser necessariamente racional, pois todos os matemticos so necessariamente racionais. Mas, descrito como ciclista, ele no tem aparentemente essa propriedade, pois nenhum ciclista necessariamente racional (os ciclistas so apenas contingentemente racionais). Logo, e como 67

Quando Einstein afirma que a teoria da relatividade verdadeira, tem certamente muito interesse pessoal na sua teoria. Mas os outros fsicos no tm qualquer interesse em que a teoria da relatividade seja verdadeira; pelo contrrio, at tm interesse em demonstrar que falsa, pois nesse caso seriam eles a ficar famosos e no Einstein. Mas nenhum psiquiatra tem interesse em refutar o que diz X. E, por isso, a sua afirmao no tem qualquer valor porque a comunidade dos especialistas, no seu todo, que tem tudo a ganhar e nada a perder em concordar com X. Os argumentos de autoridade so vcuos ou despropositados quando invocam correctamente um especialista para sustentar uma concluso que pode ser provada por outros meios mais directos. Por exemplo: Frege afirma que o modus ponens vlido; logo, o modus ponens vlido. Dado que a validade do modus ponens pode ser verificada por outros meios mais directos (nomeadamente atravs de um inspector de circunstncias), este argumento vcuo ou despropositado. Os argumentos de autoridade devem unicamente ser usados quando no se pode usar outras formas argumentativas mais directas. Usa-se muitas vezes a expresso argumento de autoridade como sinnimo de mau argumento de autoridade. Todavia, nem todos os argumentos de autoridade so maus; o progresso do conhecimento impossvel sem recorrer a argumentos de autoridade; e pode-se distinguir com alguma proficincia os bons dos maus argumentos de autoridade, atendendo s regras dadas. Ver LGICA INFORMAL. DM

argumento do um-em-muitos
nenhuma das descries de Wyman pode ser plausivelmente seleccionada como a mais adequada, destituda de sentido qualquer predicao de atributos modais ao indivduo Wyman considerado em si mesmo, independentemente de qualquer modo de identificao. Mais em pormenor, o argumento de Quine convida-nos a considerar as concluses mutuamente contraditrias dos seguintes dois argumentos intuitivamente vlidos:
Argumento I Premissa maior: Todo o matemtico necessariamente racional. Premissa menor: Wyman um matemtico. Concluso: Wyman necessariamente racional. Argumento II Premissa maior: Nenhum ciclista necessariamente racional. Premissa menor: Wyman um ciclista. Concluso: Wyman no necessariamente racional.

primeira interpretao). Mas no essa a interpretao que acomoda a intuio de que a premissa maior verdadeira ( a primeira interpretao que o faz); e, nesse caso, o defensor da modalidade de re no est de todo obrigado a reconhecer a premissa maior do argumento I como verdadeira e, logo, no est obrigado a aceitar a concluso desse argumento (mutatis mutandis em relao ao argumento II). Ver tambm DE DICTO / DE RE, ESSENCIALISMO, PROPRIEDADE ESSENCIAL / ACIDENTAL. JB
Marcus, R. B. 1993. Essential Attribution. In Modalities. Oxford: Oxford University Press. Quine, W. V. O. 1960. Word and Object. Cambridge, MA: MIT Press. Smullyan, A. 1948. Modality and Description. Journal of Symbolic Logic XIII: 3137.

argumento do um-em-muitos Ver UNIVERSAL. argumento ontolgico Argumento que pretende demonstrar a existncia de Deus por meios puramente conceptuais. Primeiramente formulado por Anselmo de Aosta no sc. XI, encontram-se diferentes variantes do mesmo em Toms de Aquino, Descartes e Leibniz. A estrutura do argumento a seguinte:
1. Deus o ser acima do qual nada de maior pode ser pensado. 2. A ideia de ser acima do qual nada de maior pode ser pensado existe na nossa conscincia. 3. Se o ser correspondente a esta ideia no existisse, teria de faltar um predicado ideia do mesmo, a saber, o predicado da existncia, pelo que, nessas condies, essa ideia j no seria a do ser acima do qual nada de maior pode ser pensado, uma vez que seria lcito pensar-se num outro ser que tivesse exactamente os mesmos predicados que o anterior e, alm desses, tambm o da existncia. 4. Logo, se a ideia de ser acima do qual nada de maior pode ser pensado existe, ento o ser que lhe corresponde tem tambm que existir pois, caso contrrio, a ideia em causa deixa de ser a ideia que , o que constitui uma contradio.

Naturalmente, o resultado intencionado como uma reductio ad absurdum da doutrina da modalidade de re: como o defensor da doutrina tem de aceitar as premissas maiores como verdadeiras, e como os argumentos so vlidos, ele forado a aceitar ambas as concluses. Todavia, pace Quine, trabalhos importantes sobre a modalidade realizados por Smullyan (1948) e Barcan Marcus (1993: 5455), entre outros, tm convencido muita gente de que os argumentos anti-essencialistas de Quine, como o argumento do matemtico ciclista, so falaciosos; e as falcias neles cometidas resultam de indistines relativas aos mbitos dos operadores modais envolvidos. Assim, por exemplo, a premissa maior do argumento I ambgua entre uma interpretao que d mbito longo ao operador modal, representada na frmula Qx (Matemtico x Racional x), e uma interpretao que lhe d mbito curto, representada na frmula x (Matemtico x Q Racional x). Ora, o argumento I s vlido se a sua premissa maior receber esta ltima interpretao (ele invlido se ela receber a 68