Building Information Modelling (BIM) is a process for managing construction project information in such a way as to provide a basis for enhanced decision-making and for collaboration in a construction supply chain. One impediment to the uptake of BIM is the limited interoperability of different BIM systems. To overcome this problem, a set of Industry Foundation Classes (IFC) has been proposed as a standard for the construction industry. Building on IFC, the ifcOWL ontology was developed in order to facilitate representation (...) of building data in a consistent fashion across the Web by using the Web Ontology Language (OWL). This study presents a critical analysis of the ifcOWL ontology and of the associated interoperability issues. It shows how these issues can be resolved by using Basic Formal Ontology (ISO/IEC 21838-2) as top-level architecture. A set of competency questions is used as the basis for comparison of the original ifcOWL with the enhanced ontology, and the latter is used to align with a second ontology – the ontology for building intelligent environments (DOGONT) – in order to demonstrate the added value derived from BFO by showing how querying the enhanced ifcOWL yields useful additional information. (shrink)

Perhaps the question “What is philosophy?” can only be posed late in life, when old age has come, and with it the time to speak in concrete terms. It is a question one poses when one no longer has anything to ask for, but its consequences can be considerable. One was asking the question before, one never ceased asking it, but it was too artificial, too abstract; one expounded and dominated the question, more than being grabbed by it. There are (...) cases in which old age bestows not an eternal youth, but on the contrary a sovereign freedom, a pure necessity where one enjoys a moment of grace between life and death, and where all the parts of the machine combine to dispatch into the future a trait that traverses the ages: Turner, Monet, Matisse. The elderly Turner acquired or conquered the right to lead painting down a deserted path from which there was no return, and that was no longer distinguishable from a final question. In the same way, in philosophy, Kant’s Critique of Judgment is a work of old age, a wild work from which descendants will never cease to flow.We cannot lay claim to such a status. The time has simply come for us to ask what philosophy is. And we have never ceased to do this in the past, and we already had the response, which has not varied: philosophy is the art of forming, inventing, and fabricating concepts. But it was not only necessary for the response to take note of the question; it also had to determine a time, an occasion, the circumstances, the landscapes and personae, the conditions and unknowns of the question. One had to be able to pose the question “between friends” as a confidence or a trust, or else, faced with an enemy, as a challenge, and at the same time one had to reach that moment, between dog and wolf, when one mistrusts even the friend. Gilles Deleuze was professor of philosophy at the University of Paris VIII, Vincennes-St.-Denis, until his retirement in 1987. Among his books translated into English are the two-volume Capitalism and Schizophrenia , the two-volume Cinema , The Logic of Sense , and Expressionism in Philosophy: Spinoza . Daniel W. Smith is a doctoral candidate in philosophy at the University of Chicago. He is at work on a study of the philosophy of Deleuze, and is translating Deleuze’s Francis Bacon: Logique de la sensation. Arnold I. Davidson, executive editor of Critical Inquiry, teaches philosophy at the University of Chicago and is currently Marta Sutton Weeks Fellow at the Stanford Humanities Center. (shrink)

