A hyperintensional semantics for natural language is proposed which is agnostic about the question of whether propositions are sets of worlds or worlds are sets of propositions. Montague’s theory of intensional senses is replaced by a weaker theory, written in standard classical higher-order logic, of fine-grained senses which are in a many-to-one correspondence with intensions; Montague’s theory can then be recovered from the proposed theory by identifying the type of propositions with the type of sets of worlds and (...) adding an axiom to the effect that each world is the set of propositions which are true there. Senses are compositionally assigned to linguistic expressions by a categorial grammar with only two rule schemas, based on the implicative fragment of intuitionistic linear propositional logic, and a fully explicit grammar fragment is provided that illustrates the compositional assignment of sense to a variety of constructions, including dummy-subject constructions, infinitive complements, predicative adjectives and nominals, raising to subject, ‘tough-movement’, and quantifier scope ambiguities. Notably, the grammar and the derivations that it licenses never make reference to either worlds or to the extensions of senses. (shrink)

This is a thesis in formal semantics. It consists of two parts corresponding to the distinction, due to Richard Montague, between universal grammar and specific semantic theories. The first part concerns universal grammar and is intended to provide a precise and unified conceptual framework within which different theories of formal semantics can be represented and compared. ;The second part of the thesis is concerned with intensional logic, i.e., with the logical analysis of discourse involving so called oblique contexts. These (...) contexts are characterized by the apparent failure of certain classically valid principles of substitutivity. Two kinds of reactions among logicians to the appearance of oblique contexts in natural languages are distinguished: (1) the intensional point of view, according to which oblique contexts are seen as genuine counterexamples to classical logic and to the related semantical principle of extensionality: the principle that the denotation of an expression is a function of the denotations of its parts; and (2) the extensional point of view, according to which the conflict between oblique contexts and classical logic is only apparent. The extensional point of view therefore calls for analyses of oblique contexts that preserve the laws of classical logic and the principle of extensionality. In this thesis, we are concerned with the precise formulation of and comparison between different programs for the formal semantic representation of oblique contexts. In Chapter 5, we are concerned with Church's program of representing oblique contexts within a formal language whose semantics is fully extensional and based on Frege's distinction between sense and denotation. The ambiguity between the "direct" and "indirect" denotation of an expression A is avoided by letting A be replaced in oblique contexts by an expression which denotes A's ordinary sense. We provide a possible-worlds semantics for a version of Church's formal language with the following features: (i) Objectual quantification into oblique constructions is accounted for. The treatment of quantification requires for each entity x an essence of x, by which we mean a sense which determines x in those worlds in which x exists and is undefined in all other worlds. (ii) The variables range over actually existing entities only. It is allowed that entities of certain types are contingent, i.e., the same entity may exist in one world and fail to exist in other worlds. (iii) In order to combine a proper treatment of the cross-world identification of functions with varying domains, partial functions are allowed. (iv) Senses are allowed to be partially defined. For example, the sense of a proper name is undefined in a world in which the denotation of the name does not exist. (v) Senses of functions from objects of type a to objects of type b are identified with functions from senses of objects of type a to senses of objects of type b. In Chapters 6 and 7, we pursue the Russellian Alternative in intensional semantics, where a sense/denotation distinction is avoided. Apparent failures of substitutivity principles for singular terms are explained along the lines of Russell's theory of definite descriptions. Failures of substitutivity of coextensional sentences and predicates are explained by Russell's doctrine that sentences and predicate denote propositions and propositional functions , respectively. Russellian semantics is fully extensional in the sense that the Russellian denotation of a designator is a function of the Russellian denotations of its parts. In Chapter 6, a theory of Russellian propositions is developed within set theory. This theory is then applied in Chapter 7 to the task of providing a set-theoretic semantics for Russellian type theory. (shrink)

