Growing-Block theorists hold that past and present things are real, while future things do not yet exist. This generates a puzzle: how can Growing-Block theorists explain the fact that some sentences about the future appear to be true? Briggs and Forbes develop a modal ersatzist framework, on which the concrete actual world is associated with a branching-time structure of ersatz possible worlds. They then show how this branching structure might be used to determine the truth values of future contingents. (...) They point out three different ways of interpreting the logical connectives, which give rise to three different logics of the open future: one supervaluationist, one corresponding to Lukasiewicz's strong Kleene logic, and one intuitionist. (shrink)

A number of recent authors (Galles and Pearl, Found Sci 3 (1):151–182, 1998; Hiddleston, Noûs 39 (4):232–257, 2005; Halpern, J Artif Intell Res 12:317–337, 2000) advocate a causal modeling semantics for counterfactuals. But the precise logical significance of the causal modeling semantics remains murky. Particularly important, yet particularly under-explored, is its relationship to the similarity-based semantics for counterfactuals developed by Lewis (Counterfactuals. Harvard University Press, 1973b). The causal modeling semantics is both an account of the truth conditions of counterfactuals, and (...) an account of which inferences involving counterfactuals are valid. As an account of truth conditions, it is incomplete. While Lewis's similarity semantics lets us evaluate counterfactuals with arbitrarily complex antecedents and consequents, the causal modeling semantics makes it hard to ascertain the truth conditions of all but a highly restricted class of counterfactuals. I explain how to extend the causal modeling language to encompass a wider range of sentences, and provide a sound and complete axiomatization for the extended language. Extending the truth conditions for counterfactuals has serious consequences concerning valid inference. The extended language is unlike any logic of Lewis's: modus ponens is invalid, and classical logical equivalents cannot be freely substituted in the antecedents of conditionals. (shrink)

Diachronic Dutch book arguments seem to support both conditionalization and Bas van Fraassen's Reflection principle. But the Reflection principle is vulnerable to numerous counterexamples. This essay addresses two questions: first, under what circumstances should an agent obey Reflection, and second, should the counterexamples to Reflection make us doubt the Dutch book for conditionalization? In response to the first question, this essay formulates a new "Qualified Reflection" principle, which states that an agent should obey Reflection only if he or she is (...) certain that he or she will conditionalize on veridical evidence in the future. Qualified Reflection follows from the probability calculus together with a few idealizing assumptions. The essay then formulates a "Distorted Reflection" principle that approximates Reflection even in cases where the agent is not quite certain that he or she will conditionalize on veridical evidence. In response to the second question, the essay argues that contrary to a common misconception, not all Dutch books dramatize incoherence—some dramatize a less blameworthy sort of epistemic frailty that the essay calls "self-doubt." The distinction between Dutch books that dramatize incoherence and those that dramatize self-doubt cross-cuts the distinction between synchronic and diachronic Dutch books. The essay explains why the Dutch book for conditionalization reveals true incoherence, whereas the Dutch book for Reflection reveals only self-doubt. (shrink)

Risk-weighted expected utility theory permits preferences which violate the Sure-Thing Principle. But preferences that violate the STP can lead to bad decisions in sequential choice problems. In particular, they can lead decision-makers to adopt a strategy that is dominated – i.e. a strategy such that some available alternative leads to a better outcome in every possible state of the world.

It is a platitude among decision theorists that agents should choose their actions so as to maximize expected value. But exactly how to define expected value is contentious. Evidential decision theory (henceforth EDT), causal decision theory (henceforth CDT), and a theory proposed by Ralph Wedgwood that this essay will call benchmark theory (BT) all advise agents to maximize different types of expected value. Consequently, their verdicts sometimes conflict. In certain famous cases of conflict—medical Newcomb problems—CDT and BT seem to get (...) things right, while EDT seems to get things wrong. In other cases of conflict, including some recent examples suggested by Andy Egan, EDT and BT seem to get things right, while CDT seems to get things wrong. In still other cases, EDT and CDT seems to get things right, while BT gets things wrong. It's no accident, this essay claims, that all three decision theories are subject to counterexamples. Decision rules can be reinterpreted as voting rules, where the voters are the agent's possible future selves. The problematic examples have the structure of voting paradoxes. Just as voting paradoxes show that no voting rule can do everything we want, decision-theoretic paradoxes show that no decision rule can do everything we want. Luckily, the so-called “tickle defense” establishes that EDT, CDT, and BT will do everything we want in a wide range of situations. Most decision situations, this essay argues, are analogues of voting situations in which the voters unanimously adopt the same set of preferences. In such situations, all plausible voting rules and all plausible decision rules agree. (shrink)