INTRODUÇÃO Para compreender como a Sociologia nasceu e se desenvolveu, é essencial analisar as transformações que ocorreram a partir do século XIV, na Europa ocidental, marcando a passagem da sociedade feudal para a sociedade capitalista, ou a passagem da sociedade medieval para a sociedade moderna. Para isso, é necessário realizar uma pequena viagem histórica, já que, para entender as ideias de um autor e de determinada época, é fundamental contextualizá-las historicamente. Em cada sociedade, em todos os tempos, os seres humanos (...) elaboraram explicações religiosas, míticas, culturais, étnicas etc. para as situações em que vivem. No século XIX, a busca por outro tipo de explicação para os fenômenos da sociedade – a explicação científica – deu origem à Sociologia. Para demonstrar como o pensamento social organizou-se historicamente e como a Sociologia estruturou o saber sobre a sociedade humana, este trabalho terá como objetivo estudar alguns autores que se sobressaíram no processo de desenvolvimento dessa ciência. PREMISSA A Sociologia surgiu como um corpo de ideias a respeito do processo de constituição, consolidação e desenvolvimento da sociedade moderna. É fruto da Revolução Industrial e, nesse sentido, é denominada “ciência da crise”, porque, com base nela, procurou-se dar respostas às questões sociais desencadeadas pelo processo revolucionário que, num primeiro momento, alterou a sociedade europeia e, depois, a maior parte do mundo. Como todas as ciências, a Sociologia não despontou de repente ou da reflexão de algum autor iluminado. Constituiu-se com base em conhecimentos sobre a natureza e a sociedade que se desenvolveram a partir do século XIV, acompanhando as mudanças que marcaram a transformação da sociedade feudal e a constituição da sociedade capitalista. Entre essas mudanças, a expansão marítima europeia e a ampliação do comércio ultramarino, a Reforma protestante e o desenvolvimento científico e tecnológico podem destacados. São o pano de fundo do movimento intelectual que alterou profundamente as formas de explicar a natureza e a sociedade. Essas mudanças estão todas vinculadas e não podem ser entendidas como eventos isolados. 1 A EXPANSÃO MARÍTIMA Com a circum-navegação da África e o descobrimento da rota para as Índias e para a América, a concepção de mundo dos europeus foi consideravelmente ampliada. A definição de um mundo territorialmente bem mais vasto, com outros povos, outras culturas e outros modos de explicar as coisas, requereu a reformulação da maneira de ver e de pensar dos europeus. Assim, ao mesmo tempo que conheciam novos povos e novas culturas, os europeus instalavam colônias na África, na Ásia e na América. Em razão disso, expandiu-se o comércio de mercadorias (sedas, especiarias e produtos tropicais, como açúcar, milho, tabaco e café) entre as metrópoles e as colônias, bem como entre os países europeus. Surgiu a possibilidade de um mercado muito mais amplo e com características mundiais. Este seria o primeiro grande movimento de globalização. A exploração de metais preciosos, principalmente na América, e o tráfico de escravos para suprir a mão de obra nas colônias deram grande impulso ao comércio, que não mais ficou restrito aos mercadores das cidades-repúblicas (Veneza, Florença ou Flandres), passando também para as mãos de grandes comerciantes e de soberanos dos Estados nacionais em formação na Europa. Toda essa expansão territorial e comercial acelerou o desenvolvimento da economia monetária, com a acumulação de capitais pela burguesia comercial, que, mais tarde, teve importância decisiva na gestação do processo de industrialização da Europa. 2 A REFORMA PROTESTANTE No século XVI, assistiu-se também ao movimento que ficaria conhecido como Reforma protestante. Os reformistas questionavam as condutas do clero, a estrutura da Igreja católica e a autoridade do Papa. Os líderes do movimento promoviam a valorização do indivíduo ao pregar a livre leitura das Escrituras Sagradas e dispensar a intermediação dos ministros da Igreja nas práticas religiosas e nos assuntos relativos à fé. A Reforma contribuiu, assim, para alimentar um movimento de resistência à autoridade e à tradição que desembocaria na Ilustração. Entre seus principais líderes figuram Martinho Lutero (1483-1546) e João Calvino (1509-1564). 3 O DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO A nova maneira de se relacionar com as coisas sagradas foi acompanhada de uma nova forma de analisar o universo e a vida em sociedade. A razão passou a ser considerada essencial para conhecer o mundo; com base nela, as pessoas se consideraram livres para julgar, avaliar, pensar e emitir opiniões sem se submeter a nenhuma autoridade transcendente ou divina. A análise do universo e da vida em sociedade com base no conhecimento racional, fundado na observação e na experimentação, difundiu-se de maneira lenta, entre os séculos XV e XVII. Os pensadores que adotaram essa forma de análise enfrentaram o dogmatismo e a autoridade da Igreja. Por meio do Concílio de Trento (1545-1563) e dos processos da Inquisição, por exemplo, os membros do clero procuraram impedir toda e qualquer manifestação que pudesse pôr em dúvida a autoridade eclesiástica, fosse no campo da fé, fosse no das explicações que se propunham para a sociedade e a natureza. Os principais representantes do pensamento racional nos séculos XV a XVII foram Nicolau Maquiavel (1469-1527), Erasmo de Roterdã (1466-1536), Nicolau Copérnico (1473- 1543), Galileu Galilei (1564 -1642), Thomas Hobbes (1588 -1679), Francis Bacon (1561- 1626), René Descartes (1596 -1650) e Baruch Spinoza (1632 -1677). Os conhecimentos desses precursores alimentaram outros pensadores, como John Locke (1632-1704), Gottfried Leibniz (1646-1716) e Isaac Newton (1643-1727), que propuseram novos princípios para a compreensão da sociedade e da natureza. Vale salientar, por fim, que os pensadores europeus dos séculos XV a XVII buscaram compreender os fenômenos da natureza e da sociedade por meio da observação e da experimentação. 4 AS TRANSFORMAÇÕES NO SÉCULO XVIII No final do século XVIII, na maioria dos países europeus, a burguesia comercial, formada basicamente por comerciantes e banqueiros, constituía uma classe poderosa, em razão, na maior parte das vezes, das ligações econômicas que mantinha com as monarquias. Além de sustentar o comércio entre os países europeus, a burguesia europeia lançava seus tentáculos a vários pontos do mundo, até onde pudesse chegar, comprando e vendendo mercadorias. O capital mercantil estendia-se também a outro ramo de atividade: gradativamente se organizava a produção manufatureira. A compra de matérias-primas e a organização da produção, por meio do trabalho domiciliar ou do trabalho em oficinas, levavam ao desenvolvimento de um novo processo produtivo em contraposição ao das corporações de ofício. Os organizadores das manufaturas passaram a se interessar cada vez mais pelo aperfeiçoamento das técnicas de produção, a fim de produzir mais com menos gente e aumentar significativamente seus lucros. Para tanto, procuraram financiar a invenção de máquinas que pudessem ser utilizadas no processo produtivo. Com a invenção das máquinas de tecer e de descaroçar algodão, e a aplicação industrial da máquina a vapor e de outros tantos inventos destinados a aumentar a produtividade do trabalho, desenvolveu-se o fenômeno que veio a ser chamado de maquinofatura. O trabalho que as pessoas faziam com as mãos ou com ferramentas passava, a partir de então, a ser realizado por máquinas, elevando muito o volume da produção de mercadorias. A utilização da máquina a vapor, que podia mover outras tantas, impulsionou a indústria construtora de máquinas e, consequentemente, a indústria voltada para a produção de ferro e, posteriormente, de aço. Nesse contexto de profundas alterações no processo produtivo, no qual a utilização do trabalho mecânico era cada vez mais frequente, o trabalho artesanal continuou a existir. A maquinofatura se completou com o trabalho assalariado, no qual eram utilizadas, numa escala crescente, a mão de obra feminina e a infantil. Longe da Europa, explorava-se ouro no Brasil, prata no México e algodão nos Estados Unidos da América e na Índia. A maioria dessas atividades era realizada com a utilização do trabalho escravo ou servil. Esses elementos, conjugados, asseguraram as bases do processo de acumulação necessária para a expansão da indústria na Europa. Essas mudanças, somadas à herança cultural e intelectual do século XVII, definiram o século XVIII como explosivo. Se no século anterior a Revolução Inglesa determinou novas formas de organização política, no século XVIII a Revolução Americana e a Francesa alteraram o quadro político ocidental e serviram de exemplo e parâmetro para as revoluções políticas posteriores. As transformações na esfera da produção, a emergência de novas formas de organização política e a exigência da representação popular conferiram características muito específicas a esse século, em que pensadores como Charles de Montesquieu (1689 -1755), Voltaire (1694 - 1778), Denis Diderot (1713 -1784), Jean le Rond d’Alembert (1717 -1783), David Hume (1711 -1776), Jean-Jacques Rousseau (1712 -1778), Adam Smith (1723 -1790) e Immanuel Kant (1724 -1804) procuraram, por caminhos às vezes divergentes, refletir sobre a realidade, na tentativa de explicá-la. (shrink)

