The aim of the present volume is to draw the balance of naturalism's success so far.

ABOUT WEAK AND STRONG EMPIRICAL NECCESSITY. CATEGORICAL, DISPOSITIONAL PROPERTIES AND LAWS OF NATURE Pohľady na empirickú nevyhnutnosť možno rozdeliť do dvoch skupín: teórie slabej nevyhnutnosti a teórie silnej nevyhnutnosti. Do prvej teórie patria koncepcie, ktoré uvažujú svet zložený z pasívnych vlastností, akými sú kategorické vlastnosti. Za zmeny vo svete sú zodpovedné zákony prírody, ktoré sa od možného sveta k svetu líšia, a preto aj prejavy týchto vlastností sú odlišné. Druhú teóriu, teóriu silnej nevyhnutnosti, zastávajú filozofi, ktorí predpokladajú existenciu silovo aktívnych (...) vlastností, dispozícií. Práve tieto sú zodpovedné za zmeny vo svete, a vo všetkých možných svetoch sa prejavujú nevyhnutne rovnako. Autor argumentuje v prospech existencie dispozičných vlastností a tvrdí, že dispozičný výklad sveta netrpí modálnymi absurdnosťami, ktorými trpia teórie slabej nevyhnutnosti. Hoci aj dispozičné teórie majú svoje problémy a hlavne mysterióznosti, ktoré môžu viesť až do metafyziky dispozičných monád. Kľúčové slová: dispozičné vlastnosti, kategorické vlastnosti, modality, nevyhnutnosť, zákony prírody. (shrink)

Propomos uma tipologia dos artefatos de representação para as áreas de saúde e ciências biológicas, e a associação dessa tipologia com diferentes tipos de ontologia formal e lógica, chegando a conclusões quanto aos pontos fortes e limitações da ontologia de diferentes tipos de recursos lógicos, enquanto mantemos o foco na lógica descritiva. Consideramos quatro tipos de representação de área: (i) representação léxico-semântica, (ii) representação de tipos de entidades, (iii) representação de conhecimento prévio, e (iv) representação de indivíduos. Defendemos uma clara (...) distinção entre os quatro tipos de representação, de forma a oferecer uma base mais racional para o uso das ontologias e artefatos relacionados no avanço da integração de dados e interoperabilidade de sistemas de raciocínio associados. Destacamos que apenas uma pequena porção de fatos cientificamente relevantes em áreas como a biomedicina pode ser adequadamente representada por ontologias formais, quando estas últimas são concebidas como representações de tipos de entidades. Particularmente, a tentativa de codificar conhecimento padrão ou probabilístico pela utilização de ontologias assim concebidas é fadada à produção de modelos não intencionais e errôneos. (shrink)

Statements about the behavior of biochemical entities (e.g., about the interaction between two proteins) abound in the literature on molecular biology and are increasingly becoming the targets of information extraction and text mining techniques. We show that an accurate analysis of the semantics of such statements reveals a number of ambiguities that have to be taken into account in the practice of biomedical ontology engineering: Such statements can not only be understood as event reporting statements, but also as ascriptions of (...) dispositions or tendencies that may or may not refer to collectives of interacting molecules or even to collectives of interaction events. (shrink)