Contents: Foreword. Wolfgang BALZER and C. ULISES MOULINES: Introduction. José A. DÍEZ CALZADA: Structuralist Analysis of Theories of Fundamental Measurement. Adolfo GARCÍA DE LA SIENRA and Pedro REYES: The Theory of Finite Games in Extensive Form. Hans Joachim BURSCHEID und Horst STRUVE: The Theory of Stochastic Fairness - its Historical Development, Formulation and Justification. Wolfgang BALZER and Richard MATTESSICH: Formalizing the Basis of Accounting. Werner DIEDERICH: A Reconstruction of Marxian Economics. Bert HAMMINGA and Wolfgang BALZER: The (...) Basic Structure of Neoclassical General Equilibrium Theory. Klaus MANHART: Balance Theories: Two Reconstructions and the Problem of Intended Applications. Rainer WESTERMANN: Festinger's Theory of Cognitive Dissonance: A Structuralist Theory-Net. Rainer REISENZEIN: Wundt's Three-Dimensional Theory of Emotion. Pablo LORENZANO: Classical Genetics and the Theory-Net of Genetics. Hinne HETTEMA and Theo A.F. KUIPERS: The Formalisation of the Periodic Table. C. ULISES MOULINES: The Basic Core of Simple Equilibrium Thermodynamics. Thomas BARTELBORTH: An Axiomatization of Classical Electrodynamics. Author's Index. Subject Index. (shrink)

Contents: Foreword. Wolfgang BALZER and C. ULISES MOULINES: Introduction. José A. DÍEZ CALZADA: Structuralist Analysis of Theories of Fundamental Measurement. Adolfo GARCÍA DE LA SIENRA and Pedro REYES: The Theory of Finite Games in Extensive Form. Hans Joachim BURSCHEID und Horst STRUVE: The Theory of Stochastic Fairness - its Historical Development, Formulation and Justification. Wolfgang BALZER and Richard MATTESSICH: Formalizing the Basis of Accounting. Werner DIEDERICH: A Reconstruction of Marxian Economics. Bert HAMMINGA and Wolfgang BALZER: The (...) Basic Structure of Neoclassical General Equilibrium Theory. Klaus MANHART: Balance Theories: Two Reconstructions and the Problem of Intended Applications. Rainer WESTERMANN: Festinger's Theory of Cognitive Dissonance: A Structuralist Theory-Net. Rainer REISENZEIN: Wundt's Three-Dimensional Theory of Emotion. Pablo LORENZANO: Classical Genetics and the Theory-Net of Genetics. Hinne HETTEMA and Theo A.F. KUIPERS: The Formalisation of the Periodic Table. C. ULISES MOULINES: The Basic Core of Simple Equilibrium Thermodynamics. Thomas BARTELBORTH: An Axiomatization of Classical Electrodynamics. Author's Index. Subject Index. (shrink)

This book has grown out of eight years of close collaboration among its authors. From the very beginning we decided that its content should come out as the result of a truly common effort. That is, we did not "distribute" parts of the text planned to each one of us. On the contrary, we made a point that each single paragraph be the product of a common reflection. Genuine team-work is not as usual in philosophy as it is in other (...) academic disciplines. We think, however, that this is more due to the idiosyncrasy of philosophers than to the nature of their subject. Close collaboration with positive results is as rewarding as anything can be, but it may also prove to be quite difficult to implement. In our case, part of the difficulties came from purely geographic separation. This caused unsuspected delays in coordinating the work. But more than this, as time passed, the accumulation of particular results and ideas outran our ability to fit them into an organic unity. Different styles of exposition, different ways of formalization, different levels of complexity were simultaneously present in a voluminous manuscript that had become completely unmanageable. In particular, a portion of the text had been conceived in the language of category theory and employed ideas of a rather abstract nature, while another part was expounded in the more conventional set-theoretic style, stressing intui tivity and concreteness. (shrink)

This collection broadens the scientific discussion of modularity by bringing together experts from a variety of disciplines, including artificial life, ...

This is Werner S. Pluhar's translation of Immanuel Kant's Critique of Judgment (Kritik der Urtheilskraft) for Hackett Publications (Indianapolis, Indiana). ISBN 9780872200258 (paperback).

