The National Center for Biomedical Ontology is now in its seventh year. The goals of this National Center for Biomedical Computing are to: create and maintain a repository of biomedical ontologies and terminologies; build tools and web services to enable the use of ontologies and terminologies in clinical and translational research; educate their trainees and the scientific community broadly about biomedical ontology and ontology-based technology and best practices; and collaborate with a variety of groups who develop and use ontologies and (...) terminologies in biomedicine. The centerpiece of the National Center for Biomedical Ontology is a web-based resource known as BioPortal. BioPortal makes available for research in computationally useful forms more than 270 of the world's biomedical ontologies and terminologies, and supports a wide range of web services that enable investigators to use the ontologies to annotate and retrieve data, to generate value sets and special-purpose lexicons, and to perform advanced analytics on a wide range of biomedical data. (shrink)

The meeting focused on uses of ontologies, with a special focus on spatial ontologies, in addressing the ever increasing needs faced by biology and medicine to cope with ever expanding quantities of data. To provide effective solutions computers need to integrate data deriving from myriad heterogeneous sources by bringing the data together within a single framework. The meeting brought together leaders in the field of what are called "top-level ontologies" to address this issue, and to establish strategies among leaders in (...) the field of biomedical ontology for the creation of interoperable biomedical ontologies which will serve the goal of useful data integration. (shrink)

In 2005, IOS Press published the first issue of applied Ontology. At the time, we argued that, at the core of the journal, there was “a desire to understand the nature of reality and how people construe their world”. We declared that ontology was both “fundamental to human thought” and “to translating our thoughts into computational artifacts” (Guarino & Musen,2005). With an editorial board of distinguished scholars representing the fields of computer science, informatics, information science, philosophy, linguistics, psychology, and (...) social science, we had the firm belief that applied Ontologywould fulfill an important academic niche, becoming an essential forum for discussion on topics such as ontological analysis, conceptual modeling, and the role of domain models in building and managing information systems. The facts now show that we were correct. (shrink)

In a world that is overflowing with journals and other outlets for scientific publication, the appearance of any new periodical requires some justification. There are already more journals than we can read and more conferences than we can attend. In the case of applied Ontology, we believe that the creation of anew journal not only is completely justifiable, it is downright exciting. For too long, workers in computer science have assumed that content comes for free. “Theory” in computer science has (...) always meant the theory of processes and of computation. We measure the complexity of computer programs in terms of how long it takes machines to execute them, not in terms of how long it takes people to understand and to represent the data on which those programs might operate. We typically describe computer code in terms of algorithms that operate on formal parameters, often without pausing to discuss where the data that might satisfy those parameters come from. This journal was founded on the premise that workers in computer science, informatics, and information science are overdue in paying as much attention to contents as they do to algorithms. (shrink)

Each annual Ontology Summit initiative makes a statement appropriate to each Summit’s theme as part of our general advocacy designed to bring ontology science and engineering into the mainstream. The theme this year is "Towards an Open Ontology Repository". This communiqué represents the joint position of those who were engaged in the year's summit discourse on an Open Ontology Repository (OOR) and of those who endorse below. In this discussion, we have agreed that an "ontology repository is a facility where (...) ontologies and related information artifacts can be stored, retrieved and managed." -/- We believe in the promise of semantic technologies based on logic, databases and the Semantic Web, a Web of exposed data and of interpretations of that data (i.e., of semantics), using common standards. Such technologies enable distinguishable, computable, reusable, and sharable meaning of Web and other artifacts, including data, documents, and services. We also believe that making that vision a reality requires additional supporting resources and these resources should be open, extensible, and provide common services over the ontologies. (shrink)

Semantic interoperability requires the use of standards, not only for Electronic Health Record (EHR) data to be transferred and structurally mapped into a receiving repository, but also for the clinical content of the EHR to be interpreted in conformity with the original meanings intended by its authors. Accurate and complete clinical documentation, faithful to the patient’s situation, and interoperability between systems, require widespread and dependable access to published and maintained collections of coherent and quality-assured semantic resources, including models such as (...) archetypes and templates that would (1) provide clinical context, (2) be mapped to interoperability standards for EHR data, (3) be linked to well specified, multi-lingual terminology value sets, and (4) be derived from high quality ontologies. Wide-scale engagement with professional bodies, globally, is needed to develop these clinical information standards. (shrink)

