Arithmetical definability has been extensively studied over the natural numbers. In this paper, we take up the study of arithmetical definability over finite structures, motivated by the correspondence between uniform AC0 and FO. We prove finite analogs of three classic results in arithmetical definability, namely that < and TIMES can first-order define PLUS, that < and DIVIDES can first-order define TIMES, and that < and COPRIME can first-order define TIMES. The first result sharpens the equivalence FO =FO to FO = (...) FO, answering a question raised by Barrington et al. about the Crane Beach Conjecture. Together with previous results on the Crane Beach Conjecture, our results imply that FO is strictly less expressive than FO = FO = FO. In more colorful language, one could say that, for parallel computation, multiplication is harder than addition. (shrink)

As computers became multi-component systems in the 1950s, handling the speed differentials efficiently was identified as a major challenge. The desire for better understanding and control of ‘concurrency’ spread into hardware, software, and formalism. This paper examines the way in which the problem emerged and was handled across various computing cultures from 1955 to 1985. In the machinic culture of the late 1950s, system programs called ‘monitors’ were used for directly managing synchronisation. Attempts to reframe synchronisation in the subsequent algorithmic (...) culture pushed the problem to a higher level of abstraction; Dijkstra’s semaphores were a reaction to the algorithms’ complexity. Towards the end of the 1960s, the culture of ‘structured programming’ created a milieu in which Dijkstra, Hoare, and Brinch Hansen (among others) aimed for a concurrency primitive which embodied the new view of programming. Via conditional critical regions and Dijkstra’s ‘secretaries’, the co-produced ‘monitor’ appeared to provide the desired encapsulation. The construct received embodiment in a few programming languages; this paper ends by considering Modula and Concurrent Pascal. (shrink)

Reductionists about dispositions must either say the natural properties are all dispositional or individuate properties hyperintensionally. Lewis stands in as an example of the sort of combination I think is incoherent: properties individuated by modal profile + categoricalism.

Knowledge as a Feeling offers new reflective and metacognitive tools that help meet this moment in the evolution of our information ecosystem. The book has significant implications for information science, challenging theoreticians and practitioners to reconsider how individuals process information.

Profoundly important ethical and political controversies turn on the question of whether biological life is an essential aspect of a human person, or only an extrinsic instrument. Lee and George argue that human beings are physical, animal organisms - albeit essentially rational and free - and examine the implications of this understanding of human beings for some of the most controversial issues in contemporary ethics and politics. The authors argue that human beings are animal organisms and that their personal identity (...) across time consists in the persistence of the animal organisms they are; they also argue that human beings are essentially rational and free and that there is a radical difference between human beings and other animals; criticize hedonism and hedonistic drug-taking; present detailed defenses of the prolife positions on abortion and euthanasia; and defend the traditional moral position on marriage and sexual acts. (shrink)

This paper examines the idea of objective phenomenology, or a way of understanding the phenomenal character of conscious experiences that doesn’t require one to have had the kinds of experiences under consideration. My central thesis is that structural facts about experience—facts that characterize purely how conscious experiences are structured—are objective phenomenal facts. I begin by precisifying the idea of objective phenomenology and diagnosing what makes any given phenomenal fact subjective. Then I defend the view that structural facts about experience are (...) objective. I also argue that structural facts about experience, despite being objective, nevertheless still give rise to an explanatory gap. (shrink)

Credal reductivism is the view that outright belief is reducible to degrees of confidence or ‘credence’. The most popular versions of credal reductivism all have the consequence that if you are near-maximally confident that p in a low-stakes situation, then you outright believe p. This paper addresses a recent objection to this consequence—the Correctness Objection— introduced by Jeremy Fantl and Matthew McGrath and further developed by Jacob Ross and Mark Schroeder. The objection is that near-maximal confidence cannot entail outright belief (...) because when you believe a false proposition, you are wrong or incorrect, whereas you can be highly confident of a false proposition in a low-stakes situation without being incorrect. Both Fantl and McGrath’s and Ross and Schoeder’s versions of the Correctness Objection admit of multiple interpretations. But it is argued that even on the most charitable interpretations the objection fails. (shrink)

_Philosophers consider race and racism from the perspective of lived, bodily experience._.