So-called 'dynamic' semantic theories such as Kamp's discourse representation theory and Heim's file change semantics account for such phenomena as cross-sentential anaphora, donkey anaphora, and the novelty condition on indefinites, but compare unfavorably with Montague semantics in some important respects (clarity and simplicity of mathematical foundations, compositionality, handling of quantification and coordination). Preliminary efforts have been made by Muskens and by de Groote to revise and extend Montague semantics to cover dynamic phenomena. We present a new higher-order theory (...) of discourse semantics which improves on their accounts by incorporating a more articulated notion of context inspired by ideas due to David Lewis and to Craige Roberts. On our account, a context consists of a common ground of mutually accepted propositions together with a set of discourse referents preordered by relative salience. Employing a richer notion of contexts enables us to extend our coverage beyond pronominal anaphora to a wider range of presuppositional phenomena, such as the factivity of certain sentential-complement verbs, resolution of anaphora associated with arbitrarily complex definite descriptions, presupposition 'holes' such as negation, and the independence condition on the antecedents of conditionals. Formally, our theory is expressed within a higher-order logic with natural number type, separation-style subtyping, and dependent coproducts parameterized by the natural numbers. The system of semantic types builds on proposals due to Thomason and to Pollard in which the type of propositions (static meanings of sentential utterances) is taken as basic and worlds are constructed from propositions (rather than the other way around as in standard Montague semantics). (shrink)

You and I are neighbors, with our houses situated closely together. You lead a group of rock musicians who can practice only in the evenings in your backyard; while I, on the other hand, enjoy nothing more than quiet evenings spent on my porch accompanied by the sounds of frogs and crickets. Presumably, you have a right to pursue your musical career, and I have a right quietly to enjoy my property. If we do indeed have these rights, however, then (...) they seem to conflict with each other, in that your exercising your right is incompatible with my exercising mine. (shrink)

Grand debates over reduction and emergence are playing out across the sciences, but these debates have reached a stalemate, with both sides declaring victory on empirical grounds. In this book, Carl Gillett provides new theoretical frameworks with which to understand these debates, illuminating both the novel positions of scientific reductionists and emergentists and the recent empirical advances that drive these new views. Gillett also highlights the flaws in existing philosophical frameworks and reorients the discussion to reflect the new scientific (...) advances and issues, including the nature of 'parts' and 'wholes', the character of aggregation, and thus the continuity of nature itself. Most importantly, Gillett shows how disputes about concrete scientific cases are empirically resolvable and hence how we can break the scientific stalemate. Including a detailed glossary of key terms, this volume will be valuable for researchers and advanced students of the philosophy of science and metaphysics, and scientific researchers working in the area. (shrink)

This collection of articles and associated discussion papers focuses on a problem that has attracted increasing attention from linguists and psychologists throughout the world during the past several years. Reduced to essentials, the problem is that of discovering the character of the mental capacities that make it possible for human beings to attain knowledge of their language on the basis of fragmentary and haphazard early linguistic experience. A fundamental assumption running through all of these contributions is that people possess strong (...) innate predispositions that are critical for success in this task. (shrink)

Traces the development of the integral and the differential calculus and related theories since ancient times.

This book approaches ethical and legal issues in medicine from the patient's viewpoint and argues that many patients do not want the full burden of decision making that contemporary bioethics has thrust upon them.

Network analysis is increasingly used to discover and represent the organization of complex systems. Focusing on examples from neuroscience in particular, I argue that whether network models explain, how they explain, and how much they explain cannot be answered for network models generally but must be answered by specifying an explanandum, by addressing how the model is applied to the system, and by specifying which kinds of relations count as explanatory.

