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)

Does thought have distinctive experiential features? Is there, in addition to sensory phenomenology, a kind of cognitive phenomenology--phenomenology of a cognitive or conceptual character? Leading philosophers of mind debate whether conscious thought has cognitive phenomenology and whether it is part of conscious perception and conscious emotion.

In the 21st century, Carl Gustav Jung (1875-1961) remains one of the key figures in the field of analytical psychology - and Psychological Types, or The Psychology of Individuation, published in 1921, is one of his most influential works. It was written during the decade after the publication of Psychology of the Unconscious (1912), which effectively ended his friendship and collaboration with Sigmund Freud. Whereas the earlier work had clearly marked Jung's psychoanalytical divergence from Freud it is the Psychology (...) of Types that fully clarifies and presents the nature, quality and characteristics of his analytical psychology. The work, which was in part a consequence of his need to reconcile the competing theories of Freud, whom he regarded as extraverted, and Alfred Adler, whom he saw as introverted, develops his concept of descriptive categories for understanding the human mind in terms of the two essential attitude types: introversion and extraversion. These basic attitudes operate in tandem with four principal interacting functions of consciousness which Jung identifies as sensation and intuition, which are functions of perception, and thinking and feeling, which are functions of judgment. The eight resulting psychological types are then explored, described, identified, characterised and explained in considerable detail, with a soaring range of examples drawn from the whole of human history, culture and experience. In his efforts to explore and illuminate the nature of the unconscious mind and indeed the collective unconscious, he investigates the problems posed by the differing psychological types and how these have manifested from classical and medieval times to the 20th century. His observations range from Aristotle, Socrates and Plato to Tertullian and Origen, and from Abélard and Master Eckhart to Martin Luther and the problem of transubstantiation. Jung takes the listener on an odyssey of human thinking. He considers the problem of types in the works of Schiller and Goethe, and Spitteler and his treatment of the Prometheus myth. He contrasts idealism and realism, the Apollonian and the Dionysian in Nietzsche, and explores a host of philosophical and religious sources from the Bible to Taoism to Brahminism. He considers the nature of the reconciling symbol in Spitteler before analysing the nature of types in modern philosophy, aesthetics and biography, giving detailed consideration to William James' characteristic pairs of opposites and Furneaux Jordan's 'character sketch of the emotional types'. Jung goes on to fully identify and describe the characteristic differences between the extraverted and introverted types and provides an extensive chapter on definitions to fully clarify the meaning of the language he employs and make his meaning more accessible. Authoritatively read by Martyn Swain for Ukemi Audiobooks, Psychological Types is an inexhaustible treasure chest of ideas and creative inspiration worth listening to time and time again. (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)

Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms, while giving examples to clarify principles. Logic, 2/e uses models to establish the invalidity of arguments, and includes exercise sets throughout, ranging from easy to challenging. Solutions are provided to selected exercises, and historical remarks discuss major contributions to the theories covered.

"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)

This book explores how our minds represent things in the world, asking whether these representations necessarily have the structure of propositions about the world. The hope is that this will lead towards a more complete understanding of the puzzle of intentionality -- how it is that our minds make contact with the world.

Response to commentaries on “The Transmission Sense of Information” Content Type Journal Article Pages 195-200 DOI 10.1007/s10539-011-9257-3 Authors Carl T. Bergstrom, Department of Biology, University of Washington, Seattle, WA 98195-1800, USA Martin Rosvall, Integrated Science Lab, Department of Physics, Umeå University, 901 87 Umeå, Sweden Journal Biology and Philosophy Online ISSN 1572-8404 Print ISSN 0169-3867 Journal Volume Volume 26 Journal Issue Volume 26, Number 2.

