Nominalismo

Michael J. Loux Universidade de Notre Dame, EUA O termo "nominalismo" refere-se a uma abordagem reducionista de problemas sobre a existncia e natureza de entidades abstractas; ope-se portanto ao platonismo e ao realismo. Enquanto o platnico defende um enquadramento ontolgico em que coisas como propriedades, gneros, relaces, proposices, conjuntos e estados de coisas so tomadas como primitivas e irredutveis, o nominalista nega a existncia de entidades abstractas e tipicamente procura mostrar que o discurso sobre entidades abstractas analisvel em termos do discurso sobre concretos particulares da experincia comum. Em diferentes perodos, diferentes assuntos forneceram a direco ao debate entre nominalistas e platonistas. Na idade mdia, o problema dos universais era de importncia axial. Nominalistas como Abelardo e Ockham insistiam em que tudo o que existe particular. Argumentavam que o discurso sobre universais um discurso sobre certas expresses lingusticas as expresses de aplicao geral e procuraram fornecer uma explicao da semntica de termos gerais suficientemente rica para acolher a ideia de que os universais devem ser identificados com estes. Os empiristas clssicos seguiram os nominalistas enquanto particularistas, e procuraram identificar os tipos de representao mental associada aos termos gerais. Locke argumentou que estas representaes tm um contedo especial. Chamou-lhes "ideias abstractas" e afirmou que estas se formam subtraindo s ideias de particulares os atributos especficos dos particulares em questo. Berkeley e Hume, contudo, atacaram a doutrina de Locke da abstraco e insistiram em que o contedo das ideias que correspondem a termos gerais inteiramente determinado e particular, embora os termos sejam usados pela mente como representantes de outras ideias particulares do mesmo tipo. Um mbito mais vasto de matrias dominou a recente discusso ontolgica, e o interesse pela existncia e estatuto de coisas como conjuntos, proposies, eventos e estados de coisas veio a tornar-se to importante quanto o interesse pelos universais. Alm disso, a natureza do debate mudou. Enquanto h filsofos que apoiam uma abordagem nominalista para todas as entidades abstractas, um tipo mais comum de nominalismo o que reconhece a existncia de conjuntos e procura reduzir a discusso sobre outros tipos de entidades abstractas a uma discusso sobre estruturas em teoria dos conjuntos, cujos componentes ltimos so particulares concretos.

1. Introduo
Numa acepo, "nominalismo" refere-se a um grupo de temas filosficos e teolgicos relacionados entre si, e de um modo geral articulados por alguns pensadores de finais do sc. XIV, influenciados por Guilherme de Ockham. Estes pensadores expressavam dvidas acerca da metafsica aristotlica, em particular acerca da sua eficcia em provar a existncia de Deus. Concederam prioridade f sobre a razo e enfatizaram a omnipotncia divina de maneiras que em tica levaram frequentemente teoria dos mandamentos divinos e a um cepticismo geral acerca do nosso conhecimento tanto das relaes causais como da distino entre substncia e acidente. Usado deste modo, o termo tem a sua raiz no seu uso mais comum, referindo-se a uma orientao terica geral face a questes sobre a existncia e natureza de entidades abstractas, uma orientao exemplificada pelo trabalho do prprio Ockham. Os que so nominalistas neste sentido rejeitam uma interpretao platnica ou realista do discurso sobre coisas to diversas como propriedades, gneros, relaes, proposies, conjuntos, estados de coisas e modalidade. Frequentemente se diz que o nominalista sustenta a ideia de que o tipo de discurso em questo metalingustico e que a

