This book is a collection of secondary essays on America's most important philosophic thinkers—statesmen, judges, writers, educators, and activists—from the colonial period to the present. Each essay is a comprehensive introduction to the thought of a noted American on the fundamental meaning of the American regime.

It was, until recently, accepted that the two classes of acetylcholine (ACh) receptors are distinct in an important sense: muscarinic ACh receptors signal via heterotrimeric GTP binding proteins (G proteins), whereas nicotinic ACh receptors (nAChRs) open to allow flux of Na+, Ca2+, and K+ ions into the cell after activation. Here we present evidence of direct coupling between G proteins and nAChRs in neurons. Based on proteomic, biophysical, and functional evidence, we hypothesize that binding to G proteins modulates the activity (...) and signaling of nAChRs in cells. It is important to note that while this hypothesis is new for the nAChR, it is consistent with known interactions between G proteins and structurally related ligand‐gated ion channels. Therefore, it underscores an evolutionarily conserved metabotropic mechanism of G protein signaling via nAChR channels.Also watch the Video Abstract. (shrink)

Focus of animal welfare -- Agricultural sciences and animal welfare : crop production and animal production -- Veterinary science and animal welfare -- Genetics, biotechnology, and breeding : mixed blessings -- Animal welfare, grading compromise, and mitigating suffering -- Standardised behavioural testing in non-verbal humans and other animals -- Human-animal interactions and animal welfare -- Environmental enrichment : studying the nature of nurture -- Societal contexts of animal welfare -- Integrated perspectives : sleep, developmental stage, and animal welfare -- The (...) wider context of animal welfare science. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

Addresses the issues at the heart of international medicine and social responsibility. A number of international declarations have proclaimed that health care is a fundamental human right. But if we accept this broad commitment, how should we concretely define the state’s responsibility for the health of its citizens? Although there is growing debate over this issue, there are few books for general readers that provide engaging accounts of critical incidents, practices, and ideas in the field of human rights, health care, (...) and medicine. Included in the book are case studies of such issues as AIDS among orphans in Romania, organ trafficking, prison conditions, health care rationing, medical research in the third world, and South Africa’s constitutionally guaranteed right of access to health care. It uses these topics to address themes of protection of vulnerable populations, equity and fairness in delivering competent medical care, informed consent and the free flow of information, and state responsibility for ensuring physical, mental, and social well-being. (shrink)

Doctors’ strikes are legally permissible in the UK, with the situation differing in other countries. But are they morally permissible? Doug McConnell and Darren Mann have systematically attempted to dismiss the arguments for the moral impermissibility of doctors’ strikes and creatively attempted to provide further moral justification for them. Unfortunately for striking doctors, they fail to achieve this. Meanwhile, junior doctors’ strikes have continued in the UK through 2023 and have now extended into 2024. In this response, which focuses on (...) the UK situation and specifically junior doctors’ strikes in the National Health Service (NHS) in England, I will demonstrate a central problem with their arguments—namely that they underplay the harms caused by prolonged doctors’ strikes by ignoring the harms to patients with cancer. This weakens their conclusion that strikes are morally permissible in terms of the conditions and thresholds they set. I then provide a psychological critique of their justification for strikes in terms of the interests of the public. It follows that invoking the controversial concept of supererogatory action is ungrounded but also absurd when you consider time-critical cancer care. If those representing striking doctors wish to maintain a modicum of moral respectability, they should mitigate for patients with cancer and negotiate reasonably and with urgency. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.

The book is an extended study of the problem of consciousness. After setting up the problem, I argue that reductive explanation of consciousness is impossible , and that if one takes consciousness seriously, one has to go beyond a strict materialist framework. In the second half of the book, I move toward a positive theory of consciousness with fundamental laws linking the physical and the experiential in a systematic way. Finally, I use the ideas and arguments developed earlier to defend (...) a form of strong artificial intelligence and to analyze some problems in the foundations of quantum mechanics. (shrink)