This is a short editorial to introduce the double issue of Applied Ontology that celebrates the journal's tenth anniversary. At a time when information technology of all kinds depends on the use of explicit ontologies, our journal addresses the modeling issues that underlie the next generation of computational systems. As the editors of Applied Ontology, we are excited by how far we have come in the past decade and by the opportunities that await our research community.

The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) to create (...) new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects (DBPs), and (4) to disseminate the tools and resources of the Center and to identify, evaluate, and communicate best practices of ontology development to the biomedical community. Through the research activities within the Center, collaborations with the DBPs, and interactions with the biomedical community, our goal is to help scientists to work more effectively in the e-science paradigm, enhancing experiment design, experiment execution, data analysis, information synthesis, hypothesis generation and testing, and understand human disease. (shrink)

BioPortal is a Web portal that provides access to a library of biomedical ontologies and terminologies developed in OWL, RDF(S), OBO format, Protégé frames, and Rich Release Format. BioPortal functionality, driven by a service-oriented architecture, includes the ability to browse, search and visualize ontologies (Figure 1). The Web interface also facilitates community-based participation in the evaluation and evolution of ontology content.

The National Cancer Institute's (NCI) Thesaurus is a biomedical reference ontology. The NCI Thesaurus is represented using description logic, more specifically Ontylog, a description logic implemen...

Report on Dagstuhl Seminar 07132, Schloss Dagstuhl, March 27-30 , 2007.

There are three major weaknesses with Glenberg 's theory. The first is that his theory makes assumptions about internal representations that cannot be adequately tested. The second is that he tries to accommodate data from three disparate domains: mental models, linguistics, and memory. The third is that he makes light of advances in cognitive neuroscience.

This provocative book attempts to resolve traditional problems of identity over time. It seeks to answer such questions as 'How is it that an object can survive change?' and 'How much change can an object undergo without being destroyed'? To answer these questions Professor Heller presents a theory about the nature of physical objects and about the relationship between our language and the physical world. According to his theory, the only actually existing physical entities are what the author calls 'hunks', (...) four-dimensional objects extending across time and space. This is a major contribution to ontological debate and will be essential reading for all philosophers concerned with metaphysics. (shrink)

Beliefs are concrete particulars containing ideas of properties and notions of things, which also are concrete. The claim made in a belief report is that the agent has a belief (i) whose content is a specific singular proposition, and (ii) which involves certain of the agent's notions and ideas in a certain way. No words in the report stand for the notions and ideas, so they are unarticulated constituents of the report's content (like the relevant place in "it's raining"). The (...) belief puzzles (Hesperus, Cicero, Pierre) involve reports about two different notions. So the analysis gets the puzzling truth values right. (shrink)

What is it to have a reason? According to one common idea, the "Factoring Account", you have a reason to do A when there is a reason for you to do A which you have--which is somehow in your possession or grasp. In this paper, I argue that this common idea is false. But though my arguments are based on the practical case, the implications of this are likely to be greatest in epistemology: for the pitfalls we fall into when (...) trying to defend the Factoring Account reflect very well the major developments in empiricist epistemology during the 20th century. I conjecture that this is because epistemologists have been--wrongly--wedded to the Factoring Account about evidence, which I conjecture is a certain kind of reason to believe. (shrink)

In the 1960s, Peter Geach and John Searle independently posed an important objection to the wide class of 'noncognitivist' metaethical views that had at that time been dominant and widely defended for a quarter of a century. The problems raised by that objection have come to be known in the literature as the Frege-Geach Problem, because of Geach's attribution of the objection to Frege's distinction between content and assertoric force, and the problem has since occupied a great deal of the (...) attention both of defenders of broadly noncognitivist views, and of their critics. In this article I explain Geach and Searle's historical objections, and put the subsequent discussion into dialectical context, paying some attention to the developments along the way and how they have enhanced our overall understanding of the problem. The article covers a lot of territory, so we will only be able to see the highlights, along the way. For further reading, see the Works Cited. (shrink)