discusso sobre as chamadas entidades abstractas na verdade apenas uma discusso sobre nomina ou expresses lingusticas. Caracterizado deste modo, o nominalismo por vezes tomado em oposio ao conceptualismo, outra abordagem reducionista a questes ontolgicas sobre entidades abstractas. A justificao que enquanto o conceptualista insiste na necessidade de referir a aco de representao conceptual para acomodar o discurso recalcitrante, o nominalista nega-o. Mas, em primeiro lugar, nem todos os que se intitulam "nominalistas" sustentam uma interpretao metalingustica do discurso em questo; e, em segundo lugar, uma vez que poucos filsofos consideraram possvel caracterizar a linguagem sem fazer referncia actividade conceptual, tomar o nominalismo como uma perspectiva oposta ao conceptualismo gera a concluso de que poucos pensadores normalmente tidos por nominalistas merecem a etiqueta. Em consonncia, tornou-se hbito entender como nominalista qualquer abordagem reducionista de questes ontolgicas sobre entidades abstractas que se oponha perspectiva platonista.

2. O perodo medieval
A orientao a que chamamos nominalista reporta-se tipicamente aos debates medievais sobre universais. Uma fonte importante destes debates foi o comentrio de Bocio ao Isagoge de Porfrio, onde encontramos uma discusso pormenorizada do estatuto ontolgico dos universais. O comentrio de Bocio tornou-se um texto axial para os filsofos medievais, e no sc. XII o debate sobre os universais tinha-se tornado um tpico dominante das preocupaes filosficas. Emergiram duas perspectivas opostas. Uma, defendida por Guilherme de Champeaux, era uma forma extrema de realismo. Nesta perspectiva, um gnero ou espcie literalmente o mesmo em todos os seus exemplos; os indivduos abarcados pelo mesmo gnero distinguem-se pela adio de formas essncia comum, sendo essas formas predicados da essncia. A perspectiva oposta, defendida por Roscelin de Compigne, representava uma verso extrema de nominalismo. Insistindo em que todas as entidades so particulares, Roscelin argumentava que a discusso sobre universais meramente uma discusso sobre expresses lingusticas que se podem aplicar a uma quantidade de particulares diferentes, aderindo a uma interpretao austera das expresses lingusticas para a qual os universais so meros flatus vocis ou vocalizaes. Abelardo atacou as duas verses. Argumentou que uma vez que as formas que alegadamente diversificam qualquer essncia comum so contrrias, o raciocnio de Guilherme compromete-nos com a ideia de que uma entidade singular pode exemplificar simultaneamente propriedades incompatveis; e apelou definio aristotlica de universal como aquilo que pode ser predicado de muitos com vista a pr em dvida a assero de que as entidades no-lingusticas podem ser universais. Aquela definio, argumentou, aplica-se exclusivamente a coisas que podem funcionar como predicados em frases do tipo sujeito-predicado, o que hoje em dia denominamos "termos gerais". Mas ao mesmo tempo que concordava com Roscelin em que s podemos "atribuir a universalidade a palavras", Abelardo rejeitou a proposta de Roscelin de que os universais so apenas flatus vocis, insistindo em que so expresses significativas ou dotadas de sentido; e argumentou que qualquer explicao adequada dos universais deve mostrar como, na ausncia de uma essncia comum, os termos gerais podem ter sentido. Ao faz-lo, deve responder a duas questes: 1) qual a razo da imposio de um nome comum; e 2) o que compreendemos quando compreendemos o significado de um substantivo? A resposta de Abelardo primeira questo desarmante. As coisas a que o termo "homem" se aplica, por exemplo, concordam todas no facto de serem homens. O facto de serem homens o fundamento de se lhes impor o substantivo "homem". Abelardo nega, contudo, que este acordo envolva alguma entidade comum. Considera ser um facto irredutivelmente primitivo que todas as coisas denominadas "homens" so todas homens. Em resposta segunda questo, Abelardo argumenta que o que compreendemos quando compreendemos o substantivo "homem" no qualquer dos homens particulares nomeados por aquele termo; tambm no o conjunto constitudo por todos aqueles particulares. Para explicar o tipo de cognio associada a termos gerais, Abelardo apela para a distino entre percepo e inteleco. Na percepo, apreendemos o