"Margaret L. King has put together a highly representative selection of readings from most of the more significant—but by no means the most obvious—texts by the authors who made up the movement we have come to call the 'Enlightenment.' They range across much of Europe and the Americas, and from the early seventeenth century until the end of the eighteenth. In the originality of the choice of texts, in its range and depth, this collection offers both wide coverage and striking (...) insights into the intellectual transformation which has done more than any other to shape the world in which we live today. It is _simply the best introduction to the subject now available_."_ —Anthony Pagden, UCLA, and author of _The Enlightenment and Why It Still Matters_ Contents:_ Chronology, Introduction _Chapter One - Casting Out Idols: 1620–1697_ _Idols, or false notions: _Francis Bacon, _The New Instrument_ _I think, therefore I am: _René Descartes, Discourse on Method _God, or Nature: _Baruch Spinoza, _Ethics_ _The system of the world: _Isaac Newton, _Mathematical Principles of Natural Philosophy_ _He searched for truth throughout his life: _Pierre Bayle, _Historical and Critical Dictionary_ _Chapter Two - _The Learned Maid: 1638–1740 _A face raised toward heaven:_ Anna Maria van Schurman, _Whether the Study of Letters Befits a Christian Woman_ _The worlds I have made:_ Margaret Cavendish, _The Blazing World_ _A finer sort of cattle:_ Bathsua Makin, _An Essay to Revive the Ancient Education of Gentlewomen_ _I warn you of the world:_ Madame de Maintenon, _Letter: On the Education of the Demoiselles of Saint-Cyr_, and _Instruction: On the World_ _The daybreak of your reason:_ Émilie Du Châtelet, _Fundamentals of Physics_ _Chapter Three - _A State of Perfect Freedom: 1689–1695 _The chief criterion of the True Church:_ John Locke, _Letter on Toleration_ _Freedom from any superior power on earth:_ John Locke, _Second Treatise on Civil Government_ _A white paper, with nothing written on it:_ John Locke, _Essay Concerning Human Understanding_ _Let your rules be as few as possible:_ John Locke, _Some Thoughts Concerning Education_ _From death, Jesus Christ restores all to life:_ John Locke, _The Reasonableness of Christianity, as Delivered in the Scriptures_ _Chapter Four - All Things Made New: 1725–1784_ _In the wilderness, they are reborn:_ Giambattista Vico, _The New Science_ _Without these Names, nothing can be known,_ Carl Linnaeus, _System of Nature_ _All the clouds at last are lifted:_ Anne Robert Jacques Turgot, _The Successive Advancement of the Human Mind_ _A genealogical or encyclopedic tree of knowledge:_ Jean le Rond d’Alembert, _Preliminary Discourse_ _Dare to know! :_ Immanuel Kant, _What Is Enlightenment?_ _Chapter Five - Mind, Soul, and God: 1740–1779_ _The narrow limits of human understanding:_ David Hume, _Anof a Book Lately Published_ _The soul is but an empty word:_ Julien Offray de La Mettrie, _Man a Machine_ _All is reduced to sensation:_ Claude Adrien Helvétius, _On the Mind_ _An endless web of fantasies and falsehoods:_ Paul-Henri Thiry, baron d’Holbach, _Common Sense_ _Let each believe that his own ring is real:_ Gotthold Ephraim Lessing, _Nathan the Wise_ _Chapter Six - Crush That Infamous Thing: 1733–1764_ _This is the country of sects:_ Voltaire, _Philosophical Letters_ _Disfigured by myth, until enlightenment comes:_ Voltaire, _The Culture and Spirit of Nations_ _The best of all possible worlds:_ Voltaire, _Candide_ _Are we not all children of the same God?:_ Voltaire, _Treatise on Tolerance_ _If a book displeases you, refute it! :_ Voltaire, _Philosophical Dictionary_ _Chapter Seven - Toward the Greater Good: 1748–1776_ _Things must be so ordered that power checks power,_ Charles de Secondat, baron de Montesquieu, _The Spirit of the Laws_ _Complete freedom of trade must be ensured:_ François Quesnay, _General Maxims for the Economic Management of an Agricultural Kingdom_ _The nation's war against the citizen: Cesare_ Beccaria, _On Crimes and Punishments_ _There is no peace in the absence of justice:_ Adam Ferguson, _An Essay on the History of Civil Society_ _Led by an invisible hand:_ Adam Smith, _An Inquiry into the Nature and Causes of the Wealth of Nations_ _Chapter Eight - Encountering Others: 1688–1785_ _Thus died this great man:_ Aphra Behn, _Oroonoko: or The Royal Slave_ _Not one sins the less for not being Christian: _Lady Mary Wortley Montagu, _Embassy Letters_ _Do you not restore to them their liberty?:_ Guillaume-Thomas Raynal, _Philosophical and Political History of European Colonies and Commerce in the Two Indies_ _Some things which are rather interesting:_ Captain James Cook, _Voyage towards the South Pole, and Round the World_ _The inner genius of my being:_ Johann Gottfried von Herder, _Ideas for a Philosophy of the History of Humankind_ _Chapter - Nine Citizen of Geneva: 1755–1782_ _The most cunning project ever to enter the human mind: _Jean-Jacques Rousseau, _Discourse on the Origin and Foundations of Human Inequality_ _The supreme direction of the General Will:_ Jean-Jacques Rousseau, The Social Contract _Two lovers from a small town at the foot of the Alps,_ Jean-Jacques Rousseau, _Julie, or the New Heloise_ _Build a fence around your child’s soul:_ Jean-Jacques Rousseau, _Emile, or On Education_ _This man will be myself:_ Jean-Jacques Rousseau, _Confessions_ _Chapter Ten - Vindications of Women: 1685–1792_ _No higher design than to get her a husband:_ Mary Astell, _Reflections on Marriage_ _The days of my bondage begin:_ Anna Stanisławska, _Orphan Girl_ _A dying victim dragged to the altar:_ Denis Diderot, _The Nun_ _Created to be the toy of man:_ Mary Wollstonecraft, _Vindication of the Rights of Woman_ _Man, are you capable of being just?:_ Olympe de Gouges, _Declaration of the Rights of Woman as Citizen_ _Chapter Eleven - American Reverberations: 1771–1792_ _I took upon me to assert my freedom:_ Benjamin Franklin, _Autobiography_ _Freedom has been hunted round the globe:_ Thomas Paine, _Common Sense_ _Endowed by their Creator with certain unalienable Rights:_ Thomas Jefferson and Others, _Declaration of Independence_ _A safeguard against faction and insurrection:_ James Madison, _Federalist No. 10_ _An end to government by force and fraud:_ Thomas Paine, _The Rights of Man_ _Chapter Twelve - Enlightenment's End: 1790–1794_ _A partnership of the living, the dead, and those unborn:_ Edmund Burke, _Reflections on the Revolution in France_ _The future destiny of the human species:_ Nicolas de Condorcet, _A Sketch of a Historical Portrait of the Progress of the Human Mind_ Texts and Studies, Index. (shrink)