Suppose that there are objective normative facts and our beliefs about such facts are by-and-large true. How did this come to happen? This is the reliability challenge to normative realism. As has been recently noted, the challenge also applies to expressivist “quasi-realism”. I argue that expressivism is useful in the face of this challenge, in a way that has not been yet properly articulated. In dealing with epistemological issues, quasi-realists typically invoke the desire-like nature of normative judgments. However, this is (...) not enough to prevent the reliability challenge from arising, given that quasi-realists also hold that normative judgments are truth-apt beliefs. To defuse this challenge, we need to isolate a deeper sense in which normative thought is not representational. I propose that we rely on the negative functional thesis of expressivism: normative thought does not have the function of tracking normative facts, or any other kind of facts. This thesis supports an argument to the effect that it is misguided to expect an explanation of our access to normative facts akin to the explanations available in regions of thought that have a tracking function. We should be content with explanations of our reliability that take for granted certain connections between our psychology and the normative truths. (shrink)

Dancers and dance philosophers report on experiences of a certain form of sense making and bodily thinking through the dancing body. Yet, discussions on expertise and consciousness are often framed within canonical philosophical world-views that make it difficult to fully recognize, verbalize, and value the full variety of embodied and affective facets of subjectivity. Using qualitative interviews with five professional dancers and choreographers, I make an attempt to disclose the characteristics of what I consider to be a largely overseen state (...) of consciousness: embodied reflection. Dancers are familiar with this attentive bodily presence, which constitutes their work mode and heightens their abilities as experts. Detailed descriptions of their daily work at the theatre help us grasp the qualities and understand the enigmas of the absorbed state of bodily thinking. Husserl’s theories on reflection and Merleau-Ponty’s work on motoricity support our understanding of the structures behind embodied reflection. I believe it is a common human resource, and that whether we are experts or not, we all have the ability to reflect non-conceptually through bodily and/or affective activity. (shrink)