particular nomeado pelo nome prprio; a cognio associada a termos gerais , contudo, intelectiva. Aqui, a mente dirige-se a um objecto de sua prpria lavra, a res ficta. A res ficta um tipo de imagem, a qual communis et confusa (comum e indiferenciada). comum a todos os itens nomeados pelo termo geral associado no sendo especfica de nenhum deles. Em concordncia, representa-os a todos indiferentemente. Uma vez que se trata de algo distinto de qualquer dos particulares abarcados pelas categorias aristotlicas, no uma substncia nem um acidente. o produto da actividade abstractiva do intelecto, e o que o termo geral associado significa o que compreendemos quando compreendemos tal termo. O sculo que se seguiu a Abelardo trouxe uma srie de diferentes desenvolvimentos. O aparecimento da totalidade do corpus aristotlico proporcionou uma imagem mais clara das posies de Aristteles quanto aos universais, e o rico enquadramento de conceitos semnticos associados com a nascente lgica terminista tornou possvel a articulao de uma forma de nominalismo mais poderosa do que as defendidas por Roscelin e Abelardo. Essa articulao devese a Guilherme de Ockham. Na esteira da lgica terminista, Ockham distinguia entre termos categoremticos e sincategoremticos. Os termos categoremticos so expresses cuja importncia deriva de terem um "significado definido e determinado". Os termos sincategoremticos, por contraste, no servem como signos de objectos; a sua importncia deriva dos papis que desempenham quando usados em conjunto com termos categoremticos. Os termos categoremticos so posteriormente divididos em termos discretos e comuns, sendo este o contraste entre expresses que representam um s objecto e expresses que representam vrios e so portanto predicveis de vrios. Como Abelardo, Ockham identifica os universais com termos comuns. Insistindo em que cada coisa existente um particular, concebe a distino entre universais e particulares como uma distino entre termos categoremticos que representam uma coisa apenas e aqueles que representam vrias coisas. Mas enquanto Abelardo considera as representaes conceptuais como itens no-lingusticos que funcionam como os significata dos diversos termos comuns, Ockham pretende afirmar que um termo comum como "homem" representa os vrios particulares dos quais realmente predicvel, e que a prpria representao conceptual que corresponde ao termo "homem" uma entidade lingustica. A sua ideia a de que o pensamento um dilogo interior, susceptvel de ser compreendido atravs dos conceitos familiares, apropriados linguagem escrita e falada. Assim, os conceitos so termos mentais, os juzos so proposies mentais, e as inferncias so silogismos mentais. Os itens conceptuais lingusticos diferem, contudo, das palavras escritas ou faladas na medida em que enquanto os ltimos s so convencionalmente significantes, os primeiros so signos naturais. O fonema "homem" tem o significado que tem apenas em virtude de um complicado sistema de convenes, mas o conceito homem algo cuja natureza intrnseca consiste em desempenhar o papel lingustico que desempenha; e apesar de descrevermos as representaes conceptuais por meio de conceitos derivados da nossa caracterizao da linguagem falada e escrita, a linguagem mental precede ambas. Tal como a linguagem escrita o desenvolvimento natural da linguagem falada, a linguagem falada uma extenso da linguagem mental, uma espcie de "pensamento em voz alta". A distino entre termos discretos e comuns, portanto, aplica-se a representaes conceptuais, de tal modo que h universais conceptuais representaes conceptuais predicveis de muitos e so estes os universais genunos. Uma vez que so naturalmente significantes, os termos comuns da linguagem mental so pela sua natureza intrnseca itens predicados de muitos; e a sua universalidade a raiz da universalidade meramente convencional dos termos comuns da linguagem escrita e falada. Em correspondncia com o termo escrito/falado "universal" h um termo comum mental universal. De modo a acentuar o contraste entre a sua prpria forma de nominalismo e as suas alternativas realistas, Ockham diz-nos que este termo mental um termo que no representa entidades extramentais mas, antes, intenes da alma, aquelas que pela sua natureza intrnseca so signos de muitos.

