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)

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.

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.

Grammatology of Images radically alters how we approach images. Instead of asking for the history, power, or essence of images, Sigrid Weigel addresses imaging as such. The book considers how something a-visible gets transformed into an image. Weigel scrutinizes the moment of mis-en-apparition, of making an appearance, and the process of concealment that accompanies any imaging. Weigel reinterprets Derrida's and Freud's concept of the trace as that which must be thought before something exists. In doing so, she illuminates the (...) threshold between traces and iconic images, between something immaterial and its pictorial representation. Chapters alternate between general accounts of the line, the index, the effigy, and the cult-image, and case studies from the history of science, art, politics, and religion, involving faces as indicators of emotion, caricatures as effigies of defamation, and angels as embodiments of transcendental ideas. Weigel's approach to images illuminates fascinating, unexpected correspondences between premodern and contemporary image-practices, between the history of religion and the modern sciences, and between things that are and are not understood as art. (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)

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)

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)

Since the 1980s in the US and the 1990s in Europe, patenting and licensing activities by universities have massively increased. This is strongly encouraged by governments throughout the Western world. Many regard academic patenting as essential to achieve ‘knowledge transfer’ from academia to industry. This trend has far-reaching consequences for access to the fruits of academic research and so the question arises whether the current policies are indeed promoting innovation or whether they are instead a symptom of a pro-intellectual property (...) (IP) culture which is blind to adverse effects. Addressing this question requires both empirical analysis (how real is the link between academic patenting and licensing and ‘development’ of academic research by industry?) and normative assessment (which justifications are given for the current policies and to what extent do they threaten important academic values?). After illustrating the major rise of academic patenting and licensing in the US and Europe and commenting on the increasing trend of ‘upstream’ patenting and the focus on exclusive as opposed to non-exclusive licences, this paper will discuss five negative effects of these trends. Subsequently, the question as to why policymakers seem to ignore these adverse effects will be addressed. Finally, a number of proposals for improving university policies will be made. (shrink)

More than a third of the world's population has no access to essential drugs. More than half of this group of people live in the poorest regions of Africa and Asia. Several factors determine the accessibility of drugs in developing countries. Hardly any medicines for tropical diseases are being developed, but even existing drugs are often not available to the patients who need them.One of the important determinants of access to drugs is the working of the patent system. This paper (...) first maps out some facts about the global patent regime that has emerged as a consequence of the conclusion of the WTO‐TRIPs Agreement in 1994. Attempts to construct a moral justification of the patent system have been based on three grounds: natural rights, distributive justice, and utilitarian arguments. This paper examines to what extent and on which grounds drug patents can be justified. The final section looks at the so‐called ‘Doha Declaration on the TRIPs Agreement and Public Health’, which was adopted by the WTO Ministerial Conference two years ago, recognising the primacy of public health over the interests of patent proprietors. (shrink)

An extensive body of research documents that women experience a motherhood penalty at work whereas men experience a fatherhood premium. Yet much of this work presupposes that employers are aware of a worker’s parental status. Given the different consequences that parenthood has on outcomes such as pay and promotions, it is conceivable that men and women may deploy their status as parents differently when interacting with employers. Drawing on in-depth interviews with a racially diverse sample, this article examines how mothers (...) and fathers working in the service sector use their parental status when negotiating work and child care responsibilities. Mothers, particularly black mothers, were less likely to openly discuss their children at work. In some cases, women purposefully concealed from their employers the fact that they were mothers or found other ways of signaling their commitment to their jobs. Fathers, on the other hand, were more likely to discuss their children with their employers and overwhelmingly characterized their managers as understanding of their parenting obligations. Together, these findings help us understand how mothers and fathers navigate the consequences of parenthood in the workplace and add nuance to previous studies of motherhood penalties and fatherhood premiums. (shrink)

In this paper I argue for a restriction on certain types of LF movement, which I call ‘wh-related LF movement’. Evidence comes from a number of wh-in-situ constructions in German, such as the scope-marking construction and multiple questions. For semantic reasons, the in situ element in those constructions has to move at LF to either a position reserved for wh-phrases, or even higher up in the structure. The restriction (the Minimal Quantified Structure Constraint, MQSC) is that an intervening quantified expression (...) blocks this movement. In the case of every, the MQSC leads to an unambiguously distributive interpretation of the question. In the case of all other intervening operators, including negation, it leads to ungrammaticality. (shrink)

