Ontologia

Keith Campbell
Traduo de Desidrio Murcho

A ontologia a cincia ou estudo mais geral do Ser, Existncia ou Realidade. Um uso

informal do termo significa o que, em termos gerais, um filsofo considera que o mundo
contm. Assim, diz-se que Descartes props uma ontologia dualista, ou que no h
deuses na ontologia de dHoldbach. Mas no seu significado mais formal, a ontologia o
aspecto da metafsica que visa caracterizar a Realidade identificando todas as suas
categorias essenciais e estabelecendo as relaes que mantm entre si.

1. Ser enquanto ser

A existncia, a mais compreensiva categoria de todas, deve abranger membros

que tm o mnimo em comum. Contudo, a filosofia ocidental procura h muito um
contedo substancial comum que esteja presente em seja o que for unicamente em
virtude de existir. A histria destas tentativas para identificar o carcter comum do ser
enquanto ser no encorajante.

No Sofista, o Estrangeiro Eleata de Plato prope que um papel na rede causal

do mundo uma condio necessria e suficiente da existncia, que o Poder a marca
do Ser. Esta ideia tem tido alguma circulao no sculo XX, particularmente no trabalho
de David Lewis (1986) e D. M. Armstrong (1978, 1989, 1997). Este princpio eletico
um teste atraente da realidade no mundo natural, pois seja o que for que for real na
natureza deve ser capaz de fazer qualquer diferena. Pode ser necessrio enfraquecer
a exigncia, admitindo um espao-tempo passivo que fornea a arena na qual actuam
os seres activos. Mesmo assim, o princpio eletico parece que na melhor das
hipteses um aspecto contingente do mundo porque no parece haver qualquer
impossibilidade envolvida na ideia de um ser completamente inerte. E tambm uma
petio de princpio contra entidades abstractas como os nmeros, ou pontos
geomtricos, ou conjuntos, que, se existirem, esto fora do nexo causal.

Para Samuel Alexander (1920), ser ser o ocupante exclusivo de um volume de

espao-tempo. Isto elimina no apenas entidades abstractas, mas at uma teoria dos
campos do mundo natural, pois os campos de foras ocupam regies do espao-tempo
mas no se excluem entre si.

70% de desconto, s esta semana!

J. M. E. McTaggart (1921-1927) argumentou que a marca do ser estar numa

correspondncia de determinao com todas as suas partes infinitas. Uma
correspondncia de determinao assegura que de uma descrio suficiente de algo se
pode derivar uma descrio suficiente de qualquer das suas partes. Esta exigncia
acarreta que o espao, o mundo natural, e a maior parte dos contedos das mentes,
so irreais. Desta consequncia a concluso a retirar que a marca do ser proposta por
McTaggart excessivamente exigente.

O problema de um contedo substancial para o ser enquanto ser reflecte-se no

comportamento idiossincrtico do verbo existir. Considere-se negativas singulares:
Aristteles no fala espanhol verdadeira porque o predicado no fala espanhol se
aplica ao item referido pelo termo sujeito. Mas Pgaso no existe no pode ser
verdadeiro em virtude de o predicado se aplicar ao item referido pelo termo sujeito. Se
o termo sujeito refere seja o que for, esse item existe, o que tornaria toda a frase falsa.

Ficou famosa a declarao de Kant de que a existncia no uma propriedade,

e esta perspectiva tornou-se amplamente aceite. A lgica moderna que descende de
Gottlob Frege e de Principia Mathematica (1910-1913) de Alfred North Whitehead e
Bertrand Russell substitui todas as expresses existe por h. Assim, Os lees
existem torna-se H lees, ao passo que Os drages no existem se torna No h
drages.

Em termos tcnicos, este processo substitui qualquer afirmao de existncia

por uma afirmao que usa um quantificador que abrange um domnio (o mundo), de
modo que existir se torna uma questo no de possuir uma propriedade especial,
a existncia, mas de possuir alguma outra propriedade corriqueira. A determinao de
reformular todas as afirmaes de existncia ou inexistncia com H e No h
expressa pelo dictum de W. V. Quine: Ser ser o valor de uma varivel.

Se a existncia no uma propriedade, no pode ser uma perfeio. Isto anula

