As vrias naturezas dos compromissos em ontologias informacionais Introduo.

A Cincia da Informao caracterizada do pela multi e se

interdisciplinaridade.

Vrias

construes

pensamento

humano

interconectam e se intertecem, de modo complexo e multifacetado, para constituir uma cincia que, normalmente, classificada no ramo das cincias sociais aplicadas. Isso, no por seu corpo terico se limitar s cincias sociais, mas por ser associada a uma prtica plena de implicaes sociais e se inserir em um contexto humano marcado por contingncias diversas co-geradas pelo entrelaamento dinmico de aspectos de vrias naturezas, distinguindo-se os aspectos econmicos, polticos e tecnolgicos. Cincias aplicadas um epteto que remete a cincia s vicissitudes da prxis. Levar a teoria soluo de questes prticas envolve inmeros desafios e complexidades. O alcance de solues no nvel prtico impe-nos a necessidade de escolhas envolvendo distintas perspectivas tericas,

metodologias e ferramentas. Se a cincia lida com os enormes desafios que testam os limites da capacidade cognitiva humana envolvendo o que conhecer (ontologia), e como conhecer (epistemologia) e seus imbricamentos a tcnica defronta-se com a tenso existente entre a manuteno da coerncia dos pressupostos tericos e o alcance de solues no nvel prtico. No caso da Cincia da Informao comum aflorar a tenso existente entre as assertivas enunciadas pelas suas teorias e o funcionamento efetivo de institutos, projetos e sistemas de informaes. Em consonncia com o panorama descrito, a rea de ontologias informacionais, subrea da Cincia da Informao e da Cincia da Computao, permeada pela multi e interdisciplinaridade. As ontologias informacionais vo beber nas bases seminais da filosofia os fundamentos tericos que iro dirigir o desenvolvimento de solues prtico-operacionais viveis, inseridas em contexto social-humano complexo. O termo Ontologia j conhecido e aplicado h bastante tempo na rea da Filosofia, significando um sujeito de existncia ou uma "contabilizao sistemtica da Existncia", (SACCOL, p. 13, 2001) citando (MELLO, 2000).

O termo ontologia comeou a ser empregado na cincia da computao, dentro da subrea denominada de inteligncia artificial (IA), no incio dos anos 90, em projetos para organizao de grandes bases de conhecimento, como CYC (Lenat e Guha, 1990) e Ontolingua (Gruber, 1992). Desde os anos 70 (Russel e Norvig, 1995) a IA j se preocupava com a organizao e manipulao de bases de conhecimento, mas a partir da dcada de 90 houve um impulso para a criao de bases de conhecimento compartilhveis e reutilizveis. Este impulso deveu-se percepo de que os problemas complexos deveriam ser atacados por diferentes sistemas atuando de forma cooperativa/competitiva em uma rede de multi-agentes. Alm disso, o esforo para criao de uma base de conhecimento pode ser muito caro e a reutilizao e compartilhamento das bases podem baratear os custos. No entanto, o compartilhamento de bases de conhecimento s pode ocorrer se houver um claro entendimento dos comprometimentos ontolgicos associados s bases. (MOREIRA et al., 2004), negritos nossos. Assim, nessa rea especfica de ontologias informacionaisi tambm as tenses entre os fundamentos tericos manifestam-se nas escolhas de modelagem sempre presentes no desenvolvimento de solues prticas. No curso desse artigo iremos apontar algumas importantes discusses filosficas que subsistem e so fundamentais para a compreenso da teoria que d suporte construo de ontologias informacionais. Apontaremos tambm a tenso intrnseca existente entre as distintas perspectivas tericas que direcionam as solues prticas. Nesse percurso, mostraremos como, na prtica, busca-se fundir, misturar e conciliar distintas e, em tese, incompatveis abordagens tericas em ontologias informacionais. O compromisso ontolgico. Eu vejo ningum na estrada - disse Alice. Eu gostaria muito de ter uns olhos aguados como os seus - observou o Rei, em um tom invejoso. Ser capaz de ver Ningum! E a uma distncia dessas! Alice No Pas dos Espelhos, (Cap. VII, o Leo e o Unicrnio)ii

Ao

se

dizer

do

compromisso

ontolgico

em

uma

ontologia

informacional, diz-se do compromisso ontolgico tal qual como foi formulado por Quine em vrios de seus escritosiii, e que permite uma expresso formal desse compromisso via quantificadores lgicos. Para Quine, algo existe em uma teoria cientfica se e somente se esse algo puder ser formalizado pela lgica de predicados. Tal compromisso fundamental em uma teoria cientfica, o objeto de Quine, assim como em seu uso posterior, na conceituao do mundo em ontologias informacionais. Segundo Quine, (QUINE, 1948, 1980). em uma ontologia,

comprometemo-nos com a existncia de determinadas entidades. No, em especial, com instncias de uma entidade, mas com quais entidades admitimos como sendo reais. Podemos aceitar uma, ou outra entidade como sendo real. Por exemplo, podemos querer nos comprometer com a existncia de unicrnios. Mas o termo unicrnio sequer um nome referencial, j que no se refere a qualquer objeto existente. mero nome fictcio. A nominabilidade fictcia, segundo Quine, no constitui critrio de ser. Assim, ser no ser mero nome. Podemos nos comprometer com a existncia de lees. Entretanto, no basta referenci-los. O mero uso de termos singulares no constitui um critrio, pois, a referncia, segundo Quine, no constitui critrio de ser. Assim, ser no ser mero termo simples. Tambm no basta dotar o nome, ou termo de significado. Pode-se dizer de um unicrnio que ele algo que tem um cavalo branco e tem um nico chifre na testa, mas com isso, temos apenas um significado para unicrnio sem que, segundo Quine, tenhamos um compromisso com sua existncia. Assim, ser no meramente ter significado. Ento, qual seria o critrio de compromisso ontolgico introduzido por Quine? Para Quine, o compromisso comea a se constituir a partir do momento em que as entidades tornam-se descries, no sentido da Teoria das Descries de Russell (RUSSELL, 1905, 1912). Isto , devemos associar entidade uma quantificao, usando uma frmula com uma varivel ligada iv, ou seja, criamos uma parfrase no contexto sentencial, usando uma frmula lgica com uma varivel ligada a um quantificador. Tal como:

(x) (Fx) existe algum x, tal que x F. Temos ento que x diz respeito a uma entidade que existe, se x pode ser instanciada como indica seu quantificador existencial, ou seja, se x algo, podendo ainda ser tudo, nada, ningum, ou outro quantificador existencialv. Qualquer coisa que tomada como sendo, existindo, tomada para qualificar como valores de x na quantificao. Assim, comprometemonos com unicrnios ao afirmar: um unicrnio, H unicrnios. Ou seja, o que estamos dizendo, formalmente, : (x) (Unicrnio x). S seria possvel comprometer-se com a existncia de unicrnios aps a adequada formalizao lgica desse compromisso. Diz Quine em dito basilar: Ser ser o valor de uma varivel. Sobre o que h (QUINE, 1948, 1980). Com isso, Quine diz que algo existe, somente se esse algo puder ser atribudo a uma varivel. Diz ainda Quine, no mesmo artigo Sobre o que h, que o compromisso ontolgico tambm esclarecido pela significao atribuda a essa varivel. Esta significao (meanfulness), distinta do significado (meaning), explicada comportamentalmente (behaviorally). Isto , quando concordamos com determinados procedimentos de identificao e operao, concordamos em como a varivel associada ao termo usada, (NICHOLAS, 2002, pgina). At aqui, ns construtores e operadores de especificaes e sistemas no mbito da Cincia da Informao e da Cincia da Computao, ficamos tranqilos. No haver com grandes discordncias, com ou e dificuldades a em

identificarmo-nos

comprometimento

tipos

express-los

formalmente em linguagem lgica de especificao, ou de programao. Estamos em total sintonia quanto a especificar tipos, organiz-los, identificar e estabelecer variveis e procedimentos de atribuio e manipulao dessas variveis. Ento ponderamos...Ontologia? Mas que ontologia? Onde se vo as verdades mais altas e inacessveis do ser? Sua natureza primordial e essncia mais pura? Onde esto as tais consideraes metafsicas? s isso? Tipos e operacionalizao de variveis? Relaxamos e respiramos aliviados...

Tanto que uma das primeiras objees noo de compromisso ontolgico proposto por Quine veio de seu grande interlocutor, Rudolf Carnap. Carnap (apud Chateaubriand, 2003, p. 70) discordava do uso da palavra ontolgico dado por Quine ao compromisso sobre a existncia de entidades em uma teoria cientfica, pois isso permitiria entender que a deciso de usar certos tipos de variveis devia ser baseada em convices metafsicas, ou ontolgicas, enquanto que na verdade, seria uma mera deciso prtica envolvendo a escolha de um instrumento (Chateaubriand, 2003, p. 70, nota de rodap 6). Por essa e outras razes, alguns preferem referir-se a esse compromisso como sendo no um compromisso ontolgico, com o ser, mas um compromisso ntico, com as entidades, considerando-se que o ntico refere-se ao dado, ao que conhecido de imediato, e expressa melhor o que se faz em Cincia da Informao e Computao. Entretanto, a noo de Quine de compromisso ontolgico apenas a ponta de um fio de novelo que se desenrola, emerge e se desvela, mesmo revelia de Quine, em mltiplos aspectos de ordens diversas ao mero comprometimento superficial com tipos de entidades e sua expresso lgica. Mesmo em Quine, esse compromisso j se revela intrinsecamente vinculado a entendimentos sobre a linguagem e o domnio do discurso. Isto fica mais claro diante de duas objees feitas a Quine. Primeiro, a objeo que a notao de quantificao arbitrria, e um padro limitado, sendo a linguagem ordinria demasiada complexa e intrincada para ser simbolizada pela quantificao lgica. Segundo, a objeo que o compromisso ontolgico seria uma questo de fato e no uma questo de linguagem. Quine responde primeira objeo, dizendo que o padro transfervel para qualquer linguagem alternativa, na medida em que concordamos em como traduzir a quantificao para essa linguagem. Por exemplo, para lgica de predicadovi, o princpio equivalente que o que h o que se toma para serem predicados mondicos ( unicrnio, leo, azul, circular etc.), e seus complementos. J na linguagem ordinria, o que h o que se toma como pronomes relativos (que, quem, qual, onde, quanto, cujo etc., com ou sem preposio) para se referir ao que h.