Ao caracterizar os itens conceptuais que pela sua natureza intrnseca so universais, Ockham menciona trs perspectivas possveis. Uma delas relembra Abelardo e concebe o termo mental como uma res ficta no presente em qualquer categoria aristotlica; a segunda concebe os termos mentais como qualidades da alma que servem de objecto aos actos de entendimento; a terceira identifica o termo mental com o acto de entendimento mesmo. Ao longo da sua carreira, Ockham hesitou entre estas perspectivas, mas veio por fim a defender a terceira perspectiva com base na simplicidade terica. O nominalismo de Ockham vai alm de uma preocupao com universais e a distino entre termos comuns e discretos. Interessou-se tambm pela distino entre termos concretos e abstractos, entre termos como "homem" e "humanidade", "corajoso" e "coragem", e preocupou-se em enfraquecer o que ao princpio parece uma explicao plausvel desta distino. Uma resposta natural distino consiste em dizer que enquanto os termos concretos representam particulares familiares concretos (os particulares que so homens e corajosos), as suas contrapartidas abstractas representam as entidades abstractas (humanidade e coragem) que esses particulares exibem. Uma vez que a distino entre termos concretos e abstractos est presente nas dez categorias aristotlicas, a perspectiva torna explcito que para cada categoria h um tipo de entidade abstracta categoricamente diferente tal que, em virtude de exibir uma entidade desse tipo, um particular vem a ser caracterizado pelo termo concreto apropriado. Combatendo esta via, Ockham argumenta que as categorias no representam uma classificao de objectos no-lingusticos; so, ao invs, uma classificao de expresses lingusticas de acordo com o seu modo de significao. Do seu ponto de vista, existem objectos no lingusticos correspondendo apenas s categorias de substncia e qualidade, e as entidades em questo so todas particulares. Existem ento substncias particulares (como este homem) e qualidades particulares (como a brancura deste pedao de papel). Os termos abstractos da categoria da substncia nada representam de distinto das substncias particulares representadas pelas suas contrapartidas concretas. Termos abstractos da categoria da qualidade tendem a representar entidades distintas das substncias familiares que dizemos serem brancas e corajosas; mas um termo como "coragem" no representa uma qualquer qualidade que todos os indivduos corajosos partilham. A "coragem" melhor entendida como um termo geral representando qualidades individuais, as vrias coragens em virtude das quais se diz que os seres humanos individuais so corajosos. Em nenhuma das outras categorias aristotlicas os termos abstractos representam quaisquer entidades distintas das representadas pelas suas contrapartidas concretas. Com efeito, Ockham queria afirmar que os termos abstractos de outras categorias que no a da qualidade so eliminveis do discurso, que as frases que incorporam termos como "paternidade" e "roubo" podem ser substitudas, sem perda de contedo, por frases nas quais esses termos no aparecem, surgindo apenas as suas contrapartidas concretas ("pai" e "ladro"); e uma parte significativa das suas obras de lgica/ontologia dedicada a mostrar como funcionam estas tradues.

3. Empirismo britnico clssico

Os empiristas clssicos seguiram Abelardo e Ockham quanto a negar que os termos gerais representam universais. Assim, Hobbes faz lembrar um tema conhecido quando diz que as nicas coisas que existem so particulares e que os termos "geral" e "universal" so apenas "nomes de nomes". Tal como os seus antepassados medievais, os empiristas reconheceram que a plausibilidade desta perspectiva depende da nossa capacidade para produzir uma explicao satisfatria da relao entre os termos gerais e as representaes interiores ou ideias que lhes correspondem. Locke, que concorda que as entidades extra-mentais so cada uma e todas elas particulares, argumenta que as palavras representam ideias e que as ideias que correspondem a termos gerais so ideias abstractas ideias formadas a partir das nossas ideias de particulares subtraindo-lhes os atributos especficos deste ou daquele particular, retendo "apenas o que comum" a todas as coisas s quais um dado termo geral se aplica. Berkeley vai mais longe no seu nominalismo, negando que temos ideias abstractas do gnero das que Locke descreve. Do ponto de