Carl Olson is Professor of Religious Studies at Allegheny College in Pennsylvania. His previous books include The Indian Renouncer and Postmodern Poison: A Cross-Cultural Encounter and The Theology and Philosophy of Eliade: A Search for the Centre.

A world awash in little understood chemicals tragically harms adults and children alike. Laws keep health agencies in the dark about toxicants, slow, well motivated research hampers protections, and strenuous vested opposition exacerbates the harm. How science is used in the tort law can facilitate or frustrate redress of harm. This book recommends better approaches.

BackgroundCountries are increasingly devoting significant resources to creating or strengthening research ethics committees, but there has been insufficient attention to assessing whether these committees are actually improving the protection of human research participants.DiscussionResearch ethics committees face numerous obstacles to achieving their goal of improving research participant protection. These include the inherently amorphous nature of ethics review, the tendency of regulatory systems to encourage a focus on form over substance, financial and resource constraints, and conflicts of interest. Auditing and accreditation programs (...) can improve the quality of ethics review by encouraging the development of standardized policies and procedures, promoting a common base of knowledge, and enhancing the status of research ethics committees within their own institutions. However, these mechanisms focus largely on questions of structure and process and are therefore incapable of answering many critical questions about ethics committees' actual impact on research practices.The first step in determining whether research ethics committees are achieving their intended function is to identify what prospective research participants and their communities hope to get out of the ethics review process. Answers to this question can help guide the development of effective outcomes assessment measures. It is also important to determine whether research ethics committees' guidance to investigators is actually being followed. Finally, the information developed through outcomes assessment must be disseminated to key decision-makers and incorporated into practice. This article offers concrete suggestions for achieving these goals.ConclusionOutcomes assessment of research ethics committees should address the following questions: First, does research ethics committee review improve participants' understanding of the risks and potential benefits of studies? Second, does the process affect prospective participants' decisions about whether to participate in research? Third, does it change participants' subjective experiences in studies or their attitudes about research? Fourth, does it reduce the riskiness of research? Fifth, does it result in more research responsive to the local community's self-identified needs? Sixth, is research ethics committees' guidance to researchers actually being followed? (shrink)

Despite all the attention to Big Data and the claims that it represents a “paradigm shift” in science, we lack understanding about what are the qualities of Big Data that may contribute to this revolutionary impact. In this paper, we look beyond the quantitative aspects of Big Data and examine it from a sociotechnical perspective. We argue that a key factor that distinguishes “Big Data” from “lots of data” lies in changes to the traditional, well-established “control zones” that facilitated clear (...) provenance of scientific data, thereby ensuring data integrity and providing the foundation for credible science. The breakdown of these control zones is a consequence of the manner in which our network technology and culture enable and encourage open, anonymous sharing of information, participation regardless of expertise, and collaboration across geographic, disciplinary, and institutional barriers. We are left with the conundrum—how to reap the benefits of Big Data while re-creating a trust fabric and an accountable chain of responsibility that make credible science possible. (shrink)

