In this 1958 book, Professor Hanson turns to an equally important but comparatively neglected subject, the philosophical aspects of research and discovery.

The Halpern–Läuchli theorem, a combinatorial result about trees, admits an elegant proof due to Harrington using ideas from forcing. In an attempt to distill the combinatorial essence of this proof, we isolate various partition principles about products of perfect Polish spaces. These principles yield straightforward proofs of the Halpern–Läuchli theorem, and the same forcing from Harrington’s proof can force their consistency. We also show that these principles are not ZFC theorems by showing that they put lower bounds on the size (...) of the continuum. (shrink)

We give a formalism for approximate isomorphism in continuous logic simultaneously generalizing those of two papers by Ben Yaacov [2] and by Ben Yaacov, Doucha, Nies, and Tsankov [6], which are largely incompatible. With this we explicitly exhibit Scott sentences for the perturbation systems of the former paper, such as the Banach‐Mazur distance and the Lipschitz distance between metric spaces. Our formalism is simultaneously characterized syntactically by a mild generalization of perturbation systems and semantically by certain elementary classes of two‐sorted (...) structures that witness approximate isomorphism. As an application, we show that the theory of any ‐tree or ultrametric space of finite radius is stable, improving a result of Carlisle and Henson [8]. (shrink)

Generic language (e.g., “tigers have stripes”) leads children to assume that the referenced category (e.g., tigers) is inductively informative and provides a causal explanation for the behavior of individual members. In two preregistered studies with 4- to 7-year-old children (N = 497), we considered the mechanisms underlying these effects by testing how correcting generics might affect the development of these beliefs about novel social and animal kinds (Study 1) and about gender (Study 2). Correcting generics by narrowing their scope to (...) a single individual limited beliefs that the referenced categories could explain what their members would be like while broadening the scope to a superordinate category (Study 2) uniquely limited endorsement of gender norms. Across both studies, correcting generics did not alter beliefs about feature heritability and had mixed effects on inductive inferences, suggesting that additional mechanisms (e.g., causal reasoning about shared features) contribute to the development of full-blown essentialist beliefs. These results help illuminate the mechanisms by which generics lead children to view categories as having rich inductive and causal potential; in particular, they suggest that children interpret generics as signals that speakers in their community view the referenced categories as meaningful kinds that support generalization. The findings also point the way to concrete suggestions for how adults can effectively correct problematic generics (e.g., gender stereotypes) that children may hear in daily life. (shrink)

Journal of Mathematical Logic, Ahead of Print. In the context of continuous first-order logic, special attention is often given to theories that are somehow continuous in an ‘essential’ way. A common feature of such theories is that they do not interpret any infinite discrete structures. We investigate a stronger condition that is easier to establish and use it to give an example of a strictly simple continuous theory that does not interpret any infinite discrete structures: the theory of richly branching (...) [math]-forests with generic binary predicates. We also give an example of a superstable theory that fails to satisfy this stronger condition but nevertheless does not interpret any infinite discrete structures. (shrink)

Motivated by a characterization of weakly compact cardinals due to Todorcevic, we introduce a new cardinal characteristic, the C-sequence number, which can be seen as a measure of the compactness of a regular uncountable cardinal. We prove a number of ZFC and independence results about the C-sequence number and its relationship with large cardinals, stationary reflection, and square principles. We then introduce and study the more general C-sequence spectrum and uncover some tight connections between the C-sequence spectrum and the strong (...) coloring principle U(. . .), introduced in Part I of this series. (shrink)

We investigate questions involving Aronszajn trees, square principles, and stationary reflection. We first consider two strengthenings of introduced by Brodsky and Rinot for the purpose of constructing κ‐Souslin trees. Answering a question of Rinot, we prove that the weaker of these strengthenings is compatible with stationary reflection at κ but the stronger is not. We then prove that, if μ is a singular cardinal, implies the existence of a special ‐tree with a cf(μ)‐ascent path, thus answering a question of Lücke.

We have been discussing some of the fundamental features of the classical calculus of probability. The equiprobability of rival events was seen to be a major assumption of the calculus. Moreover, it is an assumption which the pure mathematician need not bother to justify. He need only present his formal system as follows.

