Introduction: bearing politics -- Abortion, sin, and the state -- A history of the abortion debate -- Conceiving the nation: representations of abortion in Thailand -- Corrupt girls, victims of men, desperate women: representations of women who abort -- 'A small sin': everyday acts -- 'The truth of our day by day lives': situational ethics -- Global debates, local dilemmas.

Originally presented as the author's thesis (doctoral--Gregorian University).

We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length ω to computations on tapes of arbitrary ordinal length. We show that a set of ordinals is ordinal computable from a finite set of ordinal parameters if and only if it is an element of Gödel's constructible universe L. This characterization can be used to prove the generalized continuum hypothesis in L.

We generalize ordinary register machines on natural numbers to machines whose registers contain arbitrary ordinals. Ordinal register machines are able to compute a recursive bounded truth predicate on the ordinals. The class of sets of ordinals which can be read off the truth predicate satisfies a natural theory SO. SO is the theory of the sets of ordinals in a model of the Zermelo-Fraenkel axioms ZFC. This allows the following characterization of computable sets: a set of ordinals is ordinal register (...) computable if and only if it is an element of Gödel’s constructible universe L. (shrink)

Accompanying DVD is a filmed segment of the conversation.

We generalize standard Turing machines, which work in time ω on a tape of length ω, to α-machines with time α and tape length α, for α some limit ordinal. We show that this provides a simple machine model adequate for classical admissible recursion theory as developed by G. Sacks and his school. For α an admissible ordinal, the basic notions of α-recursive or α-recursively enumerable are equivalent to being computable or computably enumerable by an α-machine, respectively. We emphasize the (...) algorithmic approach to admissible recursion theory by indicating how the proof of the Sacks–Simpson theorem, i.e., the solution of Post’s problem in α-recursion theory, could be based on α-machines, without involving constructibility theory. (shrink)

Infinite time register machines (ITRMs) are register machines which act on natural numbers and which are allowed to run for arbitrarily many ordinal steps. Successor steps are determined by standard register machine commands. At limit times register contents are defined by appropriate limit operations. In this paper, we examine the ITRMs introduced by the third and fourth author (Koepke and Miller in Logic and Theory of Algorithms LNCS, pp. 306–315, 2008), where a register content at a limit time is set (...) to the lim inf of previous register contents if that limit is finite; otherwise the register is reset to 0. The theory of these machines has several similarities to the infinite time Turing machines (ITTMs) of Hamkins and Lewis. The machines can decide all ${\Pi^1_1}$ sets, yet are strictly weaker than ITTMs. As in the ITTM situation, we introduce a notion of ITRM-clockable ordinals corresponding to the running times of computations. These form a transitive initial segment of the ordinals. Furthermore we prove a Lost Melody theorem: there is a real r such that there is a program P that halts on the empty input for all oracle contents and outputs 1 iff the oracle number is r, but no program can decide for every natural number n whether or not ${n \in r}$ with the empty oracle. In an earlier paper, the third author considered another type of machines where registers were not reset at infinite lim inf’s and he called them infinite time register machines. Because the resetting machines correspond much better to ITTMs we hold that in future the resetting register machines should be called ITRMs. (shrink)

Recently, Gitik, Kanovei and the first author proved that for a classical Prikry forcing extension the family of the intermediate models can be parametrized by $\mathscr{P}(\omega)/\mathrm{finite}$. By modifying the standard Prikry tree forcing we define a Prikry-type forcing which also singularizes a measurable cardinal but which is minimal, i.e., there are \emph{no} intermediate models properly between the ground model and the generic extension. The proof relies on combining the rigidity of the tree structure with indiscernibility arguments resulting from the normality (...) of the associated measures. (shrink)

By using the notion of a simplified (κ,1)-morass, we construct κ-thin-tall, κ-thin-thick and, in a forcing extension, κ-very thin-thick superatomic Boolean algebras for every infinite regular cardinal κ.

We survey the definition and fundamental properties of the family of short core models, which extend the core model K of Dodd and Jensen to include α-sequences of measurable cardinals . The theory is applied to various combinatorial principles to get lower bounds for their consistency strengths in terms of the existence of sequences of measurable cardinals. We consider instances of Chang's conjecture, ‘accessible’ Jónsson cardinals, the free subset property for small cardinals, a canonization property of ω ω , and (...) a non-closure property of elementary embeddings of the universe. In some cases, equiconsistencies are obtained. (shrink)