Alm

disso,

seria

obrigao

da

lgica

esclarecer

as muitas

obscuridades da linguagem ordinria e no ceder a essa obscuridade tal qual feito por Russell, para alguns casos, na Teoria das Descries. Entretanto, sem que isso refute sua posio, Quine admite que uma traduo exata entre a linguagem ordinria e uma linguagem lgica nunca seria possvel (AKINCI, 2003). O exemplo clssico da indeterminao na traduo, reiteradamente apontado e conhecido por qualquer iniciante em lingstica, ou filosofia analtica o exemplo do gavagai. Um lingista e um nativo esto em determinado local e avistam um coelho saltitando. O nativo indica esse coelho e pronuncia gavagai e o lingista associa esse termo ao nome dado a esse animal na lngua do nativo. Logo gavagai (significa, ou se refere a) coelho. Mas, eis o problema. Que certeza o lingista pode ter da traduo de gavagai? Nenhuma, h apenas uma suposio. Para confirmar essa hiptese, ele ter que executar uma srie de experimentos. Entretanto, mesmo que esses experimentos sejam levados adiante, como poder o lingista saber onde termina um coelho e comea outro, se o termo gavagai refere-se a uma parte, ou a uma fase de coelho. Portanto, segundo Quine, a significao do termo gavagai somente poder ser tirada a partir da observao do comportamento do nativo, e de outros nativos, diante de determinados estmulos, baseando-se em suposies. Enfatizando esse tipo de dificuldade, um outro exemplo instrutivo citado por Sorensen (2003). The Observer, magazine supplement, November, 25, 1975. apudSorensen, 2003, p. 359). Em sua viagem de descoberta da Austrlia, um grupo de marinheiros do Capito Cook capturou um jovem canguru, e levou a bordo a estranha criatura. Ningum conhecia o que era, ento alguns homens foram enviados terra firme para perguntar aos nativos. Quando os marinheiros retornaram eles contaram a seus contramestres: um canguru. Muitos anos depois foi descoberto que quando os aborgenes dizem canguru eles no esto nomeando de fato o animal, mas apenas replicando a seus questionadores: O que voc disse?

Quanto segunda objeo, Quine concorda que verdadeiro: o que h uma questo de fato. Entretanto, dizer, ou implicar o que h uma matria de linguagem, e isto diz respeito ao escopo de variveis. () uma entidade assumida por uma teoria se e somente se ela deve ser contada entre os valores das variveis a fim de que as declaraes estabelecidas na teoria sejam verdade. (Logic and the Reification of Universals. p. 103). Citado em Chateaubriand (2003, p. 48, 2)(QUINE, ano, apud Chateaubriand; p. 48, 2). Assim, o que se faz no compromisso ontolgico elaborar declaraes com variveis ligadas, mas to somente isso no determina o que h, mas unicamente o que se est disposto a dizer que h. Assim, os debates ontolgicos tomam lugar em nveis lingsticos e semnticos, e a identificao dos comprometimentos ontolgicos crucial para o entendimento dos esquemas conceituais subjacentes a tais debates (N. NICHOLAS, 2002, p. 2)vii. Diz o prprio Quine: o que est sendo considerado no o estado de coisas ontolgico, mas os compromissos ontolgicos do discurso. O que h no depende em geral do uso que se faz da linguagem, mas o que se diz que h depende, por sua vez, desse uso. (Logic and the Reification of Universals ). Citado em Mora (2004, p. 512). (QINE, ano, apud MORA, 2004, p. 512) O nonsense do dilogo de Alice e do Rei surge justamente do fato de eles no terem estabelecido os mesmos compromissos ontolgicos em seus discursos. Seu no-sentido atrai e delicia-nos no pela ausncia de sentido, mas pelo excesso de sentidos, uma ambigidade, ou polissemia potica: os diferentes sentidos para os personagens no sintonizados e a recriao do sentido para o prprio leitor. J um sistema informatizado destitudo de aptides estticas e no teria como lidar, a no ser ao nvel de tratamento de erro, com o no-sentido, e nem com os mltiplos sentidos. O compartilhamento dos mesmos comprometimentos ontolgicos que torna possvel a comunicao entre dois agentes (humanos ou no), uma vez que estabelece

que os mesmos objetos foram abstrados pelos agentes envolvidos. (MOREIRA et al., 2004, p. ). Com essas consideraes, j podemos vislumbrar todo um cenrio de embates no campo da lgica, da lingstica, em especial na semntica, que iro repercutir na elaborao de esquemas conceituais e ontologias em Cincia da Informao e Computao. Intensionalidade versus extensionalidade De fato, subjacente s noes de compromisso ontolgico, Quine, um extensionalista convictoviii, j havia distinguido agudamente que o que ele chamava teoria de referncia (incluindo as noes de verdade, referncia, satisfao, extensoix etc.) e teoria do significado (incluindo as noes de significado, analiticidade, sinonmia, necessidade, intensox etc.). Com base nessa distino, ele sustentava que seus critrios de compromisso ontolgico tinham fundamento nas noes desenvolvidas na teoria de referncia. Em vista disso, a primeira objeo mais sria noo do compromisso ontolgico de Quine foi apontada por Richard Cartwright. Cartwright (ano, apud Chateaburiand; 2003, p.) percebe a tenso em distintas referncias ao compromisso ontolgico em diversos trabalhos de Quine, e destaca que a definio quineana do compromisso ontolgico pode exigir extensionalidade (referncia), mas baseia-se tambm na intensionalidade (significado)

(Chateaubriand, 2003, p. ). E isso gera um problema bsico que : a fim de sustentar que uma quantificao existencial pressupe objetos de um dado tipo, devemos tambm quantificar sobre objetos daquele tipo. Porm, nesse caso o compromisso ontolgico, tal como definido por Quine, leva a contradies envolvendo entidades que no referenciam, como unicrnios. Assim, sobre o que h de Quine, inelutavelmente, leva a consideraes sobre intensionalidade. Na construo de uma ontologia teremos de haver-nos com questes como: o que um X?, o que significa ser X?, possvel definir X?. Estes tipos de questo referem-se aos processos de descrio, explicao, ou definio, respectivamente, e permitem-nos responder: o que isto?, isto X? (TOMAI e PRASTRACS, 2006).

A abordagem intensional a que permite responder a isso. Ou seja, no basta dizer que h X (conforme a abordagem extensional de Quine). necessrio tambm responder a essas questes adicionais usando a abordagem intensional. Essas respostas (dadas de forma extensional e intensional) tm que ser harmnicas, coerentes e consistentes. Se em teoria essas abordagens se repelem, na prtica, elas tem que conviver. Essa a principal crtica ao compromisso ontolgico originalmente firmado por Quine: no pode ignorar os aspectos da significao intensional. Para ilustrar, vale notar que h reas crticas da atividade humana onde esses conflitos entre a abordagem intensional e a extensiva se evidenciam, em especial, no que diz respeito a direitos humanos, ou civis. No Direito so comuns discusses, por vezes interminveis, de conceitos que envolvem grandes interesses econmicos, ou direitos fundamentais como os direitos vida, e liberdade. No ltimo caso, podemos citar as discusses envolvendo o aborto, a eutansia, e as clulas tronco, mas, para evitarmos uma rea que suscita grandes paixes, fiquemos no mbito das repercusses econmicas, incluindo a, por exemplo, o direito a participar de uma licitao, ou de ser tributado conforme a lei. Para ilustrar a questo da extenso e da intenso, podemos citar os conceitos de obra de construo civil e de servio de engenharia civil que associados a atividades empresariais possuem tratamentos diversos dados pela legislao na rea de licitaes pblicas e na rea de tributao. Dependendo de uma determinada atividade ser considerada obra, ou servio de engenharia, ela ser dispensada, ou no, de uma licitao; ou estar sujeita a um regime de tributao mais favorvel ao contribuinte, ou a determinado ente tributante (distintos municpios). Os interesses econmicos envolvidos so substanciais. Sem entrar no mrito dessa discusso, e sem aprofundar o debate, apenas para fins de exemplificao da tenso entre intensionalidade e extensionalidade, consideremos a tentativa de se dar a obra, ou a servio de engenharia um conceito intensivo, ou extensivo. Um conceito intensivo apela aos atributos implicados pela idia que se deseja conceituar, busca absorver os princpios que permitem reconhecer que tal coisa cai dentro do conceito, ou no. Apela a propriedades e caractersticas que a coisa deve ter para pertencer categoria implicada pelo conceito. J um

