During the past decade, several governmental reports have discussed how information technology can transform Danish society. Most important among these reports is Digital Denmark from 1999.In this article, the authors examine how to analyze Digital Denmark by considering two strategies for engaging reports. The first aims at uncovering and making explicit hidden assumptions or ideologies in the text. This approach is called “reading against the text.” The second approach—inspired by science, technology, and society studies—considers where a text goes and what (...) it does rather than how to critically interpret it. Texts may be read as material-semiotic actors, having effects on their environment that exceed or bypass discussions of content or motivation. This approach is called “reading with the text,” and the authors argue that traveling with Digital Denmark makes visible the limitations of critical analyses, while adding agency to the report as it moves in between practices. (shrink)

Excerpt from Die Kosmologie der Babylonier: Studien und Materialien Die vier "weltquadranten und sieben "weltzonen Das Berghaus und das Gedeihhaus (fkur und 'ara) About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, (...) such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

This article argues for the value of working with conflicts in social practice as resources for collaboration, learning and development. The interest in conflicts in social practice is rooted in a preoccupation with social power relations and how to understand and analyse power relations from a subject-science perspective. Following this interest, a methodological framework, best described as a kind of ‘mobile ethnography’, is discussed and exemplified through an empirical example. A preliminary conceptual framework for understanding power as a capacity for (...) action is presented. The overarching ambition of the article is to consider what democratic collaboration and coexistence entails and how it might be supported conceptually and analytically by the notion of conflicts as heuristics for social inquiry and by the notion of power as a capacity for action and social participation. (shrink)

Ethics, Policy & Environment, Volume 14, Issue 3, Page 313-327, October 2011.

The general public in Europe seems tohave lost its confidence in food safety. Theremedy for this, as proposed by the Commissionof the EU, is a scientific rearmament. Thequestion, however, is whether more science willbe able to overturn the public distrust.Present experience seems to suggest thecontrary, because there is widespread distrustin the science-based governmental controlsystems. The answer to this problem is thecreation of an independent scientificFood Authority. However, we argue thatindependent scientific advice alone is unlikelyto re-establish public confidence. It is muchmore (...) important to make the scientific advicetransparent, i.e., to state explicitlythe factual and normative premises on which itis based. Risk assessments are based on arather narrow, but well-defined notion of risk.However, the public is concerned with a broadervalue context that comprises both benefits andrisks. Transparency and understanding of thepublic's perception of food risks is anecessary first step in establishing theurgently required public dialogue about thecomplex value questions involved in foodproduction. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

The precarious rights of senior citizens, especially those who are highly educated and who are expected to counsel and guide the younger generations, has stimulated the creation internationally of advocacy associations and opinion leader groups. The strength of these groups, however, varies from country to country. In some countries, they are supported and are the focus of intense interest; in others, they are practically ignored. For this is reason we believe that the creation of a network of all these associations (...) is essential. The proposed network would act as a support for the already-existing policies of the United Nations’ High Commission for Human Rights, of independent experts, and of the Global Alliance for the Rights of Older People. All three have long ago recommended the creation of a recognized instrument for uniting presently scattered efforts. The proposed network, therefore, will seek to promote the international exchange of relevant expertise, and it will reinforce the commitments and actions that single countries are currently taking to meet these objectives. For example, informative public events can be organised to promote particular support initiatives and to provide an opportunity for new members of the network to be presented. The network will promote health for senior citizens, disease prevention, senior mobility, safe free time for seniors, alimentary education, protection against new risks and dangers, as well as equity in the services necessary for seniors to adopt new information and communication technologies. In the case of retired academic members, the network will promote equality with respect to continuing use of digital technologies (particularly email), continuing access to research libraries, and the guaranteed ability for seniors to fund their own research programs and to deliver free seminars. (shrink)

Toddlerhood is characterized by rapid development in several domains, such as language, socio-emotional behavior and emerging math skills all of which are important precursors of school readiness. However, little is known about how these skills develop over time and how they may be interrelated. The current study investigates young children’s development at two time points, with about 7 months in between, assessing their language, socio-emotional and math language and numeracy skills with teacher ratings. The sample includes 577 children from 18 (...) until 36 months of age of 86 childcare classrooms. The results of the autoregressive path analyses showed moderate to strong stability of language, socio-emotional and math language and numeracy skills, although the magnitude of associations was smaller for the latter. The cross-lagged path analyses highlighted the importance of language and socio-emotional skills for development in the other domains. Differential relations were found for the autoregressive and cross-lagged paths depending on gender and age. Language skills appeared a stronger predictor of boys’ socio-emotional and math language and numeracy skill development compared to girls. Girls’ socio-emotional skills predicted growth in math. For boys, socio-emotional and math language and numeracy skills appeared to be unrelated. Language skills showed stronger relations with the development of math language and numeracy skills for younger children as compared to older children. Also, for older children math language and numeracy skills negatively predicted growth in their socio-emotional skills. The findings provide more insights in how language, math language and numeracy skills and socio-emotional skills co-develop in the early years and as such have important implications for interventions aimed to support children’s development. (shrink)

Music reduces pain in fibromyalgia (FM), a chronic pain disease, but the functional neural correlates of music-induced analgesia (MIA) are still largely unknown. We recruited FM patients ( n = 22) who listened to their preferred relaxing music and an auditory control (pink noise) for 5 min without external noise from fMRI image acquisition. Resting state fMRI was then acquired before and after the music and control conditions. A significant increase in the amplitude of low frequency fluctuations of the BOLD (...) signal was evident in the left angular gyrus (lAnG) after listening to music, which in turn, correlated to the analgesia reports. The post-hoc seed-based functional connectivity analysis of the lAnG showed found higher connectivity after listening to music with right dorsolateral prefrontal cortex (rdlPFC), the left caudate (lCau), and decreased connectivity with right anterior cingulate cortex (rACC), right supplementary motor area (rSMA), precuneus and right precentral gyrus (rPreG). Pain intensity (PI) analgesia was correlated ( r = 0.61) to the connectivity of the lAnG with the rPreG. Our results show that MIA in FM is related to top-down regulation of the pain modulatory network by the default mode network (DMN). (shrink)

This introduction to the Common Knowledge symposium titled “Comparative Relativism” outlines a variety of intellectual contexts where placing the unlikely companion terms comparison and relativism in conjunction offers analytical purchase. If comparison, in the most general sense, involves the investigation of discrete contexts in order to elucidate their similarities and differences, then relativism, as a tendency, stance, or working method, usually involves the assumption that contexts exhibit, or may exhibit, radically different, incomparable, or incommensurable traits. Comparative studies are required to (...) treat their objects as alike, at least in some crucial respects; relativism indicates the limits of this practice. Jensen argues that this seeming paradox is productive, as he moves across contexts, from Lévi-Strauss's analysis of comparison as an anthropological method to Peter Galison's history of physics, and on to the anthropological, philosophical, and historical examples offered in symposium contributions by Barbara Herrnstein Smith, Eduardo Viveiros de Castro, Marilyn Strathern, and Isabelle Stengers. Comparative relativism is understood by some to imply that relativism comes in various kinds and that these have multiple uses, functions, and effects, varying widely in different personal, historical, and institutional contexts that can be compared and contrasted. Comparative relativism is taken by others to encourage a “comparison of comparisons,” in order to relativize what different peoples—say, Western academics and Amerindian shamans—compare things “for.” Jensen concludes that what is compared and relativized in this symposium are the methods of comparison and relativization themselves. He ventures that the contributors all hope that treating these terms in juxtaposition may allow for new configurations of inquiry. (shrink)

This introduction to the Common Knowledge symposium titled “Comparative Relativism” outlines a variety of intellectual contexts where placing the unlikely companion terms comparison and relativism in conjunction offers analytical purchase. If comparison, in the most general sense, involves the investigation of discrete contexts in order to elucidate their similarities and differences, then relativism, as a tendency, stance, or working method, usually involves the assumption that contexts exhibit, or may exhibit, radically different, incomparable, or incommensurable traits. Comparative studies are required to (...) treat their objects as alike, at least in some crucial respects; relativism indicates the limits of this practice. Jensen argues that this seeming paradox is productive, as he moves across contexts, from Lévi-Strauss's analysis of comparison as an anthropological method to Peter Galison's history of physics, and on to the anthropological, philosophical, and historical examples offered in symposium contributions by Barbara Herrnstein Smith, Eduardo Viveiros de Castro, Marilyn Strathern, and Isabelle Stengers. Comparative relativism is understood by some to imply that relativism comes in various kinds and that these have multiple uses, functions, and effects, varying widely in different personal, historical, and institutional contexts that can be compared and contrasted. Comparative relativism is taken by others to encourage a “comparison of comparisons,” in order to relativize what different peoples—say, Western academics and Amerindian shamans—compare things “for.” Jensen concludes that what is compared and relativized in this symposium are the methods of comparison and relativization themselves. He ventures that the contributors all hope that treating these terms in juxtaposition may allow for new configurations of inquiry. (shrink)

The eponymous protagonist of Okja is an adorable “super-pig,” larger than an ordinary pig not only in size but also in heart and mind. The film explores and interrogates different ways of seeing Okja, different portraits of Okja’s moral status, as philosophers would put it. To the Mirando Corporation, Okja has no moral status. She is a mere product to be used as they see fit. To the Animal Liberation Front, Okja is a dramatic symbol of animals everywhere who are (...) mistreated and deprived of their rights. She represents a rare opportunity to further their political cause. To the young girl Mija, Okja is unquestionably a person, a member of her family, her lifelong companion and friend. The film subjects both the Mirando Corporation and the Animal Liberation Front to satirical critique and invites the audience to come to see Okja as Mija does. So what is the moral status of an animal like Okja? Philosophers like Peter Singer have argued on behalf of animals, super or not, and protested the ways they are treated, often focused on factory farming and the use of animals in scientific research. Like these philosophical animal advocates, this film pushes human beings to expand the boundaries of the moral community beyond their own species. Simply put, Okja argues that animals matter. (shrink)

The philosophical situation at Copenhagen University in the 1960’s was dominated by two positivists. Th elogical positivist Jørgen Jørgensen – who had written the history of the “movement” – and the legal positivistAlf Ross. There were also two “outsiders”: Peter Zinkernagel, who did more analytical philosophy of language in the British style, and K. Grue Sørensen who was working in the traditions of neo-Kantianism. In 1955 Grue-Sørensen was hired as the first professor in education – after a long controversy (...) about the scientific status ofeducation as a discipline – but with a focus on the history of education. He had received a doctoral degree in philosophy in 1950 with a dissertation on refl exivity as a philosophical concept and a thesis about the reflexivity of consciousness. He was also an objectivist in ethics, and had been critical of the prevalent moral relativism and subjectivism found in recent philosophy. Jørgensen and Ross had done important work on moral argumentation with more technical work on the logic of imperatives and norms. Moral objectivism was not only wrong but in a way also “immoral” because it undermined their belief in democracy. Especially Jørgensen also thought that the idea of reflexivity was wrong when applied to consciousness. Neither statements nor consciousness could be reflexive – that is refer to themselves/itself. The reflexivity of consciousness is – according to Jørgensen – simply not an empirical psychological fact. Grue-Sørensen tried to establish the foundation of a theory of education based both on conceptions of consciousness and of the relation between scientific knowledge – facts – and moral values – in a neo-Kantian fashion. For him the interplay between ethics and knowledge was a central part of a theory of education – a belief due to which he never became a professor of philosophy – having tried many times. These debates in philosophy and in education were superseded in the 1970’s by the rise in influence of the German inspiration from Critical Theory and the demise of logical positivism. (shrink)

The aim of this paper is to formulate and study two weak axiom systems for the conceptual framework of constructive set theory . Arithmetical CST is just strong enough to represent the class of von Neumann natural numbers and its arithmetic so as to interpret Heyting Arithmetic. Rudimentary CST is a very weak subsystem that is just strong enough to represent a constructive version of Jensenʼs rudimentary set theoretic functions and their theory. The paper is a contribution to the study (...) of formal systems for CST that capture significant stages in the development of constructive mathematics in CST. (shrink)

We survey the definition and fundamental properties of the family of short core models, which extend the core model K of Dodd and Jensen to include α-sequences of measurable cardinals . The theory is applied to various combinatorial principles to get lower bounds for their consistency strengths in terms of the existence of sequences of measurable cardinals. We consider instances of Chang's conjecture, ‘accessible’ Jónsson cardinals, the free subset property for small cardinals, a canonization property of ω ω , (...) and a non-closure property of elementary embeddings of the universe. In some cases, equiconsistencies are obtained. (shrink)

We give the proof of a theorem of Jensen and Zeman on the existence of a global □ sequence in the Core Model below a measurable cardinal κ of Mitchell order ) equal to κ++, and use it to prove the following theorem on mutual stationarity at n.Let ω1 denote the first uncountable cardinal of V and set to be the class of ordinals of cofinality ω1.TheoremIf every sequence n m. In particular, there is such a model in which (...) for all sufficiently large m<ω, the class of measurables λ with oM≥ωm is, in V, stationary below m+2. (shrink)