In this paper I argue that there can be genuine (as opposed to merely verbal) disputes about whether a sentence form is logically true or an argument form is valid. I call such disputes ?cases of deviance?, of which I distinguish a weak and a strong form. Weak deviance holds if one disputant is right and the other wrong, but the available evidence is insufficient to determine which is which. Strong deviance holds if there is no fact of the matter. (...) In section 2 I argue that weak deviance need not be trivial and may even be interesting. Section 3 considers what it could mean to say that logic is determined by a theory, especially a theory of meaning, an idea that arises in section 2. In section 4 I discuss the dispute between classical and relevance logicians over entailment and argue that it is a case of strong deviance. Finally, in section 5 I show that the result of the previous section is not absolute but relative to the background logic used in reaching it. (shrink)

The current studies (N = 255, children ages 4–5 and adults) explore patterns of age‐related continuity and change in conceptual representations of social role categories (e.g., “scientist”). In Study 1, young children's judgments of category membership were shaped by both category labels and category‐normative traits, and the two were dissociable, indicating that even young children's conceptual representations for some social categories have a “dual character.” In Study 2, when labels and traits were contrasted, adults and children based their category‐based induction (...) decisions on category‐normative traits rather than labels. Study 3 confirmed that children reason based on category‐normative traits because they view them as an obligatory part of category membership. In contrast, adults in this study viewed the category‐normative traits as informative on their own (not only as a cue to obligations). Implications for continuity and change in representations of social role categories will be discussed. (shrink)

It has become increasingly common for philosophers to make use of the concept of artistic value, and, further, to distinguish artistic value from aesthetic value. In a recent paper, ‘The Myth of (Non-Aesthetic) Artistic Value’, Dominic Lopes takes issue with this, presenting a kind of corrective to current philosophical practice regarding the use of the concept of artistic value. Here I am concerned to defend current practice against Lopes's attack. I argue that there is some unclarity as to what aspect (...) of this practice Lopes is objecting to, and I distinguish three kinds of objection that he could be read as making. I argue that none of these is adequately supported by Lopes's arguments, and that the corresponding three aspects of current philosophical practice are on firmer footing than Lopes's paper suggests. A new, plausible characterisation of artistic value will emerge from this discussion. (shrink)

In the first section, I consider what several logicians say informally about the notion of logical consequence. There is significant variation among these accounts, they are sometimes poorly explained, and some of them are clearly at odds with the usual technical definition. In the second section, I first argue that a certain kind of informal account—one that includes elements of necessity, generality, and apriority—is approximately correct. Next I refine this account and consider several important questions about it, including the appropriate (...) characterization of necessity, the criterion for selecting logical constants, and the exact role of apriority. I argue, among other things, that there is no need to recognize a special logical sense of necessity and that the selection of terms to serve as logical constants is ultimately a pragmatic matter. In the third section, I consider whether the informal account I have presented and defended is adequately represented by the usual technical definition. I show that it is, and provably so, for certain limited ways of selecting logical constants. In the general case, however, there seems to be no way to be sure that the technical and informal accounts coincide. (shrink)

In the context of continuous first-order logic, special attention is often given to theories that are somehow continuous in an ‘essential’ way. A common feature of such theories is that they do not interpret any infinite discrete structures. We investigate a stronger condition that is easier to establish and use it to give an example of a strictly simple continuous theory that does not interpret any infinite discrete structures: the theory of richly branching [Formula: see text]-forests with generic binary predicates. (...) We also give an example of a superstable theory that fails to satisfy this stronger condition but nevertheless does not interpret any infinite discrete structures. (shrink)

How do people gather samples of evidence to learn about the world? Adults often prefer to sample evidence from diverse sources—for example, choosing to test a robin and a turkey to find out if something is true of birds in general. Children below age 9, however, often do not consider sample diversity, instead treating non‐diverse samples (e.g., two robins) and diverse samples as equivalently informative. The current study (N = 247) found that this discontinuity stems from developmental changes in standards (...) for evaluating evidence—younger children chose to learn from samples that best approximate idealized views of what category members are supposed to be like (e.g., the fastest cheetahs), with a gradual shift across age toward samples that cover more within‐category variation (e.g., cheetahs of varying speeds). These findings have implications for the relation between conceptual structure and inductive reasoning, and for the mechanisms underlying inductive reasoning more generally. (shrink)