This article investigates a multiparty interaction in an accounting office by applying a multimodal approach to discourse. This approach allows the incorporation of all relevant communicative modes and is based on the following three notions: 1) the notion of mediated action; 2) the notion of modal density; and 3) the notion of a foreground– background continuum of attention/awareness. The article illustrates that a social actor in a multiparty interaction simultaneously co-constructs several higher-level actions with the various participants on different levels (...) of their attention/awareness. On a theoretical level, the article argues that traditional approaches to discourse analysis, with their unconditional focus on language as the primary mode, misconstrue the multiple higher-level actions that a social actor is engaged in simultaneously as dyadic or triadic interactions in quick succession. (shrink)

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)

An ‘Information Centre’ has recently been established by law which has the power to collect, collate and provide access to the medical information forall patients treated by the National Health Service in England, whether in hospitals or by General Practitioners. This so-called ‘care.data’ scheme has given rise to major and ongoing controversies. We will sketch the background of the scheme and look at the responses it has elicited from citizens and medical professionals. In Autumn 2013, NHS England set up a (...) care.data website where citizens could record their concerns regarding the collection of health-related data by the Information Centre. We have reviewed all the comments on this website up until June 2015. We have also analysed the readers’ comments on the coverage of the care.data scheme in one of the main national UK newspapers. When discussing the responses of citizens, we will make a distinction between the problems that citizens detect and the solutions they propose. The solutions that are being perceived as the most relevant ones can be summarized as follows: citizens wish to further the common good without being manipulated into doing it, while at the same time being safeguarded against various abuses. The issue of trust turns out to figure prominently. Our analysis of reactions to the scheme in no way pretends to be exhaustive, yet it provides various relevant insights into the concerns identified by citizens as well as medical professionals. These concerns, moreover, have a more general relevance in relation to other contexts of medical data-mining as well as biobank research. Our analysis also offers important pointers as to how those concerns might be addressed. (shrink)

(1) a. Satoshi sent Thilo the Schw¨abische W¨orterbuch. b. Satoshi sent the Schw¨abische W¨orterbuch to Thilo. Many have entertained the notion that there is a rule that relates sentences such as these. This is suggested by the fact that it is possible to learn that a newly coined verb licenses one of them and automatically know that it licenses the other. Marantz (1984) argues for the existence of such a rule in this way, noting that once one has learned of (...) the new verb shin by exposure to (2a), the grammaticality of (2b) is also learned. (2) a. Thilo shinned the ball to Satoshi. b. Thilo shinned Satoshi the ball. This is explained if there is a rule that ties the double object frame together with the NP+PP frame, making it sufficient to know that a verb licenses one if it licenses the other. Frequently, the rule involved has been taken to be syntactic in nature. See, among many others, Fillmore (1965), Oehrle (1976), Baker (1988), and Larson (1988). The leading idea under this view is that the two frames are simply different surface manifestations of the same underlying structure. Typically, this approach posits that the NP+PP frame represents that underlying structure from which the double object frame is transformationally derived. There is evidence, however, that the two frames instead have different underlying structures, and are not related by transformation. This evidence, then. (shrink)

Assembled here for the first time in English translation, Sigrid Weigel and Georgina Paul offer illuminating new insights into Benjamin's theory, combining impulses from post-structuralism, feminism, cultural anthropology and psychoanalysis.

Research regarding the drivers of acceptance of clinical decision support systems by physicians is still rather limited. The literature that does exist, however, tends to focus on problems regarding the user-friendliness of CDSS. We have performed a thematic analysis of 24 interviews with physicians concerning specific clinical case vignettes, in order to explore their underlying opinions and attitudes regarding the introduction of CDSS in clinical practice, to allow a more in-depth analysis of factors underlying acceptance of CDSS. We identified three (...) general themes from the results. First, ‘the perceived role of the AI’, including items referring to the tasks that may properly be assigned to the CDSS according to the respondents. Second, ‘the perceived role of the physician’, referring to the aspects of clinical practice that were seen as being fundamentally ‘human’ or non-automatable. Third, ‘concerns regarding AI’, including items referring to more general issues that were raised by the respondents regarding the introduction of CDSS in general and/or in clinical medicine in particular. Apart from the overall concerns expressed by the respondents regarding user-friendliness, we will explain how our results indicate that our respondents were primarily occupied by distinguishing between parts of their job that should be automated and aspects that should be kept in human hands. We refer to this distinction as ‘the division of clinical labor.’ This division is not based on knowledge regarding AI or medicine, but rather on which parts of a physician’s job were seen by the respondents as being central to who they are as physicians and as human beings. Often the respondents’ view that certain core parts of their job ought to be shielded from automation was closely linked to claims concerning the uniqueness of medicine as a domain. Finally, although almost all respondents claimed that they highly value their final responsibility, a closer investigation of this concept suggests that their view of ‘final responsibility’ was not that demanding after all. (shrink)