Using the Friedman-Koepke Hyperfine Structure Theory of [2], we provide a short construction of a gap 1 morass in the constructible universe.

Many people are worried about the harmful effects of climate change but nevertheless enjoy some activities that contribute to the emission of greenhouse gas (driving, flying, eating meat, etc.), the main cause of climate change. How should such people make choices between engaging in and refraining from enjoyable greenhouse-gas-emitting activities? In this chapter, we look at the answer provided by decision theory. Some scholars think that the right answer is given by interactive decision theory, or game theory; and moreover think (...) that since private climate decisions are instances of the prisoner’s dilemma, one rationally should engage in these activities provided that one enjoys them. Others think that the right answer is given by expected utility theory, the best-known version of individual decision theory under risk and uncertainty. In this chapter, we review these different answers, with a special focus on the latter answer and the debate it has generated. (shrink)

Friedrich Nietzsche in seinen Werken ist ein unveränderter, hochwertiger Nachdruck der Originalausgabe aus dem Jahr 1894. Hansebooks ist Herausgeber von Literatur zu unterschiedlichen Themengebieten wie Forschung und Wissenschaft, Reisen und Expeditionen, Kochen und Ernährung, Medizin und weiteren Genres. Der Schwerpunkt des Verlages liegt auf dem Erhalt historischer Literatur. Viele Werke historischer Schriftsteller und Wissenschaftler sind heute nur noch als Antiquitäten erhältlich. Hansebooks verlegt diese Bücher neu und trägt damit zum Erhalt selten gewordener Literatur und historischem Wissen auch für die Zukunft (...) bei. (shrink)

We give a proof ofTheorem 1. Let κ be the smallest cardinal such that the free subset property Fr ω (κ,ω 1)holds. Assume κ is singular. Then there is an inner model with ω1 measurable cardinals.

Author: Koepke Ireneusz Title: ANDRZEJ WALICKI AND “WARSAW SCHOOL OF THE HISTORY OF IDEAS” (Andrzej Walicki i „warszawska szkoła historyków (historii) idei”) Source: Filo-Sofija year: 2005, vol:.5, number: 2005/1, pages: 259-276 Keywords: ANDRZEJ WALICKI, WARSAW SCHOOL OF THE HISTORY OF IDEAS Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:This article is an attempt of presenting Andrzej Walicki connections with the so called Warsaw School of the History of Ideas and his research on (...) basic methodological issues created by this “school”, which are linked with the history of ideas and the history of philosophy. The most important are research rules which has been used by A. Walicki, and their consequences on his intellectual work as well as some critical remarks. (shrink)

We propose a simple notion of "extender" for coding large elementary embeddings of models of set theory. As an application we present a self-contained proof of the theorem by D. Martin and J. Steel that infinitely many Woodin cardinals imply the determinacy of every projective set.

Recent research put forward the hypothesis that eye movements are integrated in memory representations and are reactivated when later recalled. However, “looking back to nothing” during recall might be a consequence of spatial memory retrieval. Here, we aimed at distinguishing between the effect of spatial and oculomotor information on perceptual memory. Participants’ task was to judge whether a morph looked rather like the first or second previously presented face. Crucially, faces and morphs were presented in a way that the morph (...) reactivated oculomotor and/or spatial information associated with one of the previously encoded faces. Perceptual face memory was largely influenced by these manipulations. We considered a simple computational model with an excellent match that expresses these biases as a linear combination of recency, saccade, and location. Surprisingly, saccades did not play a role. The results suggest that spatial and temporal rather than oculomotor information biases perceptual face memory. (shrink)

We give the proof of a theorem of Jensen and Zeman on the existence of a global □ sequence in the Core Model below a measurable cardinal κ of Mitchell order ) equal to κ++, and use it to prove the following theorem on mutual stationarity at n.Let ω1 denote the first uncountable cardinal of V and set to be the class of ordinals of cofinality ω1.TheoremIf every sequence n m. In particular, there is such a model in which for (...) all sufficiently large m<ω, the class of measurables λ with oM≥ωm is, in V, stationary below m+2. (shrink)

We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0long does not exist, or else (b) V = K, where K is the core model below a μ-measurable cardinal.