Causation is one of philosophy's most venerable and thoroughly-analyzed concepts. However, the study of how ordinary people make causal judgments is a much more recent addition to the philosophical arsenal. One of the most prominent views of causal explanation, especially in the realm of harmful or potentially harmful behavior, is that unusual or counternormative events are accorded privileged status in ordinary causal explanations. This is a fundamental assumption in psychological theories of counterfactual reasoning, and has been transported to philosophy by (...) Hitchcock and Knobe (2009). A different view--the basis of the culpable control model of blame (CCM)--is that primary causal status is accorded to behaviors that arouse negative evaluative reactions, including behaviors that stem from nefarious motives, negligence or recklessness, a faulty character, or behaviors that lead to harmful or potentially harmful consequences. This paper describes four empirical studies that show consistent support for the CCM. (shrink)

It is now generally understood that constraints play an important role in commonsense moral thinking and generally accepted that they cannot be accommodated by ordinary, traditional consequentialism. Some have seen this as the most conclusive evidence that consequentialism is hopelessly wrong,1 while others have seen it as the most conclusive evidence that moral common sense is hopelessly paradoxical.2 Fortunately, or so it is widely thought, in the last twenty-five years a new research program, that of Agent-Relative Teleology, has come to (...) the rescue on all sides. While consequentialism says that every agent ought always to do that action that will bring about the most good, according to Agent- Relative Teleology. (shrink)

Ethical decision-making descriptive theoretical models often conflict with each other and typically lack comprehensiveness. To address this deficiency, a revised EDM model is proposed that consolidates and attempts to bridge together the varying and sometimes directly conflicting propositions and perspectives that have been advanced. To do so, the paper is organized as follows. First, a review of the various theoretical models of EDM is provided. These models can generally be divided into rationalist-based ; and non-rationalist-based. Second, the proposed model, called (...) ‘Integrated Ethical Decision Making,’ is introduced in order to fill the gaps and bridge the current divide in EDM theory. The individual and situational factors as well as the process of the proposed model are then described. Third, the academic and managerial implications of the proposed model are discussed. Finally, the limitations of the proposed model are presented. (shrink)

Particularists in ethics emphasize that the normative is holistic, and invite us to infer with them that it therefore defies generalization. This has been supposed to present an obstacle to traditional moral theorizing, to have striking implications for moral epistemology and moral deliberation, and to rule out reductive theories of the normative, making it a bold and important thesis across the areas of normative theory, moral epistemology, moral psychology, and normative metaphysics. Though particularists emphasize the importance of the holism of (...) the normative, however, it is not something that they have been able to explain. In this paper I’ll show how to use a small number of simple and, I’ll argue, independently compelling assumptions in order to both predict and explain the holistic features of the normative with respect to the non-normative. The basic idea of the paper is simple. It is that normative claims are holistic because they are general, rather than because they defy generalization. (shrink)

This article considers two important problems for the idea that what we ought to do is determined by the balance of competing reasons. The problems are distinct, but the object of the article is to explore how they admit of a single solution. It is a consequence of this solution that objective reasons—facts that count in favor—are in an important sense less objective than they have consistently been assumed to be. This raises but does not answer the question as to (...) what evidence we ever had that reasons are as objective as has been assumed. (shrink)

This book is an examination of the nature of economic explanation. The opening chapters introduce current thinking in the philosophy of science and review the literature on methodology. Professor Blaug then turns to the troublesome question of the logical status of welfare economics, giving the reader an understanding of the outstanding issues in the methodology of economics. This is followed by a series of case studies of leading economic controversies, which shows how controversies in economics may be illuminated by paying (...) attention to questions of methodology. A final chapter draws the strands together and gives the author's view of what is wrong with modern economics. This book is a revised and updated edition of a classic work on the methodology of economics, in which Professor Blaug develops his discussion of the latest developments in macroeconomics, general equilibrium theory and international trade theory. A new section on the rationality postulate is also added. (shrink)

It doesn’t seem possible to be a realist about the traditional Christian God while claiming to be able to reduce God talk in naturalistically acceptable terms. Reduction, in this case, seems obviously eliminativist. Many philosophers seem to think that the same is true of the normative—that reductive “realists” about the normative are not really realists about the normative at all, or at least, only in some attenuated sense. This paper takes on the challenge of articulating what it is that makes (...) reductive theological realism look hopeless, with the aim of explaining why we should think that the normative is relevantly different. Although it follows from my diagnosis that reductivists have their work cut out for them, I find nothing which suggests that the prospects for a successful reductive realism about the normative are in any way diminished—particularly for reductive views about reasons. Even reductivists, I argue, can at least aspire to a realism that is robust. (shrink)