How can we distinguish between quasi-realist expressivism and normative realism? The most promising answer to this question is the “explanation” explanation proposed by Dreier (2004), Simpson (2018), and others: the two views might agree in their claims about truth and objectivity, or even in their attributions of semantic content to normative sentences, but they disagree about how to explain normative meaning. Realists explain meaning by invoking normative facts and properties, or representational relations between normative language and the world, the thought (...) goes, while expressivists appeal instead to desire-like mental states in their explanations of meaning. However, I argue that, if we adopt a deflationary approach to representation and other related notions, there need be no such explanatory divide between expressivism and anything recognizable as a plausible notion of normative realism. Any alleged explanatory criterion for realism will either be incompatible with deflationism, or it will fail to capture some standard versions of normative realism. I conclude that, in a deflationary framework, expressivism is compatible with genuine realism. (shrink)

The following scenario seems possible: a community uses concepts that play the same role in guiding actions and shaping social life as our normative concepts, and yet refer to something else. As Eklund argues, this apparent possibility poses a problem for any normative realist who aspires to vindicate the thought that reality itself favors our ways of valuing and acting. How can realists make good on this idea, given that anything they might say in support of the privileged status of (...) our normative concepts can be mirrored by the imagined community? E.g., the realist might claim that using our concepts is what we ought to do if we are to describe normative facts correctly, but members of the other community can claim the same about their concepts, using their own concept of ought. A promising approach to this challenge is to try to rule out the possibility of alternative normative concepts, by arguing that any concepts that have the same normative role must share a reference as well. In this paper I argue that normative quasi-naturalism, a view that combines expressivism about normative discourse with a naturalist metaphysics of normativity, supports referential normativity and solves the problem of alternative normative concepts. (shrink)

Female crested gibbons (genus Nomascus) perform conspicuous sequences of twitching movements involving the rump and extremities. However, these dances have attracted little scientific attention and their structure and meaning remain largely obscure. Here we analyse close-range video recordings of captive crested gibbons, extracting descriptions of dance in four species (N. annamensis, N. gabriellae, N. leucogenys and N. siki). In addition, we report results from a survey amongst relevant professionals clarifying behavioural contexts of dance in captive and wild crested gibbons. Our (...) results demonstrate that dances in Nomascus represent a common and intentional form of visual communication restricted to sexually mature females. Whilst primarily used as a proceptive signal to solicit copulation, dances occur in a wide range of contexts related to arousal and/or frustration in captivity. A linguistically informed view of this sequential behaviour demonstrates that movement within dances is organized in groups and follows an isochronous rhythm — patterns not described for visual displays in other non-human primates. We argue that applying the concept of dance to gibbons allows us to expand our understanding of communication in non-human primates and to develop hypotheses on the rules and regularities characterising it. We propose that crested gibbon dances likely evolved from less elaborate rhythmic proceptive signals, similar to those found in siamangs. Although dance displays in humans and crested gibbons share a number of key characteristics, they cannot be assumed to be homologous. Nevertheless, gibbon dances represent a striking model behaviour to investigate the use of complex gestural signals in hominoid primates. (shrink)

It is often claimed that there is an explanatory divide between an expressivist account of normative discourse and a realist conception of normativity: more precisely, that expressivism and realism offer conflicting explanations of (i) the metaphysical structure of the normative realm, (ii) the connection between normative judgment and motivation, (iii) our normative beliefs and any convergence thereof, or (iv) the content of normative thoughts and claims. In this paper I argue that there need be no such explanatory conflict. Given a (...) minimalist approach to the relevant metaphysical and semantic notions, expressivism is compatible with any explanation that would be acceptable as a general criterion for realism. (shrink)

