Most epistemologists hold that knowledge entails belief. However, proponents of this claim rarely offer a positive argument in support of it. Rather, they tend to treat the view as obvious and assert that there are no convincing counterexamples. We find this strategy to be problematic. We do not find the standard view obvious, and moreover, we think there are cases in which it is intuitively plausible that a subject knows some proposition P without—or at least without determinately—believing that P. Accordingly, (...) we present five plausible examples of knowledge without (determinate) belief, and we present empirical evidence suggesting that our intuitions about these scenarios are not atypical. (shrink)

Landgrebe and Smith provide an argument for the impossibility of Artificial General Intelligence based on the limits of simulating complex systems. However, their argument presupposes a very contemporary vision of artificial intelligence as a model trained on data to produce an algorithm executable in a modern digital computing system. The present contribution explores what it means to be artificial. Current artificial intelligence approaches on modern computing systems are not the only conceivable way in which artificial intelligence technology might be created. (...) If there are conceivable routes by which an artificial intelligence might be developed that are not constrained in the same way as the current generation of artificial neural networks, then these might be plausible routes towards the engineered generation of artificial general intelligence that are not precluded by the Landgrebe and Smith argument against the possibility of artificial general intelligence. (shrink)

During much of the past century, it was widely believed that phonemes--the human speech sounds that constitute words--have no inherent semantic meaning, and that the relationship between a combination of phonemes (a word) and its referent is simply arbitrary. Although recent work has challenged this picture by revealing psychological associations between certain phonemes and particular semantic contents, the precise mechanisms underlying these associations have not been fully elucidated. Here we provide novel evidence that certain phonemes have an inherent, non-arbitrary emotional (...) quality. Moreover, we show that the perceived emotional valence of certain phoneme combinations depends on a specific acoustic feature--namely, the dynamic shift within the phonemes' first two frequency components. These data suggest a phoneme-relevant acoustic property influencing the communication of emotion in humans, and provide further evidence against previously held assumptions regarding the structure of human language. This finding has potential applications for a variety of social, educational, clinical, and marketing contexts. (shrink)

In this paper, we propose a regularity theory of causation. The theory aims to be reductive and to align with our pre‐theoretic understanding of the causal relation. We show that our theory can account for a wide range of causal scenarios, including isomorphic scenarios, omissions, and scenarios which suggest that causation is not transitive.

Problems in normative ethics paradigmatically concern what it is obligatory or permissible for an individual to do. Yet sometimes, each of us ought to do something individually in virtue of what we ought to do together. Unfortunately, traversing these two different levels at which a moral obligation can arise – individual and collective – is fraught with difficulties that easily lure us into conclusions muddying our understanding of collective obligations. This paper seeks to clearly lay out a systematic problem central (...) to the relation between collective and individual duties in view of alleviating some such confusion and facilitating more concerted attempts at resolving it: Collective duties require individuals to act in order for the collective duty to be fulfilled. Yet typically, a collective duty does not entail any one set of individual duties that would prescribe such contributory actions: The work we need to do in order to fulfil a duty can be allocated differently to the individuals collectively bearing it. Much like in matters of distributive justice, then, deriving individual duties from a collective one requires us to employ a distributive scheme, which raises separate normative concerns that have rarely taken centre stage in the debate so far. (shrink)

This essay articulates and defends Aristotle’s argument in Politics 7.4 that there is a rational limit to the size of the political community. Aristotle argues that size can negatively affect the ability of an organized being to attain its proper end. After examining the metaphysical grounds for this principle in both natural beings and artifacts, we defend Aristotle’s extension of the principle to the polis. He argues that the state is in the relevant sense an organism, one whose primary end (...) is to make good reasons available to individuals and promote them as choiceworthy. The size of a polis can affect its ability to perform this function, since growth promotes anonymity among citizens, which in turn frustrates the familiarity between citizens required for the exercise of distributive and restorative justice as well as political prudence. This paper suggests several ways in which Aristotle’s argument, if sound, is important for contemporary issues in moral psychology, Ralwsian political philosophy, and big data analytics. (shrink)