The British Museum, based in Montague House, Bloomsbury, opened its doors on 15 January 1759, as the world's first state-owned public museum. The Museum's collection mostly originated from Sir Hans Sloane, whose vast holdings were purchased by Parliament shortly after his death. The largest component of this collection was objects of natural history, including a herbarium made up of 265 bound volumes, many of which were classified according to the late seventeenth-century system of John Ray. The 1750s saw the (...) emergence of Linnaean binomial nomenclature, following the publication of Carl Linnaeus'Species Plantarum andSystema Naturae. In order to adopt this new system for their collections, the Trustees of the British Museum chose to employ the Swedish naturalist and former student of Linnaeus, Daniel Solander to reclassify the collection. Solander was ordered to devise a new system for classifying and cataloguing Sloane's natural history collection, which would allow both Linnaeans and those who followed earlier systems to access it. Solander's work was essential for allowing the British Museum to realize its aim of becoming a public centre of learning, adapting the collection to reflect the diversity of classificatory practices which were existent by the 1760s. This task engaged Solander until 1768, when he received an offer from Joseph Banks to accompany him on HMSEndeavourto the Pacific. (shrink)

An Approach to Rights contains fifteen previously published but mostly inaccessible papers that together show the development of one of the more important contemporary theories of the nature, grounds and practical implications of rights. In a long retrospective essay, Carl Wellman explains what he was trying to accomplish in each paper, how far he believes that he succeeded and where he failed. Thus the author provides a critical perspective both on his own theory and on alternative theories from which (...) he borrows, or that he rejects. These essays identify the problems any adequate theory of rights must solve, describe the more plausible solutions and weigh the merits of each. They will be of special interest to any reader concerned with legal theory, moral philosophy or any branch of applied ethics or social policy in which appeals to rights are frequently made but seldom rationally satisfactory. (shrink)

Theoria , the international Swedish philosophy journal, was founded in 1935. Its contributors in the first 75 years include the major Swedish philosophers from this period and in addition a long list of international philosophers, including A. J. Ayer, C. D. Broad, Ernst Cassirer, Hector Neri Castañeda, Arthur C. Danto, Donald Davidson, Nelson Goodman, R. M. Hare, Carl G. Hempel, Jaakko Hintikka, Saul Kripke, Henry E. Kyburg, Keith Lehrer, Isaac Levi, David Lewis, Gerald MacCallum, Richard Montague, Otto Neurath, (...) Arthur N. Prior, W. V. Quine, Nicholas Rescher, Ernest Sosa, Robert C. Stalnaker, P. F. Strawson, Patrick Suppes, Johan van Benthem, Georg Henrik von Wright and many others. Hempel's confirmation paradoxes, Ross's deontic paradox, Montague's universal grammar and Lindström's theorem are among the contributions to philosophy that were first published in Theoria. (shrink)

Long-Term Potentiation (LTP) is a kind of synaptic plasticity that many contemporary neuroscientists believe is a component in mechanisms of memory. This essay describes the discovery of LTP and the development of the LTP research program. The story begins in the 1950's with the discovery of synaptic plasticity in the hippocampus (a medial temporal lobe structure now associated with memory), and it ends in 1973 with the publication of three papers sketching the future course of the LTP research program. The (...) making of LTP was a protracted affair. Hippocampal synaptic plasticity was initially encountered as an experimental tool, then reported as a curiosity, and finally included in the ontic store of the neurosciences. Early researchers were not investigating the hippocampus in search of a memory mechanism; rather, they saw the hippocampus as a useful experimental model or as a structure implicated in the etiology of epilepsy. The link between hippocampal synaptic plasticity and learning or memory was a separate conceptual achievement. That link was formulated in at least three different ways at different times: reductively (claiming that plasticity is identical to learning), analogically (claiming that plasticity is an example or model of learning), and mechanistically (claiming that plasticity is a component in learning or memory mechanisms). The hypothesized link with learning or memory, coupled with developments in experimental techniques and preparations, shaped how researchers understood LTP itself. By 1973, the mechanistic formulation of the link between LTP and memory provided an abstract framework around which findings from multiple perspectives could be integrated into a multifield research program. (shrink)