conceito extensivo faz o arrolamento de coisas que caem dentro da categoria delimitada pelo conceito. Assim, pode-se tentar definir, um ou outro conceito, usando-se de suas propriedades, ou pode-se arrolar o que pertence ao conceito. Um problema da extensionalidade que em boa parte dos conceitos usados esse arrolamento no total, mas parcial. A lista arrolada exemplificativa, no taxativa. Normalmente, possvel inferir que h outras coisas semelhantes que no esto arroladas e que caem no conceito. O subtendido que h outras coisas semelhantes a serem consideradas dentro do conceito, e que no podem ser arroladas exaustivamente, demanda a construo de um conceito intensivo. A mera citao do ser semelhante j implica dificuldades considerveis que, normalmente, fogem ao senso comum. Para vislumbrar isto, basta considerar que o que semelhante no o idntico, pois tudo que semelhante traz algo que igual, ou comum, mas traz tambm algo que distinto. Elementar, pois, caso contrrio, no seria semelhante, mas idntico. Voltando ao nosso exemplo, podemos considerar como conceito extensivo de obra como sendo construo de edifcio, prdio, ou parte deles, muros, paredes e chamins, e, ainda, pontes, viadutos e monumentos. Sem adentrar nas dificuldades particulares trazidas por cada termo usado no conceito, sabendo que esse arrolamento no inclui tudo, como no inclui torres de alta tenso, por exemplo, ficamos tentados a dar uma definio intensiva de obra que indique as caractersticas que permitam avaliar se determinada coisa cai, ou no no conceito. Ento, um aliengena lgico poder dizer, por exemplo, que obras de construo civil possuem em comum o fato de, normalmente, concretizarem-se em estruturas tridimensionais por adio, agregadas ao solo, ou ao subsolo. Entretanto, um nativo lgico, conhecedor da amplitude a ser alcanada pelo conceito, observar que perfurao de poos, desmonte, escavao, estradas, ou tneis tambm deveriam estar arrolados no conceito extensivo. Para isto, basta inclu-los na relao. Entretanto, no estariam abrangidos pelo conceito intensivo, pois, possuem como caractersticas principais a subtrao, a no agregao, e tridimensionalidade pouco significativa. Teramos que incluir essas caractersticas na definio intensiva, pois essas atividades

assemelham-se a obra. Entretanto, o que mais as caracteriza so aspectos distintos da intenso das obras anteriormente arroladas, e no seu aspecto igual, ou comum. A tenso aflora... e por mais completa que seja a descrio intensional, poder haver uma instncia de obra que no se encaixe em tal descrio. Ento, qual o balanceamento adequado do igual, ou comum com o distinto para que determinada coisa caia no conceito? No balano, e na delicada negociao envolvida entre a

intensionalidade e a extensionalidade de um conceito, cabe ressaltar novas dificuldades intrnsecas. Sobre esse balanceamento, existe um princpio de aceitao geral que deve ser observado: quanto maior a intenso, menor a extenso. Isto , quanto mais caractersticas e propriedades tiver a intenso, menos coisas podero ser arroladas na extenso. Em outras palavras, mais restries ao conceito estaro sendo adicionadas. Elaborar um conceito bem equilibrado, atendendo a um determinado domnio e contexto, no tarefa fcil. Elucidando, alguns problemas so potencialmente discernveis: 1. uma intensionalidade poder abrigar diferentes extensionalidades, alm do que teria sido pretendido a princpio; 2. uma extensionalidade poder ser abrigada por diferentes

intensionalidades e 3. uma intensionalidade pode no abrigar toda a extensionalidade pretendida. Assim deparamo-nos com estes dois aspectos, o da extensionalidade, da referncia, e o da intensionalidade, da significao. Os maiores esforos, seja no campo intelectual, acadmico, seja no campo tcnico, envolvem a integrao desses dois aspectos, seja em uma mesma ontologia, seja em ontologias distintasxi em que se busca essa integrao para diversos fins. Notase, entretanto, que essa tenso entre o intensional e o extensional que se sustentam em perspectivas tericas em princpio inconciliveis, so geralmente conciliadas, bem ou mal, nas solues prticas. Nesses esforos, parece-nos

inevitvel a necessidade de se tomar em considerao esses aspectos meramente filosficos para ser fazer uma boa cincia, ou uma boa tcnica.

Indo do Alfa aos megas via universais, particulares e nominalismos. A dificuldade com o carter intensional e extensional do compromisso apenas um exemplo das implicaes filosficas como as advindas das noes de Quine. Uma coisa puxa a outra. O novelo se desenrola, emerge e se desvela... As coisas vislumbradas nos nveis da realidade, da linguagem, e do pensamento so escrutveis, mas resilientes. So passveis de investigao, mas resistem aos esforos e deformaes a que so submetidas. A busca pela compreenso exige de ns uma perscrustao cada vez mais ntima. Prosseguindo, em regresso investigatria deparar-nos-emos com categorias primordiais, suas interpretaes e representaes. De fato, como cientistas e construtores de ontologias, lanamo-nos busca da identificao e caracterizao das categorias e da estrutura de nosso domnio de interesse no mundo. Em ontologias fundamentais (foundational ontologies)xii, no sentido de ontologias que pretendem estabelecer fundaes, alicerces ao desenvolvimento de outras ontologias, em domnios de aplicao xiii, considerase o que a categoria primeira. No processo regressivo em busca do que seria essa categoria primeira, deparamo-nos com a questo da existncia e interpretao de universais e particulares que j se encontra em debate desde os primrdios da filosofia grega. Um universal : uma propriedade ou uma relao que pode ser exemplificada por um nmero de coisas particulares diferentes: cada coisa branca um exemplar ou uma espcime da propriedade brancura, e cada coisa quadrada um exemplar da propriedade de ser quadrado. As coisas abrangidas por um universal so assim semelhantes em alguns aspectos. (...) No platonismo, os universais existem independentemente das coisas (ante rem); j em Aristteles, os universais existem to somente nas coisas (in re), mas no independentemente delas. No conceitualismo, os universais refletem a propenso da mente para agrupar as coisas (post rem, ou abstrados

das coisas). Dicionrio Oxford de Filosofia, Jorge Zahar Editor, 1997, p. 394. J um particular uma coisa nica, algo que no pode ser exemplificado, mas que exemplifica vrios atributos. Seja o clebre exemplo: Todos os homens so mortais; Scrates mortal. Scrates um particular, pois uma exemplificao de homem, assim como Plato, etc. Homem um universal. Para os realistas de universais, os universais efetivamente existem, assim como os particulares que os instanciam. J para os nominalistas, universais constituem uma noo desnecessria, existem to somente particulares. Os particulares so tambm seres contingentes, ou seja, sua noexistncia seria possvel. Os existentes, esta mesa, esta cadeira, so os particulares concretos. Os no-existentes, e mesmo potencialmente existentes, o atual imperador do Brasil, so os abstratos. Alm disso, os particulares esto sujeitos a mudana, possuindo atributos diferentes e incompatveis em diferentes instantes do tempo. Por fim, ocupam uma nica posio determinada no tempo e no espao, e, geralmente, preenchem um volume do espao. Ao se falar de entidades (coisas e objetos) e estrutur-las em categorias (predicveis), esse falar tem que dar conta de alguns aspectos bsicos como o da concordncia de atributos (propriedades, ou qualidades), da prpria predicao, da referncia abstrata, da identidade e da inferncia que se faz a partir da predicao. As diferentes abordagens, seja no realismo de universais, seja no nominalismo, sustentam as vantagens de sua adoo e suas crticas no tratamento melhor e pior de cada uma dessas questes. Assim, ao estabelecermos nossa ontologia admitiremos a existncia de uma categoria primeira de universais? De particulares? Em outras palavras, nossa ontologia dever incluir entre suas categorias bsicas coisas que so comuns a diferentes objetos? Ou cada coisa uma coisa, e teremos uma ontologia composta apenas de particulares? Trataremos exemplificadasxiv? Um particular algo independente, soberano? Grupos de particulares so particulares? O todo a soma das partes? apenas do concreto, ou tambm do abstrato?

Consideraremos existentes as coisas sem serem instanciadas? Sem serem

Existem propriedades, relaes, eventos, substncias, proposies? Mesmo se forem iluses, sero consentidas pelas necessidades a serem supridas, sero admitidas pelos problemas a serem solucionados? Propriedades so universais? So particularesxv? Coisas e

propriedades existem no mundo real, ou apenas em nossa linguagem, em nossos esquemas conceituais? H uma verdade para o que pode ser proposicionado sobre coisas e propriedades distinta da verdade dos fatos? Haver uma ontologia de proposies (de dicto) distinta de uma ontologia de coisas (de re)? Um particular uma coleo de propriedades? Caso seja, esse particular define-se pela co-presena dessas propriedadesxvi, mas essa presena pode ser quantificada em nveis diferenciados para diferentes instanciaes de um mesmo particular? Haver uma cola ontolgica que unir essas propriedades para compor uma outra entidade? Essa cola ontolgica, por si, uma outra entidade, ou mero substrato despido de qualquer propriedadexvii? A resposta a cada uma dessas perguntas direciona a um compromisso primordial que, por sua vez, ir repercutir na atitude, na metodologia e na soluo a ser adotada demonstrando a ntima vinculao entre os pressupostos metafsicos e nossos esquemas de representao, de

formalizao e inferncias lgicas. Para ilustrar o impacto dessas consideraes, um exemplo prtico da importncia das implicaes filosficas a construo, comparao, organizao e avaliao de ontologias, podemos citar a ontologia DOLCE (Descriptive Ontology for Linguistic and Cognitive Engineering) que se apresenta como uma das ontologias elementares candidatas a ser ontologia padro universal, (MASOLO et al, 2003). Em linhas gerais, a ontologia DOLCE adota uma ontologia de particulares para conceituar entidades, refletindo as estruturas superficiais da linguagem e cognio atuando em nvel mesoscpicoxviii, isto , as coisas no so apreciadas em nvel micro, ou macro, mas em nvel intermedirio conforme se nos apresentam. Os universais aparecem, mas para organizar e caracterizar os particulares, no fazendo parte do discurso. Eles surgem como propriedades e estabelecem relaes entre particulares, mas no so eles