Normative naturalism holds that normative properties are identical with, or reducible to, natural properties. Various challenges to naturalism focus on whether it can make good on the idea that normative concepts can be used in systematically different ways and yet have the same reference in all contexts of use. In response to such challenges, some naturalists have proposed that questions about the reference of normative terms should be understood, at least in part, as normative questions that can be settled through (...) normative inquiry. In this paper I have two goals. First, I argue that these naturalist proposals do not yet allow for radical disagreement on normative matters, or at least do not explain how such disagreement is possible. Secondly, I argue that, in order to account for radical disagreement, naturalists should not only treat normative reference as a normative issue but also adopt a non-representationalist account of normative concepts, on which such concepts are individuated through their practical role. I illustrate this point by showing how a view that combines naturalism and expressivism about normative discourse can vindicate the elasticity of normative concepts, their referential stability, and the objectivity of normative truths. (shrink)

My objective here is to give an account of self-deprecating humor—examining what works, what doesn't, and why—and to reflect on the significance of the audience response. More specifically, I will be focusing not only on the purpose or intention behind self-deprecating jokes, but considering how their consequences might render them successful or unsuccessful. For example, under what circumstances does self-deprecation tend to put listeners at ease, and when is this type of humor more likely to put people off? I will (...) also consider the ways in which self-deprecating jokes are similar to gallows humor, and the extent to which context counts. The target or "butt" of these jokes, in cases of self-deprecation as well as gallows humor, will be explored; as will whether or not the audience bears some responsibility or has a role to play in the ultimate success or failure of a joke. For instance, is the audience role a completely receptive and passive one? Is the joker/jokee relationship one which confers no responsibility on the listener whatsoever? Or, do listeners have an obligation to respond with appreciative laughter to mere attempts at humor, especially the self-deprecating sort, by accepting such levity in the spirit in which it is intended? Does this mean that being a good sport—responding generously or appreciatively when a well-intentioned joke fails to land—would be a habit worth cultivating? If so and courtesy laughter or a playful appreciation of self-deprecating humor is something that can be cultivated, what specifically would that entail? In sum, although I cannot fully or definitively answer each and every one of these questions, I do hope to provide some provisional responses. To better situate the nature of self-deprecation, I will not only provide a brief description of the gallows genre, I will also explore two traditional theories of humor. Those that are particularly relevant, to both gallows and self-deprecating humor are Freud's relief theory and the incongruity view. In addition, I will identify what I believe to be the three essential ingredients of successful self-deprecation and, finally, will conclude with the argument that audiences or listeners do have an important role to play. And, moreover, that generous, appreciative laughter can and should be cultivated—even though this is something that will largely depend on one's personal history and habits, dispositional character and cultural background. (shrink)

We all could have had better lives, yet often do not wish that our lives had gone differently, especially when we contemplate alternatives that vastly diverge from our actual life course. What, if anything, accounts for such conservative retrospective attitudes? I argue that the right answer involves the significance of our personal attachments and our biographical identity. I also examine other options, such as the absence of self-to-self connections across possible worlds and a general conservatism about value.

Philosophers investigating the experiences of the dancing subject (Sheets-Johnstone 1980, 2009, 2011, 2012; Parviainen 1998; Legrand 2007, 2013; Legrand & Ravn 2009; Montero 2013; Foultier & Roos 2013) unearth vast variations of embodied consciousness and cognition in performing body experts. The traditional phenomenological literature provides us with descriptions and definitions of reflective self-consciousness as well as of pre-reflective bodily absorption, but when it comes to the states of self-consciousness dance philosophers refer to as thinking in movement and a form of (...) reflective consciousness at a bodily level – as well as to dancers’ re- ported experiences of being in a trance and yet hyper-aware – we are challenged in terms of terminology and precise descriptions. After empirical research on dancers’ experiences and studies of the above-mentioned philosophies of dance, aligning this material with Husserl, Zahavi and other phenomenologists’ descriptions of reflection and embodied self-consciousness, I find it plausible to acknowledge the existence of a third form of self- consciousness: embodied reflection, a reflective process experienced through and with the embodied and/or emotional self. In this article I aspire to capture the characteristics of this transcendence of the bodily self. (shrink)

Mental and behavioral disorders represent a significant portion of the public health burden in all countries. The human cost of these disorders is immense, yet treatment options for sufferers are currently limited, with many patients failing to respond sufficiently to available interventions and drugs. High quality ontologies facilitate data aggregation and comparison across different disciplines, and may therefore speed up the translation of primary research into novel therapeutics. Realism-based ontologies describe entities in reality and the relationships between them in such (...) a way that – once formulated in a suitable formal language – the ontologies can be used for sophisticated automated reasoning applications. Reference ontologies can be applied across different contexts in which different, and often mutually incompatible, domain-specific vocabularies have traditionally been used. In this contribution we describe the Mental Functioning Ontology (MF) and Mental Disease Ontology (MD), two realism-based ontologies currently under development for the description of humanmental functioning and disease. We describe the structure and upper levels of the ontologies and preliminary application scenarios, and identify some open questions. (shrink)