aquelas verses do argumento ontolgico a favor da existncia de Deus que dependem
de a existncia ser uma das perfeies. Uma resposta recente consistiu em argumentar
que, mesmo no sendo a existncia uma propriedade, a existncia necessria -o
(Plantinga, 1974, 1975; van Inwagen 1993).

2. Realidade e efectividade

a existncia tudo o que h, ou devemos reconhecer categorias ainda mais

vastas do que a do Ser? Em Plato, e mesmo antes, encontra-se uma distino entre
Realidade (O que ) e a Aparncia (O que no nada, e no entanto apenas parece
Ser). Aristteles distingue o existente completo (Ser), do que est ainda em formao
(Tornar-se). Estas distines vem-se talvez melhor como uma maneira de advogar que
h diferentes graus de realidade no seio da categoria do Ser.

Aristteles distinguia tambm o completamente Real (Acto) do que pode ser

(Potncia). Esta distino antecipa uma corrente forte em ontologia que reconhece
mundos possveis para l do mundo efectivo, aquele que habitamos. Nos neoplatnicos,
e mais tarde em Alexius Meinong, ao domnio do existente soma-se o do subsistente,
que abrange o que no existe apesar de poder ter existido, como acontece com as
montanhas douradas.

Uma ontologia completa deste gnero, na qual o domnio da Essncia mais

lato do que o da Existncia, foi apresentada por James K. Feibleman em 1951. No
trabalho de Richard Sylvan (1980), isto alarga-se ainda mais. No seu sistema, as
variveis individuais abrangem no apenas o efectivo e o possvel, mas tambm o
impossvel.

Mundos possveis. Gottfried Wilhelm Leibniz foi o primeiro a fazer um uso

sistemtico da ideia de que se pode considerar que todas as possibilidades formam
mundos cada um dos quais um domnio internamente consistente que pode
combinar alguns elementos iguais aos do mundo efectivo e outros diferentes. O mundo
efectivo um dos mundos possveis, distinguindo-se de todos os outros pelo facto de
que nenhum dos seus elementos meramente possvel. Se podermos referir-nos a
mundos possveis, fcil definir seres necessrios, que de outro modo so to difceis
de caracterizar, como aqueles seres que esto em todos os mundos possveis (ver mais
frente).
 Realismo modal. Os mundos possveis pem nossa disposio explicaes
de poderes causais, de condicionais contrafactuais, de disposies inexercidas e de
propriedades reais ininstanciadas. Estas vantagens levaram David Lewis (1986) a
abraar o realismo modal, que afirma a realidade literal de todos os mundos possveis.

Outros filsofos, apesar de valorizarem estas vantagens, recuam perante a

expanso aparentemente infinita da ontologia que isto exige, o que conduziu a
explicaes em termos de sucedneos de mundos possveis: Rudolf Carnap, entre
outros, props que um mundo possvel um conjunto maximamente consistente de
frases. Armstrong, entre outros, desenvolveu a ideia de Wittgenstein de que um mundo
possvel uma recombinao inefectiva dos elementos deste mundo. Peter Lopston
(2001) defende um realismo redutivo, que expande o tipo de propriedade atribuda no
mundo efectivo de modo a incluir caractersticas que poderia-ter-tido. O sucesso destas
abordagens tema actual de controvrsia.

Pluralidade de mundos na teoria quntica. A noo de que o mundo em que

vivemos no o nico foi tambm recentemente esboada na interpretao de alguns
paradoxos da fsica quntica, que de outro modo so desconcertantes. Nestas
explicaes, o mundo no uma entidade nica e unificada, mas antes algo sujeito a
bifurcaes contnuas, um processo que gera um nmero cada vez maior de mundos.
As perspectivas deste gnero que defendem a pluralidade de mundos so diferentes,
numa acepo importante, do realismo modal: todos estes mundos qunticos so
supostamente efectivos, mas mutuamente inacessveis.

3. As categorias do ser

A principal tarefa da ontologia fornecer um inventrio das categorias, as

divises mais gerais da Realidade. As mais importantes so as seguintes:

Substncias. Uma substncia individual ou particular um objecto, uma coisa por

direito prprio. As coisas comuns do quotidiano, como tijolos e camas, fornecem um
modelo para a categoria da substncia. Exige-se que as substncias tenham vrias
caractersticas bsicas, apesar de no ser claro que estas caractersticas sejam
compatveis entre si.