Engaging the thought of the Danish thinker Søren Kierkegaard, I challenge a tendency within the analytic tradition of philosophy on the subject of meaning in life. Taking as a starting point Kierkegaard's insights about meaning in life, the striving needed to attain an imagined ideal self, and his paradoxical conception of the perfection available to human life, I claim that meaning in life is a function of an individual's striving for an ideal self. This continuous effort to achieve myself is (...) marked by suffering, an indispensable part of Kierkegaard's project of identity formation. The imagined grasp of a possible ideal self is essential to this process but insufficient for it because the imagination can only ever glimpse a kind of static perfection, not the lived perfection that only results from willed actualization of an ideal self. The meaning of a human life, then, consists in the suffering that results from a struggle to actualize the ideal I aspire to become in the process of identity formation. I contrast this view with a tendency shared by many contemporary analytic philosophers of meaning in life, for whom meaning in life is constituted by achievement of valued goods, without much attention to one's relation to the process of achieving them. In that respect, I will focus on the position of Iddo Landau. After clearing a number of his misconceptions about Kierkegaard's philosophy, I claim that, for a life to be meaningful, valued goods in life must be complemented by a conscious enactment of the process of the formation of one's identity that includes striving to attain a kind of perfection. I conclude that Kierkegaard's paradoxical account of perfectionism makes him more of an ally to Landau than an opponent. (shrink)

We continue our study of strongly unbounded colorings, this time focusing on subadditive maps. In Part I of this series, we showed that, for many pairs of infinite cardinals $\theta < \kappa $, the existence of a strongly unbounded coloring $c:[\kappa ]^2 \rightarrow \theta $ is a theorem of $\textsf{ZFC}$. Adding the requirement of subadditivity to a strongly unbounded coloring is a significant strengthening, though, and here we see that in many cases the existence of a subadditive strongly unbounded coloring (...) $c:[\kappa ]^2 \rightarrow \theta $ is independent of $\textsf{ZFC}$. We connect the existence of subadditive strongly unbounded colorings with a number of other infinitary combinatorial principles, including the narrow system property, the existence of $\kappa $ -Aronszajn trees with ascent paths, and square principles. In particular, we show that the existence of a closed, subadditive, strongly unbounded coloring $c:[\kappa ]^2 \rightarrow \theta $ is equivalent to a certain weak indexed square principle $\boxminus ^{\operatorname {\mathrm {ind}}}(\kappa, \theta )$. We conclude the paper with an application to the failure of the infinite productivity of $\kappa $ -stationarily layered posets, answering a question of Cox. (shrink)

We address three questions raised by Cummings and Foreman regarding a model of Gitik and Sharon. We first analyze the PCF-theoretic structure of the Gitik–Sharon model, determining the extent of good and bad scales. We then classify the bad points of the bad scales existing in both the Gitik–Sharon model and other models containing bad scales. Finally, we investigate the ideal of subsets of singular cardinals of countable cofinality carrying good scales.

Humanity seems to have a bright future, i.e., a non-trivial chance of expanding to fill the universe with lasting life. But the fact that space near us seems dead now tells us that any given piece of dead matter faces an astronomically low chance of begating such a future. There thus exists a great filter between death and expanding lasting life, and humanity faces the ominous question: how far along this filter are we?

Russell Hanson discovers in the history of democratic rhetoric in the United States a series of essential contests" over the meaning of democracy that have occurred in periods of political and socio-economic change. Originally published in 1985. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The (...) goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

On a rainy day in May 1988, a lowland gorilla named Willie B. stepped outdoors for the first time in twenty-seven years, into a new landscape immersion exhibit. Born in Africa, Willie B. had been captured by an animal collector and sold to a zoo. During the decades he spent in a cage, zoos stopped collecting animals from the wild and Americans changed the ways they wished to view animals in the zoo. Zoos developed new displays to simulate landscapes like (...) the Amazon River basin and African forests. Exhibits similar to animals' natural habitats began to replace old-fashioned animal houses. But such displays are only the most recent effort of zoos to present their audiences with an authentic experience of nature. Since the first zoological park opened in the United States in Philadelphia in 1874, zoos have promised their visitors a journey into the natural world. And for more than a century they have been popular places for education and recreation: every year more than 130 million Americans go to zoos to look at the animals and enjoy a day outdoors. The first book-length history of American zoos, Animal Attractions examines the meaning of nature in the city by looking at the ways zoos have assembled and displayed their animal collections. Situated literally and culturally in the American middle landscape, zoos are concrete expressions of longstanding tensions between wildness and civilization, science and popular culture, education and entertainment. In their efforts to promote nature appreciation, they reveal much about how our culture envisions the natural world and the human place in it and how these ideas have changed. (shrink)

Many thinkers believe that the next transformational change in human organisation will be the onset of human-level artificial intelligence, and that the most likely method of achieving this will come through brain emulations or "ems": the ability to scan human brains and program their connections into ever faster computers. Taking this as his starting point, Hanson describes what a world dominated by these ems will be like.