Book synopsis: Our mental lives are entwined with the world. There are worldly things that we have beliefs about and things in the world we desire to have happen. We find some things fearsome and others likable. The puzzle of intentionality — how it is that our minds make contact with the world — is one of the oldest and most vexed issues facing philosophers. Many contemporary philosophers and cognitive scientists have been attracted to the idea that our minds represent (...) the world. This book explores an important assumption about representation, namely, that when we represent things in the world, we represent them as having properties, and in this way our representations have "propositional" structure. The contributors examine what the commitment to propositionalism amounts to; illuminate why one might find the thesis attractive ; and consider ways in which one might depart from propositionalism. The hope is that this will lead towards a more complete understanding of how the mind and world are connected. (shrink)

The dominant neuroscientific theory of spatial memory is, like many theories in neuroscience, a multilevel description of a mechanism. The theory links the activities of molecules, cells, brain regions, and whole organisms into an integrated sketch of an explanation for the ability of organisms to navigate novel environments. Here I develop a taxonomy of interlevel experimental strategies for integrating the levels in such multilevel mechanisms. These experimental strategies include activation strategies, interference strategies, and additive strategies. These strategies are mutually reinforcing, (...) providing a kind of interlevel and intratheoretic robustness that has not previously been recognized. (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)

_Not exercising as much as you should? Counting your calories in your sleep? Feeling ashamed for not being happier? You may be a victim of the wellness syndrome._ In this ground-breaking new book, Carl Cederström and André Spicer argue that the ever-present pressure to maximize our wellness has started to work against us, making us feel worse and provoking us to withdraw into ourselves. The Wellness Syndrome follows health freaks who go to extremes to find the perfect diet, corporate (...) athletes who start the day with a dance party, and the self-trackers who monitor everything, including their own toilet habits. This is a world where feeling good has become indistinguishable from being good. Visions of social change have been reduced to dreams of individual transformation, political debate has been replaced by insipid moralising, and scientific evidence has been traded for new-age delusions. A lively and humorous diagnosis of the cult of wellness, this book is an indispensable guide for everyone suspicious of our relentless quest to be happier and healthier. (shrink)

Hempel and Oppenheim, in their paper 'The Logic of Explanation', have offered an analysis of the notion of scientific explanation. The present paper advances considerations in the light of which their analysis seems inadequate. In particular, several theorems are proved with roughly the following content: between almost any theory and almost any singular sentence, certain relations of explainability hold.

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)

A wide range of ecological and evolutionary models predict variety in phenotype or behavior when a population is at equilibrium. This heterogeneity can be realized in different ways. For example, it can be realized through a complex population of individuals exhibiting different simple behaviors, or through a simple population of individuals exhibiting complex, varying behaviors. In some theoretical frameworks these different realizations are treated as equivalent, but natural selection distinguishes between these two alternatives in subtle ways. By investigating an increasingly (...) complex series of models, from a simple fluctuating selection model up to a finite population hawk/dove game, we explore the selective pressures which discriminate between pure strategists, mixed at the population level, and individual mixed strategists. Our analysis reveals some important limitations to the ESS framework often employed to investigate the evolution of complex behavior. (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)

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)

We address Turkheimer’s argument that genome-wide association studies of behaviors and psychiatric traits will fail to produce coherent explanations. We distinguish two major sources of potential i...

Carl Hausman presents here a sustained and systematic examination of the problems of constructing a framework for understanding the concept of creativity. His discussion is unique in focusing systematically on problems of understanding creativity, examining our assumptions about what we take to be creative, and the possibility of seeing how creativity fits into a world that we expect to behave in rational patterns. In a careful examination of this complex phenomena, Hausman suggests a way of approaching creativity in terms (...) of a novel theory of metaphor. (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)

In this much-needed examination of Buddhist views of death and the afterlife, Carl B. Becker bridges the gap between books on death in the West and books on Buddhism in the East.

I provide a unified account of hope and fear as propositional attitudes. This “mirror account” is based on the historical idea that the only difference between hope and fear is the conative attitude involved, positive for hope and negative for fear. My analysis builds on a qualified version of the standard account of hope. The epistemic condition is formulated in terms of live possibility and the conative according to a non-reductive view on desire and aversion. The account demonstrates the theoretical (...) fruitfulness of accepting Jack M. C. Kwong’s distinction between hope and fear as propositional attitudes and experiential states. (shrink)