The normativity of so-called “coherence” or “structural” requirements of rationality has been hotly debated in recent years. However, relatively little has been said about the nature of structural rationality, or what makes a set of attitudes structurally irrational, if structural rationality is not ultimately a matter of responding correctly to reasons. This paper develops a novel account of incoherence (or structural irrationality), critically examining Alex Worsnip’s recent account. It first argues that Worsnip’s account both over-generates and under-generates incoherent patterns of (...) attitudes, and then proposes an alternative that both avoids these problems and captures a crucial insight behind Worsnip’s account. According to this account, a set of attitudes is incoherent just in case having all of the attitudes in that set is incompatible with reacting to a question in a way that one is, in virtue of having the attitudes, committed to. (shrink)

An argument that what makes science distinctive is its emphasis on evidence and scientists' willingness to change theories on the basis of new evidence. Attacks on science have become commonplace. Claims that climate change isn't settled science, that evolution is “only a theory,” and that scientists are conspiring to keep the truth about vaccines from the public are staples of some politicians' rhetorical repertoire. Defenders of science often point to its discoveries (penicillin! relativity!) without explaining exactly why scientific claims are (...) superior. In this book, Lee McIntyre argues that what distinguishes science from its rivals is what he calls “the scientific attitude”—caring about evidence and being willing to change theories on the basis of new evidence. The history of science is littered with theories that were scientific but turned out to be wrong; the scientific attitude reveals why even a failed theory can help us to understand what is special about science. McIntyre offers examples that illustrate both scientific success (a reduction in childbed fever in the nineteenth century) and failure (the flawed “discovery” of cold fusion in the twentieth century). He describes the transformation of medicine from a practice based largely on hunches into a science based on evidence; considers scientific fraud; examines the positions of ideology-driven denialists, pseudoscientists, and “skeptics” who reject scientific findings; and argues that social science, no less than natural science, should embrace the scientific attitude. McIntyre argues that the scientific attitude—the grounding of science in evidence—offers a uniquely powerful tool in the defense of science. (shrink)

Exploring the intimate tie between body movement and space and time, Lee begins with the position that body movement generates space and time and explores the ethical implications of this responsibility for the situations one’s body movements generate. Whiteness theory has come to recognize the ethical responsibility for situations not of one’s own making and hence accountability for the results of more than one’s immediate personal conscious decisions. Because of our specific history, whites have developed a particular embodiment and body (...) movement that generates places that can only be characterized as more comfortable and more enabling to whites. (shrink)

Will have appeal to a very diverse range of philosophers, across all traditional branches of philosophy (nearly all major areas are covered). Combines substantive philosophical work on the various philosophical areas, with detailed methodological work, and introductory chapters exploring the nature of public philosophy per se.

The following is not a successful skeptical scenario: you think you know you have hands, but maybe you don't! Why is that a failure, when it's far more likely than, say, the evil genius hypothesis? That's the question.<br><br>This is an earlier draft.

In How to Talk to a Science Denier, Lee McIntyre tells the story of his own adventures in talking face to face with science deniers and their victims-including a Flat Earth convention in Denver, coal miners in rural Pennsylvania, and fishermen in the Maldives-and what he learned from the experience.

Attempts to capture the distinction between categorical and dispositional states in terms of more primitive modal notions – subjunctive conditionals, causal roles, or combinatorial principles – are bound to fail. Such failure is ensured by a deep symmetry in the ways dispositional and categorical states alike carry modal import. But the categorical/dispositional distinction should not be abandoned; it underpins important metaphysical disputes. Rather, it should be taken as a primitive, after which the doomed attempts at reductive explanation can be transformed (...) into circular but interesting accounts. (shrink)

Low birth weight, intrauterine growth retardation, and prematurity are overwhelming risk factors associated with infant mortality and morbidity. The lack of efficacious prenatal screening tests for these three outcomes illuminates the problems inherent in bivariate estimates of association. A biocultural strategy for research is presented, integrating societal and familial levels of analysis with the metabolic, immune, vascular, and neuroendocrine systems of the body. Policy decisions, it is argued, need to be based on this type of biocultural information in order to (...) impact the difficult-to-change problems of low birth weight, intrauterine growth retardation, and prematurity. (shrink)