It is generally argued that if the wave-function in the de Broglie–Bohm theory is a physical field, it must be a field in configuration space. Nevertheless, it is possible to interpret the wave-function as a multi-field in three-dimensional space. This approach hasn’t received the attention yet it really deserves. The aim of this paper is threefold: first, we show that the wave-function is naturally and straightforwardly construed as a multi-field; second, we show why this interpretation is superior to other interpretations (...) discussed in the literature; third, we clarify common misconceptions. (shrink)

The integration of standardized biomedical terminologies into a single, unified knowledge representation system has formed a key area of applied informatics research in recent years. The Unified Medical Language System (UMLS) is the most advanced and most prominent effort in this direction, bringing together within its Metathesaurus a large number of distinct source-terminologies. The UMLS Semantic Network, which is designed to support the integration of these source-terminologies, has proved to be a highly successful combination of formal coherence and broad scope. (...) We argue here, however, that its organization manifests certain structural problems, and we describe revisions which we believe are needed if the network is to be maximally successful in realizing its goals of supporting terminology integration. (shrink)

The pivotal role of the relation part-of in the description of living organisms is widely acknowledged. Organisms are open systems, which means that in contradistinction to mechanical artifacts they are characterized by a continuous flow and exchange of matter. A closer analysis of the spatial relations in biological organisms reveals that the decision as to whether a given particular is part-of a second particular or whether it is only contained-in the second particular is often controversial. We here propose a rule-based (...) approach which allows us to decide on the basis of well-defined criteria which of the two relations holds between two anatomical objects, given that one spatially includes the other. We discuss the advantages and limitations of this approach, using concrete examples from human anatomy. (shrink)

The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be sufficiently addressed by insisting simply on the application of shared clinical terminologies or clinical information models. However, the use of the term ‘ontology’ has been steadily increasing more recently. We discuss criteria for distinguishing clinical ontologies from clinical terminologies and information models. Then, we briefly present the role clinical ontologies play in two multicentric research projects. Finally, (...) we discuss the interactions between these different kinds of knowledge representation artifacts and the stakeholders involved in developing interoperational real-world clinical applications. We provide ontology engineering examples from two EU-funded projects. (shrink)

According to the Thomistic tradition, the Principle of Totality (TPoT) articulates a secondary principle of natural law which guides the exercise of human ownership or dominium over creation. In its general signification, TPoT is a principle of distributive justice determining the right ordering of wholes to their parts. In the medical field it is traditionally understood as entailing an absolute prohibition of bodily mutilation as irrational and immoral, and an imperfect obligation to use the parts of one’s body for the (...) perfection of the bodily whole. TPoT is thus a key element of the system of principles within which an individual exercises her right to life: it helps specify the nature, scope and limits of those actions by which an agent permissibly acts in order to preserve her life. While the Thomistic tradition and the Catholic Church have drawn clear conclusions from the principle regarding, e.g., direct sterilization and non-therapeutic experimentation on human subjects, less attention has been given to the implications of TPoT for non-therapeutic procedures that may positively impact biological functioning or supra-biological goals–that is, for human “enhancement.” We will explore the degree to which TPoT non-univocally guides our use of both artifacts and bodies. We will argue that a careful analysis of these distinct kinds of totalities suggests that the application of TPoT to artifacts and bodies is strongly isomorphic, which is what tempts advocates of the Principle of Autonomy to invalidly infer the absolute dominium of the individual over her body. The inference is invalid because this isomorphism also includes a principle of intrinsic value whose function is to resist the instrumentalization of both artifacts and bodies in some contexts; we are not even related to artifacts as advocates of absolute autonomy believe we are, let alone to our bodies. Rather, the limits of human dominium are determined by the nature and finalities, inherent or acquired, of the objects in question, and it will be argued that articulating these limits raises important, understudied, and fascinating questions about the permissibility of various kinds of human enhancement. (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)