I propose an account truthmaking that provides truthmakers for negative truths. The account replaces Truthmaker Necessitarianism with a "Duplication Principle", according to which a suitable entity T is a truthmaker for a proposition P just in case the existence of an appropriate counterpart of T entails the truth of P, where the counterpart relation is cashed out in terms of qualitative duplication. My account captures an intuitive notion of truthmakers as "things the way they are", validates two appealing principles about (...) entailment and containment proposed by David Armstrong, and invalidates the controversial Disjunction Thesis. (shrink)

Tracking accounts of knowledge formulated in terms of counterfactuals suffer from well known problems. Examples are provided, and it is shown that moving to a dispositional tracking theory of knowledge avoids three of these problems.

I consider an old problem for preference satisfaction theories of wellbeing: that they have trouble answering questions about interpersonal comparisons, such as whether I am better off than you are, or whether a particular policy benefits me more than it benefits you. I argue that a similar problem arises for intrapersonal comparisons in cases of transformative experience. I survey possible solutions to the problem, and point out some subtle disanalogies between the problem involving interpersonal comparisons and the problem involving transformative (...) experience. (shrink)

This article surveys several interrelated issues in the metaphysics of chance. First, what is the relationship between the probabilities associated with types of trials (for instance, the chance that a twenty‐eight‐year old develops diabetes before age thirty) and the probabilities associated with individual token trials (for instance, the chance that I develop diabetes before age thirty)? Second, which features of the the world fix the chances: are there objective chances at all, and if so, are there non‐chancy facts on which (...) they supervene? Third, can chance be reconciled with determinism, and if so, how? (shrink)

Philosophers often talk about the things we say, or believe, or think, or mean. The things are often called ‘propositions’. A proposition is what one believes, or thinks, or means when one believes, thinks, or means something. Talk about propositions is ubiquitous when philosophers turn their gaze to language, meaning and thought. But what are propositions? Is there a single class of things that serve as the objects of belief, the bearers of truth, and the meanings of utterances? How do (...) our utterances express propositions? Under what conditions do two speakers say the same thing, and what (if anything) does this tell us about the nature of propositions? There is no consensus on these questions—or even on whether propositions should be treated as things at all. During the second Propositions and Same-Saying workshop, which took place on July 19–21 2010 at the University of Sydney, philosophers debated these (and related) questions. The workshop covered topics in the philosophy of language, perception, and metaphysics. The present volume contains revised and expanded versions of the papers presented at the workshop. (shrink)

Christian List and Philip Pettit argue that groups of people can be agents – beings that believe, desire and act. Their account combines a non-reductive realist view of group attitudes, on which groups literally have attitudes that cannot be analyzed in terms of the attitudes of their members, with methodological individualism, on which good explanations of group-level phenomena should not posit forces above individual attitudes and behaviors. I then discuss the main normative conclusion that LP draw from the claim that (...) group agents exist: that we ought morally to grant legal rights and responsibilities to group agents, but that group rights should be more limited than individual rights. I argue that when it comes to the fitness of group agents to bear legal rights and responsibilities, LP can draw support from nonreductionist views elsewhere, particularly in the philosophy of mind. I raise some objections to LP's views about the value of granting legal rights and responsibilities to group agents.Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.THE NORMATIVE STANDING OF GROUP AGENTSVolume 9, Issue 3Rachael BriggsDOI: https://doi.org/10.1017/epi.2012.17Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. THE NORMATIVE STANDING OF GROUP AGENTSVolume 9, Issue 3Rachael BriggsDOI: https://doi.org/10.1017/epi.2012.17Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. THE NORMATIVE STANDING OF GROUP AGENTSVolume 9, Issue 3Rachael BriggsDOI: https://doi.org/10.1017/epi.2012.17Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