[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

Against prevailing interpretations, this article contends that Plato's Sophist and Statesman accord the sophist a kind of ‘knowing-how’ (epistêmê). In Soph. 233c10‒d2, the Visitor and Theaetetus agree that the sophist has not truth but a δοξαστικὴ ἐπιστήμη. This phrase cannot mean ‘a seeming knowledge’, for –ικός adjectives formed from verbs express the ability to perform the action denoted by the verb—here, δοξάζω. Although not a first-order, subject-area knowledge, sophistry is a second-order knowledge of how to form and use judgements (doxai). (...) Other acknowledgements of the sophist's epistêmê and the ascription to him of τέχνη, ‘craft/expertise’, confirm that the Visitor's conclusion is not to be dismissed as irony. To critics who argue from the Gorgias and from other works that Plato must consider the Visitor's conclusion an error, the author replies: 1) other dialogues do not control the Visitor dialogues; 2) the Visitor does not validly demonstrate that the sophist lacks all knowledge; 3) by admitting sensibles into Being, the Visitor and Theaetetus allow the objects of epistêmê to include things in the embodied world, even likenesses. Non-philosophers’ epistêmê in the Visitor dialogues is not implicated in the difficulties that critics have raised about epistemology in the so-called Two Worlds dialogues. On this new ontology, even the sophist, if guided by philosophical rulers, can benefit citizens by employing his elenctic expertise as Socrates did, aiding their growth toward virtue. (shrink)

There is a long tradition in philosophy of using a priori methods to draw conclusions about what is possible and what is necessary, and often in turn to draw conclusions about matters of substantive metaphysics. Arguments like this typically have three steps: first an epistemic claim , from there to a modal claim , and from there to a metaphysical claim.

I argue that virtual reality is a sort of genuine reality. In particular, I argue for virtual digitalism, on which virtual objects are real digital objects, and against virtual fictionalism, on which virtual objects are fictional objects. I also argue that perception in virtual reality need not be illusory, and that life in virtual worlds can have roughly the same sort of value as life in non-virtual worlds.

The philosophical interest of verbal disputes is twofold. First, they play a key role in philosophical method. Many philosophical disagreements are at least partly verbal, and almost every philosophical dispute has been diagnosed as verbal at some point. Here we can see the diagnosis of verbal disputes as a tool for philosophical progress. Second, they are interesting as a subject matter for first-order philosophy. Reflection on the existence and nature of verbal disputes can reveal something about the nature of concepts, (...) language, and meaning. In this article I first characterize verbal disputes, spell out a method for isolating and resolving them, and draw out conclusions for philosophical methodology. I then use the framework to draw out consequences in first-order philosophy. In particular, I argue that the analysis of verbal disputes can be used to support the existence of a distinctive sort of primitive concept and that it can be used to reconstruct a version of an analytic/synthetic distinction, where both are characterized in dialectical terms alone. (shrink)

Is conceptual analysis required for reductive explanation? If there is no a priori entailment from microphysical truths to phenomenal truths, does reductive explanation of the phenomenal fail? We say yes . Ned Block and Robert Stalnaker say no.

Does consciousness collapse the quantum wave function? This idea was taken seriously by John von Neumann and Eugene Wigner but is now widely dismissed. We develop the idea by combining a mathematical theory of consciousness (integrated information theory) with an account of quantum collapse dynamics (continuous spontaneous localization). Simple versions of the theory are falsified by the quantum Zeno effect, but more complex versions remain compatible with empirical evidence. In principle, versions of the theory can be tested by experiments with (...) quantum computers. The upshot is not that consciousness-collapse interpretations are clearly correct, but that there is a research program here worth exploring. (shrink)

This chapter analyzes aspects of the relationship between consciousness and intentionality. It focuses on the phenomenal character and the intentional content of perceptual states, canvassing various possible relations among them. It argues that there is a good case for a sort of representationalism, although this may not take the form that its advocates often suggest. By mapping out some of the landscape, the chapter tries to open up territory for different and promising forms of representationalism to be explored in the (...) future. In particular, it argues for a nonreductive, narrow, and Fregean variety of representationalism, which contrasts strongly with more widely explored varieties. It concludes with some words about the fundamental relationship between consciousness and intentionality. (shrink)

Both experimental and ethnographic studies show that reciprocal exchanges (in which actors unilaterally provide benefits to each other without formal agreements) produce stronger trust than negotiated exchanges secured by binding agreements. We develop the theoretical role of risk and uncertainty as causal mechanisms that potentially explain these results, and then test their effects in two laboratory experiments that vary risk and uncertainty within negotiated and reciprocal forms of exchange. We increase risk in negotiated exchanges by making agreements nonbinding and decrease (...) uncertainty in reciprocal exchanges by having actors communicate their intentions. Our findings support three main theoretical conclusions. (1) Increasing risk in negotiated exchange produces levels of trust comparable to those in reciprocal exchange only if the partner's trustworthiness is near-absolute. (2) Decreasing uncertainty in reciprocal exchange either increases or decreases trust, depending on network structure. (3) Even when reciprocal and negotiated exchanges produce comparable levels of trust, their trust differs in kind, with reciprocal exchange partners developing trust that is more resilient and affect-based. (shrink)