Particularidade e individualidade. Uma substncia simultaneamente um particular

e um indivduo; no apenas um pato qualquer, mas precisamente este pato. Um
objecto da categoria que (um pato) em virtude das suas propriedades. Mas se estas
propriedades so universais, partilhadas por muitos particulares, no podem por si
conferir particularidade. Alguns filsofos, o mais influente dos quais foi Locke,
propuseram um constituinte das substncias que desempenhariam este papel,
um substrato que conferiria particularidade e individualidade. Um substrato seria um
particular bruto, um item inerentemente particular e individual, mas sem qualquer outra
caracterstica. difcil ver como esses particulares brutos poderiam distinguir-se entre
si, mas se os particulares brutos so todos exactamente parecidos entre si, como
poderia qualquer um deles individualizar a sua prpria substncia? Mais em geral, os
particulares brutos entram em conflito com o dictum de Aristteles de que o mnimo de
ser, a menor coisa que pode ser, um isto-tal, um particular que tem uma propriedade.

Outra proposta que se individua as substncias pela sua localizao. As localizaes

pontos de espao-tempo e regies so em si particulares nicos; se puderem ter
particularidade primitiva, isso levanta a questo de saber por que razo os outros
particulares requerem um substrato ou outro particularizador. H tambm outras
dificuldades com a localizao: a localizao no individua campos de foras ou outras
entidades fsicas que no monopolizam o seu espao. No funciona tambm para
quaisquer itens de tipo imaterial.

Ou a individualidade e portanto a particularidade primitiva, ou h particulares

brutos, ou cada substncia tem uma propriedade especial,
chamada ecceidade ou istidade, que pode conceder particularidade e individualidade
ao seu portador. Para uma discusso deste problema veja-se o captulo quinze de From
an Ontological Point of View, de John Heil (2003).

Indivisibilidade. As substncias tm de ser distintas dos compostos, de modo que uma

substncia nica tem de ser indivisvel, no sentido de no ter partes que sejam elas
mesmas substncias. Isto elimina as coisas comuns, que no podem ser substncias.
Esta exigncia de simplicidade muito enfatizada na doutrina de Toms de Aquino
sobre Deus. Leva em Leibniz monadologia e em Roger Joseph Boscovich doutrina
dos pontos materiais.

Persistncia. As substncias distinguem-se das suas propriedades porque tm a

capacidade de persistir, isto , retm a sua identidade passando por pelo menos
algumas mudanas. Um carro dos bombeiros pode mudar de cor, e no entanto continuar
a ser o carro dos bombeiros que sempre foi. As substncias compostas comuns da vida
quotidiana tm alguma persistncia, mas no podem sobreviver a todas as mudanas.
Um carro dos bombeiros desmontado e reduzido a sucata j no um carro dos
bombeiros. A persistncia completa pertence apenas s substncias fundamentais.

Independncia. Qualquer substncia poderia ser a nica coisa em existncia. Se esta

independncia for interpretada causalmente, nenhum objecto comum uma substncia,
pois todos so postos em existncia, e por isso a sua existncia depende das suas
causas. O espao-tempo e os seus campos poderiam considerar-se substncias, mas
mesmo estes dependem, nos sistemas testas, da actividade criadora de Deus. Assim,
no tomismo, Deus a substncia por excelncia, mas o mundo natural inclui
substncias criadas, que dependem de Deus mas que, noutros aspectos, existem por
si. Espinosa, insistindo na independncia absoluta, concluiu que s pode haver uma
substncia, a totalidade omniabrangente, Deus-ou-Natureza.

Se tomarmos a independncia das substncias num sentido lgico e no causal, uma

substncia seja o que for que, em princpio, pode subsistir sozinha. Esta era a
exigncia de David Hume, e seja o que for que lhe obedecer uma substncia humiana.
Para compostos, a exigncia que a coisa, incluindo todas as suas partes, poderia
existir sozinha. Esta exigncia muito menos rigorosa do que a independncia causal
e no exige persistncia.

Teorias da ausncia de substncia. Tem-se tentado eliminar as substncias. Russell