In this paper we will demonstrate that a computational system can meet the criteria for autonomy laid down by classical enactivism. The two criteria that we will focus on are operational closure and structural determinism, and we will show that both can be applied to a basic example of a physically instantiated Turing machine. We will also address the question of precariousness, and briefly suggest that a precarious Turing machine could be designed. Our aim in this paper is to challenge (...) the assumption that computational systems are necessarily heteronomous systems, to try and motivate in enactivism a more nuanced and less rigid conception of computational systems, and to demonstrate to computational theorists that they might find some interesting material within the enactivist tradition, despite its historical hostility towards computationalism. (shrink)

Where humans can manipulate and integrate the information they receive in subtle and ever changing ways from context to context, computers need structured and context-free background information of a sort which ontologies can help to provide. A domain ontology captures the stable, highly general and commonly accepted core knowledge for an application domain. The domain at issue here is that of the life sciences, in particular molecular biology and bioinformatics. Contemporary life science research includes components drawn from physics, chemistry, mathematics, (...) medicine and many other areas, and all of these dimensions, as well as fundamental philosophical issues, must be taken into account in the construction of a domain ontology. Here we describe the basic features of domain ontologies in the life sciences and show how they can be used. (shrink)

We present an approach in which ancient Greek mathematical proofs by Hippocrates of Chios and Euclid are addressed as a form of (guided) intentional reasoning. Schematically, in a proof, we start with a sentence that works as a premise; this sentence is followed by another, the conclusion of what we might take to be an inferential step. That goes on until the last conclusion is reached. Guided by the text, we go through small inferential steps; in each one, we go (...) through an autonomous reasoning process linking the premise to the conclusion. The reasoning process is accompanied by a metareasoning process. Metareasoning gives rise to a feeling-knowing of correctness. In each step/cycle of the proof, we have a feeling-knowing of correctness. Overall, we reach a feeling of correctness for the whole proof. We suggest that this approach allows us to address the issues of how a proof functions, for us, as an enabler to ascertain the correctness of its argument and how we ascertain this correctness. (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)

I want to combine two hitherto largely independent research projects, scientific understanding and mechanistic explanations. Understanding is not only achieved by answering why-questions, that is, by providing scientific explanations, but also by answering what-questions, that is, by providing what I call scientific descriptions. Based on this distinction, I develop three forms of understanding: understanding-what, understanding-why, and understanding-how. I argue that understanding-how is a particularly deep form of understanding, because it is based on mechanistic explanations, which answer why something happens in (...) virtue of what it is made of. I apply the three forms of understanding to two case studies: first, to the historical development of thermodynamics and, second, to the differences between the Clausius and the Boltzmann entropy in explaining thermodynamic processes. (shrink)

The ontological models framework distinguishes ψ-ontic from ψ-epistemic wave- functions. It is, in general, quite straightforward to categorize the wave-function of a certain quantum theory. Nevertheless, there has been a debate about the ontological status of the wave-function in the statistical interpretation of quantum mechanics: is it ψ-epistemic and incomplete or ψ-ontic and complete? I will argue that the wave- function in this interpretation is best regarded as ψ-ontic and incomplete.

Philosophers now seem to agree that frequentism is an untenable strategy to explain the meaning of probabilities. Nevertheless, I want to revive frequentism, and I will do so by grounding probabilities on typicality in the same way as the thermodynamic arrow of time can be grounded on typicality within statistical mechanics. This account, which I will call typicality frequentism, will evade the major criticisms raised against previous forms of frequentism. In this theory, probabilities arise within a physical theory from statistical (...) behavior of almost all initial conditions. The main advantage of typicality frequentism is that it shows which kinds of probabilities (that also have empirical relevance) can be derived from physics. Although one cannot recover all probability talk in this account, this is rather a virtue than a vice, because it shows which types of probabilities can in fact arise from physics and which types need to be explained in different ways, thereby opening the path for a pluralistic account of probabilities. (shrink)

Statements about the behavior of biological 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 is necessary to take into account in the practice of biomedical ontology engineering. Several concurring formalizations are proposed. Emphasis is laid on the discussion of biological dispositions.

What does it take to understand a phenomenon ideally, or to the highest conceivable extent? In this paper, we answer this question by arguing for five necessary conditions for ideal understanding: (i) representational accuracy, (ii) intelligibility, (iii) truth, (iv) reasonable endorsement, and (v) fitting. Even if one disagrees that there is some form of ideal understanding, these five conditions can be regarded as sufficient conditions for a particularly deep level of understanding. We then argue that grasping, novel predictions, and transparency (...) are not reasonable conditions for ideal understanding. (shrink)