To be conscious—according to a common metaphor—is for the “lights to be on inside.” Is this a good metaphor? I argue that the metaphor elicits useful intuitions while staying neutral on controversial philosophical questions. But I also argue that there are two ways of interpreting the metaphor. Is consciousness the inner light itself? Or is consciousness the illuminated room? Call the first sense subjectivity (where ‘consciousness’ =def what makes an entity feel some way at all), and the second sense phenomenal (...) character (where ‘consciousness’ =def what it feels like to be an entity). I use this distinction—as well as the metaphor of the inner light—to clarify some philosophical questions about whether consciousness comes in degrees, whether consciousness is multidimensional, and whether there are borderline cases of consciousness. (shrink)

This paper argues for a permissivism of personal rationality, a rationality concerning the epistemic evaluation of persons. I work from the perspective of virtue epistemology where the standards of evaluation are the intellectual character virtues. On this picture, an agent is personally rational in having a doxastic attitude when having it is the result of some exemplification of an intellectual virtue. Permissive cases arise when the emotional components of intellectual virtues conflict, making some potential conclusions both enabled and disabled for (...) the agent. The agent is left in a confusion needing resolution, but if each of these conflicting emotions are components of intellectual virtues, then she has multiple personally rational options. This grounds a potential case of a permissivism of personal rationality, but this should be interesting to epistemologists in general since opting for one of the sides of this conflict leads an agent to have different doxastic attitudes. (shrink)

Let a smooth experience be an experience with perfectly gradual changes in phenomenal character. Consider, as examples, your visual experience of a blue sky or your auditory experience of a rising pitch. Do the phenomenal characters of smooth experiences have continuous or discrete structures? If we appeal merely to introspection, then it may seem that we should think that smooth experiences are continuous. This paper (1) uses formal tools to clarify what it means to say that an experience is continuous (...) or discrete, and (2) develops a discrete model of the phenomenal characters of smooth experiences. As a result, I'll argue that introspection leaves open whether smooth experiences are continuous or discrete. Yet I’ll also argue—perhaps surprisingly—that the discrete theory may better fit our introspective evidence. (shrink)

Several conceptual and methodological challenges must be solved in order to create knowledge that can be useful to pregnant women, their families, and any clinicians who serve them: (1) going beyond nominal and ordinal hypotheses and presenting estimates of conditional probabilities; (2) focusing on clearly defined outcomes; (3) modeling the relationship of fetal growth and length of gestation; (4) understanding the process of fetal growth even though most of our data is cross-sectional; (5) estimating the independent effects of genetics, race, (...) ethnicity, maternal risk behaviors, medical prenatal care, and socioeconomic status on fetal growth and length of gestation; and (6) estimating the independent effects of maternal pre-pregnancy weight, weight gain during pregnancy, and nutrition on fetal growth and length of gestation. (shrink)

"Something in between : on the nature of love" -- Love's blindness (1) : love's closed heart -- Love's blindness (2) : love's friendly eye -- Beyond comparison -- Commitments, values, and frameworks -- Valuing persons -- Love and morality -- Afterword. Between the universal and the particular.

In recent years, the science and the philosophy of consciousness has seen growing interest in structural questions about consciousness. This is the Editorial Introduction for a special volume for Philosophy and the Mind Sciences on “Structuralism in Consciousness Studies.”.

On the surface, developing a social psychology of science seems compelling as a way to understand how individual social cognition – in aggregate – contributes towards individual and group behavior within scientific communities (Kitcher, 2002). However, in cases where the functional input-output profile of psychological processes cannot be mapped directly onto the observed behavior of working scientists, it becomes clear that the relationship between psychological claims and normative philosophy of science should be refined. For example, a robust body of social (...) psychological research demonstrates implicit gender bias in the evaluation of others (e.g., Steinpreis, Anders, & Ritzke, 1999). Many expected implicit bias to be a major cause of women’s underrepresentation in math intensive fields of science; however, quantitative sociological research of hiring and manuscript and grant evaluation has discovered no gender disparity in outcomes (Ceci & Williams, 2011). Why might this be so? This paper will discuss methodological challenges that go beyond classic problems of external validity in extrapolating psychological effects and explanations to scientific communities. These problems include more complex external validity issues raised by the introduction of multi-process models of cognition (e.g., implicit versus explicit social cognition) as well as the reflexive role that folk and experimental theories of social psychology play in guiding the behavior of scientists at the individual and community level. (shrink)