Theories of binding have recently come into the focus of the consciousness debate. In this review, we discuss the potential relevance of temporal binding mechanisms for sensory awareness. Specifically, we suggest that neural synchrony with a precision in the millisecond range may be crucial for conscious processing, and may be involved in arousal, perceptual integration, attentional selection and working memory. Recent evidence from both animal and human studies demonstrates that specific changes in neuronal synchrony occur during all of these processes (...) and that they are distinguished by the emergence of fast oscillations with frequencies in the gamma-range. (shrink)

Die Reihe Beihefte zur Zeitschrift für die neutestamentliche Wissenschaft (BZNW) ist eine der ältesten undrenommiertesten internationalen Buchreihen zur neutestamentlichen Wissenschaft. Seit 1923 publiziert sie wegweisende Forschungsarbeiten zum frühen Christentum und angrenzenden Themengebieten. Die Reihe ist historisch-kritisch verankert und steht neuen methodischen Ansätzen, die unser Verständnis des Neuen Testaments befördern, gleichfalls offen gegenüber.

So‐called nudge policies utilize insights from behavioral science to achieve policy outcomes. Nudge policies try to improve people's decisions by changing the ways options are presented to them, rather than changing the options themselves or incentivizing or coercing people. Nudging has been met with great enthusiasm but also fierce criticism. This paper provides an overview of the debate on the ethics of nudging to date. After outlining arguments in favor of nudging, we first discuss different objections that all revolve around (...) the worry that nudging vitiates personal autonomy. We split up this worry into different dimensions of autonomy, such as freedom of choice, volitional autonomy, rational agency, and freedom as nondomination. We next discuss worries that nudging is manipulative, violates human dignity, and prevents more important structural reform. Throughout, we will present responses that proponents of nudging can muster. On the whole, we conclude that the objections fail to establish that the nudge program as a whole should be rejected. At the same time, they give us important guidance when moving towards an ethical assessment of nudges on a case‐by‐case basis. Towards the end, we provide some possible ways forward in debates around the ethics of nudging. (shrink)

We present here an approach to the fine structure of L based solely on elementary model theoretic ideas, and illustrate its use in a proof of Global Square in L. We thereby avoid the Lévy hierarchy of formulas and the subtleties of master codes and projecta, introduced by Jensen [3] in the original form of the theory. Our theory could appropriately be called ”Hyperfine Structure Theory”, as we make use of a hierarchy of structures and hull operations which refines the (...) traditional Lα -or Jα-sequences with their Σn-hull operations.§1. Introduction. In 1938, K. Gödel defined the model L of set theory to show the relative consistency of Cantor's Continuum Hypothesis. L is defined as a unionof initial segments which satisfy: L0 = ∅, Lλ = ∪α<λLα for limit ordinals λ, and, crucially, Lα + 1 = the collection of 1st order definable subsets of Lα. Since every transitive model of set theory must be closed under 1st order definability, L turns out to be the smallest inner model of set theory. Thus it occupies the central place in the set theoretic spectrum of models.The proof of the continuum hypothesis in L is based on the very uniform hierarchical definition of the L-hierarchy. The Condensation Lemma states that if π : M → Lα is an elementary embedding, M transitive, then some ; the lemma can be proved by induction on α. If a real, i.e., a subset of ω, is definable over some Lα,then by a Löwenheim-Skolem argument it is definable over some countable M as above, and hence over some, < ω1. This allows one to list the reals in L in length ω1 and therefore proves the Continuum Hypothesis in L. (shrink)