The goal of the 2010 Ontology Summit was to address the current shortage of persons with ontology expertise by developing a strategy for the education of ontologists. To achieve this goal we studied how ontologists are currently trained, the requirements identified by organizations that hire ontologists, and developments that might impact the training of ontologists in the future. We developed recommendations for the body of knowledge that should be taught and the skills that should be developed by future ontologists; these (...) recommendations are intended as guidelines for institutions and organizations that may consider establishing a program for training ontologists. Further, we recommend a number of specific actions for the community to pursue. (shrink)

In recent years there has been a number of promising technical and institutional developments regarding use of ontologies in industry. At the same time, however, most industrial ontology development work remains within the realm of academic research and is without significant uptake in commercial applications. In biomedicine, by contrast, ontologies have made significant inroads as valuable tools for achieving interoperability between data systems whose contents derive from widely heterogeneous sources. In this position paper, we present a set of principles learned (...) from the successful Open Biomedical Ontologies (OBO) Foundry initiative to guide the design and development of the Industrial Ontologies Foundry (IOF), which is a counterpart to the OBO Foundry initiative for the manufacturing industry. We also illustrate the potential utility of these principles by sketching the conceptual design of a framework for sustainable IOF development. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

La sensibilité cinétique est un concept issu de la phénoménologie qui comprend les sensations des mouvements à l’intérieur et autour du corps. Nous souhaitons réhabiliter ce concept en tant que connaissance, afin de défendre le rôle du corps dans le savoir et de dénoncer certaines injustices épistémiques. Pour appuyer cela, les éthiques du care nous aideront à reconnaître une légitimité politique envers la vulnérabilité de nos mobilités corporelles. L’intérêt pour la sensibilité cinétique est de permettre à l’agent.e de se soucier (...) de sa relation à l’environnement, en développant un accès pédagogique envers son corps et par l’attention portée envers ses possibilités de mouvement. L’agent.e apprend alors à choisir une manière de s’orienter au sein de l’organisation socio-politique présente. Ainsi, nous travaillerons les liens entre la phénoménologie, les éthiques du care2 et l’injustice épistémique dans le but de comprendre l’agentivité de manière incarnée, sensible et vulnérable. (shrink)

We propose capability as a universal or type intermediate between function and disposition. A capability is, broadly speaking, a disposition that is of a type whose instances can be evaluated on the basis of how well they are realized. A function, on the view we are proposing, is a capability the possession of which is the rationale for the existence of its bearer. To say for example that a water pump has the function to pump water is to say that (...) the pump exists because something was needed that would pump water. A water pump may have many capabilities, including: to be weatherproof, to run without lubricant, to be transportable, and so forth. But its function is to pump water. We focus here on capabilities possessed by humans – such as piano playing or language using – and we explore the relation between capabilities of these sorts and structures in the brain. (shrink)

How can we rationally make peace with our past moral failings, while committing to avoid similar mistakes in the future? Is it because we cannot do anything about the past, while the future is still open? Or is it that regret for our past mistakes is psychologically harmful, and we need to forgive ourselves in order to be able to move on? Or is it because moral mistakes enable our moral growth? I argue that these and other answers do not (...) properly resolve the problem of temporal asymmetry in our attitudes toward moral imperfection, and I defend an alternative response, centered on our personal attachments and our biographical identity. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

A repository of clinically associated Staphylococcus aureus (Sa) isolates is used to semi‐automatically generate a set of application ontologies for specific subfamilies of Sa‐related disease. Each such application ontology is compatible with the Infectious Disease Ontology (IDO) and uses resources from the Open Biomedical Ontology (OBO) Foundry. The set of application ontologies forms a lattice structure beneath the IDO‐Core and IDO‐extension reference ontologies. We show how this lattice can be used to define a strategy for the construction of a new (...) taxonomy of infectious disease incorporating genetic, molecular, and clinical data. We also outline how faceted browsing and query of annotated data is supported using a lattice application ontology. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