I know that I could have been where you are right now and that you could have been where I am right now, but that neither of us could have been turnips or natural numbers. This knowledge of metaphysical modality stands in need of explanation. I will offer an account based on our knowledge of the natures, or essencess, of things. I will argue that essences need not be viewed as metaphysically bizarre entities; that we can conceptualise and refer to (...) essences; and that we can gain knowledge of them. We can know about which properties are, and which properties are not, essential to a given entity. This knowledge of essence offers a route to knowledge of the ways those entities must be or could be. (shrink)

Moral philosophers, legal theorists, and psychologists who study moral judgment are remarkably agreed in prescribing how to blame people. A blameworthy act occurs when an actor intentionally, negligently or recklessly causes foreseen, or foreseeable, harmful consequences without any compelling mitigating or extenuating circumstances. This simple formulation conveniently forestalls intricacies about how to construe concepts such as will, causation, foresight, and mitigation, but putting that aside for the moment, it seems fair to say that blame “professionals” share compatible conceptions of how (...) to make fair and rational blame ascriptions. Blame “amateurs,” on the other hand, sometimes stretch these rational prescriptions for blame beyond the breaking point. Numerous psychological studies on blame and responsibility, as well as the perplexing outcomes of high-profile criminal and civil trials, demonstrate that everyday blamers are capable of violating virtually every rational prescription that moral philosophers, legal scholars, and rational decision theorists hold dear. (shrink)

Are corporate codes of ethics necessarily ethical? To challenge this notion, an initial set of universal moral standards is proposed by which all corporate codes of ethics can be ethically evaluated. The set of universal moral standards includes: (1) trustworthiness; (2) respect; (3) responsibility; (4) fairness; (5) caring; and (6) citizenship. By applying the six moral standards to four different stages of code development (i.e., content, creation, implementation, administration), a code of ethics for corporate codes of ethics is constructed by (...) which companies can be ethically audited for compliance. The newly proposed code of ethics for corporate codes of ethics was then applied to four large Canadian companies representing a variety of industries: telecommunications; banking, manufacturing, and high technology. The ethical audit of the four companies' ethics programs based on the proposed code indicates that all four companies have room to improve the ethical nature of their codes of ethics (i.e., content, creation, implementation, administration). (shrink)

This article focuses on the problem of representational content. Accounting for representational content is the central issue in contemporary naturalism: it is the major remaining task facing a naturalistic conception of the world. Representational content is also the central barrier to contemporary cognitive science and artificial intelligence: it is not possible to understand representation in animals nor to construct machines with genuine representation given current (lack of) understanding of what representation is. An elaborated critique is offered to current approaches to (...) representation, arguing that the basic underlying approach is, at root, logically incoherent, and, thus, that standard approaches are doomed to failure. An alternative model of representation - interactivism - is presented that avoids or solves the problems facing standard approaches. Interactivism is framed by a version of functionalism, and a naturalization of that functionalism completes an outline of a naturalization of representation and representational content. (shrink)

The term “value theory” is used in at least three different ways in philosophy. In its broadest sense, “value theory” is a catch-all label used to encompass all branches of moral philosophy, social and political philosophy, aesthetics, and sometimes feminist philosophy and the philosophy of religion — whatever areas of philosophy are deemed to encompass some “evaluative” aspect. In its narrowest sense, “value theory” is used for a relatively narrow area of normative ethical theory of particular concern to consequentialists. In (...) this narrow sense, “value theory” is roughly synonymous with “axiology”. Axiology can be thought of as primarily concerned with classifying what things are good, and how good they are. For instance, a traditional question of axiology concerns whether the objects of value are subjective psychological states, or objective states of the world. (shrink)

According to a standard account of patient decision-making capacity, patients can provide ethically valid consent or refusal only if they are able to understand and appreciate their medical c...