In the Garden of Eden, we had unmediated contact with the world. We were directly acquainted with objects in the world and with their properties. Objects were simply presented to us without causal mediation, and properties were revealed to us in their true intrinsic glory.

Why is two-dimensional semantics important? One can think of it as the most recent act in a drama involving three of the central concepts of philosophy: meaning, reason, and modality. First, Kant linked reason and modality, by suggesting that what is necessary is knowable a priori, and vice versa. Second, Frege linked reason and meaning, by proposing an aspect of meaning (sense) that is constitutively tied to cognitive signi?cance. Third, Carnap linked meaning and modality, by proposing an aspect of meaning (...) (intension) that is constitutively tied to possibility and necessity. (shrink)

The basic question of ontology is “What exists?”. The basic question of metaontology is: are there objective answers to the basic question of ontology? Here ontological realists say yes, and ontological anti-realists say no. (Compare: The basic question of ethics is “What is right?”. The basic question of metaethics is: are there objective answers to the basic question of ethics? Here moral realists say yes, and moral anti-realists say no.) For example, the ontologist may ask: Do numbers exist? The Platonist (...) says yes, and the nominalist says no. The metaontologist may ask: is there an objective fact of the matter about whether numbers exist? The ontological realist says yes, and the ontological anti-realist says no. Likewise, the ontologist may ask: Given two distinct entities, when does a mereological sum of those entities exist? The universalist says always, while the nihilist says never. The metaontologist may ask: is there an objective fact of the matter about whether the mereological sum of two distinct entities exists? The ontological realist says yes, and the ontological anti-realist says no. Ontological realism is often traced to Quine (1948), who held that we can determine what exists by seeing which entities are endorsed by our best scientific theory of the world. In recent years, the practice of ontology has often presupposed an ever-stronger ontological realism, and strong versions of ontological realism have received explicit statements by Fine (this volume), Sider (2001; this volume), van Inwagen (1998; this volume), and others. (shrink)

What happens when machines become more intelligent than humans? One view is that this event will be followed by an explosion to ever-greater levels of intelligence, as each generation of machines creates more intelligent machines in turn. This intelligence explosion is now often known as the “singularity”. The basic argument here was set out by the statistician I.J. Good in his 1965 article “Speculations Concerning the First Ultraintelligent Machine”: Let an ultraintelligent machine be defined as a machine that can far (...) surpass all the intellectual activities of any man however clever. Since the design of machines is one of these intellectual activities, an ultraintelligent machine could design even better machines; there would then unquestionably be an “intelligence explosion”, and the intelligence of man would be left far behind. Thus the first ultraintelligent machine is the last invention that man need ever make. The key idea is that a machine that is more intelligent than humans will be better than humans at designing machines. So it will be capable of designing a machine more intelligent than the most intelligent machine that humans can design. So if it is itself designed by humans, it will be capable of designing a machine more intelligent than itself. By similar reasoning, this next machine will also be capable of designing a machine more intelligent than itself. If every machine in turn does what it is capable of, we should expect a sequence of ever more intelligent machines. This intelligence explosion is sometimes combined with another idea, which we might call the “speed explosion”. The argument for a speed explosion starts from the familiar observation that computer processing speed doubles at regular intervals. Suppose that speed doubles every two years and will do so indefinitely. Now suppose that we have human-level artificial intelligence 1 designing new processors. Then faster processing will lead to faster designers and an ever-faster design cycle, leading to a limit point soon afterwards. The argument for a speed explosion was set out by the artificial intelligence researcher Ray Solomonoff in his 1985 article “The Time Scale of Artificial Intelligence”.1 Eliezer Yudkowsky gives a succinct version of the argument in his 1996 article “Staring at the Singularity”: “Computing speed doubles every two subjective years of work.. (shrink)

Is there progress in philosophy? A glass-half-full view is that there is some progress in philosophy. A glass-half-empty view is that there is not as much as we would like. I articulate a version of the glass-half-empty view, argue for it, and then address the crucial question of what explains it.

The term ‘emergence’ often causes confusion in science and philosophy, as it is used to express at least two quite different concepts. We can label these concepts _strong_ _emergence_ and _weak emergence_. Both of these concepts are important, but it is vital to keep them separate.