In der vorliegenden Arbeit wird ein Begriffsrahmen entwickelt, in dem sich Gemeinsamkeiten und Unterschiede zwischen drei Arten von Kulturprodukten klar aufzeigen lassen: Dichtung, Mythos und Wissenschaft. Die allen drei Phänomenen gemeinsame Struktur erfassen wir in §II und §III mit dem Begriff eines Repräsentationssystems, welcher in Anlehnung an die formale Modelltheorie semiotische Vorstellungen mit einem Denken in Systemen zusammenbringt. Die relevanten Unterschiede werden durch Differenzierung (§IV) jenes Begriffs festgemacht, d.h. die drei Phänomene werden durch jeweils spezielle Arten von Repräsentationssystemen erfaßt (§V). (...) Unser spezielles Augenmerk gilt dabei dem Mythos (§I), der sich in letzter Zeit eines wachsenden Interesses -- oft außerhalb des etablierten Wissenschaftsbetriebs -- erfreut. Es zeigt sich, daß der Mythos eine Mittelstellung zwischen Dichtung und Wissenschaft einnimmt: als "Bindeglied" vermittelt er sowohl zwischen der rein begrifflichen Struktur der Phänomene "Dichtung" und "Wissenschaft" als auch zwischen deren Unterschieden in Methode und Wahrheitsanspruch (die in engem Zusammenhang mit der begrifflichen Struktur stehen). Der hier entwickelte begriffliche Rahmen soll in weiteren Untersuchungen als Grundlage zur Herausarbeitung von Unterschieden in der Methode und im Wahrheitsanspruch dienen, die sich aus unserem Ansatz in natürlicher Weise ergeben. Diese müssen jedoch aus Platzgründen einer weiteren Arbeit vorbehalten bleiben. (shrink)

Philosophers of science traditionally have ignored the details of scientific research, and the result has often been theories that lack relevance either to science or to philosophy in general. In this volume, leading philosophers of biology discuss the limitations of this tradition and the advantages of the "naturalistic turn"—the idea that the study of science is itself a scientific enterprise and should be conducted accordingly. This innovative book presents candid, informal debates among scholars who examine the benefits and problems of (...) studying science in the same way that scientists study the natural world. Callebaut achieves the effect of face-to-face engagement through separate interviews with participants. Contributors include William Bechtel, Robert Brandon, Richard M. Burian, Donald T. Campbell, Patricia Churchland, Jon Elster, Ronald N. Giere, David L. Hull, Philip Kitcher, Karin Knorr Cetina, Bruno Latour, Richard Levins, Richard C. Lewontin, Elisabeth Lloyd, Helen Longino, Thomas Nickles, Henry C. Plotkin, Robert J. Richards, Alexander Rosenberg, Michael Ruse, Dudley Shapere, Elliott Sober, Ryan Tweney, and William Wimsatt. "Why can't we have both theoretical ecology and natural histories, lovingly done?"—Philip Kitcher "Don't underestimate the arrogance of philosophers!"—Elisabeth Lloyd. (shrink)

The Information Artifact Ontology (IAO) was created to serve as a domain‐neutral resource for the representation of types of information content entities (ICEs) such as documents, data‐bases, and digital im‐ages. We identify a series of problems with the current version of the IAO and suggest solutions designed to advance our understanding of the relations between ICEs and associated cognitive representations in the minds of human subjects. This requires embedding IAO in a larger framework of ontologies, including most importantly the Mental (...) Func‐tioning Ontology (MFO). It also requires a careful treatment of the aboutness relations between ICEs and associated cognitive representa‐tions and their targets in reality, which implies in turn a new treatment of the relation of truthmaking. (shrink)

The goal of referent tracking is to create an ever-growing pool of data relating to the entities existing in concrete spatiotemporal reality. In the context of Electronic Healthcare Records (EHRs) the relevant concrete entities are not only particular patients but also their parts, diseases, therapies, lesions, and so forth, insofar as these are salient to diagnosis and treatment. Within a referent tracking system, all such entities are referred to directly and explicitly, something which cannot be achieved when familiar concept-based systems (...) are used in what is called “clinical coding”. In this paper we describe the components of a referent tracking system in an informal way and we outline the procedures that would have to be followed by healthcare personnel in using such a system. We argue that the referent tracking paradigm can be introduced with only minor – though nevertheless ontologically important – technical changes to existing EHR infrastructures, but that it will require a radically different mindset on the part of those involved in clinical coding and terminology development from that which has prevailed hitherto. (shrink)

We performed a qualitative analysis of the Thesaurus in order to assess its conformity with principles of good practice in terminology and ontology design. We used both the on-line browsable version of the Thesaurus and its OWL-representation (version 04.08b, released on August 2, 2004), measuring each in light of the requirements put forward in relevant ISO terminology standards and in light of ontological principles advanced in the recent literature. Version 04.08b of the NCI Thesaurus suffers from the same broad range (...) of problems that have been observed in other biomedical terminologies. For its further development, we recommend the use of a more principled approach that allows the Thesaurus to be tested not just for internal consistency but also for its degree of correspondence to that part of reality which it is designed to represent. (shrink)

INTRODUCTION WERNER ABRAHAM, LACI MARÁCZ, SJAAK DE MEY & WIM SCHERPENISSE University of Groningen The Groningen Conference on Topic, ...