Bioethics is now taken seriously. Is there a danger of its being taken in or taken over? Might it be influenced in other ways, less visible and less easily avoided? As private corporations and bioethicists build relationships with each other, bioethicists must ask themselves about the opportunities, the constraints, and the subtle shifts in attitude and focus that such ties might create.

This paper addresses the question of why democracy is desirable in terms of a relational theory of democracy. The theory draws on concepts from Aristotelian, critical realist, and psychoanalytic th...

Feyerabend claims that what is perceived depends upon what is believed ; and he maintains that among really efficient alternative theories "each theory will possess its own experience, and there will be no overlap between these experiences". According to Feyerabend "scientific theories are ways of looking at the world; and their adoption affects our general beliefs and expectations, and thereby also our experiences...". Toulmin, Hanson, and Kuhn concur with this view. Toulmin claims that men who accept different "ideals" and "paradigms" (...) will see different phenomena. He thinks theories not only give significance to facts, but also determine what facts are for us at all. Like Feyerabend, Toulmin asserts that "we see the world through" our fundamental concepts of science "to such an extent that we forget what it would look like without them". Indeed, both Feyerabend and Toulmin would have previous thinkers "live in an observational world very different from our own". Kuhn expresses quite similar views. He feels that. (shrink)

In a recent issue of The Monist, Alisa Bokulich argues that those who embrace an ontic conception of scientific explanation are committed to rejecting an explanatory role for idealized, i.e., deliberately false, models. Her argument is based on an inaccurate characterization of the ontic view. Indeed, her positive view of idealization embraces rather than opposes the ontic conception. Because Bokulich is not alone in this misunderstanding, an effort to diagnose and correct it might prevent scholars from talking past one another (...) and, hopefully, nudge future discussions down more inviting paths. (shrink)

This book offers a bold new theoretical understanding of the current ecological crisis via the Frankfurt School. Focusing on key notions of dialectics, natural history, and materialism, a critical theory of nature is outlined in favor of a more traditional Marxist theory of nature, albeit one which still builds on Marxist concepts to confirm humanity's centrality in manufacturing environmental misery. Pre-eminent thinkers including Georg Lukács, Ernst Bloch, and Theodor Adorno are highlighted for their potential to diagnose the interpenetration of capitalism (...) and nature in a way that neither absolutizes nor obliterates the boundary between the social and natural. (shrink)

This chapter contains sections titled: Introduction The Once Received View (ORV) Criticisms of the ORV The “Model Model” of Scientific Theories Mechanisms: Investigating Nonformal Patterns in Scientific Theories Conclusion.

We consider modifications to the standard David Lewis signaling game and relax a number of unrealistic implicit assumptions that are often built into the framework. In particular, we motivate and explore various asymmetries that exist between the sender and receiver roles. We find that endowing receivers with a more realistic set of responses significantly decreases the likelihood of signaling, while allowing for unequal selection pressure often has the opposite effect. We argue that the results of this article can also help (...) make sense of a well-known evolutionary puzzle regarding the absence of an evolutionary arms race between sender and receiver in conflict-of-interest signaling games. (shrink)

What are the relative epistemic merits of building prosthetic models versus building nonprosthetic models and simulations? I argue that prosthetic models provide a sufficient test of affordance validity, that is, of whether the target system affords mechanisms that can be commandeered by a prosthesis. In other respects, prosthetic models are epistemically on par with nonprosthetic models. I focus on prosthetics in neuroscience, but the results are general. The goal of understanding how brain mechanisms work under ecologically and physiologically relevant conditions (...) is narrow compared to the search for maker's knowledge about how the brain can be made to work for us. (shrink)

A mutual fund family incubates a fund when it creates a privately subsidized fund not available to the general investing public. It destroys unsuccessful incubator funds. The few successful funds will report higher incubation returns than the market return in advertisements intended to attract money from individual investors. This practice is currently allowed by the SEC. The evidence is that incubation returns are not a good predictor of subsequent fund performance and likely serve to mislead unsuspecting investors.