We present here an approach to the fine structure of L based solely on elementary model theoretic ideas, and illustrate its use in a proof of Global Square in L. We thereby avoid the Lévy hierarchy of formulas and the subtleties of master codes and projecta, introduced by Jensen [3] in the original form of the theory. Our theory could appropriately be called ”Hyperfine Structure Theory”, as we make use of a hierarchy of structures and hull operations which refines (...) the traditional Lα -or Jα-sequences with their Σn-hull operations.§1. Introduction. In 1938, K. Gödel defined the model L of set theory to show the relative consistency of Cantor's Continuum Hypothesis. L is defined as a unionof initial segments which satisfy: L0 = ∅, Lλ = ∪α<λLα for limit ordinals λ, and, crucially, Lα + 1 = the collection of 1st order definable subsets of Lα. Since every transitive model of set theory must be closed under 1st order definability, L turns out to be the smallest inner model of set theory. Thus it occupies the central place in the set theoretic spectrum of models.The proof of the continuum hypothesis in L is based on the very uniform hierarchical definition of the L-hierarchy. The Condensation Lemma states that if π : M → Lα is an elementary embedding, M transitive, then some ; the lemma can be proved by induction on α. If a real, i.e., a subset of ω, is definable over some Lα,then by a Löwenheim-Skolem argument it is definable over some countable M as above, and hence over some, < ω1. This allows one to list the reals in L in length ω1 and therefore proves the Continuum Hypothesis in L. (shrink)