Ontologies are being developed throughout the biomedical sciences to address standardization, integration, classification and reasoning needs against the background of an increasingly data-driven research paradigm. In particular, ontologies facilitate the translation of basic research into benefits for the patient by making research results more discoverable and by facilitating knowledge transfer across disciplinary boundaries. Addressing and adequately treating mental illness is one of our most pressing public health challenges. Primary research across multiple disciplines such as psychology, psychiatry, biology, neuroscience and pharmacology (...) needs to be integrated in order to promote a more comprehensive understanding of underlying processes and mechanisms, and this need for integration only becomes more pressing with our increase in understanding of differences among individuals and populations at the molecular level concerning susceptibility to specific illnesses. Substance addiction is a particularly relevant public health challenge in the developed world, affecting a substantial percentage of the population, often co-morbid with other illnesses such as mood disorders. Currently, however, there is no straightforward automated method to combine data of relevance to the study of substance addiction across multiple disciplines and populations. In this contribution, we describe a framework of interlinked, interoperable bio-ontologies for the annotation of primary research data relating to substance addiction, and discuss how this framework enables easy integration of results across disciplinary boundaries. We describe entities and relationships relevant for the description of addiction within the Mental Functioning Ontology, Chemical Entities of Biological Interest Ontology, Protein Ontology, Gene Ontology and the Neuroscience Information Framework ontologies. (shrink)

We discuss recent progress in the development of cognitive ontologies and summarize three challenges in the coordinated development and application of these resources. Challenge 1 is to adopt a standardized definition for cognitive processes. We describe three possibilities and recommend one that is consistent with the standard view in cognitive and biomedical sciences. Challenge 2 is harmonization. Gaps and conflicts in representation must be resolved so that these resources can be combined for mark-up and interpretation of multi-modal data. Finally, Challenge (...) 3 is to test the utility of these resources for large-scale annotation of data, search and query, and knowledge discovery and integration. As term definitions are tested and revised, harmonization should enable coordinated updates across ontologies. However, the true test of these definitions will be in their community-wide adoption which will test whether they support valid inferences about psychological and neuroscientific data. (shrink)

Representing the kinetic state of a patient (posture, motion, and activity) during vital sign measurement is an important part of continuous monitoring applications, especially remote monitoring applications. In contextualized vital sign representation, the measurement result is presented in conjunction with salient measurement context metadata. We present an automated annotation system for vital sign measurements that uses ontologies from the Open Biomedical Ontology Foundry (OBO Foundry) to represent the patient’s kinetic state at the time of measurement. The annotation system is applied (...) to data generated by a wearable personal status monitoring (PSM) device. We demonstrate how annotated PSM data can be queried for contextualized vital signs as well as sensor algorithm configuration parameters. (shrink)

The Common Anatomy Reference Ontology (CARO) is being developed to facilitate interoperability between existing anatomy ontologies for different species, and will provide a template for building new anatomy ontologies. CARO has a structural axis of classification based on the top-level nodes of the Foundational Model of Anatomy. CARO will complement the developmental process sub-ontology of the GO Biological Process ontology, using it to ensure the coherent treatment of developmental stages, and to provide a common framework for the model organism communities (...) to classify developmental structures. Definitions for the types and relationships are being generated by a consortium of investigators from diverse backgrounds to ensure applicability to all organisms. CARO will support the coordination of cross-species ontologies at all levels of anatomical granularity by cross-referencing types within the cell type ontology (CL) and the Gene Ontology (GO) Cellular Component ontology. A complete cross-species CARO could be utilized in other ontologies for cross-product generation. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised (...) rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)

The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

Managing complex disaster situations is a challenging task because of the large number of actors involved and the critical nature of the events themselves. In particular, the different terminologies and technical vocabularies that are being exchanged among Emergency Responders may lead to misunderstandings. Maintaining a shared semantics for exchanged data is a major challenge. To help to overcome these issues, we elaborate a modular suite of ontologies called POLARISCO that formalizes the complex knowledge of the ERs. Such a shared vocabulary (...) resolves inconsistent terminologies and promotes semantic interoperability among ERs. In this work, we discuss developing POLARISCO as an extension of Basic Formal Ontology and the Common Core Ontologies. We conclude by presenting a real use-case to check the efficiency and applicability of the proposed ontology. (shrink)

The 2013 Rostock Symposium on Systems Biology and Bioinformatics in Aging Research was again dedicated to dissecting the aging process using in silico means. A particular focus was on ontologies, as these are a key technology to systematically integrate heterogeneous information about the aging process. Related topics were databases and data integration. Other talks tackled modeling issues and applications, the latter including talks focussed on marker development and cellular stress as well as on diseases, in particular on diseases of kidney (...) and skin. (shrink)