This paper critically assesses the “procedural” accounts of political justice set forth by John Rawls in A Theory of Justice (1971) and Robert Nozick in Anarchy, State, and Utopia (1974). I argue that the areas of agreement between Rawls and Nozick are more significant than their disagreements. Even though Nozick offers trenchant criticisms of Rawls's argument for economic redistribution (the “difference principle”), Nozick's own economic libertarianism is undermined by his “principle of rectification,” which he offers as a possible ground in (...) practice for the application of something like the difference principle. Both Rawls's and Nozick's accounts of justice fail because of their abstraction from human nature as a ground of right. At the same time the libertarianism on which they agree in the non-economic sphere would deprive a free society of its necessary moral underpinning. Rawls and Nozick err, finally, by demanding that the policies pursued by a just society conform to theoretical formulas concocted by philosophy professors, rather than leaving room (as Lockean liberalism does) for the adjustment of policies to particular circumstances based on statesmen's prudential judgment and the consent of the governed. Particularly troubling from the perspective of a citizen seriously concerned with the advancement of justice and freedom is both thinkers' shrill denunciations of existing liberal societies for failing to conform to their particular strictures. (shrink)

Hypothesized relationships among reports by employees of moral distress, their perceptions of their manager’s behavioral integrity (BI), and employee reports of job satisfaction, stress, job engagement, turnover likelihood, absenteeism, work-to-family conflict, health, and life satisfaction were tested using data from the 2008 National Study of the Changing Workforce (n = 2,679). BI was positively related to job satisfaction, job engagement, health, and life satisfaction and negatively to stress, turnover likelihood, and work-to-family conflict, while moral distress was inversely related to those (...) outcomes. The magnitudes of relationships with job satisfaction, job engagement, and life satisfaction were greater with BI than with moral distress. Moral distress mediated the relationships between BI and the employee outcomes, supporting the view that employee’s perceptions of their manager’s BI might influence the employee’s behaviors as well as their attitudes. (shrink)

A natural way to think about epistemic possibility is as follows. When it is epistemically possible (for a subject) that p, there is an epistemically possible scenario (for that subject) in which p. The epistemic scenarios together constitute epistemic space. It is surprisingly difficult to make the intuitive picture precise. What sort of possibilities are we dealing with here? In particular, what is a scenario? And what is the relationship between scenarios and items of knowledge and belief? This chapter tries (...) to make sense of epistemic space. It explores different ways of making sense of scenarios and of their relationship to thought and language. It discusses some issues that arise and outlines some applications to the analysis of the content of thought and the meaning of language. (shrink)

When I say ‘Hesperus is Phosphorus’, I seem to express a proposition. And when I say ‘Joan believes that Hesperus is Phosphorus’, I seem to ascribe to Joan an attitude to the same proposition. But what are propositions? And what is involved in ascribing propositional attitudes?

What is involved in the meaning of our expressions? Frege suggested that there is an aspect of an expression.

Hilary Putnam has argued that computational functionalism cannot serve as a foundation for the study of the mind, as every ordinary open physical system implements every finite-state automaton. I argue that Putnam's argument fails, but that it points out the need for a better understanding of the bridge between the theory of computation and the theory of physical systems: the relation of implementation. It also raises questions about the class of automata that can serve as a basis for understanding the (...) mind. I develop an account of implementation, linked to an appropriate class of automata, such that the requirement that a system implement a given automaton places a very strong constraint on the system. This clears the way for computation to play a central role in the analysis of mind. (shrink)

The search for neural correlates of consciousness (or NCCs) is arguably the cornerstone in the recent resurgence of the science of consciousness. The search poses many difficult empirical problems, but it seems to be tractable in principle, and some ingenious studies in recent years have led to considerable progress. A number of proposals have been put forward concerning the nature and location of neural correlates of consciousness. A few of these include.

Confronted with the apparent explanatory gap between physical processes and consciousness, there are many possible reactions. Some deny that any explanatory gap exists at all. Some hold that there is an explanatory gap for now, but that it will eventually be closed. Some hold that the explanatory gap corresponds to an ontological gap in nature.

Two-dimensional approaches to semantics, broadly understood, recognize two "dimensions" of the meaning or content of linguistic items. On these approaches, expressions and their utterances are associated with two different sorts of semantic values, which play different explanatory roles. Typically, one semantic value is associated with reference and ordinary truth-conditions, while the other is associated with the way that reference and truth-conditions depend on the external world. The second sort of semantic value is often held to play a distinctive role in (...) analyzing matters of cognitive significance and/or context-dependence. (shrink)

The Matrix presents a version of an old philosophical fable: the brain in a vat. A disembodied brain is floating in a vat, inside a scientist’s laboratory. The scientist has arranged that the brain will be stimulated with the same sort of inputs that a normal embodied brain receives. To do this, the brain is connected to a giant computer simulation of a world. The simulation determines which inputs the brain receives. When the brain produces outputs, these are fed back (...) into the simulation. The internal state of the brain is just like that of a normal brain, despite the fact that it lacks a body. From the brain’s point of view, things seem very much as they seem to you and me. (shrink)