We present here an approach to the fine structure of L based solely on elementary model theoretic ideas, and illustrate its use in a proof of Global Square in L. We thereby avoid the Lévy hierarchy of formulas and the subtleties of master codes and projecta, introduced by Jensen [3] in the original form of the theory. Our theory could appropriately be called ”Hyperfine Structure Theory”, as we make use of a hierarchy of structures and hull operations which refines (...) the traditional Lα -or Jα-sequences with their Σn-hull operations.§1. Introduction. In 1938, K. Gödel defined the model L of set theory to show the relative consistency of Cantor's Continuum Hypothesis. L is defined as a unionof initial segments which satisfy: L0 = ∅, Lλ = ∪α<λLα for limit ordinals λ, and, crucially, Lα + 1 = the collection of 1st order definable subsets of Lα. Since every transitive model of set theory must be closed under 1st order definability, L turns out to be the smallest inner model of set theory. Thus it occupies the central place in the set theoretic spectrum of models.The proof of the continuum hypothesis in L is based on the very uniform hierarchical definition of the L-hierarchy. The Condensation Lemma states that if π : M → Lα is an elementary embedding, M transitive, then some ; the lemma can be proved by induction on α. If a real, i.e., a subset of ω, is definable over some Lα,then by a Löwenheim-Skolem argument it is definable over some countable M as above, and hence over some, < ω1. This allows one to list the reals in L in length ω1 and therefore proves the Continuum Hypothesis in L. (shrink)