props que um objecto concreto comum no mais do que um feixe de todas as suas
propriedades. Mas h sempre a questo de saber o que agrega o feixe. Alm disso,
dado que as propriedades so universais, esta teoria acarreta que nenhumas duas
coisas podem ter uma parecena exacta.

Na verso de Donald Williams da teoria dos feixes (1966), as propriedades so

instncias particulares ou tropos (ver mais frente). Isto evita o problema da
possibilidade de haver dois objectos com uma parecena exacta, mas exige que todos
os membros do feixe estejam co-presentes exige que estejam todos no mesmo
lugar do espao-tempo. H dificuldades em tratar uma localizao no espao-tempo
como se fosse apenas mais um tropo no feixe, mas se lhe for dado um tratamento
especial torna-se um substrato substancializante.
Russell defendeu tambm uma ontologia de eventos como uma perspectiva de ausncia
de substncia. Russell usava evento para a ocorrncia de uma propriedade num dado
lugar e num dado momento do tempo; tais eventos no so aconteceres, mas antes
estados de coisas (veja-se mais frente). Props que as substncias comuns, e as suas
partes mais fundamentais, so sequncias de agregados de tais eventos.

Os elementos bsicos nestas ontologias podem no ser simples nem indivisveis, e no

tm persistncia. Contudo, estes estados de coisas ou eventos so substncias
humianas. Na verdade, a menos que no exista coisa alguma, algo tem de ser uma
substncia humiana e, nesse sentido, qualquer teoria da ausncia de substncia tem de
estar errada.

Propriedades e relaes. As propriedades so as caractersticas intrnsecas das

coisas, que lhes pertencem quando as consideramos individualmente. As relaes,
envolvendo dois ou mais termos, so os modos sob os quais as coisas esto perante
outras. Em muitos aspectos, as propriedades e as relaes podem ser tratadas
conjuntamente.

Propriedades como universais. As propriedades so habitualmente concebidas como

universais que podem caracterizar um nmero infinito de instncias. S h uma Torre
Eiffel, mas a altura da torre, o peso e a constituio de ferro so caractersticas que tem
em comum com muitas outras coisas. O Problema dos Universais o problema de
explicar como poderia uma qualquer entidade real existir, total e completamente, em
muitas instncias diferentes. Este problema atraiu trs propostas de soluo:
nominalismo, conceptualismo e realismo. O nominalismo e o conceptualismo negam,
ambos, que as propriedades sejam genuinamente universais. Segundo o nominalismo,
o nico elemento comum a todas as coisas de ferro poderem todas ser descritas
usando o predicado de ferro, ou serem todas membros da classe das coisas de
ferro, ou serem todas parecidas a alguns objectos de ferro tpicos. Segundo o
conceptualismo, o elemento universal consiste num impulso das nossas mentes para
agrupar vrias coisas. Estas teorias reducionistas tm tido partidrios desde o tempo de
Plato e foram especialmente prevalecentes entre os empiristas britnicos e os seus
descendentes. O nominalismo e o conceptualismo foram explicitamente postos em
causa por Russell nos Problemas da Filosofia (1912). A argumentao mais exaustiva
contra tais perspectivas foi apresentada por D. M. Armstrong, Universals and Scientific
Realism (1978).

O realismo com respeito aos universais pelo menos to velho quanto Plato. A sua
teoria das Formas apresenta um realismo consumado que atribui s propriedades
genunas quer existncia real, num domnio prprio, quer um estatuto superior a
quaisquer instanciaes que delas possam existir neste mundo. As Formas
existem ante rem isto , estejam ou no instanciadas. Considera-se tradicionalmente
que Aristteles sustenta um realismo modificado, segundo o qual as propriedades so
reais, e universais, mas s podem existir in rebus, enquanto propriedades de instncias
concretas. Encontra-se aqui uma vez mais a sua perspectiva de que o mnimo
susceptvel de ser um isto-tal, uma unio de um particular com um universal.

O realismo encontrou sempre duas objeces principais. Primeiro, que no