mesmos sujeitos a serem organizados e caracterizados (por exemplo, por meio de meta-propriedades). Os fundamentos e escolhas filosficas que direcionaram a construo da DOLCE so especificamente tratadas por Borgo e Masolo, 2009. Tomaremos deles um exemplo para ilustrar simultaneamente duas afirmaes desse nosso artigo. Primeiro, o exemplo serve para ilustrar o modo como a escolha dessas categorias primeiras afetam a forma de modelagem, na representao das entidades de uma ontologia, e permite vislumbrar como isso pode repercutir em sua axiomatizao e mecanismo de inferncias. Segundo, tambm ilustra como uma alternativa para atender uma demanda prtica pode conciliar concorrentes abordagens em filosofia. Observemos a seguinte figura apresentada por eles:

Figura 1. Figura de Borgo e Masolo, 2009, que ilustra escolhas fundamentais feitas em teorias sobre o tratamento de propriedades. A figura acima apresenta distintas categorias bsicas e formas de relao entre entidades consideradas. Considera uma abordagem baseada em universais, uma abordagem baseada em tropos, e uma abordagem hbrida. A teoria de tropos, uma forma de nominalismo bem mais recentexix, que apregoa que a existncia de particulares abstratos uma instncia de uma relao, ou propriedade (localizadas no espao e no tempo). Um tropo, como particular uma coisa nica. Exemplos de tropos podem ser a cor vermelha de um carro de bombeiros, a sua forma, o seu peso, a sua dureza, a sua altura etc. Tropos so usualmente compostos de tropos e podem ser objetos de percepo seletiva.

A partir da figura, os autores prope a considerao da expresso os indivduos a e b compartilham a propriedade F e do como exemplo meu carro e minha canetas so vermelhas que tambm pode ser dita como meu carro e minha caneta instanciam vermelho. O primeiro diagrama da figura mostra os particulares a e b instanciando um universal F, o vermelho para a e b o mesmo vermelho. A relao de instanciao a mesma. J no segundo diagrama, o vermelho de a e de b no o mesmo, pois, consideramos que a e b so tropos. O modo como a instancia F, distinto do modo como b instancia F. Na Figura 1, aF o tropo-F de a e bF tropo-F de b. Isto significa que (i) a relao inerente entre um tropo e seu portador satisfaz o princpio de no migrao, isto , tropos so inerentes a nico portador (a1), e que (ii) tropos so existencialmente dependente de seus portadores, isto , tropos no podem existir sem um portador (a2). Se ns lemos I(x,y) como x inerente a y e TROPO(t) como x um tropo, ento a1 a2 ( ) ( ( ) ) (( ))

Em vista disso, buscando-se uma mesma relao entre a, b e F, no podemos mais dizer de uma relao de instanciao comum (inst) a a e b, mas de pertencimento: o vermelho de a e o vermelho de b pertencem classe dos vermelhos F. F, enquanto classe, no um universal, pois, a e b so extenses de F, e no se pode garantir que a classe F submetida a unio, ou interseo com classes de distintas extenses, permanea um universal. Assim F tambm tropo, tropo formado por tropos, no caso, a e b. Outra relao entre tropos, alm da de pertencimento, a relao de semelhana ( ): a e b compartilham a propriedade F se e somente se aF bF.

Em resumo, teoria de tropos reduz propriedades a classes equivalentes de tropos semelhantes: F torna-se Entretanto, se admitimos seja do ponto de vista filosfico admitindo que universais correspondem a distines verdadeiramente ontolgicas no mundo seja do ponto de vista prtico, considerando-se que o uso de

universais permite-nos organizar as coisas do mundo com maior clareza e simplicidade, alm de propiciar-nos elegantes mecanismos lgicos de inferncia (pois, sem universais no h relao, e mesmo ontologias de tropos, a despeito de eliminarem todo o tipo de relao, no conseguem dispensar a relao de semelhana), poderemos adotar uma soluo hbrida conforme o proposto no terceiro diagrama da figura. Neste diagrama, as entidades

persistem, mas apenas em um nvel de relao de inerncia a que os tropos esto submetidos, e ficam subjacentes ontologia. J os tropos passam a instanciar o universal F. Tal a opo da ontologia DOLCE, assimilando as vantagens das teorias de tropos e da teoria de universais, de um lado, usam os tropos para definir os objetos, as coisas do mundo sem ter que recorrer a teorias de substrato; de outro, usam os universais para organiz-los. Os construtores da DOLCE explicitam a relevncia dada s noes investigadas pelos filsofos e sua relao com a perspectiva da engenharia. Ontologias fundamentais focam em conceitos muito gerais e bsicos (como os conceitos de objeto, evento, qualidade, papel (funo)) e relaes (como coeso, papel (funo), dependncia, parte-de), que no so especficas a domnios particulares, mas podem ser adequadamentente refinadas para se ajustar s requisies da aplicao. Estas noes tem sido largamente investigadas por filsofos e, mesmo atravs de ontologias fundamentais assumem uma modelagem e perspectiva de engenharia (longe do ponto de vista absolutista da maioria das teorias filosficas), baseiam-se nas consideraes filosficas para a construo, comparao, organizao, e avaliao das prprias ontologias. Borgo e Masolo, 2009, p.1. Compromissos mega Na mesma linha, manifesta-se o filsofo Luciano Floridi (1999) que possui reputado trabalho pioneiro na construo de uma filosofia da informao. Ele apresenta uma discusso sobre o que denomina de

compromissos- que trata dos compromissos envolvendo a escolha entre abordagens fundadas em distintas atitudes filosficas. Sua anlise deve ser tambm compreendida no contexto do que ele chama de construcionismo,

entendido como uma abordagem orientada a performance e no mimtica. A abordagem construcionista tpica a da Inteligncia Artificial (IA) Fraca que abandona as pretenses da IA Forte de reproduzir e mimetizar as capacidades cognitivas humanas em troca de uma flexibilizao maior que permita um alcance mais amplo de resultados, deixando de atuar em um campo estreito e auto-suficiente para abordar problemas decisivos da vida humana. Floridi chama de Ontologia- a ontologia que realiza a conceituao do domnioxx de modo a tornar o modelo uma estrutura de dados concretos aptos a ser processada. A ontologia- no passa de uma ontologia formal com um sufixo grego. Entretanto, o interessante que Floridi destaca que o compromisso ontolgico um compromisso procedural para com uma ontologia-, e deve ser distinguido de um compromisso de uma ontologia- com uma metodologia particular. Esse compromisso dessa ontologia- com uma metodologia particular envolve, por sua vez, distintos compromissos que ele nomeia como compromissos-. De acordo com ele, os compromissos- tm atrado menos ateno do que compromisso ontolgico, mas so de importncia comparvel. Eles podem ser organizados em cinco tipos envolvendo atitudes, ou abordagens que esto implcita, ou explicitamente envolvidas na construo de ontologias. Seus compromissos- so dos seguintes tipos: 1) Particularistas versus universalistas. Contrasta bibliotecas de ontologias especficas que so usualmente construdas por bottom-up, a partir de domnios particulares do discurso (por exemplo, a Ontolingua), com ontologias gerais, universalistas, construdas por top-down. (por exemplo, Cyc). Da perspectiva da IA Fraca, uma abordagem particularista preferida, por alcanar quase que aplicabilidade imediata, e, quando desenvolvida por uma metodologia flexvel, assegura a modularidade do empreendimento. Entretanto, desde que nveis especficos de abstrao podem variar dependendo de qual ontologia usada, e desde que, em termos de incluso em outra ontologia, quanto mais abstrata uma ontologia , mais ser reutilizvel em outros projetos, ser uma tentativa custosa desenvolver ontologias nucleares completas e coerentes por meio de uma combinao de

abordagens top-down e bottom-up, trabalhando em nveis que so mais altos que a abordagem particularista permite, e mais baixos do que a abordagem universalista, como no caso de ontologias cannicas referentes a campos tais como as do domnio em medicina e engenharia da computao. FLORIDI, 1999, p. 204. 2) Construcionismo platnico versus construcionismo nominalista. Floridi entende o construcionismo platnico como uma abordagem mais tolerante, por guiar a engenharia do conhecimento por demandas do mundo real, mas tambm permitir a incluso na ontologia de domnios no-fsicos. Numa ontologia platnica, a existncia se faz por uma representao esttica. Conseqentemente, isto permite uma

consistncia lgica interna (da entidade consigo mesma) e sua consistncia lgica em relao ao sistema, o que torna possvel a realizao de aes subseqentes. Essas consistncias lgicas tornamse o critrio fundamental para a admisso ontolgica de uma entidade. J em um construcionismo nominalista, a existncia a ser representada na ontologia parte da existncia que fisicamente experimentada por um sujeito, ou parte da existncia que se estabelece para fins de adequao algortmica, e que dinamicamente colocada em prova, novamente, por um sujeito. Filosoficamente, h uma faixa de subjetividade que estabelece os limites do que pode contar como sendo. H um critrio de admisso de entidades meramente no-

contraditrias, mas esse critrio ainda no se qualifica plenamente para ser adotado na construo de uma ontologia. A abordagem platnica, segundo Floridi, prefervel, por permitir uma ampla classe de bibliotecas ontolgicas. 3) Substncia versus funo. O terceiro tipo de compromisso o tipo de conceitualizao do domnio a ser adotado. Em princpio, uma conceitualizao pode tambm ser centrada na funo, mas na prtica usualmente centrada no objeto. Isto est em sintonia com o compromisso em favor de uma ontologia baseada em consistncia (item 2, acima) e influencia tanto a faixa de