Die empirische Ethik sieht ihre eigene Aufgabe darin, soziale und kulturelle Aspekte der Medizin zu berücksichtigen. Damit trennt sie den wissenschaftlich kognitiven Aspekt der Medizin von kulturell normativen Aspekten, die einzig sozialwissenschaftlich zu erforschen wären. Wenn Medizin aber als gesellschaftliche Praxis begriffen wird, wird die saubere Trennung zwischen naturwissenschaftlicher Medizin, kulturell-normativen Aspekten und ethischer Reflexion durchbrochen. Wir schlagen vor, ethische Reflexion und empirische sozialwissenschaftliche Forschung in mehrstufiger Weise aufeinander zu beziehen. Den Sozialwissenschaften kommt dabei die Funktion einer ersten Reflexionsinstanz der (...) medizinischen Praxis zu, an die in einem zweiten Schritt die Medizinethik reflexiv anschließt und sich dabei wieder einer soziologischen Kritik stellen muss. (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)

A semantics for interrogatives is presented which is based on Karttunen's theory, but in a flexible manner incorporates both weak and strong exhaustivity. The paper starts out by considering degree questions, which often require an answer picking out the maximal degree from a certain set. However, in some cases, depending on the semantic properties of the question predicate, reference to the minimal degree is required, or neither specifying the maximum nor the minimum is sufficient. What is needed is an operation (...) which defines the maximally informative answer on the basis of the Karttunen question denotation. Shifting attention to non-degree questions, two notions of answerhood are adopted from work by Heim. The first of these is weakly exhaustive and the second strongly exhaustive. The second notion of answerhood is proven to be equivalent to Groenendijk and Stokhof's interrogative semantics. On the basis of a wide range of empirical data showing that questions often are not interpreted exhaustively, it is argued that a fairly rich system of semantic objects associated with questions is needed to account for the various ways in which questions contribute to the semantics and pragmatics of the utterances in which they appear. (shrink)

Since the adoption of the WTO-TRIPS Agreement in 1994, there has been significant controversy over the impact of pharmaceutical patent protection on the access to medicines in the developing world. In addition to the market exclusivity provided by patents, the pharmaceutical industry has also sought to further extend their monopolies by advocating the need for additional ‘regulatory’ protection for new medicines, known as data exclusivity. Data exclusivity limits the use of clinical trial data that need to be submitted to the (...) regulatory authorities before a new drug can enter the market. For a specified period, generic competitors cannot apply for regulatory approval for equivalent drugs relying on the originator's data. As a consequence, data exclusivity lengthens the monopoly for the original drug, impairing the availability of generic drugs. This article illustrates how the pharmaceutical industry has convinced the US and the EU to impose data exclusivity on their trade partners, many of them developing countries. The key arguments formulated by the pharmaceutical industry in favor of adopting data exclusivity and their underlying ethical assumptions are described in this article, analyzed, and found to be unconvincing. Contrary to industry's arguments, it is unlikely that data exclusivity will promote innovation, especially in developing countries. Moreover, the industry's appeal to a property rights claim over clinical test data and the idea that data exclusivity can prevent the generic competitors from ‘free-riding’ encounters some important problems: Neither legitimize excluding all others. (shrink)

The paper provides a semantic analysis of intervention effects in wh-questions. The interpretation component of the grammar derives uninterpretability, hence ungrammaticality, of the intervention data. In the system of compositional interpretation that I suggest, wh-phrases play the same role as focused phrases, introducing alternatives into the computation. Unlike focus, wh-phrases make no ordinary semantic contribution. An intervention effect occurs whenever a focus-sensitive operator other than the question operator tries to evaluate a constituent containing a wh-phrase. It is argued that this (...) approach can capture the universal as well as the crosslinguistically variable aspects of intervention effects, in a way that is superior to previous approaches. Further consequences concern other focus-related constructions: multiple focus data, NPI licensing, and alternative questions. (shrink)