[Anne:] “I can't, I'm in the depths of despair. Can you eat when you are in the depths of despair?”“I've never been in the depths of despair, so I can't say,” said Marilla.“Weren't you? Well did you ever try to imagine you were in the depths of despair?”” No, I didn't.”“Then I don't think you can understand what it's like. It's a very uncomfortable feeling indeed. When you try to eat a lump comes right up in your throat and you (...) can't swallow anything, not even if it was a chocolate caramel.”—L.M. Montgomery, Anne of Green Gables.Emotion, as a “suprarational” property, transcends rationality in that it can be thought of as a group, contextual rather than as a solely individual trait, and thus is a higher order property, as the above quote suggests. This proposal arises from a metatheoretical analysis of models available to broach questions of emotion. I use metatheoretical in the sense of both the context of theory production and the theory of theory. From the first arose the idea that emotion, through the use of irrationality, has surfaced as a working equivalent to inexplicability or rational relativity, and can be modelled more adequately as suprarational, with a unique nature in its own right. The latter led me to propose that the concept of emotion as contextual, a higher order group level property, is possible and tentatively profitable. (shrink)

This article argues that teaching medical and nursing students health care ethics in an interdisciplinary setting is beneficial for them. Doing so produces an education that is theoretically more consistent with the goals of health care ethics, can help to reduce moral stress and burnout, and can improve patient care. Based on a literature review, theoretical arguments and individual observation, this article will show that the benefits of interdisciplinary education, specifically in ethics, outweigh the difficulties many schools may have in (...) developing such courses. (shrink)

The field of neuroimaging has reached a watershed. Brain imaging research has been the source of many advances in cognitive neuroscience and cognitive science over the last decade, but recent critiques and emerging trends are raising foundational issues of methodology, measurement, and theory. Indeed, concerns over interpretation of brain maps have created serious controversies in social neuroscience, and, more important, point to a larger set of issues that lie at the heart of the entire brain mapping enterprise. In this volume, (...) leading scholars -- neuroimagers and philosophers of mind -- reexamine these central issues and explore current controversies that have arisen in cognitive science, cognitive neuroscience, computer science, and signal processing. The contributors address both statistical and dynamical analysis and modeling of neuroimaging data and interpretation, discussing localization, modularity, and neuroimagers' tacit assumptions about how these two phenomena are related; controversies over correlation of fMRI data and social attributions ; and the standard inferential design approach in neuroimaging. Finally, the contributors take a more philosophical perspective, considering the nature of measurement in brain imaging, and offer a framework for novel neuroimaging data structures. Contributors: William Bechtel, Bharat Biswal, Matthew Brett, Martin Bunzl, Max Coltheart, Karl J. Friston, Joy J. Geng, Clark Glymour, Kalanit Grill-Spector, Stephen José Hanson, Trevor Harley, Gilbert Harman, James V. Haxby, Rik N. Henson, Nancy Kanwisher, Colin Klein, Richard Loosemore, Sébastien Meriaux, Chris Mole, Jeanette A. Mumford, Russell A. Poldrack, Jean-Baptiste Poline, Richard C. Richardson, Alexis Roche, Adina L. Roskies, Pia Rotshtein, Rebecca Saxe, Philipp Sterzer, Bertrand Thirion, Edward Vul The hardcover edition does not include a dust jacket. (shrink)

There is, to all appearances, a philosophic hostility to fashionable dress. Studying this contempt, this paper examines likely sources in philosophy's suspicion of change; anxiety about surfaces and the inessential; failures in the face of death; and the philosophic disdain for, denial of, the human body and human passivity. If there are feminist concerns about fashion, they should be radically different from those of traditional philosophy. Whatever our ineluctable worries about desire and death, whatever our appropriate anger and impatience with (...) the merely superficial, whatever our genuine need to mark off the serious from the trivial, feminism may be a corrective therapy for philosophy's bad humor and self-deception, as these manifest themselves when the subject turns to beautiful clothes. (shrink)

Workplace incivility is a current challenge in organizations, including smaller firms, as is the development of programs that enhance employees’ treatment of coworkers and ethical decision making. Ethics programs in particular might attenuate tendencies toward interpersonal misconduct, which can harm ethical reasoning. Consequently, this study evaluated the relationships among the presence of ethics codes and employees’ locus of control, social aversion/malevolence, and ethical judgments of incivility using information secured from a sample of businesspersons employed in smaller organizations. Results indicated that (...) ethics code presence was associated with a more internal locus of control and stronger ethical judgment of workplace incivility. Social aversion/malevolence was negatively related to ethical judgment, and internal locus of control was positively related to ethical judgment. Smaller firms should develop ethics codes to manage individuals’ perceptions of control, thus encouraging enhanced ethical reasoning in situations that involve the mistreatment of coworkers; they should also monitor counterproductive tendencies that harm such reasoning and precipitate incivility. (shrink)