Deployment Realism resists Laudan’s and Lyons’ objections to the “No Miracle Argument” by arguing that a hypothesis is most probably true when it is deployed essentially in a novel prediction. However, Lyons criticized Psillos’ criterion of essentiality, maintaining that Deployment Realism should be committed to all the actually deployed assumptions. But since many actually deployed assumptions proved false, he concludes that the No Miracle Argument and Deployment Realism fail. I reply that the essentiality condition is required by Occam’s razor. In (...) fact, there is a simpler formulation of essentiality which escapes Lyons’ criticisms and rescues the No Miracle Argument and Deployment Realism from their purported historical counterexamples: a hypothesis is essential when it has no proper parts (in Yablo’s sense) sufficient to derive the same prediction. Although essentiality so conceived cannot be detected prospectively, this is just natural, and it is not a problem but an advantage for Deployment Realism. (shrink)

This paper investigates the historical origin and ancestors of typicality, which is now a central concept in Boltzmannian Statistical Mechanics and Bohmian Mechanics. Although Ludwig Boltzmann did not use the word typicality, its main idea, namely, that something happens almost always or is valid for almost all cases, plays a crucial role for his explanation of how thermodynamic systems approach equilibrium. At the beginning of the 20th century, the focus on almost always or almost everywhere was fruitful for developing measure (...) theory and probability theory. It was apparently Hugh Everett III who first mentioned typicality in physics in 1957 while searching for a justification of the Born rule in his interpretation of quantum mechanics. The historically closest concept before these developments is moral certainty, which was invented by the medieval French theologian Jean Gerson, and it became a standard concept at least until the Age of Enlightenment, when Jakob Bernoulli proved the Law of Large numbers. (shrink)

El intento de estas páginas es el de seleccionar dentro de la semántica del miedo que contribuye a organizar la imagen moderna del orden político y jurídico el elemento específico del pánico, en la hipótesis de que este último constituya una diferencia que es asimismo un recurso epistémico. Dicho de un modo directo: si el miedo se presenta como una referencia constitutiva del orden, de su constitución como de su mantenimiento, el pánico parece, en cambio, cargado de un signo contrario; (...) nos habla de la disolución de un agregado dado por supuesto y es inclusivo en el perimetrar los límites y las condiciones de posibilidad. El objetivo es aquel de repasar algunos momentos de la historia del pánico buscando argumentar que el pánico es una pasión política, en el sentido de que se refiere a aquello de lo que la político está hecha, y al mismo tiempo es expresión de un límite "pasional" de la política, en tanto que define políticamente un límite interno. Respecto a tal objetivo, esta aportación no reivindica más que los caracteres de un hilvanado necesitante de un desarrollo ulterior por lo que se refiere no solo a aquello que no se incluye (y es obviamente mucho), sino también a los nudos que de forma conscientemente provisional se indican. Además, se limita a una periodizacion histórica que es de alguna manera preliminar, deteniéndose en el umbral de la fase en la cual el pánico es una palabra de un discurso disciplinar, es parte del objeto de un saber codificado (psicología, sociología, ciencia política), incluso si no desempeña necesariamente un rol apaciguador. (shrink)