ontologizaes possveis em (4) e o tipo de lgica adotada para seu projeto em (5). 4) Tipos de ontologia esttica versus dinmica. Domnio baseado em consistncia e conceituaes centradas no objeto tendem a gerar ontologias estticas, baseadas em estruturas de entidades, classes de entidades, relaes n-rias e funes. Processos dinmicos so deixados implcitos, traduzidos em relaes ou funes, ou freqentemente desconsiderados. 5) As muitas lgicas de uma ontologia formal. Qual lgica mais adequada para o projeto de uma ontologia e, conseqentemente, para representao do conhecimento? Ontologias parecem ser normalmente comprometidas lgica clssica de predicados de primeira ordem. Entretanto, lgica de segunda-ordem e lgicas no padro, ou desviadas (tais como lgica modal, lgicas multivaloradas e lgica fuzzy) devem ser tomadas em considerao no futuro, ao menos para necessidades de representao, se no para determinadas demandas inferenciais. Segundo Floridi, a notvel relutncia do uso de lgicas desviadas tem sido freqentemente abalizadas a partir de atitudes nominalistas, tais como a de Quine. Tambm afirma Floridi que, obviamente, h uma quantidade imensa de trabalho relevante que engenheiros filosoficamente aparelhados e filsofos matematicamente aparelhados podem fazer juntos nesse campo (FLORIDI, 1999, p. 207). Ao trabalhar em problemas similares, epistemologia e engenharia do conhecimento podem ser de assistncia mtua na construo de ontologias. Endurantes, ou perdurantes? Quem voc? - Perguntou a lagarta. No se pode dizer que esse foi um comeo de conversa muito animador. Alice respondeu, meio encabulada: - No estou bem certa, senhora... Quero dizer, nesse exato momento no sei quem sou... Quando acordei hoje

de manh, eu sabia quem eu era, mas acho que j mudei muitas vezes desde ento... Alice no Pas das Maravilhas. (Cap. V. O conselho de uma Lagarta) Uma outra questo de fundo filosfico absorvida pelas ontologias informacionais diz respeito ao carter mutante das entidades no tempo. Podemos pensar em entidades tais como eventos, fatos, processos, acontecimentos. Tais entidades, diferentes de particulares no possuem uma localizao nica no espao-tempo. Alm disso, um evento ou processo pode ser definido a partir da mudana da propriedade de um particular, ao passo que um particular no definido a partir de uma mudana de propriedade. Ento, que tratamento ser dado a eventos, fatos, processos, ou acontecimentos em nossa ontologia? Aqui temos que s questes do existir assomam-se as nuances do insistir, do persistir, ou do resistir (o re-existir que persevera em ser); do subsistir (que ainda no alcanou a existncia, almeja a existncia, ou j perdeu algo dela uma existncia que se esvai). Para complicar, essas nuances do existir no escapam aos paradoxos do devirxxi. As ontologias informacionais absorvem duas correntes filosficas que tratam desse tipo especial de entidades: a corrente dos endurantes, e a dos perdurantes. Os endurantistas consideram que todas as partes de uma determinada coisa esto presentes a todo o tempo, em qualquer tempo. Todas suas partes fluem ao logo do tempo. Podem genuinamente mudar no tempo: um endurante como um todo pode ter propriedades incompatveis em tempos diferentes, mas, a todo o tempo, ele o mesmo, ele mantm sua identidade. As coisas no possuem partes temporais, mas apenas partes espaciais. Se disser que uma coisa possui uma parte temporal, o mesmo que dizer que na verdade h outra coisa que no a mesma que existia em tempo distinto. Isto, pois todas suas partes so partes essenciais. Todas suas partes prprias esto presentes a todo momento. Para se referir a uma coisa sob a perspectiva endurantista, h a necessidade de se estabelecer uma relao de partio indexada ao tempo. J os perdurantistas, apregoam que as entidades se desdobram pelo tempo em partes temporais sucessivas ou fases. Alm de partes espaciais, h

partes temporais, mas somente algumas de suas partes prprias esto presentes ao longo do tempo. Para se referir a uma coisa sob a perspectiva perdurantista, h a necessidade de se referir tanto a sua parte espacial, quanto sua parte temporal. Para no ficarmos no abstrato, demonstremos que essas

consideraes alcanam problemas que existem de fato, por exemplo, mais uma vez, nas questes do Direito. Consideremos, por exemplo, as seguintes questes. Quando surge a vida, ou quando ela se extingue? Em que momento perdemos a lucidez, deixando de sermos responsveis por nossos atos, seja num surto psictico, numa embriagus, ou por senilidade? Em que momentos deixamos de sermos crianas e passamos a ter plena e real capacidade civil, a despeito do que se possa convencionar? Uma ontologia do Direito, certamente, ter que lidar com isso. Um exemplo elucidativo vem da Grcia mtica, prdiga em suscitar-nos situaes de grande riqueza reflexiva. Assim, recorramos a Teseu, mtico heri ateniense, num relato apresentado por Chisholm (1976). Imaginemos um navio o Navio de Teseu que era feito inteiramente de madeira quando ele veio a existir. Certo dia, uma tbua de madeira retirada e substituda por uma de alumnio. Como a mudana pequena, no h dvida sobre a sobrevivncia do Navio de Teseu. Ainda temos o navio que tnhamos antes, em outras palavras, o navio que temos agora idntico ao navio que tnhamos antes. Noutro dia, outra tbua de madeira retirada e tambm substituda por uma de alumnio. Ainda o mesmo navio, j que, como antes, a mudana foi pequena. As mudanas continuam de maneira semelhante, entretanto, e finalmente o Navio de Teseu fica todo feito de alumnio. O navio de alumnio, pode-se argumentar, o navio de madeira que tnhamos no incio, pois o navio inicial sobreviveu a cada mudana em particular, e a identidade, afinal, transitiva. Mas o que aconteceu com as tbuas de madeira descartadas? Considere esta possibilidade, sugerida por Thomas Hobbes: Se algum homem tivesse guardado as velhas tbuas, medida que elas foram sendo retiradas e, ao posteriormente coloc-las juntas, na mesma ordem tivesse novamente feito delas um navio, isso, sem dvida,

tambm seria o mesmo navio numrico que tnhamos no incio; ento haveria dois navios numericamentexxii os mesmos, o que absurdoxxiii. Supondo, como talvez no se tenha o direito de fazer, que cada uma das tbuas de madeira sobreviveu intacta ao longo dessas mudanas, pode-se bem argumentar que o navio de madeira novamente montado o navio com o qual comeamos. Afinal de contas, ele feito das mesmssimas partes, colocados nas mesmssimas relaes, enquanto que aquele objeto feito de alumnio no tem uma nica parte em comum com o nosso navio original. Dando seqncia reflexo, num domnio de meu interesse, imagino a situao em que o Navio de Teseu foi acobertado por seguro para o caso de naufrgio. Numa tragdia inadvertida, os dois navios se chocam, o de alumnio e o de madeira, e ambos naufragam. Qual deles merecedor do prmio do seguro? A questo: o que permite a sobrevivncia da identidade de uma entidade a uma mudana tambm est vinculada relevante questo do Direito da atribuio justa de responsabilidade pelas aes do passado. Um exemplo dado por Earl Conee e Theodore Sider (CONEE e SIDER, 2010) esclarece bem a situao. No caso, um homem acusado de assassinato se defende... Admito que o assassino destro, como eu, que tem as mesmas impresses digitais que as minhas e que no usa barba nem bigode, como eu. At se parece exatamente comigo nas fotografias da cmara de vigilncia apresentadas pela defesa. No, no tenho um irmo gmeo. Na verdade, admito lembrar-me de ter cometido o homicdio! Mas eu e o homicida no somos a mesma pessoa, uma vez que sofri mudanas. A banda de rock preferida dessa pessoa eram os Led Zeppelin; agora prefiro Todd Rundgren. Essa pessoa tinha apndice, mas eu no; o meu foi removido na semana passada. Essa pessoa tinha de vinte e cinco anos de idade; eu tenho trinta. Eu e esse assassino de h cinco anos no somos a mesma pessoa. Portanto, no podem punir-me, pois ningum culpado de um crime cometido por outra pessoa.

Pode parecer absurdo, certamente nenhum tribunal aceitaria tal argumento. Mas, de outro lado, a justia brasileira, por exemplo, no reconhece a identidade pessoal em um crime cometido por um ru com 20 anos de idade, quando ele tinha 15 anos, onze meses e trinta dias, Para o Direito Brasileiro, tal crime no foi cometido pela mesma pessoa. Um, o ru, seria juridicamente capaz de responder por seus atos, mas o criminoso, o outro, no. Ontologicamente falando, no h identidade pessoal entre um e outro, nesse caso, Voltando teoria, mesmo em filosofia, a atitude mutuamente exclusiva entre endurantistas e perdurantistas flexibilizada. H quem considere que distintas coisas so tratadas de modo melhor conforme uma, ou outra corrente e propem abordagens mistas (CITAR VERBETE DA STANFORD Temporal Parts). Se isso j ocorre no plano terico, certamente, as ontologias informacionais tambm no renunciariam a nenhuma dessas abordagens, e elas passam a conviver na construo tanto das ontologias fundamentais, quanto nas ontologias materias, de aplicao. Tal o que ocorre na ontologia fundamental DOLCE que j no primeiro nvel de categorizao considera a existncia de entidades Abstratas (AB), Endurantes (ED) e Perdurantes (PD), MASOLO. Tambm o que ocorre nas ontologias diretamente afigurativas (directly depicting ontologies - DDO) propostas por Bittner, Donnetly e Smith, 2008. Na construo de ontologias materiais, esses autores propem dois tipos de ontologias com perspectivas complementares: as ontologias SNAP (snapshot) que tratam de entidades endurantes tais como organismos, recursos geogrficos ou qualidades medida em que eles existam em algum dado momento do tempo; e as ontologias SPAN que tratam entidades perdurantes tais como processos e suas partes e agregados medida em que eles se desdobram atravs de algum intervalo de tempo.