vista de Locke, o processo que produz a ideia abstracta de um tringulo, por exemplo, consiste em separar todos os atributos relativamente aos quais os tringulos diferem entre si; e o resultado deste processo uma ideia de tringulo que no "nem oblquo, nem rectngulo, nem equiltero, nem issceles, nem escaleno, mas todos estes e nenhum deles simultaneamente". Berkeley desafia-nos a identificar uma ideia que corresponda a esta caracterizao. Do seu ponto de vista, as nossas ideias so determinadas em todos os seus atributos e, em consonncia, particulares no seu contedo. Ao mesmo tempo que ataca a ideia de que as ideias so gerais em virtude de serem abstractas, Berkeley concede que existem ideias gerais; mas insiste que o carcter geral de uma ideia uma funo do seu papel no pensamento e no um qualquer tipo de contedo. As ideias so gerais no porque resultem de abstraco no sentido de Locke, mas porque a ideia supostamente "representa ou significa todas as outras ideias particulares do mesmo tipo". Hume secundou sem hesitar o ataque de Berkeley abstraco e a sua explicao da generalidade, dizendo-nos que as ideias gerais so "em si individuais, ainda que se tornem gerais na sua representao. A imagem mental apenas a de um objecto particular, apesar de a sua aplicao no raciocnio ser a mesma do que se fosse universal" (Hume 1740: 20).

4. O sculo XX
Tal como os debates ontolgicos em perodos anteriores, as discusses ontolgicas na filosofia analtica nascente centravam-se tipicamente no problema dos universais. Assim, Frege, Moore e Russell ansiavam por enfraquecer as teorias nominalistas que procuravam analisar o discurso sujeito-predicado sem referncia a universais no lingusticos; e quando o Wittgenstein tardio ataca a ideia de que o uso de um termo geral como "jogo" se baseia no reconhecimento anterior de uma propriedade ou conjunto de propriedades comuns a todos os itens a que o termo se aplica, est, entre outras coisas, a desafiar as suas explicaes platnicas do discurso sujeito-predicado. Apesar de a preocupao com os universais ter continuado ao longo do sculo XX, as investigaes de nominalistas recentes exibem um mbito mais vasto de assuntos que as dos seus antepassados medievais e clssicos modernos. Alm da preocupao com universais, os nominalistas contemporneos procuram fornecer explicaes reducionistas de coisas to diversas como os conjuntos da matemtica, proposies, estados de coisas, acontecimentos e mundos possveis; e os filsofos de esprito nominalista tm atitudes diferentes relativamente a diferentes itens desta lista. Alguns, por exemplo, so nominalistas no que respeita aos universais tradicionais enquanto insistem numa explicao platnica dos conjuntos; outros, insistem na irredutibilidade de acontecimentos, mas fornecem explicaes reducionistas do aparente discurso sobre proposies, estados de coisas e universais. De facto, poucos filsofos se tm disposto a defender uma abordagem nominalista a todas as chamadas entidades abstractas. Uma excepo Wilfrid Sellars. A explicao dada por Sellars uma sofisticao da sugesto de Ockham de que a discusso sobre entidades abstractas discurso metalingustico. Esta sugesto foi elaborada anteriormente numa proposta de Rudolf Carnap, The Logical Syntax of Language, de que interpretamos a discusso sobre entidades abstractas como um modo pseudomaterial de discurso, discurso em aparncia mas no de facto sobre objectos no lingusticos. Carnap ocupa-se com frases do seguinte tipo: 1) A coragem uma propriedade. 2) A humanidade um gnero. 3) A paternidade uma relao. 4) Que dois mais dois igual a quatro uma proposio. A sua proposta que tratemos estas frases como modos disfarados de fazer afirmaes sobre a sintaxe de certas expresses lingusticas. Assim, 1-4 convertem-se em: 1') "Coragem" um adjectivo. 2') "Homem" um substantivo comum.