Virtue ethics has been challenged on empirical grounds by philosophical interpreters of situationist social psychology. Challenges are necessarily challenges to something or other, so it’s only possible to understand the situationist challenge to virtue ethics if we have an antecedent grasp on virtue ethics itself. To this end, I first identify the non-negotiable “hard core” of virtue ethics with the conjunction of nine claims, arguing that virtue ethics does make substantive empirical assumptions about human conduct. Next, I rearticulate the situationist (...) challenge in light of these nine claims. I then turn to a discussion of specifications of several responses typically made by defenders of virtue ethics against the situationist challenge, arguing that most of them either are unsound or give up one of the elements in the hard core. A few, however, survive this criticism, and so I conclude by suggesting ways in which the situationist challenge might be not so much resisted as co-opted. Situational influences can be used to help people simulate virtue, a phenomenon I call factitious virtue. (shrink)

Hobbes emphasized that the state of nature is a state of war because it is characterized by fundamental and generalized distrust. Exiting the state of nature and the conflicts it inevitably fosters is therefore a matter of establishing trust. Extant discussions of trust in the philosophical literature, however, focus either on isolated dyads of trusting individuals or trust in large, faceless institutions. In this paper, I begin to fill the gap between these extremes by analyzing what I call the topology (...) of communities of trust. Such communities are best understood in terms of interlocking dyadic relationships that approximate the ideal of being symmetric, Euclidean, reflexive, and transitive. Few communities of trust live up to this demanding ideal, and those that do tend to be small (between three and fifteen individuals). Nevertheless, such communities of trust serve as the conditions for the possibility of various important prudential epistemic, cultural, and mental health goods. However, communities of trust also make possible various problematic phenomena. They can become insular and walled-off from the surrounding community, leading to distrust of out-groups. And they can lead their members to abandon public goods for tribal or parochial goods. These drawbacks of communities of trust arise from some of the same mecha-nisms that give them positive prudential, epistemic, cultural, and mental health value – and so can at most be mitigated, not eliminated. (shrink)

The paradigmatic assumption that REM sleep is the physiological equivalent of dreaming is in need of fundamental revision. A mounting body of evidence suggests that dreaming and REM sleep are dissociable states, and that dreaming is controlled by forebrain mechanisms. Recent neuropsychological, radiological, and pharmacological findings suggest that the cholinergic brain stem mechanisms that control the REM state can only generate the psychological phenomena of dreaming through the mediation of a second, probably dopaminergic, forebrain mechanism. The latter mechanism (and thus (...) dreaming itself) can also be activated by a variety of nonREM triggers. Dreaming can be manipulated by dopamine agonists and antagonists with no concomitant change in REM frequency, duration, and density. Dreaming can also be induced by focal forebrain stimulation and by complex partial (forebrain) seizures during nonREM sleep, when the involvement of brainstem REM mechanisms is precluded. Likewise, dreaming is obliterated by focal lesions along a specific (probably dopaminergic) forebrain pathway, and these lesions do not have any appreciable effects on REM frequency, duration, and density. These findings suggest that the forebrain mechanism in question is the final common path to dreaming and that the brainstem oscillator that controls the REM state is just one of the many arousal triggers that can activate this forebrain mechanism. The “REM-on” mechanism (like its various NREM equivalents) therefore stands outside the dream process itself, which is mediated by an independent, forebrain “dream-on” mechanism. Key Words: acetylcholine; brainstem; dopamine; dreaming; forebrain; NREM; REM; sleep. (shrink)

Gossip is often serious business, not idle chitchat. Gossip allows those oppressed to privately name their oppressors as a warning to others. Of course, gossip can be in error. The speaker may be lying or merely have lacked sufficient evidence. Bias can also make those who hear the gossip more or less likely to believe the gossip. By examining the social functions of gossip and considering the differences in power dynamics in which gossip can occur, we contend that gossip may (...) be not only permissible but virtuous, both as the only reasonable recourse available and as a means of resistance against oppression. (shrink)

Weak emergence has been offered as an explication of the ubiquitous notion of emergence used in complexity science (Bedau 1997). After outlining the problem of emergence and comparing weak emergence with the two other main objectivist approaches to emergence, this paper explains a version of weak emergence and illustrates it with cellular automata. Then it explains the sort of downward causation and explanatory autonomy involved in weak emergence.