We present here an approach to the fine structure of L based solely on elementary model theoretic ideas, and illustrate its use in a proof of Global Square in L. We thereby avoid the Lévy hierarchy of formulas and the subtleties of master codes and projecta, introduced by Jensen [3] in the original form of the theory. Our theory could appropriately be called ”Hyperfine Structure Theory”, as we make use of a hierarchy of structures and hull operations which refines (...) the traditional Lα -or Jα-sequences with their Σn-hull operations.§1. Introduction. In 1938, K. Gödel defined the model L of set theory to show the relative consistency of Cantor's Continuum Hypothesis. L is defined as a unionof initial segments which satisfy: L0 = ∅, Lλ = ∪α<λLα for limit ordinals λ, and, crucially, Lα + 1 = the collection of 1st order definable subsets of Lα. Since every transitive model of set theory must be closed under 1st order definability, L turns out to be the smallest inner model of set theory. Thus it occupies the central place in the set theoretic spectrum of models.The proof of the continuum hypothesis in L is based on the very uniform hierarchical definition of the L-hierarchy. The Condensation Lemma states that if π : M → Lα is an elementary embedding, M transitive, then some ; the lemma can be proved by induction on α. If a real, i.e., a subset of ω, is definable over some Lα,then by a Löwenheim-Skolem argument it is definable over some countable M as above, and hence over some, < ω1. This allows one to list the reals in L in length ω1 and therefore proves the Continuum Hypothesis in L. (shrink)