It is argued that the hard problem of consciousness, i.e. the fact that we have experience, stems from a conceptual confusion between consciousness and experience. It is concluded that experience has to be considered as a basic characteristic of ongoing interactions at even the most simple level, while consciousness is better defined as reflexive awareness, possible since symbolic language was developed. A dynamic evolutionary point of view is proposed to make more appropriate distinctions between experience, awareness and consciousness. Experience can (...) be defined as a characteristic linked closely to specific pattern matching, a characteristic which is already apparent at the molecular level at least. Awareness then can be regarded as the special experience of one or more central, final modules in the animal neuronal brain. From evolutionary considerations, awareness can be understood functionally and physiologically. As such, awareness is what experience is to animals. Finally, consciousness could be defined as reflexive awareness, instead of using the term as synonymous to awareness. The ability for reflexive awareness is distinctly different from animal and human awareness and depends upon the availability of a separate frame of reference, as provided by symbolic language. As such, words have made reflexive awareness - a specific and infrequent form of awareness - possible. Conciousness might be defined as the experience evoked by considering, i.e. thinking about experiences themselves. Explaining and understanding awareness and consciousness as evolved biological characteristics of the functioning of animals and later humans, poses no philosophical problems. The nature of experience itself remains elusive, but this is not a problem specific toawareness or consciousness. If there is a hard problem of explaining consciousness, than this actually must be considered as the hard problem of explaining experience. While the definition of experience could be broadened to include all molecular and biological pattern specific recognition events, the true nature of consciousness might be better understood when considering it as a very specific form of awareness, made possible by language. (shrink)

In the scientific communities most criticisms are constructive, while they are destructive in the humanistic circles. Indeed, scientists circulate their drafts among colleagues and students, hoping to elicit their comments and suggestions before submitting their work to publication. In contrast, philosophers and political thinkers attack their rivals, without sparing arguments ad hominem or even insults. The reason for this difference is that scientists are after the truth, whereas most humanists fight for more or less noble causes, from swelling their own (...) curricula to joining crusades for or against rationality, realism, justice, or what have you. (shrink)

Wie könnte ein Suchalgorithmus für wissenschaftliche Quellen aussehen? Wie findet man nicht erwähnte Begriffe? Wie erschließen sich implizite Kontroversen? Die Grundlagen für das Lexikon der Argumente.

We argue that the asymmetry between diverging and converging electromagnetic waves is just one of many asymmetries in observed phenomena that can be explained by a past hypothesis and statistical postulate (together assigning probabilities to different states of matter and field in the early universe). The arrow of electromagnetic radiation is thus absorbed into a broader account of temporal asymmetries in nature. We give an accessible introduction to the problem of explaining the arrow of radiation and compare our preferred strategy (...) for explaining the arrow to three alternatives: (i) modifying the laws of electromagnetism by adding a radiation condition requiring that electromagnetic fields always be attributable to past sources, (ii) removing electromagnetic fields and having particles interact directly with one another through retarded action-at-a-distance, (iii) adopting the Wheeler-Feynman approach and having particles interact directly through half-retarded half-advanced action-at-a-distance. In addition to the asymmetry between diverging and converging waves, we also consider the related asymmetry of radiation reaction. (shrink)

We put forth an account for when to believe causal and evidential conditionals. The basic idea is to embed a causal model in an agent’s belief state. For the evaluation of conditionals seems to be relative to beliefs about both particular facts and causal relations. Unlike other attempts using causal models, we show that ours can account rather well not only for various causal but also evidential conditionals.

Philosophy is sometimes perceived as an abstract and nerdy discipline dealing with problems of its own creation in an isolated chamber of the Ivory Tower. And there is some truth to this view. But philosophy can help us deal with common problems, such as the disagreements we have in our everyday lives.

Welche Theorien widersprechen einander? Welcher Autor ist welcher Theorie zuzuordnen? Wo gibt es stillschweigende Kontroversen und Übereinstimmungen? Wo verlaufen die wissenschaftlichen Lager? Die Grundlagen für das Lexikon der Argumente.

How a Semantic Search Algorithm for unedited sources may look. - The basics for the Philosophy Dictionary of Arguments.

Traditionally, computational theory (CT) and dynamical systems theory (DST) have presented themselves as opposed and incompatible paradigms in cognitive science. There have been some efforts to reconcile these paradigms, mainly, by assimilating DST to CT at the expenses of its anti-representationalist commitments. In this paper, building on Piccinini’s mechanistic account of computation and the notion of functional closure, we explore an alternative conciliatory strategy. We try to assimilate CT to DST by dropping its representationalist commitments, and by inviting CT to (...) recognize the functionally closed nature of some computational systems. (shrink)