3') "Pai de..." um predicado polidico. 4') "Dois mais dois igual a quatro" uma frase declarativa. O problema desta proposta que 1-4 acabam por ser afirmaes sobre expresses portuguesas. A proposta fora-nos a tomar as contrapartidas espanholas de 1-4, por exemplo, como afirmaes acerca de palavras espanholas, de modo que 1-4 e as que supomos serem as suas tradues espanholas, nem sequer concordam em referncia. Sellars responde a este problema introduzindo um gnero de citao que atravessa transversalmente as lnguas, chamada "citao com pontos". Enquanto a citao cannica que encontramos em 1'-4' gera expresses metalingusticas que se aplicam exclusivamente a palavras na lngua que cita, a aplicao da citao com pontos de Sellars a uma expresso gera um substantivo comum metalingustico que se aplica a todas as expresses, independentemente da linguagem, que desempenham o mesmo papel lingustico que a expresso citada desempenha na linguagem de partida. Assim, "homem" um substantivo comum que se aplica a "hombre", "homme" e "Mensch". Nas suas respectivas lnguas, estes termos desempenham o mesmo papel que "homem" em portugus; so todos "homem"s. Ora, Sellars quer afirmar que, recorrendo ao dispositivo da citao com pontos, podemos fornecer uma reconstruo satisfatria de 1-4: 1'') Vermelhos so adjectivos. 2'') Homems so substantivos comuns. 3'') Pai des so predicados polidicos. 4'') Dois mais dois so quatros so frases declarativas. Sellars pensa que 1''-4'' representam afirmaes acerca de expresses lingusticas concebidas como smbolos e no como tipos; e a discusso sobre smbolos lingusticos pode ser reformulada como uma discusso sobre quem fala e inscreve. At o aparente platonismo envolvido na discusso sobre papis lingusticos ilusrio uma vez que a discusso sobre papis lingusticos pode ser eliminada por referncia discusso sobre os papis lingusticos que regem o uso de termos. Em consonncia, a aparente discusso sobre entidades abstractas consistente com o mais austero nominalismo; mero discurso metalingustico atravessando as lnguas. Sellars pensa que o tipo de explicao que prope para 1-4 pode alargar-se para lidar com todo o discurso que envolva as chamadas entidades abstractas. Uma forma de nominalismo ligeiramente menos radical encontra-se nos escritos de W. V. Quine. Cedo na sua carreira, Quine adoptou um nominalismo to austero quanto o defendido por Sellars, mas ao tempo em que escreve Word & Object (1960), tinha concludo que existe um tipo de entidade abstracta cuja existncia temos de reconhecer, o conjunto ou classe matemtica. Contudo, Quine permanece renitente em reconhecer coisas como propriedades, relaes, gneros e proposies. Ao contrrio dos conjuntos, estas alegadas entidades no tm condies precisas de identidade e no deveriam desempenhar qualquer papel na nossa ontologia. A maioria dos filsofos contemporneos concorda com Quine em que devemos adoptar uma ontologia de conjuntos. Esta perspectiva fornece o cenrio para a abordagem reducionista aos universais defendida por G. F. Stout e D. C. Williams. Sustentam que existem qualidades e propriedades particulares contrapostas a qualidades ou propriedades gerais, coisas como a brancura deste pedao de papel. Assim, temos entidades abstractas alm de conjuntos; mas estas so particulares. Williams chama tropos a estes particulares abstractos e diz-nos que constituem "o alfabeto do ser". Os tropos so ontologicamente primitivos, e os itens de outras categorias so construdos a partir deles. Assim, o universal platnico um conjunto de tropos semelhantes; e os objectos concretos comuns so feixes de tropos que entraram contingentemente numa relao de "colocao". Embora a teoria nominalista de tropos de Williams continue a gozar de alguma popularidade, a mais proeminente forma de nominalismo na arena contempornea a influenciada pelos desenvolvimentos da semntica da lgica modal, onde encontramos a ideia de que o mundo actual

apenas um de infinitos mundos possveis e que falar sobre necessidades e possibilidades falar sobre mundos possveis. Os nominalistas contemporneos alegam que o enquadramento dos mundos possveis fornece os recursos para uma explicao reducionista de coisas como propriedades e proposies. Estes filsofos propem que tomemos os mundos possveis como primitivos. Cada um desses mundos, afirmam, pode caracterizar-se em termos nominalistas como uma totalidade de particulares concretos, e argumentam que podemos fornecer um tratamento nominalista de coisas como propriedades e proposies identificando-os com entidades de tipo transmundial em teoria de conjuntos. Podemos identificar propriedades com funes de mundos para conjuntos de objectos, relaes com funes de mundos para conjuntos de n-tplos ordenados e proposies com conjuntos de mundos ou funes de mundos para os valores de verdade. A mais proeminente deste tipo de perspectiva de David Lewis. Ele invocou o enquadramento dos mundos possveis no simplesmente para fornecer uma explicao de propriedades e proposies, mas para clarificar o conceito de significado, estabelecer condies de verdade para contrafactuais e fornecer uma anlise da causalidade (1986). Michael J. Loux