Many of the benefits and burdens we might experience in our lives — from bank loans to bail terms — are increasingly decided by institutions relying on algorithms. In a sense, this is nothing new: algorithms — instructions whose steps can, in principle, be mechanically executed to solve a decision problem — are at least as old as allocative social institutions themselves. Algorithms, after all, help decision-makers to navigate the complexity and variation of whatever domains they are designed for. In (...) another sense, however, this development is startlingly new: not only are algorithms being deployed in ever more social contexts, they are being mechanically executed not merely in principle, but pervasively in practice. Due to recent advances in computing technology, the benefits and burdens we experience in our lives are now increasingly decided by automata, rather than each other. How are we to morally assess these technologies? In this chapter, I propose a preliminary conceptual schema for identifying and locating the various injustices of automated, algorithmic social decision systems, from a broadly liberal perspective. (shrink)

In the last few years, a great deal of attention has been paid to the effects that the achievements of the Human Genome Project will have on the confidentiality of medical information. The Genetic Privacy Act is an attempt to address the privacy, confidentiality, and property rights relating to obtaining, requesting, using, storing, and disposing of genetic material. The GPA grew out of concerns over the vast amount of genetic information that is a product of the Human Genome Project. The (...) central goals of the GPA are twofold: to define an individual's right to control access to their genetic material and the privilege to control the information derived therefrom; and to prevent potential and actual abuse of genetic information by third parties, such as insurance companies, employers, and government. The GPA is one of a group of proposals that seek to control the flow of medical information from the individual to health care professionals and to other persons. (shrink)

In the last few years, a great deal of attention has been paid to the effects that the achievements of the Human Genome Project will have on the confidentiality of medical information. The Genetic Privacy Act is an attempt to address the privacy, confidentiality, and property rights relating to obtaining, requesting, using, storing, and disposing of genetic material. The GPA grew out of concerns over the vast amount of genetic information that is a product of the Human Genome Project. The (...) central goals of the GPA are twofold: to define an individual's right to control access to their genetic material and the privilege to control the information derived therefrom; and to prevent potential and actual abuse of genetic information by third parties, such as insurance companies, employers, and government. The GPA is one of a group of proposals that seek to control the flow of medical information from the individual to health care professionals and to other persons. (shrink)

This study explores models of how people perceive moral aspects of socio‐scientific issues. Thirty college students participated in interviews during which they discussed their reactions to and resolutions of two genetic engineering issues. The interview data were analyzed qualitatively to produce an emergent taxonomy of moral concerns recognized by the participant. The participants expressed sensitivity to moral aspects including concern and empathy for the well‐being of others, an aversion to altering the natural order and slippery slope implications. In arriving at (...) their final resolutions, many participants integrated their moral concerns with non‐moral factors. The patterns revealed suggest that moral and non‐moral concerns act in concert as they influence socio‐scientific decision‐making. (shrink)

The process-dissociation procedure has been used in a variety of experimental contexts to assess the contributions of conscious and unconscious processes to task performance. To evaluate whether motivation affects estimates of conscious and unconscious processes, participants were given incentives to follow inclusion and exclusion instructions in a perception task and a memory task. Relative to a control condition in which no performance incentives were given, the results for the perception task indicated that incentives increased the participants' ability to exclude previously (...) presented information, which in turn both increased the estimate of conscious processes and decreased the estimate of unconscious processes. However, the results also indicated that incentives did not influence estimates of conscious or unconscious processes in the memory task. The findings suggest that the process-dissociation procedure is relatively immune to influences of motivation when used with a memory task, but that caution should be exercised when the process-dissociation is used with a perception task. (shrink)

An extended critical investigation of Plantinga's evolutionary argument against naturalism (EAAN). -/- I wrote this a couple of years ago as a way of thinking through the argument, but now lack the ambition to revise it into a paper. (It's too long to be a paper, too short and too narrowly focused on one person's argument to be a book.) Rather than let it age in private, I'm sharing it publicly for anyone interested in Plantinga's argument.