When adopting a sound logical system, reasonings made within this system are correct. The situation with reasonings expressed, at least in part, with natural language is much more ambiguous. One way to be certain of the correctness of these reasonings is to provide a logical model of them. To conclude that a reasoning process is correct we need the logical model to be faithful to the reasoning. In this case, the reasoning inherits, so to speak, the correctness of the logical (...) model. There is a weak link in this procedure, which we call the faithfulness problem: how do we decide that the logical model is faithful to the reasoning that it is supposed to model? That is an issue external to logic, and we do not have rigorous formal methods to make the decision. The purpose of this paper is to expose the faithfulness problem (not to solve it). For that purpose, we will consider two examples, one from the geometrical reasoning in Euclid’s Elements and the other from a study on deductive reasoning in the psychology of reasoning. (shrink)

The Basics for the Philosophy Dictionary of Arguments - How to find non-mentioned concepts.

I confront Feyerabend's position and critical rationalism in order to have a foundation or starting point for my (historical) investigation. The main difference of his position towards falsificationism is the belief that different theories cannot be discussed rationally. Feyerabend is convinced that Galilei's observations with the telescope in the historical context of the Copernican revolution supports his criticism. In particular, he argues that the Copernican theory was supported by deficient hypotheses, and falsifications were disposed by ad hoc hypotheses and propaganda. (...) Furthermore, he claims that his philosophy of science reconstructs Galilei's defence of the Copernican theory. He introduces a central principle of his position (the principle of tenacity) in order to justify a research strategy of not eliminating falsified theories. He tries to show that the tenacious defence of a theory corresponds to Galilei's defence of the Copernican theory. Remarkably, Feyerabend's approach to explain the development of science earns an important support from his interpretation of Galilei's observations. On this basis I give a falsificationist interpretation of Galilei's observations with the telescope, and oppose this interpretation to Feyerabend's. From a falsificationist perspective, auxiliary hypotheses compete during the Copernican revolution which can (with some effort) be critically discussed. Then I analyse the historical case in order to test Feyerabend's interpretation of the Copernican revolution. Inter alias I investigate thoroughly whether Galilei, as Feyerabend claims, immunised falsifications of the Copernican theory by the introduction of ad hoc hypotheses. The investigation considers Galilei's explanation of Venus' phases, his establishment of the irradiation hypothesis, the explanation of the telescope's functionality, and the role of the reproducibility of the observations with the telescope. Finally I provide a rational reconstruction of Galilei's falsification of the Ptolemaic theory. The formalisation shows that Galilei was not a cautious critical rationalist, but a very confident scientist using the method of falsification. (shrink)

A re-evaluation of the notion of vacuum in quantum electrodynamics is presented, focusing on the vacuum of the quantized electromagnetic field. In contrast to the ‘nothingness’ associated to the idea of classical vacuum, subtle aspects are found in relation to the vacuum of the quantized electromagnetic field both at theoretical and experimental levels. These are not the usually called vacuum effects. The view defended here is that the so-called vacuum effects are not due to the ground state of the quantized (...) electromagnetic field. Nevertheless it is possible to maintain an empirically demonstrable notion of vacuum state that is consistent with the interpretation of the formalism of the theory. (shrink)

The rapidly increasing wealth of genomic data has driven the development of tools to assist in the task of representing and processing information about genes, their products and their functions. One of the most important of these tools is the Gene Ontology (GO), which is being developed in tandem with work on a variety of bioinformatics databases. An examination of the structure of GO, however, reveals a number of problems, which we believe can be resolved by taking account of certain (...) organizing principles drawn from philosophical ontology. We shall explore the results of applying such principles to GO with a view to improving GO’s consistency and coherence and thus its future applicability in the automated processing of biological data. (shrink)

The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be sufficiently addressed by insisting simply on the application of shared clinical terminologies or clinical information models. However, the use of the term ‘ontology’ has been steadily increasing more recently. We discuss criteria for distinguishing clinical ontologies from clinical terminologies and information models. Then, we briefly present the role clinical ontologies play in two multicentric research projects. Finally, (...) we discuss the interactions between these different kinds of knowledge representation artifacts and the stakeholders involved in developing interoperational real-world clinical applications. We provide ontology engineering examples from two EU-funded projects. (shrink)