econmico, especialmente na sua forma platonista. A questo da economia um tema
actual na filosofia da cincia, dado que pelo menos aparentemente as nossas melhores
teorias fsicas e qumicas envolvem propriedades no instanciadas. A segunda objeco
que no consegue fornecer uma explicao coerente da ligao entre uma
propriedade e a substncia que sua portadora, sendo esta a relao de inerncia. A
inerncia no pode ser uma relao normal, porque nesse caso apenas mais um
universal que precisa de uma ligao de inerncia entre os seus termos, a substncia e
a propriedade original. Mas se isto no uma relao no sentido comum, o qu? O
problema da inerncia d sustentao a verses do realismo nas quais as propriedades
so particulares.

Propriedades como particulares. Mesmo que a propriedade de ferro seja universal, o

caso particular de ser de ferro que ocorre na Torre Eiffel pertence apenas torre e to
particular quanto a prpria torre. A teoria dos tropos, tal como foi pela primeira vez
desenvolvida por Donald Williams, trata a instncia no como uma entidade dependente
que emerge da instanciao de um universal, mas como uma substncia humiana de
pleno direito.

Quando se combina esta abordagem com uma explicao das substncias comuns com
muitas caractersticas em termos de feixes ou co-presena, o problema da relao de
inerncia desaparece. H tambm outra economia significativa, pois no preciso ter
uma categoria separada para substncias. Estas possibilidades so exploradas no
livro Abstract Particulars, de Keith Campbell (1990).

Relaes. Quando Russell reanimou o debate sobre o realismo deu s relaes um

estatuto inteiramente igual ao das propriedades inerentes. Na verdade, foram as suas
reflexes sobre o papel das relaes nos fundamentos da matemtica e da lgica que
o conduziram ao realismo. O realismo de Armstrong assume a mesma forma.

H, contudo, uma longa tradio que atribui primazia s propriedades intrnsecas.

Aristteles sustentava que as relaes so a menor das coisas que so; Hobbes, entre
outros, sustentava que a existncia de relaes depende de um acto mental de
comparao; e a perspectiva de Leibniz era que toda a relao se fundamenta numa
caracterstica intrnseca de um dos seus termos, ou de ambos. Este programa
reducionista exposto em Campbell (1990).

As relaes so aparentemente dependentes, no sentido em que tm de ter substncias

como termos, e estas substncias tm de ter propriedades intrnsecas. Assim, a menos
que existam propriedades intrnsecas no poder haver relaes, mas no vice-versa.
As teorias dos feixes, aplicadas a coisas comuns, dizem respeito apenas s
propriedades intrnsecas. Incluir relaes nos feixes conduz a problemas quanto ao
lugar a dar s relaes, o que por sua vez induz uma tendncia a favor de um monismo
como o de Francis Herbert Bradley, no qual as substncias comuns so absorvidas
numa totalidade nica omniabrangente.

Poderes. Algumas propriedades, como quadrado, parecem pertencer ao modo de ser

do objecto. Outras, como ser um solvente, parecem referir ao que um objecto pode
fazer. Esta a distino entre propriedades categoriais e disposicionais. Uma linha de
investigao retoma o princpio eletico e identifica as propriedades reais com as que
conferem ao seu portador uma disposio para agir ou para ser objecto de actuao.
Tais disposies so poderes; uma metafsica dos poderes avanada no livro Powers,
de George Molnar (2003) e em Scientific Essentialism, de Brian Ellis (2001).

Complexos. Substncia e propriedade so categorias bsicas. Em combinao,

podem fornecer uma ontologia mais rica.

Estados de coisas. Um estado de coisas bsico consiste num particular que tem uma
propriedade, ou em duas (ou mais) particulares que esto numa dada relao. Uma
propriedade nica que inere num s particular um mnimo isto-tal. O Tractatus
Logico-Philosophicus (1921) de Wittgenstein apresentou uma ontologia na qual o
mundo composto de estados de coisas relacionais mnimos: os que efectivamente
ocorrem so factos, restando alm destes os meramente possveis. Estes temas que
as categorias bsicas s ocorrem em combinao, e que estas combinaes constituem
a realidade so retomadas por D. M. Armstrong, no livro A World of States of
Affairs (1997).

Eventos e processos. Um estado de coisas esttico. Dar conta dos aspectos

dinmicos do mundo exige uma explicao da mudana. Isto pode fazer-se usando
sequncias de estados de coisas: a estabilidade consiste em estados de coisas
sucessivos muitssimo parecidos entre si, ao passo que a mudana consiste em estados
de coisas que a dada altura so substitudos por outros sistematicamente diferentes.
Um evento uma mudana singular, envolvendo um par de estados de coisas; um
processo uma srie mais complexa de eventos.