While classifications of mental disorders have existed for over one hundred years, it still remains unspecified what terms such as 'mental disorder', 'disease' and 'illness' might actually denote. While ontologies have been called in aid to address this shortfall since the GALEN project of the early 1990s, most attempts thus far have sought to provide a formal description of the structure of some pre-existing terminology or classification, rather than of the corresponding structures and processes on the side of the patient. (...) We here present a view of mental disease that is based on ontological realism and which follows the principles embodied in Basic Formal Ontology and in the application of BFO in the Ontology of General Medical Science. We analyzed statements about what counts as a mental disease provided in the research agenda for the DSM-V, and in Pies' model. The results were used to assess whether the representational units of BFO and OGMS were adequate as foundations for a formal representation of the entities in reality that these statements attempt to describe. We then analyzed the representational units specific to mental disease and provided corresponding definitions. Our key contributions lie in the identification of confusions and conflations in the existing terminology of mental disease and in providing what we believe is a framework for the sort of clear and unambiguous reference to entities on the side of the patient that is needed in order to avoid these confusions in the future. (shrink)

Quality assurance in large terminologies is a difficult issue. We present two algorithms that can help terminology developers and users to identify potential mistakes. We demon­strate the methodology by outlining the different types of mistakes that are found when the algorithms are applied to SNOMED-CT. On the basis of the results, we argue that both formal logical and linguistic tools should be used in the development and quality-assurance process of large terminologies.

This volume has its already distant or1g1n in an inter national conference on Evolutionary Epistemology the editors organized at the University of Ghent in November 1984. This conference aimed to follow up the endeavor started at the ERISS (Epistemologically Relevant Internalist Sociology of Science) conference organized by Don Campbell and Alex Rosen berg at Cazenovia Lake, New York, in June 1981, whilst in jecting the gist of certain current continental intellectual developments into a debate whose focus, we thought, was in (...) danger of being narrowed too much, considering the still underdeveloped state of affairs in the field. Broadly speaking, evolutionary epistemology today con sists of two interrelated, yet qualitatively distinct inves tigative efforts. Both are drawing on Darwinian concepts, which may explain why many people have failed to discriminate them. One is the study of the evolution of the cognitive apparatus of living organisms, which is first and foremost the province of biologists and psychologists (H. C. Plotkin, Ed. , Learning, Development, and Culture: Essays in Evolu tionary Epistemology, New York, Wiley, 1984), although quite a few philosophers - professional or vocational - have also felt the need to express themselves on this vast subject (F. M. Wuketits, Ed. , Conce ts and Approaches in Evolutionary Epistemology, Dordrecht Boston, Reidel, 1984). The other approach deals with the evolution of science, and has been dominated hitherto by (allegedly) 'naturalized' philosophers; no book-length survey of this literature is available at present. (shrink)

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. The (...) purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied. (shrink)

Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities that are added or (...) subtracted. In this paper we shall show that ontology is indeed an essential part of any solution to the problems of medical terminology – but only if it is understood in the right sort of way. Ontological engineering, we shall argue, should in every case go hand in hand with a sound ontological theory. (shrink)

The main designs of modern theories of syntax assume a process of syntagmatic organization. However, research on first language acquisition leaves no doubt that the structured combination of single lexical items cannot begin until a critical mass of lexical items has been acquired such that the lexicon is structured hierarchically on the basis of hierarchical feature bundling. Independent of a decision between the main views about the design of a proto language (the grammarless “Holophrastic view”,Arbib & Bickerton 2010: 1,Bickerton 2014) (...) or the ‘Compositional View’ as taken byRizzi (2010),Carstairs-McCarthy (2010), and others. What seems to be the minimal offset for language is the existence of grammatical categories like verb and noun, on the one hand, and, on the other hand, functional categories as needed for the expression of all kinds of agreement between the distinct categories to form recursively structured complexes. I follow the different stages of complexification asking whether there is paradigmatic next to syntagmatic organization and what its added value is for the evolution of grammar. The conclusion will be that paradigmatics is an indismissible part of the organization of early language in that it structures the lexicon so as to make primary and secondary syntactic merge possible and, consequently, is also a prerequisite for movement. The guiding idea of this position is Roman Jakobson’s insistence on the twofold organization of language and grammar. The two organizational designs, syntagmatics and paradigmatics, are manifest within each module: in the phonetic, the morphological, the syntactic, the semantic, and the pragmatic form (consider Jakobson’s1971a,breiterated argument). (shrink)

We reconstruct “the classical transformational theory” of Chomsky, and fit it into the structuralist theory of science. We describe both the formal and the empirical features of this classical account, so that one basic hypothesis of this theory – where central notions are used – can be formulated, and in which Chomsky’s “classical” distinction between surface structure and deep structure is clarified. In the empirical claim of this theory are words, sentences and high-structured entities in an inseparable way intertwined. We (...) claim that the formal structure of a natural language is not approximately the same as that of an empirical theory in general. We clarify two special points which affect the structure of the notion of an empirical theory, namely: the delineation of intended applications and the fit between data and models. We hold that the concept of the empirical claim for a linguistic theory should be generalized in comparison with the “standard” structuralist approach. (shrink)