Asserting is the act of claiming that something is the case—for instance, that oranges are citruses, or that there is a traffic congestion on Brooklyn Bridge (at some time). We make assertions to share information, coordinate our actions, defend arguments, and communicate our beliefs and desires. Because of its central role in communication, assertion has been investigated in several disciplines. Linguists, philosophers of language, and logicians rely heavily on the notion of assertion in theorizing about meaning, truth and inference. -/- (...) The nature of assertion and its relation to other speech acts and linguistic phenomena (implicatures, presuppositions, etc.) have been subject to much controversy. This entry will situate assertion within speech act theory and pragmatics more generally, and then go on to present the current main accounts of assertion. (shrink)

This introduction to the philosophy of social science provides an original conception of the task and nature of social inquiry. Peter Manicas discusses the role of causality seen in the physical sciences and offers a reassessment of the problem of explanation from a realist perspective. He argues that the fundamental goal of theory in both the natural and social sciences is not, contrary to widespread opinion, prediction and control, or the explanation of events. Instead, theory aims to provide an (...) understanding of the processes which, together, produce the contingent outcomes of experience. Offering a host of concrete illustrations and examples of critical ideas and issues, this accessible book will be of interest to students of the philosophy of social science, and social scientists from a range of disciplines. (shrink)

This 2001 book offers an examination of functional explanation as it is used in biology and the social sciences, and focuses on the kinds of philosophical presuppositions that such explanations carry with them. It tackles such questions as: why are some things explained functionally while others are not? What do the functional explanations tell us about how these objects are conceptualized? What do we commit ourselves to when we give and take functional explanations in the life sciences and the social (...) sciences? McLaughlin gives a critical review of the debate on functional explanation in the philosophy of science. He discusses the history of the philosophical question of teleology, and provides a comprehensive review of the post-war literature on functional explanation. What Functions Explain provides a sophisticated and detailed Aristotelian analysis of our concept of natural functions, and offers a positive contribution to the ongoing debate on the topic. (shrink)