We expand on Della Croce’s ambition to interpret “epistemic injustice” as a specification of non-maleficence in the use of the influential four-principle framework. This is an alluring line of thought for conceptual, moral, and heuristic reasons. Although it is commendable, Della Croce’s attempt remains tentative. So does our critique of it. Yet, we take on the challenge to critically address two interrelated points. First, we broaden the analysis to include deliberations about hermeneutical injustice. We argue that, if due consideration of (...) epistemic injustice is to require more than negative ethical obligations in medicine, dimensions of hermeneutical injustice should be explored as an avenue to arrive at such positive duties. Second, and relatedly, we argue that this may encompass moral responsibilities beyond the individual level, that is: positive obligations to take action on a structural level. Building on Dotson’s concept of “contributory injustice” and Scheman’s concept of “perceptual autonomy,” we suggest that the virtues of testimonial and hermeneutical justice may provide additional content not only to negative prohibitions of action (i.e. non-maleficence) but also to positive requirements of action, like respecting patient autonomy. (shrink)

The topic of this paper is the semantic analysis of the sentences in (1). (1a,b) contain the adverbial modifiers 'one after the other' and 'dog after dog', respectively, which add to the simple (1') information on how the overall event of the dogs entering the room is to be divided into subevents based on a division of the group of dogs into individual dogs. We call these adverbials pluractional adverbials, following e.g. Lasersohn's (1995) use of the term pluractionality for the (...) division of larger eventualities into subeventualities. (shrink)

The last decade has seen a new wave of interest in philosophical and theoretical circles in the writings of Walter Benjamin. In _Body-and Image-Space_ Sigrid Weigel, one of Germany's leading feminist theorists and a renowned commentator on the work of Walter Benjamin, argues that the reception of his work has so far overlooked a crucial aspect of his thought - his use of images. Weigel shows that it is precisely his practice of thinking in images that holds the key (...) to understanding the full complexity, richness and topicality of Benjamin's theory. (shrink)

ZusammenfassungDie empirische Ethik sieht ihre eigene Aufgabe darin, soziale und kulturelle Aspekte der Medizin zu berücksichtigen. Damit trennt sie den wissenschaftlich kognitiven Aspekt der Medizin von kulturell normativen Aspekten, die einzig sozialwissenschaftlich zu erforschen wären. Wenn Medizin aber als gesellschaftliche Praxis begriffen wird, wird die saubere Trennung zwischen naturwissenschaftlicher Medizin, kulturell-normativen Aspekten und ethischer Reflexion durchbrochen. Wir schlagen vor, ethische Reflexion und empirische sozialwissenschaftliche Forschung in mehrstufiger Weise aufeinander zu beziehen. Den Sozialwissenschaften kommt dabei die Funktion einer ersten Reflexionsinstanz der (...) medizinischen Praxis zu, an die in einem zweiten Schritt die Medizinethik reflexiv anschließt und sich dabei wieder einer soziologischen Kritik stellen muss. (shrink)

Wie müssen wir zurückschauen, um Was sehen zu können und darüber unseren Blick für das Gegenwärtige und Kommende zu schärfen?0Die Beiträge des Bandes, der zu Ehren von Sigrid Schade erscheint, beziehen sich auf vielschichtige Diskursgeschichten an den Schnittstellen von Kunst-, Kultur- und Medienwissenschaften. Sie beleuchten künstlerische, kulturelle und soziale Praktiken und Ordnungen als Aushandlungsort komplexer Bedeutungs- und Beziehungsgefüge.

On 19 December 2008 the Official Journal of Belgium published the ‘Law regarding the procurement and use of human body material destined for human medical applications or for scientific research purposes’. This paper will comment on various aspects of the Law: its scope of application (what is understood by ‘body material’?); its concept of ‘residual human body material’ (with far-reaching implications for the type of consent required for research); the nature of actions with and uses of human body material that (...) are explicitly prohibited; the right of donors to be informed of relevant information revealed by the use of their body material; and the special responsibilities placed on hospital ethics committees. As will be argued in this paper, several of these provisions are highly problematic from an ethical point of view, especially those relating to consent. Meanwhile, the Minister of Public Health has asked the Belgian Advisory Committee on Bioethics for advice on the incorporation of the ‘presumed consent’ model, that applies to post mortem organ donation, into the biobank Law’s provisions on post mortem removal and use of body material. This aspect of the Law effectively extends the ‘presumed consent’ regime, both from organs to body material in general, and from therapeutic uses to research uses. (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)