This book defends the conjugal view of marriage. Patrick Lee and Robert P. George argue that marriage is a distinctive type of community: the union of a man and a woman who have committed to sharing their lives on every level of their beings (bodily, emotionally, and spiritually) in the kind of union that would be fulfilled by conceiving and rearing children together. The comprehensive nature of this union, and its intrinsic orientation to procreation as its natural fulfillment, distinguishes marriage (...) from other types of community and provides the basis for the norms of marital exclusivity and permanence. Lee and George detail how the basic moral norms regarding sexual acts follow from the ethical requirement to respect the good of marriage and explain how the law should treat marriage, given its conjugal nature, examining both the same-sex-marriage issue and civil divorce. (shrink)

Perhaps it has always been so, but certainly in the post-Enlightenment era there are inevitable linkages between the fields of law, medicine, and science. Each of these realms of activity is embedded in the social milieu of the era, with practitioners emerging from families, communities, regions, and nations bearing deep unexamined assumptions about what is natural and normal. Equally important, these fields’ theoretical accounts of natural behavior will tend to dovetail and fit each other's – most especially as they pertain (...) to the grand social issues of the period.For the last century and a half, a conversation with a cross-section of lawyers, scientists, and physicians at any given historical juncture would produce a remarkable pattern, consistently repeated: There would be strong enthusiasm for the idea that the “current state of knowledge and practice” is both objective and transcends the current social milieu. (shrink)

What is post-truth? -- Science denial as a road map for understanding post-truth -- The roots of cognitive bias -- The decline of traditional media -- The rise of social media and the problem of fake news -- Did post-modernism lead to post-truth? -- Fighting post-truth.

Die Untersuchung der wallonischen consolatio-Übersetzung führte zur Entdeckung und Neudatierung eines lateinischen consolatio-Kommentars, der auch von Jean de Meun benutzt wurde. Somit kann durch Gegenüberstellung von Vorlage und Übersetzung an einem konkreten Beispiel Einblick in die Übersetzungspraxis im Mittelalter gewonnen werden.

Reasons evidentialism is the view that normative reasons can be analyzed in terms of evidence about oughts (i.e., propositions concerning whether or not S ought to phi). In this paper, I defend a new reason-evidentialist account according to which normative reasons are evidence against propositions of the form S ought not to phi. The arguments for my view have two strands. First of all, I argue that my view can account for three difficulty cases, cases where (i) a fact is (...) both a reason for S to phi and a reason for S not to phi, (ii) a fact is both evidence for the proposition that S ought to phi and evidence for the proposition that S ought not to phi, and (iii) the subject is genuinely torn, as far as reasons are concerned, between phi-ing and not phi-ing. Second, I argue that my view can account for what a reason against S phi-ing is. (shrink)

Résumé Alberto Voltolini préconise une analyse syncrétique des entités fictives, affirmant qu'elle satisfait tous les desiderata d'une analyse appropriée des entités fictives. Cet article présente une analyse des personnages fictifs qui réponde à ces critères, tout en évitant les problèmes que rencontre l'analyse de Voltolini. Selon mon analyse antiréaliste et leibnizienne, un personnage fictif peut être identifié par la collection de prédicats attribués à son nom. Cette analyse offre le bénéfice de la théorie des faisceaux, puisqu'elle écarte la question des (...) porteurs des noms fictifs, tout en expliquant pourquoi un personnage fictif est plus qu'une simple collection de prédicats. (shrink)

This paper examines to what extent Davidsonian truth-theoretic semantics can give an adequate account for empty names in natural languages. It argues that the prospect is dim because of a tension between metaphysical austerity, non-vacuousness of theorems and empirical adequacy. Sainsbury (2005) proposed a Davidsonian account of empty names called ‘Reference Without Referents’ (RWR), which explicates reference in terms of reference-condition rather than referent, thus avoiding the issue of existence. This is an inspiring account. However, it meets several difficulties. First, (...) there is no non-vacuous, interpretive truth-condition available for any T-sentence containing an empty name, because by stipulation there is no way to compose a true atomic sentence using an empty name in RWR. The absence of an interpretive truth-condition implies the absence of an interpretive reference-condition. It also entails empirical inadequacy to support an interpretation because the related propositional attitude can never be truly satisfied. These considerations cast doubt on whether truth is the proper vehicle to articulate meaning. This paper suggests that we can alleviating the problem by employing truth-conditions varying across contexts of utterance, rather than just contexts of evaluation. The result is a two-dimensional model-theoretic approach to empty names. It involves a new function coined counterfactual reference and the account is compatible with both descriptivism and Millianism. (shrink)