The work reported here is of two sorts. One the one hand, we attempt to consolidate a lot of recent work on situation theory into a workable version, one that researchers can use and add to in ways that might be suitable for various applications. On the other, we attempt to solve a representational problem with situation theory: how can we represent complicated situation-theoretic objects in a way that is perspicuous. Our way in to the latter problem comes from an (...) on-going project aimed at bringing insights from Discourse Representation Theory and Situation Theory to bear on one another. In terms of this project, this paper represents a rather modest contribution. Our goal is to design a language for representing situationtheoretic objects that is based on Kamp's discourse representation structures. This was where we started but we found that working on the notation and its semantics led us to clari cations of various aspects of situation theory. A major part of the clari cation in the theory comes from our use of the work on parameters and abstraError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapction by Aczel and Lunnon AL]. (shrink)

Classifying Madness (Springer, 2005) concerns philosophical problems with the Diagnostic and Statistical Manual of Mental Disorders, more commonly known as the D.S.M. The D.S.M. is published by the American Psychiatric Association and aims to list and describe all mental disorders. The first half of Classifying Madness asks whether the project of constructing a classification of mental disorders that reflects natural distinctions makes sense. Chapters examine the nature of mental illness, and also consider whether mental disorders fall into natural kinds. The (...) second half of the book addresses epistemic worries. Even supposing a natural classification system to be possible in principle, there may be reasons to be suspicious of the categories included in the D.S.M. I examine the extent to which the D.S.M. depends on psychiatric theory, and look at how it has been shaped by social and financial factors. I aim to be critical of the D.S.M. without being antagonistic towards it. Ultimately, however, I am forced to conclude that although the D.S.M. is of immense practical importance, it is unlikely to come to reflect the natural structure of mental disorders. (shrink)

We shall argue that there is adequate moral justification for capital punishment with linkage, that is, with linkage to keeping non‐murderers from dying. We present the argument with two aims in mind. The first is to question the conventional wisdom, seldom challenged even by proponents of capital punishment, that being an abolitionist is closely connected to having a civilized respect for human life. This conventional wisdom, we hope to show, is somewhat off the mark. To this end we exhibit structural (...) similarities between so‐called lifeboat dilemmas and the public's relationship to a murderer. In a lifeboat dilemma one must choose between saving this life or that, since the lifeboat will not hold both persons. Now if this life were an innocent's and that one a murderer's, a choice to save the latter would not be met with accusations of callousness towards human life. We hope to project everyone's intuitions about this case onto the more baffling case of a society's relationship to the murderers and dying innocents in its midst. (shrink)

Although psychoanalysis and Zen Buddhism derive from theoretical and philosophical assumptions worlds apart, both experientially-based traditions share at their heart a desire for the understanding, development, and growth of the human experience. Paul Cooper utilizes detailed clinical vignettes to contextualize the implications of Zen Buddhism in the therapeutic setting to demonstrate how its practices and beliefs inform, relate to, and enhance transformative psychoanalytic practice. The basic concepts of Zen, such as the identity of the relative and the absolute and the (...) foundational principles of emptiness and dependent-arising, are given special attention as they relate to the psychoanalytic concepts of the unconscious and its processes, transference and countertransference, formulations of self, and more. In addition, through an analysis of apophasis, a unique style of discourse that serves as a basic structure for mystical languages, he provides insight into the structure of the seemingly irrational Zen koan in order to demonstrate its function as a pedagogical and psychological tool. Though mindful of their differences, Cooper’s intent throughout is to illustrate how the practices of both Zen and psychoanalysis become internalized by the individual who engages in them and can, in turn, inform one another in mutually beneficial ways in an effort to comprehend the ramifications of an individual or collective expanding vision. (shrink)

Computability theory concerns information with a causal–typically algorithmic–structure. As such, it provides a schematic analysis of many naturally occurring situations. Emil Post was the first to focus on the close relationship between information, coded as real numbers, and its algorithmic infrastructure. Having characterised the close connection between the quantifier type of a real and the Turing jump operation, he looked for more subtle ways in which information entails a particular causal context. Specifically, he wanted to find simple relations on (...) reals which produced richness of local computability-theoretic structure. To this extent, he was not just interested in causal structure as an abstraction, but in the way in which this structure emerges in natural contexts. Post’s programme was the genesis of a more far reaching research project. In this article we will firstly review the history of Post’s programme, and look at two interesting developments of Post’s approach. The first of these developments concerns the extension of the core programme, initially restricted to the Turing structure of the computably enumerable sets of natural numbers, to the Ershov hierarchy of sets. The second looks at how new types of information coming from the recent growth of research into randomness, and the revealing of unexpected new computability-theoretic infrastructure. We will conclude by viewing Post’s programme from a more general perspective. We will look at how algorithmic structure does not just emerge mathematically from information, but how that emergent structure can model the emergence of very basic aspects of the real world. (shrink)