When attempting to answer the question, in the context of clinical healthcare, one might be tempted to leap to either of two rather obvious, but seemingly contradictory conclusions. On the one hand, we might have a general impression of religion not making much of a distinctive and clear difference, at least in the actions and outcomes of most cases of clinical interaction. Those of us in the bioethics world of discourse are likely to think only of the less common cases (...) of Christian Scientists, Jehovah's Witnesses, Orthodox Jews, or certain religious groups who seem to the majority of the population to hold especially sectarian, if not beliefs about medical matters. The so-called mainstream religious groups do not get much attention because they largely don't cause much trouble ; they have learned to bracket their religious commitments from at least any professional settings ; or they don't hold views entailing consequences any different from those of most nonbelieving, generally upright individuals. Furthermore, although religious believers may have some distinctive views, these views don't often noticeably manifest themselves in distinctive or significant ways. (shrink)

Structural realists claim that structure is preserved across instances of radical theory change, and that this preservation provides an argument in favor of realism about structure. In this paper, I use the shift from Newtonian gravity to Einstein’s general relativity as a case study for structural preservation, and I demonstrate that two prominent views of structural preservation fail to provide a solid basis for realism about structure. The case study demonstrates that (i) structural realists must be epistemically precise about the (...) concrete structure that is being preserved, and (ii) they must provide a metaphysical account of how structure is preserved through re-interpretation in light of a new theory. Regarding (i), I describe a means of epistemic access to the unobservable that I call “thick detection” of structure, which isolates the structure that will be preserved. Regarding (ii), I argue that thickly detectable structure is preserved across theory change through a process of extracting the old structure from the new structure, much like what has been done with geometrized versions of Newtonian gravity. With these two responses in hand, the structural realist can adequately account for the preservation of structure and can provide a strong argument in favor of structural realism. (shrink)

Increasingly, functional and evolutionary research has highlighted the important contribution emotion processing makes to complex human social cognition. As such, it may be asked whether neural structures involved in emotion processing, commonly referred to as limbic structures, have been impacted in human brain evolution. To address this question, we performed an extensive evolutionary analysis of multiple limbic structures using modern phylogenetic tools. For this analysis, we combined new volumetric data for the hominoid (human and ape) amygdala and 4 amygdaloid nuclei, (...) hippocampus, and striatum, collected using stereological methods in complete histological series, with previously published datasets on the amygdala, orbital and medial frontal cortex, and insula, as well as a non-limbic structure, the dorsal frontal cortex, for contrast. We performed a parallel analysis using large published datasets including many anthropoid species (human, ape, and monkey), but fewer hominoids, for the amygdala and 2 amygdaloid subdivisions, hippocampus, schizocortex, striatum, and septal nuclei. To address evolutionary change, we compared observed human values to values predicted from regressions run through a) nonhuman hominoids and b) nonhuman anthropoids, assessing phylogenetic influence using phylogenetic generalized least squares regression.Compared with other hominoids, the volumes of the hippocampus, the lateral nucleus of the amygdala, and the orbital frontal cortex were, respectively, 50%, 37%, and 11% greater in humans than predicted for an ape of human hemisphere volume, while the medial and dorsal frontal cortex were, respectively, 26% and 29% significantly smaller. Compared with other anthropoids, only human values for the striatum fell significantly below predicted values. Overall, the data present support for the idea that regions involved in emotion processing are not necessarily conserved or regressive, but may even be enhanced in recent human evolution. (shrink)

Viale introduced covering matrices in his proof that SCH follows from PFA. In the course of the proof and subsequent work with Sharon, he isolated two reflection principles, CP and S, which, under certain circumstances, are satisfied by all covering matrices of a certain shape. Using square sequences, we construct covering matrices for which CP and S fail. This leads naturally to an investigation of square principles intermediate between □κ and □ for a regular cardinal κ. We provide a detailed (...) picture of the implications between these square principles. (shrink)

Many people accept, at least implicitly, what I call the asymmetry claim: the view that moral realism is more defensible than aesthetic realism. This article challenges the asymmetry claim. I argue that it is surprisingly hard to find points of contrast between the two domains that could justify their very different treatment with respect to realism. I consider five potentially promising ways to do this, and I argue that all of them fail. If I am right, those who accept the (...) asymmetry claim have a significant burden of proof. (shrink)