Whitehead, em Process and Reality (1929), deu prioridade ao dinamismo; todas as

substncias que persistem aparentemente so efectivamente processos que se do
muito lentamente. O estatuto do espao-tempo controverso. Pode ser uma substncia
humiana; contudo, algumas explicaes da matria atribuem-lhe um lugar enquanto
processo, uma sequncia de relaes mutveis complexas entre particulares.

4. Objectos abstractos

O pensamento humano, especialmente na matemtica e na lgica, parece envolver

entidades que no tm aparentemente lugar no mundo espcio-temporal. Admitir tais
itens um desafio ao princpio da economia; contudo, difcil conseguir redues bem-
sucedidas.

Nmeros e conjuntos. Porque se pode representar todos os nmeros na teoria de

conjuntos, no preciso admitir conjunto e nmeros. Russell props-se eliminar os
conjuntos a favor de funes proposicionais, mas isto revelou-se impossvel de aplicar
a mais do que um fragmento da matemtica (Goodman e Quine 1947, Quine 1969).
Porque as variveis da teoria de conjuntos tm conjuntos como valores, e porque ser
ser o valor de uma varivel, estamos comprometidos com a sua realidade e isto
platonismo quanto a conjuntos e nmeros. O tentativa mais importante de evitar o
platonismo o de Hartry Field (1980, 1989).

Objectos geomtricos. Diferentemente de seja o que for que ocorra no mundo natural,
os objectos da geometria cubos euclidianos, por exemplo so concebidos como
perfeitos, imutveis, intemporais e sem poderes fsicos causais. Alm disso, h
geometrias, e objectos geomtricos correspondentes, com muitas mais dimenses do
que as que este mundo tem. Um espao geomtrico pode dividir-se e subdividir-se numa
infinidade de configuraes de diferentes dimenses. O platonismo na geometria
envolve assim uma expanso infinita na ontologia.

Uma abordagem a esta questo considerar que os objectos geomtricos so

abstrados, isto , tirados do seu contexto. Deste ponto de vista, todo o cubo apenas
um fragmento espacial particular de espao-tempo e todo o tringulo um fragmento
de uma das superfcies espaciais do espao-tempo. Um problema desta abordagem
que nem todas as formas estaro disponveis. Se o nosso espao-tempo est longe de
ser perfeitamente euclidiano, no haver cubos reais euclidianos. Podemos tratar estes
objectos inexistentes como variaes imaginrias das que efectivamente existem, e
considerar que as geometrias que quantificam sobre tais coisas no so literalmente
verdadeiras.
Lgica. A filosofia da lgica faz referncia a proposies, operadores, funes e
inferncias. Estas so entidades abstractas, que se relacionam com o raciocnio
aproximadamente do mesmo modo que os nmeros se relacionam com a contagem e
a medio. Os problemas e possibilidades de sucesso de um tratamento reducionista
destas entidades so igualmente paralelos.

5. Seres necessrios

Considera-se habitualmente que as coisas comuns existem contingentemente; isto ,

existem, mas poderiam no existir. Tivessem as leis da natureza do nosso mundo sido
diferentes, ou as condies iniciais, e haveria um grupo diferente de seres contingentes.
Mas algumas coisas parecem imunes aos caprichos causais e do acaso; situando-se
fora da rede causal, no podem ser trazidos existncia e no podem ser destrudos.
So seres necessrios. Se o platonismo estiver correcto com respeito a quaisquer
objectos abstractos, haver seres necessrios e at, paradoxalmente, a classe vazia.

Para Aristteles, seja o que for que exista ao longo de um tempo infinito necessrio
porque ele defendia que ao longo de um tempo infinito todas as possibilidades
acabariam por se efectivar. Para Plotino, qualquer ser divino estaria fora do tempo, e
como tal no poderia mudar, no poderia deixar de existir e consequentemente seria
um ser necessrio. Para Toms de Aquino, a necessidade de Deus deriva da sua
simplicidade: a essncia de Deus e a sua existncia so idnticas; deste modo, Deus
um tipo de ser que tem de existir. Para Espinosa, toda a substncia genuna causa
sui, contendo em si a explicao suficiente do seu prprio ser, e portanto pode garantir
a sua prpria existncia sob todas as condies possveis.