Cartesian arguments for global skepticism about the external world start from the premise that we cannot know that we are not in a Cartesian scenario such as an evil-demon scenario, and infer that because most of our empirical beliefs are false in such a scenario, these beliefs do not constitute knowledge. Veridicalist responses to global skepticism respond that arguments fail because in Cartesian scenarios, many or most of our empirical beliefs are true. Some veridicalist responses have been motivated using verificationism, (...) externalism, and coherentism. I argue that a more powerful veridicalist response to global skepticism can be motivated by structuralism, on which physical entities are understood as those that play a certain structural role. I develop the structuralist response and address objections. (shrink)

This appeared in Philosophy and Phenomenological Research 59:473-93, as a response to four papers in a symposium on my book The Conscious Mind . Most of it should be comprehensible without having read the papers in question. This paper is for an audience of philosophers and so is relatively technical. It will probably also help to have read some of the book. The papers I’m responding to are: Chris Hill & Brian McLaughlin, There are fewer things in reality than are (...) dreamt of in Chalmers’ philosophy Brian Loar, David Chalmers’ The Conscious Mind Sydney Shoemaker, On David Chalmers’ The Conscious Mind Stephen Yablo, Concepts and consciousness Contents. (shrink)

In Philosophy Without Intuitions, Herman Cappelen focuses on the metaphilosophical thesis he calls Centrality: contemporary analytic philosophers rely on intuitions as evidence for philosophical theories. Using linguistic and textual analysis, he argues that Centrality is false. He also suggests that because most philosophers accept Centrality, they have mistaken beliefs about their own methods.To put my own views on the table: I do not have a large theoretical stake in the status of intuitions, but unreflectively I find it fairly obvious that (...) many philosophers, including myself, appeal to intuitions. Cappelen’s arguments make a provocative challenge to this unreflective background conception. So it is interesting to work through the arguments to see what they might and might not show.In what follows I aim to articulate a minimal notion of intuition that captures something of the core everyday philosophical usage of the term, and that captures the sense .. (shrink)

There are two versions of the language-of-thought hypothesis (LOT): Representational LOT (roughly, structured representation), introduced by Ockham, and computational LOT (roughly, symbolic computation) introduced by Fodor. Like many others, I oppose the latter but not the former. Quilty-Dunn et al. defend representational LOT, but they do not defend the strong computational LOT thesis central to the classical-connectionist debate.

The physician-patient relationship has changed over the last several decades, requiring a systematic reevaluation of the competing demands of patients, physicians, and families. In the era of genetic testing, using a model of patient care known as the family covenant may prove effective in accounting for these demands. The family covenant articulates the roles of the physician, patient, and the family prior to genetic testing, as the participants consensually define them. The initial agreement defines the boundaries of autonomy and benefit (...) for all participating family members. The physician may then serve as a facilitator in the relationship, working with all parties in resolving potential conflicts regarding genetic information. The family covenant promotes a fuller discussion of the competing ethical claims that may come to bear after genetic test results are received. (shrink)

JOHN RAWLS IN A Theory of Justice attempts to deduce "the principles of justice" from the idea of a "contract" among free and equal persons. The factor which obviously distinguishes Rawls’ contract doctrine from the teachings of the great social contract philosophers who preceded him is that it does not rest on any examination of what the character of an actual nonpolitical condition or "state of nature" among men would be. Rawls’ procedure is in fact the opposite of that followed (...) by his predecessors: instead of inferring the principles of the contract from what men, given their nature, would be likely to agree upon in the absence of an already existing government and set of laws, he freely constructs the character and circumstances of the parties to his "purely hypothetical" "original position of equality" in order "to lead to a certain conception of justice". That conception is to consist of. (shrink)

In the carefully argued central chapters of Adapting Minds, Buller scrutinizes several of evolutionary psychology's most highly publicized "...

Does the capacity to think require the capacity to sense? A lively debate on this topic runs throughout the history of philosophy and now animates discussions of artificial intelligence. Many have argued that AI systems such as large language models cannot think and understand if they lack sensory grounding. I argue that thought does not require sensory grounding: there can be pure thinkers who can think without any sensory capacities. As a result, the absence of sensory grounding does not entail (...) that large language models cannot think or understand. I also consider to what extent quasi-sensory grounding can at least boost the performance of a language model. (shrink)

The objects of credence are the entities to which credences are assigned for the purposes of a successful theory of credence. I use cases akin to Frege's puzzle to argue against referentialism about credence : the view that objects of credence are determined by the objects and properties at which one's credence is directed. I go on to develop a non-referential account of the objects of credence in terms of sets of epistemically possible scenarios.