The DSM is the main classification of mental disorders used by psychiatrists in the United States and, increasingly, around the world. Although widely used, the DSM has come in for fierce criticism, with many commentators believing it to be conceptually flawed in a variety of ways. This paper assesses some of these philosophical worries. The first half of the paper asks whether the project of constructing a classification of mental disorders that ‘cuts nature at the joints’ makes sense. What is (...) mental disorder? Are types of mental disorder natural kinds (that is, are the distinctions between them objective and of fundamental theoretical importance, as are, say, the distinctions between the chemical elements)? The second half of the paper addresses epistemic worries. Even if types of mental disorder are natural kinds there may be reason to doubt that the DSM will come to reflect their natural structure. In particular, I examine the extent to which the DSM is theory-laden, and look at how it has been shaped by social and financial factors. Ultimately, I conclude that although the DSM is of immense practical importance it is not likely to become the best possible classification of mental disorders. (shrink)

Computability theory concerns information with a causal–typically algorithmic–structure. As such, it provides a schematic analysis of many naturally occurring situations. Emil Post was the first to focus on the close relationship between information, coded as real numbers, and its algorithmic infrastructure. Having characterised the close connection between the quantifier type of a real and the Turing jump operation, he looked for more subtle ways in which information entails a particular causal context. Specifically, he wanted to find simple relations on (...) reals which produced richness of local computability-theoretic structure. To this extent, he was not just interested in causal structure as an abstraction, but in the way in which this structure emerges in natural contexts. Post’s programme was the genesis of a more far reaching research project. In this article we will firstly review the history of Post’s programme, and look at two interesting developments of Post’s approach. The first of these developments concerns the extension of the core programme, initially restricted to the Turing structure of the computably enumerable sets of natural numbers, to the Ershov hierarchy of sets. The second looks at how new types of information coming from the recent growth of research into randomness, and the revealing of unexpected new computability-theoretic infrastructure. We will conclude by viewing Post’s programme from a more general perspective. We will look at how algorithmic structure does not just emerge mathematically from information, but how that emergent structure can model the emergence of very basic aspects of the real world. (shrink)

The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will (...) make this volume an invaluable resource for specialists and non-specialists alike. (shrink)

The following question is considered: How is it that physicists can invent equations, so rich in structure, so detailed in consequences, and so closely in agreement with experience?

I will explore possibilities for formulating linguistic semantics in terms of records and record types of the kind used in recent developments of Martin-L¨of type theory (Betarte, 1998, Betarte and Tasistro, 1998, Coquand, Pollock and Takeyama, 2003, Tasistro, 1997). I will suggest that they give us the tools to develop a theory which includes aspects of Montague semantics, using the lambda calculus1, Discourse Representation Theory (DRT)2, situation semantics3 and Head-Driven Phrase Structure Grammar (HPSG)4 in a single theory. I will (...) also argue that formulating these theories in terms of record types may provide us not only with a unified approach but also with certain improvements over the individual theories. (shrink)

In addition to gestalt psychology and phenomenology, merleau-ponty's first book was influenced decisively by hegel. more precisely, it is argued that his critical remarks concerning reflexology as well as idealism and empiricism were inspired in large measure by the interpretation of hegel that merleau-ponty learned from alexandre kojeve.