Gaining information can be modelled as a narrowing of epistemic space . Intuitively, becoming informed that such-and-such is the case rules out certain scenarios or would-be possibilities. Chalmers’s account of epistemic space treats it as a space of a priori possibility and so has trouble in dealing with the information which we intuitively feel can be gained from logical inference. I propose a more inclusive notion of epistemic space, based on Priest’s notion of open worlds yet which contains only those (...) epistemic scenarios which are not obviously impossible. Whether something is obvious is not always a determinate matter and so the resulting picture is of an epistemic space with fuzzy boundaries. (shrink)

Most definitions of the concept of stakeholder include only human entities. This paper advances the argument that the non-human natural environment can be integrated into the stakeholder management concept. This argument includes the observations that the natural environment is finally becoming recognized as a vital component of the business environment, that the stakeholder concept is more than a human political/economic one, and that non-human nature currently is not adequately represented by other stakeholder groups. In addition, this paper asserts that any (...) of several stakeholder management processes can readily include the natural environment as one or more stakeholders of organizations. Finally, the point is made that this integration would provide a more holistic, value-oriented, focused and strategic approach to stakeholder management, potentially benefitting both nature and organizations. (shrink)

According to the standard view, Kant held that hypothetical imperatives are universally binding edicts with disjunctive objects: take-the-means-or-don't-have-the-end. But Kant thought otherwise. He held that they are edicts binding only on some - those who have an end.

It is widely accepted, by both friends and foes of animal rights, that contractarianism is the moral theory least likely to justify the assigning of direct moral status to non-human animals. These are not, it is generally supposed, rational agents, and contractarian approaches can grant direct moral status only to such agents. I shall argue that this widely accepted view is false. At least some forms of contractarianism, when properly understood, do, in fact, entail that non-human animals possess direct moral (...) status, independently of their utility for rational agents, and independently of whatever interests rational agents may have in them. The version of contractarianism I shall focus upon is that defended by John Rawls. (shrink)

It seems to be a widely shared view that any defensible desire-fulfillment theory of welfare must be framed not in terms of what an agent, in fact, desires but rather in terms of what an agent would desire under hypothetical conditions that include improved information. Unfortunately, though, such accounts are subject to serious criticisms. In this paper I show that in the face of these criticisms the best response is to jettison any appeal to idealized information conditions: the considerations put (...) forward in support of the appeal to what would be desired in hypothetical circumstances of improved information do not, in fact, give adequate reason to make that appeal. (shrink)

Emergence seems necessary for any naturalistic account of the world — none of our familiar world existed at the time of the Big Bang, and it does now — and normative emergence is necessary for any naturalistic account of biology and mind — mental phenomena, such as representation, learning, rationality, and so on, are normative. But Jaegwon Kim’s argument appears to render causally efficacious emergence impossible, and Hume’s argument appears to render normative emergence impossible, and, in its general form, it (...) precludes any emergence at all. I argue that both of these barriers can be overcome, and, in fact, that they each constitute reductios of their respective underlying presuppositions. In particular, causally efficacious ontological emergence can be modeled, but only within a process metaphysics, thus avoiding Kim’s argument, and by making use of non-abbreviatory forms of definition, thus avoiding Hume’s argument. I illustrate these points with models of the emergent nature of normative function and of representation. (shrink)

Buck-passers about value accept two theses about value, a negative thesis and a positive. The negative thesis is that the fact that something is valuable is not itself a reason to promote or appreciate it. The positive thesis is that the fact that something is valuable consists in the fact that there are other reasons to promote or appreciate it. Buck-passers suppose that the negative thesis follows from the positive one, and sometimes insist on it as if it is the (...) central part of their view. But as I'll explain here, what we say about the negative thesis is orthogonal to what we say about the positive one. (shrink)

I discuss three ways of responding to the logical omniscience problems faced by traditional ‘possible worlds’ epistemic logics. Two of these responses were put forward by Hintikka and the third by Cresswell; all three have been influential in the literature on epistemic logic. I show that both of Hintikka's responses fail and present some problems for Cresswell’s. Although Cresswell's approach can be amended to avoid certain unpalatable consequences, the resulting formal framework collapses to a sentential model of knowledge, which defenders (...) of the ‘possible worlds’ approach are frequently critical of. (shrink)