Do animals have moral rights? In contrast to the philosophical gurus of the animal rights movement, whose opinion has held moral sway in recent years, Peter Carruthers here claims that they do not. He explores a variety of moral theories, arguing that animals lack direct moral significance. This provocative but judiciously argued book will appeal to all those interested in animal rights, whatever their initial standpoint. It will also serve as a lively introduction to ethics, demonstrating why theoretical issues (...) in ethics actually matter. (shrink)

Perceptual constancies have been studied by psychologists for decades, but in recent years, they have also become a major topic in the philosophy of mind. One reason for this surge of interest is Tyler Burge’s (2010) influential claim that constancy mechanisms mark the difference between perception and mere sensitivity, and thereby also the difference between organisms with genuine representational capacities and ‘mindless’ beings. Burge’s claim has been the subject of intense debate. It is becoming increasingly clear, however, that we cannot (...) hope to settle this debate (as well as related debates in the philosophy of mind) without a clear and substantive theoretical account of what perceptual constancies are. In the first part of this paper, I argue that the standard definitions in the literature fall short of providing such an account. Still, as I aim to show in the second part of the paper, by taking a closer look at some of the paradigm examples, it is possible to construct a plausible general account of perceptual constancies that is both clear and substantive, and that can serve as a firm foundation for settling debates like the dispute about Burge’s ‘constancy mechanism criterion’ for perception. (shrink)

The history of building automated theorem provers for higher-order logic is almost as old as the field of deduction systems itself. The first successful attempts to mechanize and implement higher-order logic were those of Huet [13] and Jensen and Pietrzykowski [17]. They combine the resolution principle for higher-order logic (first studied in [1]) with higher-order unification. The unification problem in typed λ-calculi is much more complex than that for first-order terms, since it has to take the theory of αβη-equality (...) into account. As a consequence, the higher-order unification problem is undecidable and sets of solutions need not even always have most general elements that represent them. Thus the mentioned calculi for higher-order logic have take special measures to circumvent the problems posed by the theoretical complexity of higher-order unification. In this paper, we will exemplify the methods and proof- and model-theoretic tools needed for extending first-order automated theorem proving to higherorder logic. For the sake of simplicity take the tableau method as a basis (for a general introduction to first-order tableaux see part I.1) and discuss the higherorder tableau calculi HT and HTE first presented in [19]. The methods in this paper also apply to higher-order resolution calculi [1, 13, 6] or the higher-order matings method of Peter [3], which extend their first-order counterparts in much the same way. Since higher-order calculi cannot be complete for the standard semantics by Gödel’s incompleteness theorem [11], only the weaker notion of Henkin models [12] leads to a meaningful notion of completeness in higher-order logic. It turns out that the calculi in [1, 13, 3, 19] are not Henkin-complete, since they fail to capture the extensionality principles of higher-order logic. We will characterize the deductive power of our calculus HT (which is roughly equivalent to these calculi) by the semantics of functional Σ-models. To arrive at a calculus that is complete with respect to Henkin models, we build on ideas from [6] and augment HT with tableau construction rules that use the extensionality principles in a goal-oriented way.. (shrink)

This introduction to the history, philosophy and methodology of human geography explores complex ideas in an intelligible and accessible style. It takes into account the new developments in geographical thought and methods.

Philosophy of music has flourished in the last thirty years, with great advances made in the understanding of the nature of music and its aesthetics. Peter Kivy has been at the center of this flourishing, and now offers his personal introduction to philosophy of music, a clear and lively explanation of how he sees the most important and interesting philosophical issues relating to music. Anyone interested in music will find this a stimulating introduction to some fascinating questions and ideas.