The foundations of probability are viewed through the lens of the subjectivist interpretation. This article surveys conditional probability, arguments for probabilism, probability dynamics, and the evidential and subjective interpretations of probability.

David Lewis’s ‘Humean Supervenience’ (henceforth ‘HS’) combines realism about laws, chances, and dispositions with a sparse ontology according to which everything supervenes on the overall spatiotemporal distribution of non-dispositional properties (Lewis 1986a, Philosophical papers: Volume II, pp. ix–xvii, New York: Oxford Univesity Press, 1994, Mind 103:473–490). HS faces a serious problem—a “big bad bug” (Lewis 1986a, p. xiv): it contradicts the Principal Principle, a seemingly obvious norm of rational credence. Two authors have tried to rescue Lewis’s ontology from the ‘big (...) bad bug’ (henceforth ‘the Bug’) by rejecting realism about laws, chances, and dispositions (Halpin 1994, Aust J Phil 72:317–338, 1998, Phil Sci 65:349–360; Ward 2005, Phil Sci 71:241–261). I will argue that this strategy cannot possibly work: it is the ontology, not the realist thesis, that lies at the root of the problem. (shrink)

One of the standard approaches to the metaphysics of personal identity has some counter‐intuitive ethical consequences when combined with maximising consequentialism and a plausible (though not uncontroversial) doctrine about aggregation of consequences. This metaphysical doctrine is the so‐called ‘multiple occupancy’ approach to puzzles about fission and fusion. It gives rise to a new version of the ‘utility monster’ problem, particularly difficult problems about infinite utility, and a new version of a Parfit‐style ‘repugnant conclusion’. While the article focuses on maximising consequentialism (...) for simplicity, the problems demonstrated apply more widely to a range of ethical views, especially flavours of consequentialism. This article demonstrates how these problems arise, and discusses a number of options available in the light of these problems for a consequentialist tempted by a multiple occupancy metaphysics. (shrink)

David Lewis claimed that deterministic chance was impossible. But deterministic chance seems ubiquitous in casinos, in statistical mechanics, and in evolutionary theory. It would be best for Lewis's metaphysics if, in spite of what he says, we could reconcile his core views with deterministic chance. In this chapter, the author briefly rebuts two Lewisian objections to deterministic chance. The first is that our world is indeterministic at the quantum level, and this lower‐level indeterminism translates to indeterminism at higher levels. The (...) chapter explains how deterministic chances are possible on a broadly Lewisian theory. It also explains how there can be deterministic chances that function as nomological magnitudes, guide credence, and arise in objectively chancy situations. It is true that the author's deterministic chances are not time‐indexed. It is also true that they do not exactly satisfy principles, proposed by Lewis and others in a broadly Lewisian tradition, that presuppose time‐indexing. (shrink)

We reply to recent papers by John Turri and Ben Bronner, who criticise the dispositionalised Nozickian tracking account we discuss in “Mad, Bad and Dangerous to Know.” We argue that the account we suggested can handle the problems raised by Turri and Bronner. In the course of responding to Turri and Bronner’s objections, we draw three general lessons for theories of epistemic dispositions: that epistemic dispositions are to some extent extrinsic, that epistemic dispositions can have manifestation conditions concerning circumstances where (...) their bearers fail to exist, and that contrast is relevant to disposition attributions. (shrink)

I have claimed that risk-weighted expected utility maximizers are rational, and that their preferences cannot be captured by expected utility theory. Richard Pettigrew and Rachael Briggs have recently challenged these claims. Both authors argue that only EU-maximizers are rational. In addition, Pettigrew argues that the preferences of REU-maximizers can indeed be captured by EU theory, and Briggs argues that REU-maximizers lose a valuable tool for simplifying their decision problems. I hold that their arguments do not succeed and (...) that my original claims still stand. However, their arguments do highlight some costs of REU theory. (shrink)

Interest in universal basic income has risen recently as an alternative to existing exchequer-sourced social security methods, such as conditional cash transfers. This article presents a survey of multiple experiments investigating the impact of basic income cash transfers on recipients while presenting a meta-analysis of the results across nine categories. Many findings indicate successful outcomes across financial security, health, and educational dimensions. Children were amongst the strongest beneficiaries of the trials and observed a 4.5 % reduction in obesity, a 19.5 (...) % increase in their normal weight-for-age, a 30 % increase in female secondary school attendance, and an increase in the educational attainment of one year in response to the cash transfers. (shrink)