In this paper we explore Ronald N. Giere’s contributions to the scientific realism debate. After outlining some of his general views on the philosophy of science, we locate his contributions within the traditional scientific realism debate. We argue that Giere’s scientific perspectivism is best seen as a form of carte blanche realism, that is: a view according to which science is a practice aiming at truth, and can warrantably claim to have attained it, to a certain degree; however, it does (...) not place our confidence invariably in some specific feature of scientific representations. (shrink)

Chez les scientifiques, la plupart des critiques sont constructives, alors qu’elles sont destructrices chez les humanistes. En effet, les scientifiques font circuler leurs brouillons entre collègues et étudiants, dans l’espoir de recueillir leurs commentaires et suggestions avant de soumettre leurs travaux à la publication. En revanche, les philosophes et les penseurs politiques attaquent leurs rivaux à coup d’arguments ad hominem et d’insultes. La raison de cette différence est que les scientifiques recherchent la vérité, alors que la plupart des humanistes se (...) battent pour des causes plus ou moins nobles, allant de la promotion de leur propre programme à la participation à des croisades pour ou contre la rationalité, le réalisme, la justice ou autre. (shrink)

I analyze the meaning of mass in Newtonian mechanics. First, I explain the notion of primitive ontology, which was originally introduced in the philosophy of quantum mechanics. Then I examine the two common interpretations of mass: mass as a measure of the quantity of matter and mass as a dynamical property. I claim that the former is ill-defined, and the latter is only plausible with respect to a metaphysical interpretation of laws of nature. I explore the following options for the (...) status of laws: Humeanism, primitivism about laws, dispositionalism, and ontic structural realism. (shrink)

The Foundational Model of Anatomy (FMA) is a map of the human body. Like maps of other sorts – including the map-like representations we find in familiar anatomical atlases – it is a representation of a certain portion of spatial reality as it exists at a certain (idealized) instant of time. But unlike other maps, the FMA comes in the form of a sophisticated ontology of its objectdomain, comprising some 1.5 million statements of anatomical relations among some 70,000 anatomical kinds. (...) It is further distinguished from other maps in that it represents not some specific portion of spatial reality (say: Leeds in 1996), but rather the generalized or idealized spatial reality associated with a generalized or idealized human being at some generalized or idealized instant of time. It will be our concern in what follows to outline the approach to ontology that is represented by the FMA and to argue that it can serve as the basis for a new type of anatomical information science. We also draw some implications for our understanding of spatial reasoning and spatial ontologies in general. (shrink)

Abstract We examine the construction of electromagnetism in its current form, and in an alternative form, from a point of view that combines a minimal realism with strict rational demands. We begin by discussing the requests of reason when constructing a theory and next, we follow the historical development as presented in the record of original publications, the underlying epistemology (often explained by the authors) and the mathematical constructions. The historical construction develops along socio-political disputes (mainly, the reunification of Germany (...) and the second industrial revolution), epistemic disputes (at least two demarcations of science in conflict) and several theories of electromagnetism. Such disputes resulted in the militant adoption of the ether by some, a position that expanded in parallel with the expansion of Prussia. This way of thinking was facilitated by the earlier adoption of a standpoint that required, as a condition for understanding, the use of physical hypothesis in the form of analogies; an attitude that is antithetic to Newton's “hypotheses non fingo”. While the material ether was finally abandoned, the epistemology survived in the form of “substantialism” and a metaphysical ether: the space. The militants of the ether attributed certainties regarding the ether to Faraday and Maxwell, when they only expressed doubts and curiosity. Thus, the official story is not the real history. This was achieved by the operation of detaching Maxwell's electromagnetism from its construction and introducing a new game of formulae and interpretations. Large and important parts of Maxwell work are today not known, as for example, the rules for the transformation of the electromagnetic potentials between moving systems. When experiments showed that all the theories based in the material ether were incorrect, a new interpretation was offered: Special Relativity (SR). At the end of the transformation period a pragmatic view of science, well adapted to the industrial society, had emerged, as well as a new protagonist: the theoretical physicist. The rival theory of delayed action at distance initiated under the influence of Gauss was forgotten in the midst of the intellectual warfare. The theory is indistinguishable in formulae from Maxwell's and its earlier versions are the departing point of Maxwell for the construction of his equations. We show in a mathematical appendix that such (relational) theory can incorporate Lorentz' contributions as well as Maxwell's transformations and C. Neumann's action, without resource to the ether. Demarcation criteria was further changed at the end of the period making room for habits and intuitions. When these intuited criteria are examined by critical reason (seeking for the fundaments) they can be sharpened with the use of the Non Arbitrariness Principle, which throws light over the arbitrariness in the construction of SR. Under a fully rational view SR is not acceptable, it requires to adopt a less demanding epistemology that detaches the concept from the conception, such as Einstein's own view in this respect, inherited from Hertz. In conclusion: we have shown in this relevant exercise how the reality we accept depends on earlier, irrational, decisions that are not offered for examination but rather are inherited from the culture. (shrink)