The Plant Ontology (PO; http://www.plantontology.org/) is a publicly-available, collaborative effort to develop and maintain a controlled, structured vocabulary (“ontology”) of terms to describe plant anatomy, morphology and the stages of plant development. The goals of the PO are to link (annotate) gene expression and phenotype data to plant structures and stages of plant development, using the data model adopted by the Gene Ontology. From its original design covering only rice, maize and Arabidopsis, the scope of the PO has been expanded (...) to include all green plants. The PO was the first multi-species anatomy ontology developed for the annotation of genes and phenotypes. Also, to our knowledge, it was one of the first biological ontologies that provides translations (via synonyms) in non-English languages such as Japanese and Spanish. There are about 2.2 million annotations linking PO terms to over 110,000 unique data objects representing genes or gene models, proteins, RNAs, germplasm and Quantitative Traits Loci (QTLs) from 22 plant species. In this paper, we focus on the plant anatomical entity branch of the PO, describing the organizing principles, resources available to users, and examples of how the PO is integrated into other plant genomics databases and web portals. We also provide two examples of comparative analyses, demonstrating how the ontology structure and PO-annotated data can be used to discover the patterns of expression of the LEAFY (LFY) and terpene synthase (TPS) gene homologs. (shrink)

We discuss the development of cognitive neuroscience in terms of the tension between the greater sophistication in cognitive concepts and methods of the cognitive sciences and the increasing power of more standard biological approaches to understanding brain structure and function. There have been major technological developments in brain imaging and advances in simulation, but there have also been shifts in emphasis, with topics such as thinking, consciousness, and social cognition becoming fashionable within the brain sciences. The discipline has great (...) promise in terms of applications to mental health and education, provided it does not abandon the cognitive perspective and succumb to reductionism. (shrink)

Recent scholarship has steadily been opening up for philosophical study an increasingly wide range of the philosophical literature of antiquity. We no longer think only of Socrates, Plato and Aristotle, and their pre-Socratic forebears, when someone refers to the views of the ancient philosophers. Julia Annas has been one of the philosophers most closely engaged in the renewed study of Hellenistic philosophy over the past fifteen years, enabling herself and other scholars to acquire the necessary ground-level knowledge of the widely-dispersed (...) texts and the problems of interpretation—both historical and philosophical—that they present. In her new book she takes the next step. She presents to the general philosophical public of today an extended reconstruction of the systems of moral philosophy that were developed and pitted in competition with one another during the period when refinement and professionalism were at their height in Greek philosophy—between the end of the 4th and the middle of the 1st centuries B.C. These include the moral philosophies of Epicurus and his followers, several generations of Stoics, sceptical philosophers both Academic and Pyrrhonian, and the “hybrid” theories put together by Antiochus of Ascalon and other Stoic-influenced philosophers as part of the modernizing revival of Aristotelian ethical thought that took place in the 1st century B.C. She finds significant commonalities among these otherwise very disparate theories, and much of the book is devoted to examining these and showing how the conception of ethics and morality that is common to the ancient theorists compares with and differs from what we are familiar with in modern and contemporary theory. She traces these commonalities back to Aristotle in his ethical treatises, and accordingly includes Aristotle’s theory as one among those to be examined—indeed, in a significant sense as the intellectual father or grandfather of the rest of them. She leaves Plato’s dialogues out of account, and she has nothing to say about ethics and moral philosophy in the revived Platonism that gradually came to dominate philosophical thought in later antiquity. Her book, then, is a book about the structure and content of ancient ethical theory during the Hellenistic period, the period when Greek philosophy was at its high-point in professionalism and sophistication. (shrink)

Background: Increasing interest in empirical ethics has enhanced understanding of healthcare professionals’ ethical problems and attendant decision-making. A four-stage decision-making model involving ethical attention, reasoning, intention and action offers further insights into how more than reasoning alone may contribute to decision-making.Aims: To explore how the four-stage model can increase understanding of decision-making in healthcare and describe the decision-making of an under-researched professional group.Methods: 23 purposively sampled UK community pharmacists were asked, in semi-structured interviews, to describe ethical problems in their work (...) and how they were resolved. Framework analysis of transcribed interviews utilised the four decision-making stages, together with constant comparative methods and deviant-case analysis.Results: Pharmacists were often inattentive and constructed problems in legal terms. Ethical reasoning was limited, but examples of appeals to consequences, the golden rule, religious faith and common-sense experience emerged. Ethical intention was compromised by frequent concern about legal prosecution. Ethical inaction was common, typified by pharmacists’ failure to report healthcare professionals’ bad practices, and ethical passivity emerged to describe these negative examples of the four decision-making stages. Pharmacists occasionally described more ethically active decision-making, but this often involved ethical uncertainty.Discussion: The four decision-making stages are a useful tool in considering how healthcare professionals try to resolve ethical problems in practice. They reveal processes often ignored in normative theories, and their recognition and the emergence of ethical passivity indicates the complexity of decision-making in practice. Ethical passivity may be deleterious to patients’ welfare, and concerns emerge about improving pharmacists’ ethical training and promoting ethical awareness and responsibility. (shrink)

We shall argue that there is adequate moral justification for capital punishment with linkage, that is, with linkage to keeping non-murderers from dying. We present the argument with two aims in mind. The first is to question the conventional wisdom, seldom challenged even by proponents of capital punishment, that being an abolitionist is closely connected to having a civilized respect for human life. This conventional wisdom, we hope to show, is somewhat off the mark. To this end we exhibit structural (...) similarities between so-called lifeboat dilemmas and the public's relationship to a murderer. In a lifeboat dilemma one must choose between saving this life or that, since the lifeboat will not hold both persons. Now if this life were an innocent's and that one a murderer's, a choice to save the latter would not be met with accusations of callousness towards human life. We hope to project everyone's intuitions about this case onto the more baffling case of a society's relationship to the murderers and dying innocents in its midst. (shrink)

Van Gelder presents the dynamical hypothesis as a novel law of qualitative structure to compete with Newell and Simon's (1976) physical symbol systems hypothesis. Unlike Newell and Simon's hypothesis, the dynamical hypothesis fails to provide necessary and sufficient conditions for cognition. Furthermore, imprecision in the statement of the dynamical hypothesis renders it unfalsifiable.

Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive hierarchy classifications. Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific, and philosophical consequences. Written by a leading researcher, Computability Theory provides a concise, comprehensive, and authoritative introduction to contemporary (...) computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level. The book includes both the standard material for a first course in computability and more advanced looks at degree structures, forcing, priority methods, and determinacy. The final chapter explores a variety of computability applications to mathematics and science. Computability Theory is an invaluable text, reference, and guide to the direction of current research in the field. Nowhere else will you find the techniques and results of this beautiful and basic subject brought alive in such an approachable and lively way. (shrink)

Turing’s paper on computable numbers has played its role in underpinning different perspectives on the world of information. On the one hand, it encourages a digital ontology, with a perceived flatness of computational structure comprehensively hosting causality at the physical level and beyond. On the other, it can give an insight into the way in which higher order information arises and leads to loss of computational control—while demonstrating how the control can be re-established, in special circumstances, via suitable type (...) reductions. We examine the classical computational framework more closely than is usual, drawing out lessons for the wider application of information–theoretical approaches to characterizing the real world. The problem which arises across a range of contexts is the characterizing of the balance of power between the complexity of informational structure and the means available to bring this information back into the computational fold. We proceed via appropriate mathematical modelling to a more coherent view of the computational structure of information, relevant to a wide spectrum of areas of investigation. (shrink)

The paper examines two forms of naturalistic moral realism, “Micro-structure realism” and “Reason realism”. The latter, as we defend it, locates the objectivity of moral facts in socially constructed reality, but the former, as exemplified by David Brink\'s model of naturalistic moral realism, secures the objectivity of moral facts in their micro- structure and a nomic supervenience relationship. We find MSR\'s parity argument for this account of moral facts implausible; it yields a relation ship between moral facts and (...) their natural- scientific constitution that has a queer, slapped- together quality. We argue that the relationship needs to be spelled out by a process of social construction, involving collective intentionality and constitutive rules. We explain how our constructivist model of RR differs from a form of it defended by Michael Smith, which analyzes moral facts by reference not to construction but rather to a hypothetical situation of full rationality. We agree with Smith, as against Bernard Williams, that a rational agent may have reasons for acting that go beyond the agent\'s “subjective motivational set,” but we locate such reasons by reference to the agent\'s member ship in an actual community, and we explore the prospects for moral objectivity given this constraint on moral reasons. (shrink)

The symbol is a form composed by man more unconsciously than consciously. With primitive peoples, this form seems to have been born from the desire to penetrate to the kernel of supernatural or magical power by means of a concise formula, all-inclusive or ambiguous, particularly through a magic incantation or a song. This penetration, however, is only possible if one understands the inner structure of such a power. According to primitive belief, the true seat of this power is not (...) found in the world of our direct experience but in a magical area in which it rests in a completely abstract, latent state. In this condition it has not yet spread out into various shapes which it has to assume for concrete manifestation but appears completely homogeneous and solid. Moreover, the innermost substance (kernel) of this power is always organized antinomically. From this fundamental tendency to include opposites in a dualistic way, thunderstorms for example emerge as a dual combination of fire and water. Also dualistic is the “fiery stream of volcano and smithy,” the light-dark, hermaphroditism, etc. Psychologically, the original dual event is expressed in the fusion of love and hatred or the combination of a lust for power with inferiority. (shrink)

Based on data from a survey of biological scientists at 125 American universities, this article explores how the commercialization of the university affects the problems academic scientists pursue and argues that this reorientation of scientific agendas results in a shift from science in the public interest to science for private goods. Drawing on perspectives from Bourdieu on how actors employ strategic practices toward the accumulation of social capital and acquire dispositional and perceptional tendencies that in turn recondition social structures, the (...) commercialization of the university is construed not as something that ‘‘happens to,’’ but rather something that ‘‘happens through’’ academic scientists. The specific shape and direction of the commercialization of the university is therefore influenced by how scientists incorporate the new resources and social relations of commercialization into their scientific practice and how their creative engagement with shifting structural conditions remakes the culture of academic science. (shrink)

There is a long history of controversy in ecology over the role of competition in determining patterns of distribution and abundance, and over the significance of the mathematical modeling of competitive interactions. This paper examines the controversy. Three kinds of considerations have been involved at one time or another during the history of this debate. There has been dispute about the kinds of regularities ecologists can expect to find, about the significance of evolutionary considerations for ecological inquiry, and about the (...) empirical credentials of theoretical studies of competition. Each of these elements is examined with an eye toward gaining philosophical clarification of the issues involved. In the process, certain shortcomings of contemporary philosophical theories are revealed. In particular, I argue that plausibility arguments based on background considerations are an important part of the model building tradition, but that current accounts of the structure and evaluation of scientific theories do little to illuminate this side of theoretical ecology. (shrink)

A proof is given that 0′ is definable in the structure of the degrees of unsolvability. This answers a long-standing question of Kleene and Post, and has a number of corollaries including the definability of the jump operator.

Cognitive architectures - task-general theories of the structure and function of the complete cognitive system - are sometimes argued to be more akin to frameworks or belief systems than scientific theories. The argument stems from the apparent non-falsifiability of existing cognitive architectures. Newell was aware of this criticism and argued that architectures should be viewed not as theories subject to Popperian falsification, but rather as Lakatosian research programs based on cumulative growth. Newell's argument is undermined because he failed to (...) demonstrate that the development of Soar, his own candidate architecture, adhered to Lakatosian principles. This paper presents detailed case studies of the development of two cognitive architectures, Soar and ACT-R, from a Lakatosian perspective. It is demonstrated that both are broadly Lakatosian, but that in both cases there have been theoretical progressions that, according to Lakatosian criteria, are pseudo-scientific. Thus, Newell's defense of Soar as a scientific rather than pseudo-scientific theory is not supported in practice. The ACT series of architectures has fewer pseudo-scientific progressions than Soar, but it too is vulnerable to accusations of pseudo-science. From this analysis, it is argued that successive versions of theories of the human cognitive architecture must explicitly address five questions to maintain scientific credibility. (shrink)

The paper examines two forms of naturalistic moral realism, “Micro-structure realism” and “Reason realism” . The latter, as we defend it, locates the objectivity of moral facts in socially constructed reality, but the former, as exemplified by David Brink\'s model of naturalistic moral realism, secures the objectivity of moral facts in their micro- structure and a nomic supervenience relationship. We find MSR\'s parity argument for this account of moral facts implausible; it yields a relation ship between moral facts (...) and their natural- scientific constitution that has a queer, slapped- together quality. We argue that the relationship needs to be spelled out by a process of social construction, involving collective intentionality and constitutive rules. We explain how our constructivist model of RR differs from a form of it defended by Michael Smith , which analyzes moral facts by reference not to construction but rather to a hypothetical situation of full rationality. We agree with Smith, as against Bernard Williams, that a rational agent may have reasons for acting that go beyond the agent\'s “subjective motivational set,” but we locate such reasons by reference to the agent\'s member ship in an actual community, and we explore the prospects for moral objectivity given this constraint on moral reasons. (shrink)

Oncogenes are altered forms of normal cellular genes known as proto‐oncogenes. Several oncogenes encode enzymes that phosphorylate substrate proteins at tyrosine. In most of these cases the oncogene differs from its proto‐oncogene by multiple mutations that alter the structure of the encoded protein product. Here we discuss how structural changes might effect the regulation and substrate specificity of the protein kinase product of a protooncogene so that it gains the potential to transform cells.

God, sex, and economics are all intertwined. The trafficking of people for sex intensifies each year. The sex trade crosses a spectrum from ‘high class’ escorts to sex slaves. The sex industry includes toys, pornography, and the exchange of sex between buyers, sellers, and managers. In this market exists sexual poverty caused by injustice, the imbalance of sexual power between individuals and within structures. Poverty pushes people into the market to sell, to be sold. Theologically there is a harmful, top-down, (...) and irrelevant theology that often ignores our sexuality. Liberation theology’s hermeneutical circle, a circle of action and reflection in community, can address sexual poverty. Its steps include: 1. assessing our situation; 2. analyzing our situation with academic tools; 3. analyzing our faith; and 4. praxis; right action. It can help us to draw the line between sexual exploitation and the celebration of sex as a way to know God. (shrink)

We live in the era of Facebook, Fitbit, and Skype. As such, it would be unreasonable to expect that the healthcare industry would not see the same kind of globalization as do our social spheres and consumer activities. Indeed, the explosion of information technology, the ease of transcontinental travel, and the emergence of a more globally aware citizenry allows for scientific collaboration that has had many positive effects on global health. However, the economic and structural disparities between systems of healthcare (...) delivery in the industrialized world and parts of the developing world have created a monster in the form of an international medical tourism industry that endangers the health and safety of citizens of the host country as well as visiting patients. Not only does the practice of medical tourism pose a practical danger to those in direct contact with the industry, but it brings up troubling philosophical problems centering on national responsibility and the commodification of healthcare, among other important issues. In the United States, the driving force behind international medical tourism is the exorbitant cost of healthcare, particularly for the uninsured but also for the underinsured and those who experience catastrophic medical expenses from chronic illness or sudden health crises. Not only have individuals begun to look outside the U.S. for surgical procedures and other expensive therapies, but employers have begun to toy with the idea of outsourcing the medical care of the employees they insure in order to cut costs. In other industrialized nations, the issues that underpin international medical tourism are related to healthcare rationing and reflect different shortcomings in the delivery of healthcare in those nations, such as the United Kingdom and Canada, that have single-payer systems. Yet the regulatory and philosophical implications for both patients and hosts of international healthcare are largely the same. The challenge of regulating international trade in medical care is obvious and becomes particularly acute when there are insurers and employers involved. Complicating matters further, medical care that takes place outside the country of origin of the patient is often brokered by “medical concierge services,” which, though quick to claim indemnity from any harm arising from substandard or inappropriate medical care, cannot be divorced from responsibility for the health outcomes of their clients. Agreements hashed out between concierge services and patients specify that any remedy for harm stemming from their medical care must be pursued within the confines of the law of the host country, but the practical implications of this are troublesome. How can a foreign patient—often without either linguistic or cultural competency in the host country—be expected to navigate the complexity of a foreign legal system, particularly one that may be far less developed than his home country? Furthermore, if insurance companies and employers are involved with such care, who pays for an adverse result or determines responsibility for harm that may befall the patient? Under which countries’ laws? If a patient travels to Singapore for sexual reassignment surgery or a cardiac valve repair, returns to the States and suffers complications, who pays for the restoration of her health? Beyond legal standards and judicial remedies for harm to patients seeking care on the international market, there is the question of what ethical standards and norms apply to such patients. What effect does it have on American patients, for example, to receive care within a system that does not emphasize autonomy and informed consent the way they are used to? Why should foreign physicians care about the cultural mores of their patients’ country of origin? Can they be expected to grasp cultural differences between American, Canadian, and British patients? The medical concierge might respond, “Well, buyer beware!” This is unreasonable: It is nearly impossible for any patient to accurately assess the various options, risks and benefits that go with a particular medical treatment, much less the patient who is attempting to do so on the international market. And the crass invocation of the doctrine of caveat emptor betrays a view of healthcare as a commodity that is naive and inappropriate. Paramount in my mind, however, are the practical implications for the care of the citizens of developing nations that host international patients and the broader philosophical issue of what the goals of the medical profession as a whole and each country’s individual healthcare system should be. While I understand the argument that international medical tourism creates great economic gains for developing nations, which can then be channeled toward the care of their citizenry as a whole, there is much reason to doubt that this “trickle-down” model of economics provides real benefits for underserved, whether in healthcare or other arenas. What is more likely is that, while lucrative international “medi-cities” may keep bright doctors in their home countries, it is also likely to lure them away from the institutions that serve the lion’s share of their countrymen. With the concentration of talented native doctors in private hospitals that serve citizens of the developed world, the population at large is left to obtain care at institutions that suffer “brain drain” from the flight of talented local staff to more prestigious, often “brand name,” institutions that give them more Western-like salaries while allowing them to practice in their countries of origin. The very fact that citizens of the wealthiest nations in the world are forced to go abroad for life-saving care speaks to an abdication of national responsibility on the part of their home countries. The provision of health care is one of the principal responsibilities of any nation and it is unacceptable that a nation with the strength and wealth of the United States would take advantage of the weaker political and economic situations of developing nations in order to shirk its responsibility to its fellow citizens. If we take care of our countrymen and take pride in an equitable system of healthcare delivery, there will be no need to shrug our shoulders and say “Buyer beware” to the patient who heads to the Philippines for heart surgery. (shrink)

In a recent paper Asher and Pustejovsky propose a type theoretical approach to account for cases of copredication which had motivated Pustejovsky to introduce dot types in the Generative Lexicon. In this paper I will propose an alternative treatment to that given by Asher and Pustejovsky using type theory with records. I will suggest that using record types not only gives us a simple and intuitive account of dot types but also makes an important connection between copredication and the use (...) of hypothetical contexts in dynamic generalized quantifiers I have proposed in earlier work. More generally it allows us to preserve the intuitive feature structure based accounts of lexical analysis proposed in Pustejovsky’s original work on the Generative Lexicon while at the same time introducing functions and binding in the way that is necessary for giving formal accounts of compositional semantics. (shrink)

The Major Sub-degree Problem of A. H. Lachlan (first posed in 1967) has become a long-standing open question concerning the structure of the computably enumerable (c.e.) degrees. Its solution has important implications for Turing definability and for the ongoing programme of fully characterising the theory of the c.e. Turing degrees. A c.e. degree a is a major subdegree of a c.e. degree b > a if for any c.e. degree x, ${{\bf 0' = b \lor x}}$ if and only (...) if ${{\bf 0' = a \lor x}}$ . In this paper, we show that every c.e. degree b ≠ 0 or 0′ has a major sub-degree, answering Lachlan’s question affirmatively. (shrink)

Bio-ontologies are essential tools for accessing and analyzing the rapidly growing pool of plant genomic and phenomic data. Ontologies provide structured vocabularies to support consistent aggregation of data and a semantic framework for automated analyses and reasoning. They are a key component of the Semantic Web. This paper provides background on what bio-ontologies are, why they are relevant to botany, and the principles of ontology development. It includes an overview of ontologies and related resources that are relevant to plant science, (...) with a detailed description of the Plant Ontology (PO). We discuss the challenges of building an ontology that covers all green plants (Viridiplantae). Key results: Ontologies can advance plant science in four keys areas: 1. comparative genetics, genomics, phenomics, and development, 2. taxonomy and systematics, 3. semantic applications and 4. education. Conclusions: Bio-ontologies offer a flexible framework for comparative plant biology, based on common botanical understanding. As genomic and phenomic data become available for more species, we anticipate that the annotation of data with ontology terms will become less centralized, while at the same time, the need for cross-species queries will become more common, causing more researchers in plant science to turn to ontologies. (shrink)

Sketching as a scientific practice goes beyond the simple act of inscribing diagrams onto paper. Scientists produce a wide range of representations through sketching, as it is tightly coupled to model-based reasoning. Chemists in particular make extensive use of sketches to reason about chemical phenomena and to communicate their ideas. However, the chemical sciences have a unique problem in that chemists deal with the unseen world of the atomic-molecular level. Using sketches, chemists strive to develop causal mechanisms that emerge from (...) the structure and behavior of molecular-level entities, to explain observations of the macroscopic visible world. Interpreting these representations and constructing sketches of molecular-level processes is a crucial component of student learning in the modern chemistry classroom. Sketches also serve as an important component of assessment in the chemistry classroom as student sketches give insight into developing mental models, which allows instructors to observe how students are thinking about a process. In this paper we discuss how sketching can be used to promote such model-based reasoning in chemistry and discuss two case studies of curricular projects, CLUE and The Connected Chemistry Curriculum, that have demonstrated a benefit of this approach. We show how sketching activities can be centrally integrated into classroom norms to promote model-based reasoning both with and without component visualizations. Importantly, each of these projects deploys sketching in support of other types of inquiry activities, such as making predictions or depicting models to support a claim; sketching is not an isolated activity but is used as a tool to support model-based reasoning in the discipline. (shrink)

The development of analogical reasoning has traditionally been understood in terms of theories of adult competence. This approach emphasizes structured representations and structure mapping. In contrast, we argue that by taking a developmental perspective, analogical reasoning can be viewed as the product of a substantially different cognitive ability – relational priming. To illustrate this, we present a computational (here connectionist) account where analogy arises gradually as a by-product of pattern completion in a recurrent network. Initial exposure to a situation (...) primes a relation that can then be applied to a novel situation to make an analogy. Relations are represented as transformations between states. The network exhibits behaviors consistent with a broad range of key phenomena from the developmental literature, lending support to the appropriateness of this approach (using low-level cognitive mechanisms) for investigating a domain that has normally been the preserve of high-level models. Furthermore, we present an additional simulation that integrates the relational priming mechanism with deliberative controlled use of inhibition to demonstrate how the framework can be extended to complex analogical reasoning, such as the data from explicit mapping studies in the literature on adults. This account highlights how taking a developmental perspective constrains the theory construction and cognitive modeling processes in a way that differs substantially from that based purely on adult studies, and illustrates how a putative complex cognitive skill can emerge out of a simple mechanism. (shrink)

Copyright ©2010–2015 all rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been added, but can be read as though it were part of the original text. Occasional •bullets, and also indenting of passages that are not quotations, are meant as aids to grasping the structure of a sentence or a thought. Every four-point ellipsis . . . . indicates the omission of a brief passage that seems to present more difficulty than it is (...) worth. Longer omissions are reported between brackets in normal-sized type.—All the quotations from Latin writers were given in the original in Latin.—The Lord Somers to whom this work is addressed was the Lord Chancellor of England, the most highly placed official in the legal system.—This work is the first of the five Treatises in Shaftesbury’s Characteristics of men, manners, opinions, and times. (shrink)

Thomas & Karmiloff- Smith correctly identify Residual Normality as a critical assumption of some theorising about mental structure within developmental psychology. However, their simulations provide only weak support for the conditions under which RN may occur because they explore closely related architectures that share a learning algorithm. It is suggested that more work is required to establish the limits of RN.

The paper investigates an elliptical construction, Clarification Ellipsis, that occurs in dialogue. We suggest that this provides data that demonstrates that updates resulting from utterances cannot be defined in purely semantic terms, contrary to the prevailing assumptions of existing approaches to dynamic semantics. We offer a computationally oriented analysis of the resolution of ellipsis in certain cases of dialogue clarification. We show that this goes beyond standard techniques used in anaphora and ellipsis resolution and requires operations on highly structured, linguistically (...) heterogeneous representations. We characterize these operations and the representations on which they operate. We offer an analysis couched in a version of Head-Driven Phrase Structure Grammar combined with a theory of information states (IS) in dialogue. We sketch an algorithm for the process of utterance integration in IS which leads to grounding or clarification. The account proposed here has direct applications to the theory of attitude reports, an issue which is explored briefly in the concluding remarks of the paper. (shrink)

The Plant Ontology (PO) is a community resource consisting of standardized terms, definitions, and logical relations describing plant structures and development stages, augmented by a large database of annotations from genomic and phenomic studies. This paper describes the structure of the ontology and the design principles we used in constructing PO terms for plant development stages. It also provides details of the methodology and rationale behind our revision and expansion of the PO to cover development stages for all plants, (...) particularly the land plants (bryophytes through angiosperms). As a case study to illustrate the general approach, we examine variation in gene expression across embryo development stages in Arabidopsis and maize, demonstrating how the PO can be used to compare patterns of expression across stages and in developmentally different species. Although many genes appear to be active throughout embryo development, we identified a small set of uniquely expressed genes for each stage of embryo development and also between the two species. Evaluating the different sets of genes expressed during embryo development in Arabidopsis or maize may inform future studies of the divergent developmental pathways observed in monocotyledonous versus dicotyledonous species. The PO and its annotation databasemake plant data for any species more discoverable and accessible through common formats, thus providing support for applications in plant pathology, image analysis, and comparative development and evolution. (shrink)

This paper introduces a formal view of the semantics and pragmatics of corrective feedback in dialogues between adults and children. The goal of this research is to give a formal account of language coordination in dialogue, and semantic coordination in particular. Accounting for semantic coordination requires (1) a semantics, i.e. an architecture allowing for dynamic meanings and meaning updates as results of dialogue moves, and (2) a pragmatics, describing the dialogue moves involved in semantic coordination. We illustrate the general approach (...) by applying it to some examples from the literature on corrective feedback, and provide a fairly detailed discussion of one example using TTR (Type Theory with Records) to formalize concepts. TTR provides an analysis of linguistic content which is structured in order to allow modification and similarity metrics, and a framework for describing dialogue moves and resulting updates to linguistic resources. (shrink)

We offer a computational analysis of the resolution of ellipsis in certain cases of dialogue clarification. We show that this goes beyond standard techniques used in anaphora and ellipsis resolution and requires operations on highly structured, linguistically heterogeneous representations. We characterize these operations and the representations on which they operate. We offer an analysis couched in a version of Head-Driven Phrase Structure Grammar combined with a theory of information states (IS).

There has been a significant amount of uncertainty and controversy over the prospects for general knowledge in ecology. Environmental decision makers have begun to despair of ecology's capacity to provide anything more than case by case guidance for the shaping of environmental policy. Ecologists themselves have become suspicious of the pursuit of the kind of genuine nomothetic knowledge that appears to be the hallmark of other scientific domains. Finally, philosophers of biology have contributed to this retreat from generality by suggesting (...) that there really are no laws in biology. This paper addresses these issues by providing a framework for thinking about general knowledge claims in ecology. It introduces a philosophical taxonomy that classifies generalizations into three broad categories – phenomenological, causal and theoretical. It then turns to the difficult problem of laws, arguing that, while there are probably no laws as that term has been understood in philosophy of science, it doesn't follow that everything in ecology is equally contingent. A mechanism for recognizing degrees of contingency in ecological generalizations is developed. The paper concludes by examining the implications of the analysis for the controversies noted at the outset. (shrink)