You have a choice -- Decision-making steps -- What is a good choice? -- Identifying options -- Making predictions -- Pros and cons -- Weighing the consequences -- Values and motivations -- Thinking of others -- Choose wisely -- Glossary -- Index -- Primary source list -- Websites.

We calculate the complexity of Scott sentences of scattered linear orders. Given a countable scattered linear order L of Hausdorff rank $\alpha $ we show that it has a ${d\text {-}\Sigma _{2\alpha +1}}$ Scott sentence. It follows from results of Ash [2] that for every countable $\alpha $ there is a linear order whose optimal Scott sentence has this complexity. Therefore, our bounds are tight. We furthermore show that every Hausdorff rank 1 linear order has an optimal ${\Pi ^{\mathrm {c}}_{3}}$ (...) or ${d\text {-}\Sigma ^{\mathrm {c}}_{3}}$ Scott sentence and give a characterization of those linear orders of rank $1$ with ${\Pi ^{\mathrm {c}}_{3}}$ optimal Scott sentences. At last we show that for all countable $\alpha $ the class of Hausdorff rank $\alpha $ linear orders is $\boldsymbol {\Sigma }_{2\alpha +2}$ complete and obtain analogous results for index sets of computable linear orders. (shrink)

We define the Scott complexity of a countable structure to be the least complexity of a Scott sentence for that structure. This is a finer notion of complexity than Scott rank: it distinguishes between whether the simplest Scott sentence is $\Sigma _{\alpha }$, $\Pi _{\alpha }$, or $\mathrm {d-}\Sigma _{\alpha }$. We give a complete classification of the possible Scott complexities, including an example of a structure whose simplest Scott sentence is $\Sigma _{\lambda + 1}$ for $\lambda $ a limit (...) ordinal. This answers a question left open by A. Miller.We also construct examples of computable structures of high Scott rank with Scott complexities $\Sigma _{\omega _1^{CK}+1}$ and $\mathrm {d-}\Sigma _{\omega _1^{CK}+1}$. There are three other possible Scott complexities for a computable structure of high Scott rank: $\Pi _{\omega _1^{CK}}$, $\Pi _{\omega _1^{CK}+1}$, $\Sigma _{\omega _1^{CK}+1}$. Examples of these were already known. Our examples are computable structures of Scott rank $\omega _1^{CK}+1$ which, after naming finitely many constants, have Scott rank $\omega _1^{CK}$. The existence of such structures was an open question. (shrink)

The historical figure of the cow as a symbol is treasured and ancient, yet simultaneously this animal in many societies exists de facto for people’s plates. The cow, like other animals, exists in parts: as treasured symbol, and as commodity. Looking at collections by contemporary Anglophone poets, Ariana Reines, and Selima Hill, I will consider how each writer’s self-reflexive critique of animal representation reorients the material subjects of their poems, intersecting these innovative poetries with contemporary thinkers on animal studies, to (...) realize the limits of a poetic perspective on animal bodies. Both writers work either against or deliberately within a lyric mode critiqued for its objectifying address in order to interrogate modes of rendering that position the animal’s existence as a resource. From Reines’s scatological slaughterhouse to Hill’s surreal landscapes I will explore how the symbolic and literal exploitation of an animal’s “flesh” in their poems is counteracted. (shrink)

Modern literature has always been obsessed by music. It cannot seem to think about itself without obsessing about music. And music has returned the favour. The Routledge Companion to Music and Modern Literature addresses this relationship as a significant contribution to the burgeoning field of word and music studies. The 37 chapters within consider the partnership through four lenses-the universal, opera and literature, musical and literary forms, and popular music and literature-and touch upon diverse and pertinent themes for our modern (...) times, ranging from misogyny to queerness, racial inequality to the claimed universality of whiteness. This Companion therefore offers an essential resource for all who try to decode the musico-literary exchange. (shrink)