Duns Escoto, e depois Descartes, ligou o ser necessrio lgica: um ser necessrio
aquele cuja inexistncia seria autocontraditria. Os feijes reais no existem
autocontraditria mas apenas trivialmente porque a existncia foi inserida na definio
do sujeito. Isto no faz dos feijes feijes necessrios. Se a existncia no for inserida
na definio do termo sujeito, duvidoso que qualquer negao de existncia seja
autocontraditria. A melhor discusso da noo de ser necessrio a de Alvin Plantinga
(1974, 1975).

Keith Campbell

Retirado de Encyclopedia of Philosophy, org. Donald M. Borchert (Macmillan Reference,

2006)

6. Bibliografia

Adams, R. M. Primitive Thisness and Primitive Identity. The Journal of

Philosophy 76 (1979): 5-26.
Alexander, Samuel. Space, Time, and Deity: The Gifford Lectures at Glasgow. 2
vols. London: Macmillan, 1920.
Armstrong, D. M. A Combinatorial Theory of Possibility. Cambridge, U.K.:
Cambridge University Press, 1989.
Armstrong, D. M. Universals and Scientific Realism. 2 vols. Cambridge, U.K.:
Cambridge University Press, 1978.
Armstrong, D. M. A World of States of Affairs. Cambridge, U.K.: Cambridge
University Press, 1997.
Campbell, Keith. Abstract Particulars. Oxford: Blackwell, 1990.
Ellis, Brian. Scientific Essentialism. Cambridge, U.K.: Cambridge University
Press, 2001.
 Feibleman, James K. Ontology. Baltimore: Johns Hopkins Press, 1951.
Field, Hartry. Realism, Mathematics and Modality. Oxford: Blackwell, 1989.
Field, Hartry. Science without Numbers: A Defence of Nominalism. Oxford:
Blackwell, 1980.
Forbes, Graeme. The Metaphysics of Modality. Oxford: Clarendon Press, 1985.
Goodman, N., and W. V. Quine. Steps Towards a Constructive
Nominalism. Journal of Symbolic Logic 12 (1947): 105-122.
Heil, John. From an Ontological Point of View. Oxford: Clarendon Press, 2003.
Lewis, David K. On the Plurality of Worlds. Oxford: Blackwell, 1986.
Loptson, Peter. Reality: Fundamental Topics in Metaphysics. Toronto: University
of Toronto Press, 2001.
McTaggart, J. M. E. The Nature of Existence. 2 vols. Cambridge, U.K.:
Cambridge University Press, 1921-1927.
Molnar, George. Powers: A Study in Metaphysics. New York: Oxford University
Press, 2003.
Plantinga, Alvin. God, Freedom, and Evil. London: Allen and Unwin, 1975.
Plantinga, Alvin. The Nature of Necessity. Oxford: Clarendon Press, 1974.
Quine,W. V. From a Logical Point of View: 9 Logico-Philosophical Essays. 2nd
ed. Cambridge, MA: Harvard University Press, 1961.
Quine,W. V. Set Theory and Its Logic. Cambridge, MA: Belknap Press of Harvard
University, 1969.
Russell, Bertrand. The Analysis of Matter. London: Kegan Paul, Trench and
Trubner, 1927. (Ontologia de acontecimentos)
Russell, Bertrand. An Inquiry into Meaning and Truth. London: Allen and Unwin,
1940. (Substncias como feixes de universais)
Russell, Bertrand. The Problems of Philosophy. London: Oxford University
Press, 1912. (Realismo sobre universais)
Sylvan, Richard. Exploring Meinongs Jungle and Beyond. Canberra: Australian
National University, 1980.
Van Inwagen, Peter. Metaphysics. Boulder, CO:Westview Press, 1993.
Whitehead, A. N. Process and Reality: An Essay in Cosmology. Cambridge, U.K.:
Cambridge University Press, 1929.
Williams, Donald C. Principles of Empirical Realism: Philosophical Essays.
Springfield, IL: Thomas, 1966.
Wittgenstein, Ludwig. Tractatus Logico-Philosophicus. London: Routledge and
Kegan Paul, 1921.