Algunos críticos de la ciencia afirman que es sólo un punto de vista entre otros, sin alguna autoridad epistémica especial. No obstante, en este artículo se defiende que la idea de que la investigación científica involucra una perspectiva o punto de vista no impone una restricción a su ideal de objetividad. Primero se presentan algunas aclaraciones sobre la noción de punto de vista, luego se atiende al concepto de objetividad científica, y por último se enfrentan algunos desafíos que se desprenden (...) de la noción de punto de vista y amenazan rasgos de la objetividad científica vinculados con su autoridad epistémica. -/- Some critics of science claim that it is only a point of view among others, lacking any special epistemic authority. However, this paper contends that conceiving scientific inquiry as something that involves a perspective or a point of view does not pose a constraint on its ideal of objectivity. We first put forward some clarifications on the notion of point of view, followed by some observations on scientific objectivity; finally, we face some of the challenges that rise from the notion of point of view and threaten features of scientific objectivity tied to its epistemic authority.]. (shrink)

Many people appear to attach great value to sad music. But why? One way to gain insight into this question is to turn away from music and look instead at why people value sad conversations. In the case of conversations, the answer seems to be that expressing sadness creates a sense of genuine connection. We propose that sad music can also have this type of value. Listening to a sad song can give one a sense of genuine connection. We then (...) explore the nature of this value in two experimental studies. The results suggest a striking relationship between music and conversation. People see something distinctively musical in works that express precisely those emotions that they think most create connection within conversation. (shrink)

Some arguments against David Lewis’s modal realism seek to exploit apparent inconsistencies between it and anthropic reasoning. A recent argument, in particular, seeks to exploit an inconsistency between modal realism and typicality anthropic premises, premises common in the literature on physical multiverses, to the effect that observers who are like human observers in certain respects must be typical in the relevant multiverse. Here I argue that typicality premises are not applicable to the description of Lewis’s metaphysical multiverse, where the proportions (...) of metaphysically possible observers possessing the pertinent properties can be independently established by metaphysical reasoning. However, other kinds of reasonable anthropic premises can be seen to be consistent with and usable within modal realism. (shrink)

This paper explores some aspects of the scientific study of creativity by focusing on intentional attempts to create instances of linguistic humour. We argue that this sort of creativity can be accounted for within an influential cognitive approach but that said framework is not a recipe for producing novel instances of humour and may even preclude them. We start by identifying three great puzzles that arise when trying to pin down the core traits of creativity, and some of the ways (...) taken by Cognitive Studies in this quest. We then consider what we call 'creative humour', which exhibits the core features of the aforesaid creativity. We then explore how a key cognitive approach to human communication can account for creative humour. We end by drawing lessons and highlighting limitations to cognitive approaches to creativity. (shrink)

Dal novembre 2016 al luglio 2017 Perniola ripensa alla sua vita scrivendo gli 86 capitoli che compongono questo volume, il tutto in uno stile ibrido tra il diaristico, il saggistico, l’autobiografico e il filosofico. Ognuno dei capitoli modella figure, contesti geografici, amicizie, avventure erotiche e aneddoti – che Perniola presenta come realmente accaduti – fornendo al lettore la Wunderkammer di una vita.