Filosofia analtica versus fenomenologia? O quadro abaixo, Figura 2, foi proposto por alguns dos mais eminentes autores na rea de ontologias informacionais, comprova, mais uma vez, a ntima vinculao entre distintas perspectivas em ontologias informacionais e distintas perspectivas filosficas. Poli, Cocchiarella, Johansson e Barry Smith, apresentam um quadro de ontologistas composto quase inteiramente de destacados filsofos que atuaram nos sculos XIX e XX e traam faixas e linhas de vinculao entre abordagens filosficas.

Figura 1. Quadro de ontologistas

(Em <http://www.formalontology.it/essays/table-ontologists.pdf>, acessado em 15-09-2009).

Trs grandes faixas podem ser identificadas. Uma vinculada lgica tradicional, incluindo a fenomenologia e ontologias formais que, em vista dos trabalhos de Barry Smith e aceitao da mereologia e mereotopologia, uma das mais influentes em ontologias informacionais. Uma outra corrente, a da faixa central, vinculada semiologia e lgica de Charles Sander Pierce e Alfred North Whitehead, que engloba a rea

de Inteligncia Artificial (IA), cujo mais eminente representante em ontologias informacionais o autor John Sowa. Por fim, a corrente vinculada lgica simblica, com forte conotao semntica e analtica dos contedos conceituais dos enunciados, iniciada em Frege e que passa por Russell, Wittgenstein, pelo Crculo de Viena e engloba toda a Filosofia Analtica do Sc. XX, e inclumos a, ainda, a Teoria Semntica de Verdade de Tarski. Essa corrente inspira o desenvolvimentos de inmeros trabalhos em ontologias informacionais aludindo a Teorias da Referncia, Teorias do Significado e Teorias do Conceito. Uma mera anlise da Figura 2 j deixa claro que o relacionamento dessas trs correntes principais imbricado e complexo. A leitura de seus mais relevantes autores em ontologias informacionais revela que existem solues e desenvolvimentos tericos mistos e complementares, assim como

antagonismos explcitos. A oposio entre fenomenologia e filosofia analtica mostra-se crucial para a CI, pois, fundam mtodos de anlise distintos. A grosso modo, a fenomenologia parte do estudo do fenmeno, buscando a essncia das coisas, dos objetos em si mesmos, conforme se apresentam ao sujeito e sua intencionalidade. J a filosofia analtica busca a essncia das coisas a partir do que dito sobre elas, funda-se na linguagem como forma de reificao (a linguagem torna as coisas reais, configura a realidade) e seu mtodo analtico toma em considerao os aspectos semnticos como fundamento e guia. Barry Smith apresenta-se como uma interessante persona variante do campo. Ele toma como referencial bsico um recorte da fenomenologia de Edmund Husserl para dar suporte ao desenvolvimento de sua mereologia (quantas e que tipos de partes, etc.) e de sua mereotopologia (que partes se conectam, quais so adjacentes, etc.) em ontologias formais. Smith parte das Terceiras Investigaes Lgicas, onde Husserl trata Sobre a Teoria dos Todos e Das Partes, e das Quartas Investigaes Lgicas, onde Husserl amplia esta anlise levando-a uma teoria da significao. Os alicerces de seu trabalho so as noes de momento e fragmento, introduzidos nas Terceiras Investigaes. Desses pilares ele se lana ao desenvolvimento de um trabalho extremamente relevante, extenso e multifacetado em ontologias informacionais. Mas tambm desses pilares ele se lana com furor fundamentalista contra a

amplamente difundida filosofia analtica, ou o que possa contrariar, ou ameaar uma prevalncia dessa posteridade husserliana. No artigo Against Fantology, 2005, Smith elenca crticas s abordagens feita com base na fa, as funes de predicado da lgica simblica, e levam o leitor a crer que as funes da predicados geram as fantologies, ou, quem sabe, quisera dizer as phanton ontologies, ontologias fantasmas, ou fantoches, que possuem forma, mas so desprovidas de substncia. O grande problema de Smith, a despeito da relevncia de suas contribuies, que nos parece pouco plausvel que lgicos e ontologistas de qualquer orientao iro abrir mo das monumentais conquistas realizadas por Frege, Russell, ou Tarski. Em alguns momentos, ele mesmo ir que flexibilizar seus fundamentos para tratar de problemas especficos. Um exemplo disso seu artigo Endurants and perdurants in directly depicting ontologies, XXXX onde Smith colaborando com Bittner e Donnely adotam a Teoria Projetiva de Wittgenstein para o desenvolvimento de ontologias diretamente afigurativas. Nesse caso, ele adota explicitamente uma soluo nascida no terreno da filosofia analtica, introduzida no Tractatus Logico-philosophicus, em vista de uma demanda prtica. Outro exemplo envolvem as peculiaridades e dificuldades de sua busca do tratamento do fenmeno da vaguidade atravs de uma lgica supervalorativa (supervaluationist), baseada em uma noo de superverdade. De um lado, ele se utiliza de uma anlise semntica, onde o de dicto (a anlise da linguagem) sobrepe o de re (a analise direta das coisas); de outro, a noo de super-verdade contraria aspectos da noo de verdade em linguagens formais estabelecida por Tarski. No toa, agrada-nos muito a proposio de Manjudar e Sowa, XXXX: dois paradigmas so melhores do que um, e mltiplos paradigmas so ainda melhores Como vimos at aqui, importantes questes prticas sustentam-se nas questes mais finas da pura metafsica, e os trabalhos no mbito da cincia da informao e da computao no ficam alheios a esse debate. momento, assumimos compromissos com determinadas A todo o solues,

metodologias, mtodos, tcnicas e ferramentas que, independente de termos conscincia, ou no, fundamentam-se em determinados pressupostos lgico-

filosficos que podero ser explicitados, ou manterem-se implcitos, e muitas vezes no reconhecveis. Compromissos de outras naturezas. Se at o momento, explicitamos os vnculos e as implicaes da filosofia nos fundamentos e nas solues adotadas em ontologias

informacionais, agora cabe ressaltar que no mbito dessas ontologias h compromissos tambm de natureza diversa, mas inevitveis para o profissional que trabalha na escolha de solues, especificaes e desenvolvimentos dessas ontologias. Inicialmente, cabe ressaltar que muitos problemas em cincia da informao e da computao tero que ser resolvidos a despeito do fato que o conhecimento terico envolvido em sua soluo ainda ser objeto de controvrsias no resolvidas ou, mesmo, aparentemente incontornveis. De fato, no incomum as construes tericas apresentarem-nos tantos caminhos, solues, interpretaes e imbricaes contrastantes, ou opostas que, em seu exame, na perspectiva da busca de uma verdade absoluta, estaremos plenamente convencidos de que a definio ou a soluo que buscamos na filosofia no mais do que no , ou que tanto como no , ou que nem e nem no xxiv. Assim, j advertia-nos John Sowa: Embora o mundo seja bem maior do que qualquer ser humano possa compreender, ou qualquer computador possa computar, o conjunto de todas as teorias e modelos possveis ainda maior. O universo inteiro contem um nmero finito de tomos, mas o nmero de todas as teorias possveis contavelmente infinita, e o nmero de modelos possveis incontavelmente infinita. A ltima tarefa da cincia buscar a vasta infinidade na esperana de encontrar uma teoria que d as melhores respostas para todas as questes possveis. Ainda que a busca seja em vo. Talvez nenhuma teoria nica seja a melhor para todas as questes; mesmo se ocorrer que uma teoria seja a melhor, no h qualquer garantia que ela seja encontrada; e mesmo se algum encontr-la, no haver nenhum modo de provar que ela a melhor. (SOWA, 2000). Traduo nossa.

Enfim, o mundo e a realidade nos excede, e diante da ausncia de suportes conclusivos no plano terico, corremos o risco de encontrarmo-nos perplexos, atnitos e inertes. Deparamo-nos com freqncia com noes e argumentos igualmente crveis, lgicos e coerentes que chegam a teses diametralmente opostas. De um lado a considerao de aspectos filosficos prov-nos de insights, discernimento, esclarecimento, ampliao de nossa viso, permite-nos estabelecer conexes ou, ao menos, ter uma compreenso maior e crtica dos fundamentos e escolhas envolvidas. Entretanto, de outro lado, levada s ltimas conseqncias conduzir-nos-ia ao risco da uma completa paralisia. Entretanto, no plano das cincias aplicadas, onde justamente se situam a Cincia da Informao e da Computao, tal paralisia inaceitvel, e nossos comprometimentos e critrios so de diversa natureza. Se em filosofia se busca a verdade absoluta, talvez inatingvel, em cincias aplicadas buscam-se solues teis e otimizadas. Partindo do reconhecimento do problema, o procedimento

caracterstico na soluo deste problema passa pelo reconhecimento da necessidade econmica; a formulao do problema; a quebra do problema em distintas noes que sugeriro uma soluo; a busca de elementos para a soluo; a sntese da soluo e a simplificao e otimizao da soluo, muitas vezes atravs de processos iterativos e evolutivos. Os critrios para essa soluo constroem-se sob outras perspectivas: segurana, confiabilidade, economia a longo prazo, economia de trabalho e recursos de modo geral, praticidade na facilidade no projeto, desenvolvimento, instalao, operao, e manuteno da melhor forma possvel. Na maioria dos casos, esses critrios no podem ser satisfeitos ao mesmo tempo. H de se ter um COMPROMISSO da soluo final em cincias aplicadas que leva em considerao a prioridade de diferentes critrios. A escala de prioridades definida em funo dos objetivos e do contexto definidos ao nvel do projeto. Assim contrastando os responsveis pelas construes de solues em cincias aplicadas, o mesmo John Sowa comenta em seqncia: Engenheiros tem um objetivo mais modesto. Ao invs de buscar pela melhor teoria possvel para todos problemas, eles se satisfazem um uma teoria que

boa o bastante para o problema especfico em mos. Quando eles esto lidando com um novo problema, eles buscam por uma nova teoria que possa resolv-lo em uma aproximao aceitvel dentro das restries das ferramentas disponveis, limitaes no oramento e prazos limites. Embora, ningum jamais encontrou uma teoria que pode resolver todos os problemas, pessoas de todos os lugares tem sido bem sucedidas em encontrar teorias mais, ou menos adequadas que possam lidar com os problemas com que deparamos na vida diria. medida em que a cincia progride, as tcnicas de engenharia avanam com ela, mas os engenheiros no tem que esperar por uma teoria perfeita para que eles possam fazer o seu trabalho. (SOWA, 2000). Negritos e traduo nossos. Concluso Nesse artigo partimos da natureza da Cincia da Informao como cincia aplicada e cincia multi e interdisciplinar e tratamos do aporte filosfico para a rea de ontologias informacionais, desenvolvida a partir de, dentre outras noes, do compromisso ontolgico. Na discusso do compromisso ontolgico, revela-se a aguda importncia da considerao dos aspectos filosficos que, normalmente, so negligenciados em reas extremamente compromissadas com solues eminentemente prticas. De fato, as cincias de teoria pura, mesmo se predominantemente especulativas, prov-nos de insights, discernimento, esclarecimento,

ampliao de nossa viso, permitindo-nos a proposio de solues originais, o estabelecimento de conexes ou, ao menos, de uma compreenso maior e crtica dos fundamentos e escolhas envolvidas nessas solues prticas. Nisto fundamenta-se nossa crena de que a cincia brasileira apenas atingir os nveis praticados nos centros de excelncia do exterior quando alcanar o domnio pleno dos fundamentos tericos daquela cincia, e no apenas o exerccio tcnico que ela propicia. Entretanto, no plano das cincias aplicadas, onde justamente se situam a Cincia da Informao e da Computao, o exerccio terico e o exerccio prtico vivem sob tenso, pois, se em filosofia se busca a verdade absoluta,

talvez inatingvel, em cincias aplicadas buscam-se solues teis e otimizadas. Assim, se a prtica no pode prescindir da reflexo terica para que se faa uma cincia e uma tcnica de primeira linha, esse aporte terico ter que se deparar com as vicissitudes da prxis que lhe colocaro em xeque a consistncia e coerncia. Essa tenso ir produzir, por vezes, solues teoricamente hbridas, pegando daqui e dali elementos de correntes tericas antagnicas, como nos exemplos apresentados da intensionalidade e da extensionalidade, dos universais e dos particulares, dos perdurantes e dos endurantes. e de uma abordagem fundamentalmente semntica (filosofia analtica) em contraste com uma abordagem baseada na fenomenologia. Longe disto reforar um pragmatismo cientfico que estabelece que o mtodo capaz de determinar a verdadeira teoria determinado pelo que funciona na prtica. Pelo contrrio, nossa exposio leva a estabelecer que, muitas vezes, para apresentar solues prticas funcionais, exigida a conciliao e harmonizao de teorias, em teoria, incompatveis.

Referncias Bibliogrficas AKINCI, Semiha. Ontological Commitment. Philosophy, Istambul, 10-17 de agosto, 2003. 21 World Congress of

BITTNER, Thomas; DONNELLY, Maureen e SMITH, Barry. Endurants and perdurants in directly depicting ontologies. AI Communications, v. 17, Issue 4, October, pp. 247-258, 2004. BITTNER, Thomas; DONNELLY, Maureen e SMITH, Barry. Individuals, universals, collections: On the foundational relations of ontology. In Proceedings of the International Conference on Formal Ontology in Information Systems, FOIS04, 2004. CARTWRIGHT, Richard L. Ontology and the Theory of Meaning, Philosophy of Science 21:316-325. Reprinted in Philosophical Essays. Cambridge, Mass.: MIT, 1987, pp. 1-12. CHATEAUBRIAND, Oswaldo. Quine and ontology, Principia 7 (1-2), Florianpolis, June/December, 2003, pp. 41-47. CHISHOLM, Roderick M. (1976). Identity through Time, in Person and Object A Metaphysical Study, George Allen & Unwin, Londres, cap. 3. Traduo de Osvaldo Pessoa Jr. So Paulo, 2006. Disponvel em: http://www.fflch.usp.br/df/opessoa/Chisholm-3.pdf, acessado em 01-03-2010.

CONEE, Earl e SIDER, Theodore. Enigmas da Existncia Uma visita guiada metafsica. Editora Bizncio. DELEUZE, Gilles (1069). Lgica do Sentido. Perspectiva, 4 edio, 2007. FLORIDI, Luciano. Philosophy and computing an introduction. Routledge, 1999, pp. 203-207. LOUX, Michael J. Metaphysics a contemporary introduction. Routledge, Third edition, 2002. MAJUNDAR, Arun K. e SOWA, John. Two Paradigms Are Better Than One, And Multiple Paradigms Are Even Better. Proceedings of ICCS, 2009. Rudolph, S. e Dau, F (ed.), LNAI 5662, Springer, PP. 32047, 2006. Tambm disponvel em < http://www.jfsowa.com/pubs/paradigm.pdf>, acesso em 01-082010. MASOLO, Claudio; Borgo, Stefano; Gangemi, Aldo; Guarino, Nicola Guarino; Oltramari, Alessandro; Schneider, Luc. WonderWeb Deliverable D17. The WonderWeb Library of Foundational Ontologies. Preliminary Report. Disponvel na Internet em: <http://wonderweb.semanticweb.org/deliverables/D17.shtml>. Acessado em 0104-2008. MELLO, R. S. et al. Dados Semi-Estruturados. In: SIMPSIO BRASILEIRO DE BANCO DE DADOS, SBBD, 2000, Anais. Joo Pessoa, 2000. MORA, J. Ferrater. Compromisso Ontolgico. Dicionrio de Filosofia, Edies Loyola, 2 edio, 2004, p. 512. MOREIRA, Alexandra; ALVARENGA, Ldia e OLIVEIRA, Alcione de Paiva. O nvel do conhecimento e os instrumentos de representao: tesauros e ontologias. DataGramaZero - Revista de Cincia da Informao - v.5 n.6, dez/04. Disponvel na Web em: http://www.datagramazero.org.br/dez04/Art_01.htm. Acessado em 15-09-2009. NICHOLAS, Nick. Quine e o Compromisso Ontolgico Texto original em <http://home.pacbell.net/nicnic/quine.html>. KRAUSE, Dcio (Trad.) <http://www.cfh.ufsc.br/~dkrause/QuineOntol.doc>, 2002. PRASTACOS, Poulicos e TOMAI, Eleni. A Frameworkk for Intensional and Extensional Integration of Geographic Ontologies. 9th AGILE Conference on Geographic Information Science, Visegrd, Hungary, 2006, pp. 220-227. QUINE, Willard Van Orman. Sobre o que h. Coleo Os Pensadores. 2 ed. So. Paulo: Abril Cultural, 1980 Ontology and Ideology Revisited. The Journal of Philosophy, Vol. LXXX, n 9, pp. 499-502, 1983. From a Logical Point of View, Cambridge, Harvard University Press, 1961.

 Two Dogmas in Retrospect. Canadian Journal of Philosophy, Calgary, v. 21, p. 265-274, 1991. Relatividade Ontolgica. Coleo Os Pensadores. 2 ed. So. Paulo: Abril Cultural, 1980. RUSSELL, Bertrand. On Denoting. Mind, v. 14, PP. 479-493, 1905. Knowledge by acquaintance and knowledge by descriptions. The Problems of Philosophy, Chap. V, p. 54-56, 1912 SACCOL, Deise de Brum. Materializas de Vises XML. Porto Alegre, Dissertao de Mestrado, PPGC da UFRGS, 2001. SORENSEN, Roy. A Brief History of the Paradox Philosophy and the Labyrinths of The Mind. Oxford, 2003, 394 p. SOWA, John. Processes and Causality. 2000. Disponvel na Web em: http://www.jfsowa.com/ontology/causal.htm. Acessado em 15-09-2009.
i

Usamos a expresso ontologias informacionais apenas para situar o domnio das ontologias nas reas que a estudam sob o ponto de vista da informao e da computao, em contraste, com sua situao na Filosofia. Luciano Floridi usa essa expresso para falar de ontologias que buscam expressar que a natureza ltima da realidade estrutural, em oposio ao que ele define como ontologias digitais, onde a natureza ltima da realidade digital e o universo visto como um sistema computacional equivalente uma Mquina de Turing. Vide: 1. Floridi, Luciano.Against Digital Ontology.Synthese, 168.1, 2009, pp. 151-178 e 2. Florid, Luciano. A Defence of Informational Structural Realism, IEG Research Report 05.09.05, digital editing by G. M. Greco, Information Ethics Group, Oxford University University of Bari, http://web.comlab.ox.ac.uk/oucl/research/areas/ieg. ii Traduzido a partir de CARROLL, Lewis. Alices Adventures In Wonderland And Through The Looking-Glass. Worlds Classics. Oxford University Press, pp. 198-199, 1971. Lewis Carrol, amplamente conhecido pelas estrias infantis de Alice, alm de escritor, era matemtico. Suas estrias esto repletas de jogos de linguagem, questes lgicas, charadas e paradoxos, o que tornam as situaes e personagens encontrados em seus livros muito adequados para introduzir questes de natureza lgica, semntica e, mesmo, psicolgica. Vide, por exemplo: DONNELLAN, Keith S. Putting Humpty Dumpty Together Again. The Philosophical Review, Vol. 77, N 2 (Apr., 1968), pp. 203-215. DONNELLAN, Keith S. Reference and Definite Descriptions, The Philosophical Review, Vol. 75, 1966, pp. 281-304. MACKAY, Alfred FR. Mr. Donnellan and Humpty Dumpty on Referring. The Philosophical Review, Vol. 77, N 2 (Apr., 1968), pp. 197-202. As aventuras de Alice, do ponto de vista ontolgico, podem ser lidas como as aventuras da entidade Alice em confronto e interlocuo com inmeras outras entidades, postas sob distintas perspectivas ontolgicas, em domnio diversos, que levam Alice se defrontar com sua prpria identidade e propriedades. iii Conforme Oswaldo Chateaubriand (Chateaubriand, 2003), p. 43, 4, o compromisso ontolgico, assim como outros temas recorrentes em Quine (reduo ontolgica e critrio de identidade) aparecem em seus escritos desde suas obras iniciais, at o mais famoso artigo: On What There is, (Trad.: O que h?), (Quine, 1948). Quine, W. V. Ontological Remarks on the Propositional Calculus Mind 43: 472-476. Reprinted in The Ways of Paradox, pp. 265-271. 1934. A Logistical Approach to the Ontological Problem, Journal of Unified Science 9:84-89. Reprinted in The Ways of Paradox, pp. 265-271. Designation and Existence; The Journal of Philosophy 36:701-709. Reprinted in Feigl, H. and Sellars, W. (eds.), Readings in Philosophical Analysis. New York: Appleton, 1949, pp. 44-51.

QUINE, Willard Van Orman. On What There Is. The Review of Metaphysics 2:2138. Reprinted with additions in From a Logical Point of View, pp. 1-19, 1948. iv Uma varivel acompanhada por um quantificador. v Quantificadores, inveno de Frege, considerada uma das maiores invenes intelectuais do sculo XIX. vi Criada por Frege. vii Considerando esses aspectos do critrio ontolgico de Quine, ele pode ser expresso de modo mais esclarecedor como em Newton da Costa, reformulando o dito de Quine: Ser ser o valor de uma varivel, de uma dada linguagem e com uma dada lgica subjacente. DA COSTA, Newton C. A. Logic and ontology, Principia 6 (2), 2002, 279-298. Ou, ainda, em Ferrater Mora (Mora, 2004, p. 512), que apresenta um critrio conceitual de compromisso ontolgico: H compromisso ontolgico quando se conceitualiza a realidade de tal modo que se aceitam domnios de realidades no mbito dos quais se afirma que h estas ou aquelas entidades. A conceitualizao em questo no o estabelecimento de um esquema a priori: o desenvolvimento de uma ontologia estreitamente ligada ao estado do conhecimento na poca em que se desenvolve (estado do conhecimento sobre o qual, evidentemente, cabem disputas). Um aspecto fundamental no estado desse conhecimento o das cincias. Uma vez feitas as correspondentes propostas ontolgicas, o critrio de Quine pode servir para dar-lhes uma expresso lgica. viii Vide: Quine. W. V. Confessions of a Confirmed Extensionalist and Other Essays. Follesdal, Dagfinn e Quine, Douglas B, (Ed.) Harvard University Press, 2008. ix A classe de objetos a que uma expresso se refere. x O que se deve conhecer a fim de determinar a referncia de uma expresso. xi Dentre elas a inter e a intraoperabilidade semntica de sistemas distribudos heterogneos. A Problemtica da Compatibilizao Terminolgica e a Integrao de Ontologias: O Papel das Definies Conceituais (CAMPOS, Maria Luiza de Almeida). In: Encontro Nacional de Pesquisa em Cincia da Informao, 6, 28-30 nov. 2005, Florianpolis. Anais do VI ENANCIB. Florianpolis: Universidade Federal de Santa Catarina, 2005. 9. xii Borgo e Masolo, 2009, p. 1, uns dos proponentes da ontologia fundamental DOLCE descrevem ontologias fundamentais como sendo aquelas que (i) possuem um amplo escopo; (ii) podem ser altamente reutilizveis em diferentes cenrios de modelagem; (iii) so filosoficamente e conceitualmente bem fundamentadas, e (iv) so semanticamente transparentes e, portanto, ricamente axiomatizadas. xiii Normalmente, chamadas ontologias materiais. xiv No realismo de universais de Aristteles, ao contrrio do de Plato, no pode haver propriedades no exemplificveis (nenhuma propriedade que no possuda por objetos). Uma dada propriedade x, possuda por um particular objeto, y, poderia ainda existir, mesmo se y no existir, mas somente em funo de algum outro objeto possuir x. xv Diz-se que um particular nunca predicado de alguma coisa, ao passo que propriedades predicam e podem ser predicadas. Particulares tm critrios de identidade, mas propriedades no: no se pode distinguir este vermelho carmim de outro vermelho carmim. Para propriedades, indistinguibilidade implica identidade. alguma coisa pode ser uma instncia de muitas propriedades, enquanto que uma propriedade pode ser inerente a muitas instncias. xvi Teoria do Feixe: um particular concreto seria nada mais do que um feixe, um aglomerado, uma coleo de atributos obtidos empiricamente atravs da percepo ou introspeco. A cola ontolgica que congrega os diferentes elementos de um feixe seria uma relao de copresena, ou co-localizao que seria no-analisvel, ou ontologicamente primitiva. A Teoria do Feixe foi desenvolvida inicialmente por Hume. Extrado de resumo do Prof. Osvaldo P. Jr., a partir de Loux, 2002, op. cit. xvii Teoria do Substrato: um substrato seria o possuidor literal dos atributos de um objeto familiar, mas em si ele seria despido de atributos. A Teoria do Substrato foi desenvolvida inicialmente por Locke. Extrado de resumo do Prof. Osvaldo P. Jr., a partir de Loux, 2002, op. cit. xviii Citado em (MASOLO, 2003). SMITH, B. Formal Ontology, Commonsense and Cognitive Science. International Journal of Human Computer Studies, 43 (5/6):626-640. Mesoscpio, isto , nem micro e nem macroscpio. um nvel mdio de apreciao, visualizao, ou percepo. Por exemplo, podemos considerar um corpo humano abstraindo a informao que ele constitudo por rgos, ou clulas, ou molculas. Assim como, no nvel

mesoscpio, podemos considerar uma Caravela Portuguesa, um tipo de gua-viva, como um nico ser/corpo. Ao invs de observarmos, em nvel microscpio, que, na verdade, ela constituda por vrios organismos, onde o flutuador um indivduo meduside, mas seus tentculos uma colnia constituda por indivduos polipides, GOULD, S. J. Um paradoxo muito engenhoso. In O sorriso do Flamingo Reflexes sobre histria natural, Cap. 5. Martins Fontes, 2 edio, 2004. xix O trabalho originador da ontologia dos tropos creditado a D. C. Williams em seu artigo The Elements of Being. Review of Metaphysics, vol. 4, pp. 2-18 e 171-92, 1953. xx Chamado por ele de mundo possvel, em sintonia com as discusses contemporneas sobre ontologias e lgicas de mundos possveis, noo que vem de Leibniz xxi Magistralmente expostos em Deleuze (2007, 1969). DELEUZE, Gilles (1969). Lgica do Sentido. Perspectiva, 4 edio, 2007 xxii Faz-se distino entre identidade numrica, similaridade exata e identidade qualitativa. A identidade numrica d-se quando no h propriamente duas entidades, mas uma nica que eventualmente recebe mais de um nome. A relao de identidade numrica uma relao de equivalncia, simtrica, reflexiva e transitiva. H o Princpio dos Indiscernveis (Leibniz): duas entidades no podem compartilhar todas as suas qualidades e serem numericamente diferentes. No entanto, s vezes os filsofos tm proposto critrios de identidade que no respeitam todas estas propriedades. J duas entidades so qualitativamente idnticas quando so exatamente similares, isto compartilham todas suas qualidades. Intuitivamente, uma propriedade qualitativa uma propriedade intrnseca aos objetos, que pode ser instanciada por mais de um objeto e que no envolve uma relao com nenhum outro objeto particular. Por exemplo, a propriedade de ser branco. No entanto, no toda a propriedade qualitativa no relacional, porque algumas propriedades relacionais no implicam uma relao com um objeto particular. Por exemplo, a propriedade de estar sobre uma mesa qualquer. xxiii Thomas Hobbes. De Corpore, cap. 11 (Sobre identidade e diferena), seo 7. xxiv Esse o quadrilema de Pirro, conforme nos foi apresentado por Sexto Emprico. Pirro, filsofo grego, associado a um ceticismo radical, foi soldado nos exrcitos de Alexandre Magno que percorreram a sia e, por fim, chegaram ndia. Em funo de seu em contato com o pensamento dos gimno-sofistas e influenciado por eles, Pirro teria concebido esse quadrilema. Na verdade esses lemas j podiam ser encontrados, mesmo que de modo esparso, na tradio filosfica ocidental como em Herclito (tanto como no ), Plato (no mais que no ) e Demcrito (nem , nem no ).