Referncias e leitura complementar

Abelardo, P. (antes de 1120) "Logica "Ingredientibus"", in R. McKeon (org.) Selections from Medieval Philosophers, Nova Yorque: Scribners, 1959, 202-58. (Fornece um esboo da abordagem de Abelardo como a delineada em 2.) Armstrong, D. (1978) Universals and Scientific Realism, Cambridge: Cambridge University Press, 2 vols. (Contm discusses teis do nominalismo.) Berkeley, G. (1710) A Treatise Concerning the Principles of Human Knowledge in C. Turbayne (ed.) Principles, Dialogues and Correspondence, Nova Yorque: Bobbs-Merrill, 1965. (A introduo desta obra particularmente relevante.) Carnap, R. (1934) Logishce Syntax der Sprache (The Logical Syntax of Language), trad. A. Smeaton, Patterson, NJ: Littlefield & Adams, 1959. (A tentativa de Carnap de clarificar a estrutura da linguagem.) Goodman, N. (1956) The Problem of Universals, Notre Dame, IN: University of Notre Dame Press (O captulo intitulado "Um Mundo de Universais" particularmente relevante.) Hobbes, T. (1651) Leviathan, ed. M. Oakeshott and R. Peters, Nova Yorque: Collier, 1962 (A parte 1, captulo 4 contm a exposio deste tpico por Hobbes.) Hume, D. (1740) A Treatise of Human Nature, ed. L.A. Selby-Bigge, 2 ed. (revista por P.H. Nidditch), Oxford: Clarendon, 1978. (O livro 1, parte 1, seco 7 contm a resposta de Hume a Berkeley acerca das ideias abstractas.) Lewis, D. (1986) On the Plurality of Worlds, Oxford: Blackwell. (Usa os mundos possveis como enquadramento para uma nova perspectiva, como delineado no fim do 4.) Locke, J. (1689) An Essay concerning Human Understanding, coligido e anotado por A.C. Fraser, Oxford University Press, 1894. (Ver o livro II, captulo 9, seces 9-10 e o livro III, captulos 3 e 4.) Loux, M.J. (1978) Substance and Attribute, Dordrecht: Reidel (Contm a discusso de vrias formas diferentes de nominalismo.) Ockham, Guilherme de (c.1329) "Summa Logicae", parte I, in M.J.Loux, Ockham's Theory of Terms, Notre Dame, IN: Notre Dame University Press, 1974. (Uma traduo da mais clara formulao da abordagem de Ockham ontologia.) Quine, W. V. (1953) From a Logical Point of View, Cambridge, MA: Harvard University Press. (O ensaio neste volume exprime a anterior e mais austera forma de nominalismo de Quine.) Quine, W. V. (1960) Word and Object, Cambridge, MA: MIT Press. (Fornece a doutrina "s os conjuntos so abstractos".) Sellars, W. (1967) "Abstract Entities", in Philosophical Perspectives, Springfield, IL: Charles C. Thomas. (Exposio da linha de pensamento delineada em 4.)

Stout, G.F. (1921) The Nature of Universals and Propositions, London Oxford University Press. (Conferncia da Academia Britnica onde se discute a "Teoria dos Tropos", delineada em 4.) Williams, D.C. (1953) "Elements of Being", partes I e II, Review of Metaphysics, 6: 3-18, 171-93. ("Teoria dos Tropos" delineada em 4.) Wittgenstein, L. (1953) Philosophical Investigations, trad. G.E.M. Anscombe, Londres: Macmillan. (A famosa passagem sobre "semelhanas de famlia" comea no 65.)