Traditional ideas of mediator neutrality and impartiality have come under increasing attack in recent decades. There is, however, a lack of consensus on what should replace them. Mediation Ethics offers a response to this question, developing a new theory of mediation that emphasises its nature as a relational process.

This book examines the origins and boundaries of Japanese digital role-playing games. A geographically diverse roster of contributors introduces English-speaking audiences to Japanese video game scholarship and applies postcolonial and philosophical readings to the Japanese game text.

This book examines the origins and boundaries of Japanese digital role-playing games. A geographically diverse roster of contributors introduces English-speaking audiences to Japanese video game scholarship and applies postcolonial and philosophical readings to the Japanese game text.

The rules governing recovery for negligently inflicted psychiatric injury are among the most criticized of all of tort law. However, one area which, to date, has escaped with a minimum of judicial or academic scrutiny concerns the very threshold requirement for these actions: proof of a ‘recognized psychiatric illness’. This article critiques that longstanding requirement of English law from two perspectives. First, it is argued that the international classifications of psychiatric disorders (ICD-10 and DSM-IV) are being misapplied and misconstrued in (...) the English medico-legal context and that the role (and limitations) of these classifications are worthy of far greater judicial examination and critical scrutiny than has typically been the case to date. Secondly, it is contended that the insistence upon a recognized psychiatric illness, as a threshold requirement, is giving rise to inconsistencies and distortions in the law and that the requirement is neither legally nor medically supportable in the modern era. Instead, it is argued that the stage has been reached whereby something lesser than a recognized psychiatric illness should be sufficient to trigger a compensable injury in law. The article concludes by suggesting various legal avenues by which to feasibly and robustly ‘ring-fence’ the number of potential claims in negligence, should the reform-oriented approach of this article be adopted. (shrink)

Evidence exists that the UK National Health Service has had, over many years, persistent problems of negative and intimidating behaviour towards staff from other employees. The evidence also suggests the organisational responses to negative behaviour can be inadequate. A conceptual model of organisational dysfunction was proposed to assist in explaining those responses and the overall culture in the NHS. Through research this model has been tested. Based upon the findings, an extended and developed model of organisational dysfunction is presented. A (...) qualitative approach was taken to research the organisational responses to negative behaviour, and the reasons and motivations for those responses. Forty-three interviews and six focus groups were conducted. There seem to be “islands” and “pockets” with a positive culture; however, the generalised evidence suggests the NHS is systemically and institutionally deaf, bullying, defensive and dishonest, exhibiting a resistance to ‘knowing’, denial and “wilful blindness”; a dysfunctional, perverse and troubled organisation. Totalitarian and Kafkaesque characteristics are identified. The NHS could also be described as a coercive bureaucracy and under certain definitions, a corrupt entity. The NHS appears to be an organisation with a heart of darkness; a “self perpetuating dysfunctional system”. There may be widespread “learned helplessness”. It seems to be a “good news factory”, rejecting and hiding any “bad news”; retreating from reality. The NHS appears to have “lost its way” and its focus/purpose as an institution. The dysfunctional organisational behaviours manifest in the NHS need to be addressed urgently as there is a detrimental, sometimes devastating, impact on the wellbeing of both staff and patients. The NHS needs to embrace an identity of being a listening, learning and honest organisation, with a culture of respect. (shrink)

In the philosophy of perception, typically, everything is illuminated. Discussions of perceptual experience primarily focus on subjects situated in illuminated environs. Rarely do we see treatment of putative perceptual experience involving darkness. In this paper, I will carefully canvas and characterize the nature of experiences of darkness, marking a substantive distinction between two such kinds of experiences. Crucially, I give an account of the distinctive phenomenology of experiences of darkness, and show that neither of the two broad kinds of experiences (...) of darkness requires, as Roy Sorensen has recently suggested, the reification of unfamiliar entities to serve as objects of perceptual awareness. I will also offer potential candidates for the proper representational contents of experiences of darkness. This exploration not only reveals that such experiences pose no threat to a view like representationalism, but also demonstrates how experiences of darkness can be given their rightful place in a naturalistic theory of perceptual awareness. Atlast, darkness will be brought out from the shadows. A dungeon horrible, on all sides round, As one great furnace flamed, yet from those flames No light; but rather darkness visible ? ?John Milton, Paradise Lost. (shrink)