To demarcate the limits of experimental knowledge, we probe the limits of what might be called an experiment. By appeal to examples of scientific practice from astrophysics and analogue gravity, we demonstrate that the reliability of knowledge regarding certain phenomena gained from an experiment is not circumscribed by the manipulability or accessibility of the target phenomena. Rather, the limits of experimental knowledge are set by the extent to which strategies for what we call ‘inductive triangulation’ are available: that is, the (...) validation of the mode of inductive reasoning involved in the source-target inference via appeal to one or more distinct and independent modes of inductive reasoning. When such strategies are able to partially mitigate reasonable doubt, we can take a theory regarding the phenomena to be well supported by experiment. When such strategies are able to fully mitigate reasonable doubt, we can take a theory regarding the phenomena to be established by experiment. There are good reasons to expect the next generation of analogue experiments to provide genuine knowledge of unmanipulable and inaccessible phenomena such that the relevant theories can be understood as well supported. This article is part of a discussion meeting issue ‘The next generation of analogue gravity experiments’. (shrink)

The problem of the nature of being was central to ancient and medieval philosophy, and continues to be relevant today. In this collection of thirteen recent essays, Peter van Inwagen applies the techniques of analytical philosophy to a wide variety of problems in ontology and meta-ontology. Topics discussed include the nature of being, the meaning of the existential quantifier, ontological commitment, recent attacks on metaphysics and ontology, the concept of ontological structure, fictional entities, mereological sums, and the ontology of (...) mental states. Van Inwagen adopts a generally 'Quinean' position in meta-ontology, yet reaches ontological conclusions very different from Quine's. The volume includes two previously unpublished essays, one of which is an introductory essay where van Inwagen explains his conception of the relation between the language of 'the ordinary business of life' and that of 'the ontology room'. The volume will be an important collection for students and scholars of metaphysics. (shrink)

Personality, Consciousness and Nirvana in Early Buddhism Peter Harvey. The. SELFLESS. MIND. PERSQNALITY, CONSCIOUSNESS AND NIRVANA IN EARLY BUDDHISM. PETER. HARVEY. THE SELFLESS MIND THE SELFLESS ...

Do we think in natural language? Or is language only for communication? Much recent work in philosophy and cognitive science assumes the latter. In contrast, Peter Carruthers argues that much of human conscious thinking is conducted in the medium of natural language sentences. However, this does not commit him to any sort of Whorfian linguistic relativism, and the view is developed within a framework that is broadly nativist and modularist. His study will be essential reading for all those interested (...) in the nature and significance of natural language, whether they come from philosophy, psychology or linguistics. (shrink)

Kant's Critique of Teleological Judgment is read as a reflection on philosophical methodological problems that arose through the constitution of an independent science of life - biology. This work presents an example of the interconnections between philosophy and the history of science.

In De Gustibus Peter Kivy deals with a question that has never been fully addressed by philosophers of art: why do we argue about art? We argue about the 'facts' of the world either to influence people's behaviour or simply to get them to see what we take to be the truth about the world. We argue over ethical matters, if we are ethical 'realists,' because we think we are arguing about 'facts' in the world. And we argue about (...) ethics, if we think matters of ethics are simply matters of 'attitude,' to influence the behaviour of others. But why should we argue about works of art? There are no 'actions' we wish to motivate. Whether I think Bach is greater than Beethoven and you think the opposite, why should it matter to either of us to convince the other? Kivy claims here that we argue over taste because we think, mistakenly or not, that we are arguing over matters of fact. (shrink)

Problems and Prospects Peter Gratton. uncoveredness of entities that serves as the basis for a true assertion is dependent upon dasein's understanding of being, which lets these entities manifest themselves. hence, as heidegger will say, ...