Alternative currencies are means of payment that circulate alongside—as an alternative or complement to—official currencies. While these currencies have existed for a long time, both society and academia have shown a renewed interest in their potential to decentralize the governance of monetary affairs and to bring people and organizations together in more ethical or sustainable ways. This article is a review of the ethical and philosophical implications of these alternative monetary projects. We first discuss various classifications of these currencies before (...) analyzing the ethical challenges linked to the way they tackle social and environmental issues. We also examine the incentive-based and coercive mechanisms used by these currencies from an ethical perspective and debate the promises and perils of monetary decentralization and democracy. We conclude by identifying an agenda for future research. (shrink)

The current informal practice of pharmacometrics as a combination art and science makes it hard to appreciate the role that informatics can and should play in the future of the discipline and to comprehend the gaps that exist because of its absence. The development of pharmacometric informatics has important implications for expediting decision making and for improving the reliability of decisions made in model-based development. We argue that well-defined informatics for pharmacometrics can lead to much needed improvements in the efficiency, (...) effectiveness, and reliability of the pharmacometrics process. The purpose of this paper is to provide a description of the pervasive yet often poorly appreciated role of informatics in improving the process of data assembly, a critical task in the delivery of pharmacometric analysis results. First, we provide a brief description of the pharmacometric analysis process. Second, we describe the business processes required to create analysis-ready data sets for the pharmacometrician. Third, we describe selected informatic elements required to support the pharmacometrics and data assembly processes. Finally, we offer specific suggestions for performing a systematic analysis of existing challenges as an approach to defi ning the next generation of pharmacometric informatics. (shrink)

SNODENT is a dental diagnostic vocabulary incompletely integrated in SNOMED-CT. Nevertheless, SNODENT could become the de facto standard for dental diagnostic coding. SNODENT's manageable size, the fact that it is administratively self-contained, and relates to a well-understood domain provides valuable opportunities to formulate and test, in controlled experiments, a series of hypothesis concerning diagnostic systems. Of particular interest are questions related to establishing appropriate quality assurance methods for its optimal level of detail in content, its ontological structure, its construction and (...) maintenance. This paper builds on previous–software-based methodologies designed to assess the quality of SNOMED-CT. When applied to SNODENT several deficiencies were uncovered. 9.52% of SNODENT terms point to concepts in SNOMED-CT that have some problem. 18.53% of SNODENT terms point to SNOMED-CT concepts do not have, in SNOMED, the term used by SNODENT. Other findings include the absence of a clear specification of the exact relationship between a term and a termcode in SNODENT and the improper assignment of the same termcode to terms with significantly different meanings. An analysis of the way in which SNODENT is structurally integrated into SNOMED resulted in the generation of 1081 new termcodes reflecting entities not present in the SNOMED tables but required by SNOMED's own description logic based classification principles. Our results show that SNODENT requires considerable enhancements in content, quality of coding, quality of ontological structure and the manner in which it is integrated and aligned with SNOMED. We believe that methods for the analysis of the quality of diagnostic coding systems must be developed and employed if such systems are to be used effectively in both clinical practice and clinical research. (shrink)

: In the epistemology of the late Wittgenstein, a central place is given to the notion of the hinge: an arational commitment that provides a foundation of some sort for the rest of our beliefs. Quasi-fideism is an approach to the epistemology of religion that argues that religious belief is on an epistemic par with other sorts of belief inasmuch as religious and non-religious beliefs all rely on hinges. I consider in this paper what it takes to find the appropriate (...) hinge for a quasi-fideist approach to the epistemology of religion. (shrink)

We discuss recent progress in the development of cognitive ontologies and summarize three challenges in the coordinated development and application of these resources. Challenge 1 is to adopt a standardized definition for cognitive processes. We describe three possibilities and recommend one that is consistent with the standard view in cognitive and biomedical sciences. Challenge 2 is harmonization. Gaps and conflicts in representation must be resolved so that these resources can be combined for mark-up and interpretation of multi-modal data. Finally, Challenge (...) 3 is to test the utility of these resources for large-scale annotation of data, search and query, and knowledge discovery and integration. As term definitions are tested and revised, harmonization should enable coordinated updates across ontologies. However, the true test of these definitions will be in their community-wide adoption which will test whether they support valid inferences about psychological and neuroscientific data. (shrink)

Interoperability across data sets is a key challenge for quantitative histopathological imaging. There is a need for an ontology that can support effective merging of pathological image data with associated clinical and demographic data. To foster organized, cross-disciplinary, information-driven collaborations in the pathological imaging field, we propose to develop an ontology to represent imaging data and methods used in pathological imaging and analysis, and call it Quantitative Histopathological Imaging Ontology – QHIO. We apply QHIO to breast cancer hot-spot detection with (...) the goal of enhancing reliability of detection by promoting the sharing of data between image analysts. (shrink)