A recent report by Blumenthal et al.1 provides convincing evidence that at least 15% of Caenorhabditis elegans genes are co‐transcribed within over a thousand operons. Polycistronic transcription of gene clusters is very rare in eukaryotes. The widespread occurrence of operons in C. elegans thus raises some interesting questions about the origin and function of these multigenic transcriptional units. BioEssays 24:983–987, 2002. © 2002 Wiley‐Periodicals, Inc.

Face perception is a highly conserved process that directs our attention from infancy and is supported by specialized neural circuitry. Oxytocin can increase accuracy and detection of emotional faces, but these effects are mediated by valence, individual differences, and context. We investigated the temporal dynamics of oxytocin’s influence on the neural substrates of face perception using event related potentials (ERP). In a double blind, placebo controlled within-subject design, 21 healthy male adults inhaled oxytocin or placebo and underwent ERP imaging during (...) two face processing tasks. Experiment 1 investigated effects of oxytocin on neural correlates of fearful versus neutral facial expressions, and Experiment 2 manipulated point-of-gaze to neutral faces. In Experiment 1, we found that oxytocin reduced N170 latency to fearful faces. In Experiment 2, N170 latency was decreased when participant gaze was directed to the eyes of neutral faces; however, there were no oxytocin-associated effects in response to different facial features. Findings suggest oxytocin modulates early stages of social perception for socially complex information such as emotional faces relative to neutral. These results are consistent with models suggesting oxytocin impacts the salience of socially informative cues during processing, which leads to downstream effects in behavior. Future work should examine how oxytocin affects neural processes underlying basic components of social behavior (such as, face perception) while varying emotional expression of stimuli or comparing different characteristics of participants (e.g., gender, personality traits). (shrink)

G. E. M. Anscombe’s Intention is a classic of twentieth-century philosophy. The work has been enormously influential despite being a dense and largely misunderstood text. It is a standard reference point for anyone engaging with philosophy of action and philosophy of psychology. In this Routledge Philosophy GuideBook, Rachael Wiseman: situates _Intention_ in relation to Anscombe’s moral philosophy and philosophy of mind considers the influence of Aquinas, Aristotle, Frege, and Wittgenstein on the method and content of _Intention_ adopts a structure (...) for assessing the text that shows how Anscombe unifies the three aspects of the concept of intention considers the influence and implications of the piece whilst distinguishing it from subsequent work in the philosophy of action Ideal for anyone wanting to understand and gain a perspective on Elizabeth Anscombe’s seminal work, this guide is an essential introduction, useful in the study of the philosophy of action, ethics, philosophy of psychology and related areas. (shrink)

We ask when, for a pair of structures $\mathcal {A}_1,\mathcal {A}_2$, there is a uniform effective procedure that, given copies of the two structures, unlabeled, always produces a copy of $\mathcal {A}_1$. We give some conditions guaranteeing that there is such a procedure. The conditions might suggest that for the pair of orderings $\mathcal {A}_1$ of type $\omega _1^{CK}$ and $\mathcal {A}_2$ of Harrison type, there should not be any such procedure, but, in fact, there is one. We construct an (...) example for which there is no such procedure. The construction involves forcing. On the way to constructing our example, we prove a general result on modifying Cohen generics. (shrink)

We improve on and generalize a 1960 result of Maltsev. For a field F, we denote by $H(F)$ the Heisenberg group with entries in F. Maltsev showed that there is a copy of F defined in $H(F)$, using existential formulas with an arbitrary non-commuting pair of elements as parameters. We show that F is interpreted in $H(F)$ using computable $\Sigma _1$ formulas with no parameters. We give two proofs. The first is an existence proof, relying on a result of Harrison-Trainor, (...) Melnikov, R. Miller, and Montalbán. This proof allows the possibility that the elements of F are represented by tuples in $H(F)$ of no fixed arity. The second proof is direct, giving explicit finitary existential formulas that define the interpretation, with elements of F represented by triples in $H(F)$. Looking at what was used to arrive at this parameter-free interpretation of F in $H(F)$, we give general conditions sufficient to eliminate parameters from interpretations. (shrink)