Cognitive science is experiencing a pragmatic turn away from the traditional representation-centered framework toward a view that focuses on understanding cognition as "enactive." This enactive view holds that cognition does not produce models of the world but rather subserves action as it is grounded in sensorimotor skills. In this volume, experts from cognitive science, neuroscience, psychology, robotics, and philosophy of mind assess the foundations and implications of a novel action-oriented view of cognition. Their contributions and supporting experimental evidence show that (...) an enactive approach to cognitive science enables strong conceptual advances, and the chapters explore key concepts for this new model of cognition. The contributors discuss the implications of an enactive approach for cognitive development; action-oriented models of cognitive processing; action-oriented understandings of consciousness and experience; and the accompanying paradigm shifts in the fields of philosophy, brain science, robotics, and psychology. ContributorsMoshe Bar, Lawrence W. Barsalov, Olaf Blanke, Jeannette Bohg, Martin V. Butz, Peter F. Dominey, Andreas K. Engel, Judith M. Ford, Karl J. Friston, Chris D. Frith, Shaun Gallagher, Antonia Hamilton, Tobias Heed, Cecilia Heyes, Elisabeth Hill, Matej Hoffmann, Jakob Hohwy, Bernhard Hommel, Atsushi Iriki, Pierre Jacob, Henrik Jörntell, Jürgen Jost, James Kilner, Günther Knoblich, Peter König, Danica Kragic, Miriam Kyselo, Alexander Maye, Marek McGann, Richard Menary, Thomas Metzinger, Ezequiel Morsella, Saskia Nagel, Kevin J. O'Regan, Pierre-Yves Oudeyer, Giovanni Pezzulo, Tony J. Prescott, Wolfgang Prinz, Friedemann Pulvermüller, Robert Rupert, Marti Sanchez-Fibla, Andrew Schwartz, Anil K. Seth, Vicky Southgate, Antonella Tramacere, John K. Tsotsos, Paul F. M. J. Verschure, Gabriella Vigliocco, Gottfried Vosgerau. (shrink)

L'ingegneria concettuale è una branca della filosofia caratterizzata da un approccio normativo nei confronti della rappresentazione. Assunzione fondamentale è che i nostri dispositivi rappresentazionali possano essere difettosi. Si configura dunque come l'attività che consiste nell'identificare i difetti in tali dispositivi e mettere in atto strategie di miglioramento. Verranno illustrate le questioni fondamentali a cui una teoria di ingegneria concettuale deve rispondere: in cosa consiste esattamente questa attività? Come possiamo attuarla? Quali meccanismi regolano la formazione dei dispositivi rappresentazionali? Possiamo influire su (...) tali meccanismi? Verrà inoltre presentata un'obiezione all'ingegneria concettuale e varie risposte. -/- Conceptual engineering is a branch of philosophy characterised by a normative approach towards representation. The fundamental assumption of it is that our representational devices can be defective. Conceptual engineering is then the activity consisting of identifying the defects of such devices and putting in place ameliorative strategies. This paper illustrates the fundamental issues for a theory of conceptual engineering: what does this activity consist of? How can we implement it? What mechanisms regulate the formation of representational devices? Can we have an influence over those mechanisms? Moreover, it will be presented an objection to conceptual engineering and various responses to it. (shrink)

Andreas Stokke presents a comprehensive study of lying and insincere language use. He investigates how lying relates to other forms of insincerity and explores the kinds of attitudes that go with insincere uses of language. -/- Part I develops an account of insincerity as a linguistic phenomenon. Stokke provides a detailed theory of the distinction between lying and speaking insincerely, and accounts for the relationship between lying and deceiving. A novel framework of assertion underpins the analysis of various kinds (...) of insincere speech, including false implicature and forms of misleading with presuppositions, prosodic focus, and semantic incompleteness. -/- Part II sets out the relationship between what is communicated and the speaker's attitudes. Stokke develops the view of insincerity as a shallow phenomenon that is dependent on conscious attitudes rather than deeper motivations. The various of ways of speaking while being indifferent toward what one communicates are covered, and the phenomenon of 'bullshitting' is distinguished from lying and other forms of insincerity. Finally, an account of insincere uses of interrogative, imperative, and exclamative utterances is also given. (shrink)

Many of our endeavors -- be it personal or communal, technological or artistic -- aim at eradicating all traces of dissatisfaction from our daily lives. They seek to cure us of our discontent in order to deliver us a fuller and flourishing existence. But what if ubiquitous pleasure and instant fulfilment make our lives worse, not better? What if discontent isn't an obstacle to the good life but one of its essential ingredients? In Propelled, Andreas Elpidorou makes a lively (...) case for the value of discontent and illustrates how boredom, frustration, and anticipation are good for us. Weaving together stories from sources as wide-ranging as classical literature, social and cognitive psychology, philosophy, art, and video games, Elpidorou shows that these psychological states aren't unpleasant accidents of our lives. Rather, they illuminate our desires and expectations, inform us when we find ourselves stuck in unpleasant and unfulfilling situations, and motivate us to furnish our lives with meaning, interest, and value. Boredom, frustration, and anticipation aren't obstacles to our goals--they are our guides, propelling us into lives that are truly our own. (shrink)