In 1919 the Animal Breeding Research Department was established in Edinburgh. This Department, later renamed the Institute of Animal Genetics, forged an international reputation, eventually becoming the centrepiece of a cluster of new genetics research units and institutions in Edinburgh after the Second World War. Yet despite its significance for institutionalising animal genetics research in the UK, the origins and development of the Department have not received as much scholarly attention as its importance warrants. This paper sheds new light on (...) Edinburgh’s place in early British genetics by drawing upon recently catalogued archival sources including the papers of James Cossar Ewart, Regius Professor of Natural History at the University of Edinburgh between 1882 and 1927. Although presently a marginal figure in genetics historiography, Ewart established two sites for experimental animal breeding work between 1895 and 1911 and played a central role in the founding of Britain’s first genetics lectureship, also in 1911. These early efforts helped to secure government funding in 1913. However, a combination of the First World War, bureaucratic problems and Ewart’s personal ambitions delayed the creation of the Department and the appointment of its director by another six years. This paper charts the institutionalisation of animal breeding and genetics research in Edinburgh within the wider contexts of British genetics and agriculture in the early twentieth century. (shrink)

Philosophy and model theory frequently meet one another. Philosophy and Model Theory aims to understand their interactions -/- Model theory is used in every ‘theoretical’ branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging appeals to model theory have created a highly fragmented literature. On the one hand, many philosophically significant mathematical results are found only in mathematics textbooks: these are aimed squarely at mathematicians; (...) they typically presuppose that the reader has a significant background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are then scattered across disconnected pockets of papers, separated by decades or more. -/- The first aim of Philosophy and Model Theory, then, is to consider the philosophical uses of model theory. On a technical level, we try to show how philosophically significant results connect to one another, and also to state the best version of a result for philosophical purposes. On a philosophical level, we show how similar dialectical situations arise repeatedly, across fragmented debates in varied philosophical areas. -/- The second aim of Philosophy and Model Theory, though, is to consider the philosophy of model theory. Model theory itself is rarely taken as the subject matter of philosophising (contrast this, say, with the philosophy of biology, or the philosophy of set theory). But model theory is a beautiful part of pure mathematics, and worthy of philosophical study in its own right. (shrink)

Tim Button explores the relationship between words and world; between semantics and scepticism. -/- A certain kind of philosopher – the external realist – worries that appearances might be radically deceptive. For example, she allows that we might all be brains in vats, stimulated by an infernal machine. But anyone who entertains the possibility of radical deception must also entertain a further worry: that all of our thoughts are totally contentless. That worry is just incoherent. -/- We cannot, then, (...) be external realists, who worry about the possibility of radical deception. Equally, however, we cannot be internal realists, who reject all possibility of deception. We must position ourselves somewhere between internal realism and external realism, but we cannot hope to say exactly where. We must be realists, for what that is worth, and realists within limits. -/- In establishing these claims, The Limits of Realism critically explores and develops several themes from Hilary Putnam’s work: the model-theoretic arguments; the connection between truth and justification; the brain-in-vat argument; semantic externalism; and conceptual relativity. The book establishes the continued significance of these topics for all philosophers interested in mind, logic, language, or the possibility of metaphysics. (shrink)

This metaphysical and personal exploration of the nature of life provides a rare guide to living and dying fearlessly and with grace. Using the wisdom obtained over a lifetime of spiritual seeking, study, and practice, along with insights gained from the death of her significant other, Clare Goldsberry explores the fundamental nature of life and death, as well as their meaning and purpose. Sharing the wisdom and knowledge of the ancient sages, spiritual teachers like the Buddha, philosophers like Plato (...) and Seneca, and modern-day quantum physicists, Goldsberry walks us through the mystery of death and dying-and explores the meaning and purpose of life. Drawing from Buddhism, Hinduism, and her partner's cancer journey, she provides a profound view of living and dying as seen through the ages by those who have sought answers regarding the most mysterious aspect of life-this thing we call death. Clare Goldsberry has experienced Protestant Christianity, Mormonism, the Ageless Wisdom Teachings, Gnosticism, Hinduism, and Buddhism. She writes about religion and spiritual traditions for Quest magazine and other publications, and her book A Stranger in Zion: A Christian's Journey through the Heart of Utah Mormonism won the Arizona Book Publishers Association's Glyph Award for Best Religion Book in 2003. Goldsberry has also published six books on marketing and sales strategies for small- to mid-sized manufacturing companies, and she founded her own marketing and public relations business in 1989. She lives and works in Arizona. (shrink)

Amie Thomasson and Eli Hirsch have both attempted to deflate metaphysics, by combining Carnapian ideas with an appeal to ordinary language. My main aim in this paper is to critique such deflationary appeals to ordinary language. Focussing on Thomasson, I draw two very general conclusions. First: ordinary language is a wildly complicated phenomenon. Its implicit ontological commitments can only be tackled by invoking a context principle; but this will mean that ordinary language ontology is not a trivial enterprise. Second: ordinary (...) language often points in different directions simultaneously, so that a wide variety of existence questions cannot be deflated merely by appealing to ordinary language. (shrink)

Clare Carlisle's innovative and moving biography writes Kierkegaard's remarkable life as far as possible from his own perspective, conveying what it was like to be this Socrates of Christendom.

Tallant (2007) has challenged my recent defence of no-futurism (Button 2006), but he does not discuss the key to that defence: that no-futurism's primitive relation 'x is real-as-of y' is not symmetric. I therefore answer Tallant's challenge in the same way as I originally defended no-futurism. I also clarify no-futurism by rejecting a common mis-characterisation of the growing-block theorist. By supplying a semantics for no-futurists, I demonstrate that no-futurism faces no sceptical challenges. I conclude by considering the problem of (...) how to interpret the relation 'x is real-as-of y'. -/- (NB: A correction to this article appears in Analysis 68.1.). (shrink)

It is widely agreed that because animals feel pain we should not make them suffer gratuitously. Some ethical theories go even further: because of the capacities that they possess, animals have the right not to be harmed or killed. These views concern what not to do to animals, but we also face questions about when we should, and should not, assist animals that are hungry or distressed. Should we feed a starving stray kitten? And if so, does this commit us, (...) if we are to be consistent, to feeding wild animals during a hard winter? In this controversial book, Clare Palmer advances a theory that claims, with respect to assisting animals, that what is owed to one is not necessarily owed to all, even if animals share similar psychological capacities. Context, history, and relation can be critical ethical factors. If animals live independently in the wild, their fate is not any of our moral business. Yet if humans create dependent animals, or destroy their habitats, we may have a responsibility to assist them. Such arguments are familiar in human cases-we think that parents have special obligations to their children, for example, or that some groups owe reparations to others. Palmer develops such relational concerns in the context of wild animals, domesticated animals, and urban scavengers, arguing that different contexts can create different moral relationships. (shrink)

This study investigated whether temporal clustering of autobiographical memories around periods of self-development would also occur when imagining future events associated with the self. Participants completed an AM task and future thinking task. In both tasks, memories and future events were cued using participant-generated identity statements . Participants then dated their memories and future events, and finally gave an age at which each identity statement was judged to emerge. Dates of memories and future events were recoded as temporal distance from (...) the identity statement used to cue them. AMs and future events both clustered robustly around periods of self-development, indicating the powerful organisational effect of the self. We suggest that life narrative structures are used to organise future events as well as memories. (shrink)

Clare Chambers argues that marriage violates both equality and liberty and should not be trecognized by the state. She shows how feminist and liberal principles require creation of a marriage-free state: one in which private marriages, whether religious or secular, would have no legal status.

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

Much of the philosophical work on perception has focused on vision. Recently, however, philosophers have begun to correct this ‘tunnel vision’ by considering other modalities. Nevertheless, relatively little has been written about the chemical senses—olfaction and gustation. The focus of this paper is olfaction. In this paper, I consider the question: does human olfactory experience represents objects as thus and so? If we take visual experience as the paradigm of how experience can achieve object representation, we might think that the (...) answer to this question is no. I argue that olfactory experience does indeed represent objects—just not in a way that is easily read from the dominant visual case. (shrink)

In clinical ethics consultations, clinical ethicists bring moral reasoning to bear on concrete and complex clinical ethical problems by undertaking ethical deliberation in collaboration with others. The reasoning process involves identifying and clarifying ethical values which are at stake or contested, and guiding clinicians, and sometimes patients and families, to think through ethically justifiable and available courses of action in clinical situations. There is, however, ongoing discussion about the various methods ethicists use to do this ethical deliberation work. In this (...) paper, we make visible and accessible seven steps of facilitation used in the critical dialogue method of ethics consultation.We describe how the facilitation techniques serve two overall purposes. First, to identify ethically justified responses to ethical questions. Second, to assist participants to gain greater moral clarity, understanding and confidence to respond to ethical challenges as independent moral agents.By describing in detail facilitation steps for clinical ethics consultation, we aim to advance the scholarship of ‘clinical ethics facilitation methods’ and to demystify the ethical deliberation work undertaken by clinical ethicists. (shrink)

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

We can learn much about perceptual experience by thinking about how it can mislead us. In this paper, I explore whether, and how, olfactory experience can mislead. I argue that, in the case of olfactory experience, the traditional distinction between illusion and hallucination does not apply. Integral to the traditional distinction is a notion of ‘object-failure’—the failure of an experience to present objects accurately. I argue that there are no such presented objects in olfactory experience. As a result, olfactory experience (...) can only mislead by means of a kind of property hallucination. The implications of my arguments are twofold. First, we see that accounts of representational content cannot always be based on the visual model. And, secondly, we see that we must recast the notion of nonveridicality, allowing for a notion of non-veridical experience that is disengaged from any particular object. (shrink)

Necessitists about set theory think that the pure sets exists, and are the way they are, as a matter of necessity. They cannot explain why the sets (de rebus) are all the sets. This constitutes the Ur-Objection against necessitism; it is the primary motivation cited by potentialists about set theory. -/- At least three families of potentialism draw motivation from the Ur-Objection. Contingentists think that any things could form a set even if they actually did not. Prioritists think that sets (...) hyperintensionally depend upon their members. Structural-potentialists think that any possible set-hierarchy could be extended. However, once we have disentangled these three versions of potentialism, we see that the Ur-Objection should not motivate anyone. (shrink)

A judgement analysis of people's social inferences of attitudes and ability was conducted. University students were asked to infer the liberalness ( N = 60; Study 1) or intelligence ( N = 40; Study 2) of targets seen in pictures. Multiple regression analyses revealed that attractiveness was the most important cue for predicting inferences of liberalness, while an ethnic cue (i.e., being Asian) was the most important cue for judgements about intelligence. Results also showed that a single-cue model was less (...) susceptible to overfitting, but significantly less accurate than a multiple-cue model in predicting participant's intelligence judgements. Although the multiple regression models suffered a degree of overfitting, cross validation showed that they continued to have significant predictive value when applied to new data. Furthermore, a “random partner” method (comparing each participant's own regression equation with that of another, randomly selected, participant) provided evidence of significant idiosyncratic variation in the way intelligence judgements were made. (shrink)

Progress -- Loss -- Return -- Amenability -- Citation tactics -- Affective subjects.

The philosophy of perception has been dominated by vision, with very little discussion of the chemical senses – olfaction and gustation. In this second entry of a pair on olfactory experience, I consider what olfaction has to tell us about two issues: the nature of perceptual objects and the nature of perceptual properties and, in particular, the secondary qualities. Given the scant work on olfaction in the philosophical literature, my discussion not only surveys what philosophers have said about olfaction so (...) far, but considers the most plausible views and/or most pressing questions in each area of inquiry. (shrink)

Autonomy is fundamental to liberalism. But autonomous individuals often choose to do things that harm themselves or undermine their equality. In particular, women often choose to participate in practices of sexual inequality—cosmetic surgery, gendered patterns of work and childcare, makeup, restrictive clothing, or the sexual subordination required by membership in certain religious groups. In this book, Clare Chambers argues that this predicament poses a fundamental challenge to many existing liberal and multicultural theories that dominate contemporary political philosophy. Chambers argues (...) that a theory of justice cannot ignore the influence of culture and the role it plays in shaping choices. If cultures shape choices, it is problematic to use those choices as the measure of the justice of the culture. Drawing upon feminist critiques of gender inequality and poststructuralist theories of social construction, she argues that we should accept some of the multicultural claims about the importance of culture in shaping our actions and identities, but that we should reach the opposite normative conclusion to that of multiculturalists and many liberals. Rather than using the idea of social construction to justify cultural respect or protection, we should use it to ground a critical stance toward cultural norms. The book presents radical proposals for state action to promote sexual and cultural justice. (shrink)

Spinoza is widely regarded as either a God-forsaking atheist or a God-intoxicated pantheist, but Clare Carlisle says that he was neither. In Spinoza's Religion, she sets out a bold interpretation of Spinoza through a lucid new reading of his masterpiece, the Ethics. Putting the question of religion centre-stage but refusing to convert Spinozism to Christianity, Carlisle reveals that "being in God" unites Spinoza's metaphysics and ethics. Spinoza's Religion unfolds a powerful, inclusive philosophical vision for the modern age--one that is (...) grounded in a profound questioning of how to live a joyful, fully human life. Like Spinoza himself, the Ethics doesn't fit into any ready-made religious category. But Carlisle shows how it wrestles with the question of religion in strikingly original ways, responding both critically and constructively to the diverse, broadly Christian context in which Spinoza lived and worked. Philosophy itself, as Spinoza practiced it, became a spiritual endeavor that expressed his devotion to a truthful, virtuous way of life. Offering startling new insights into Spinoza's famously enigmatic ideas about eternal life and the intellectual love of God, Carlisle uncovers a Spinozist religion that integrates self-knowledge, desire, practice, and embodied ethical life to reach toward our 'highest happiness'--to rest in God. Seen through Carlisle's eyes, the Ethics prompts us to rethink not only Spinoza but also religion itself. (shrink)

Contract cheating is a major problem in Higher Education because it is very difficult to detect using traditional plagiarism detection tools. Digital forensics techniques are already used in law to determine ownership of documents, and also in criminal cases, where it is not uncommon to hide information and images within an ordinary looking document using steganography techniques. These digital forensic techniques were used to investigate a known case of contract cheating where the contract author has notified the university and the (...) student subsequently confirmed that they had contracted the work out. Microsoft Word documents use a format known as Office Open XML Format, and as such, it is possible to review the editing process of a document. A student submission known to have been contracted out was analysed using the revision identifiers within the document, and a tool was developed to review these identifiers. Using visualisation techniques it is possible to see a pattern of editing that is inconsistent with the pattern seen in an authentic document. (shrink)

Much of the philosophical work on perception has focused on vision. Recently, however, philosophers have been turning their attention to the ‘other modalities’. In a pair of entries, I consider olfaction—a sense modality that, along with gustation, has been largely overlooked by philosophers. In this first entry, I consider the challenge that olfactory experience presents to upholding a representational view of the sense modalities. It is common for philosophers to think that visual experience is world‐directed and, in particular, that it (...) is representational. World‐directed views contrast with subjectivist views—views according to which experiences are raw feels or mere sensations. Unlike visual experience, olfactory experience doesn't obviously support a representational view. Indeed, given its phenomenology, a subjectivist view of olfactory experience might seem unavoidable. But it is not. Once we begin to unravel ourselves from the dominant visual model of perception, we see that there is a representational view available that honors the phenomenology of olfactory experience. In turn, we learn that although there are some basic similarities between visual experience and olfactory experience, there are significant differences that prevent us from making easy generalizations from the visual case. (shrink)

No-futurists ('growing block theorists') hold that that the past and the present are real, but that the future is not. The present moment is therefore privileged: it is the last moment of time. Craig Bourne (2002) and David Braddon-Mitchell (2004) have argued that this position is unmotivated, since the privilege of presentness comes apart from the indexicality of 'this moment'. I respond that no-futurists should treat 'x is real-as-of y' as a nonsymmetric relation. Then different moments are real-as-of different times. (...) This reunites privilege with indexicality, but entails that no-futurists must believe in ineliminably tensed facts. (shrink)

Keränen (2001) raises an argument against realistic (ante rem) structuralism: where a mathematical structure has a non-trivial automorphism, distinct indiscernible positions within the structure cannot be shown to be non-identical using only the properties and relations of that structure. Ladyman (2005) responds by allowing our identity criterion to include 'irreflexive two-place relations'. I note that this does not solve the problem for structures with indistinguishable positions, i.e. positions that have all the same properties as each other and exactly the same (...) relations to all objects (including themselves). I conclude that realistic structuralists must compromise and treat some structures eliminativistically. (shrink)

Prior’s Tonk is a famously horrible connective. It is defined by its inference rules. My aim in this article is to compare Tonk with some hitherto unnoticed nasty connectives, which are defined in semantic terms. I first use many-valued truth-tables for classical sentential logic to define a nasty connective, Knot. I then argue that we should refuse to add Knot to our language. And I show that this reverses the standard dialectic surrounding Tonk, and yields a novel solution to the (...) problem of many-valued truth-tables for classical sentential logic. I close by outlining the technicalities surrounding nasty connectives on many-valued truth-tables. (shrink)

Real Language Series General Editors:Jennifer Coates, Jenny Cheshire, Euan Reid This is a sociolinguistics series about the relationships between language, society and social change. Books in the series draw on natural language data from a wide range of social contexts. The series takes a critical approach to the subject, challenging current orthodoxies, and dealing with familiar topics in new ways. Gender and Discourse offers a critical new approach to the study of language and gender studies. Women moving into the public (...) domains of power traditionally monopolised by men are creating new identities for themselves, and the language that is used by them and about them offers an insight into gender roles. Clare Walsh reviews the current dominance/difference debates, and proposes a new analytical framework which combines the insights of critical discourse and feminist perspectives on discourse to provide a new perspective on the role of women in public life. A superbly accessible book designed for students and researchers in the field, the book features: - topical case studies from the arenas of politics, religion and activism- a new analytical framework, also summarised in chart form so the reader can apply their own critical analyses of texts. - written and visual text types for the reader's own linguistic and semiotic analysis. 'This important book takes up a neglected question in the study of language and gender - what difference women make to the discourse of historically male-dominated institutions - and brings to bear on it both the insights of feminist scholarship and evidence from women's own testimony. Clare Walsh's analysis of the dilemmas women face is both subtle and incisive, taking us beyond popular 'Mars and Venus' stereotypes and posing some hard questions for fashionable theories of language, identity and performance. (shrink)

The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of set theories (...) due to Scott, Montague, Derrick, and Potter. (shrink)

This paper considers what olfactory experience can tell us about the controversy over qualia and, in particular, the debate that focuses on the alleged transparency of experience. The appeal to transparency is supposed to show that there are no qualia—intrinsic, non-intentional and directly accessible properties of experience that determine phenomenal character. It is most commonly used to motivate intentionalism—namely, the view that the phenomenal character of an experience is exhausted by its representational content. Although some philosophers claim that transparency holds (...) for all of the sense modalities, any detailed discussion of it focuses on vision. But transparency seems unintuitive for olfactory experience. This paper argues that olfactory experience is indeed transparent and that explanations of what transparency is have been obscured by a reliance on the visual model. In this way, the paper clarifies and advances the debate about transparency. (shrink)

For Aristotle, excellence is not an act but a habit, and Hume regards habit as ‘the great guide of life’. However, for Proust habit is problematic: ‘if habit is a second nature, it prevents us from knowing our first.’ What is habit? Do habits turn us into machines or free us to do more creative things? Should religious faith be habitual? Does habit help or hinder the practice of philosophy? Why do Luther, Spinoza, Kant, Kierkegaard and Bergson all criticise habit? (...) If habit is both a blessing and a curse, how can we live well in our habits? In this thought-provoking book Clare Carlisle examines habit from a philosophical standpoint. Beginning with a lucid appraisal of habit’s philosophical history she suggests that both receptivity and resistance to change are basic principles of habit-formation. Carlisle shows how the philosophy of habit not only anticipates the discoveries of recent neuroscience but illuminates their ethical significance. She asks whether habit is a reliable form of knowledge by examining the contrasting interpretations of habitual thinking offered by Spinoza and Hume. She then turns to the role of habit in the good life, tracing Aristotle’s legacy through the ideas of Joseph Butler, Hegel, and Félix Ravaisson, and assessing the ambivalent attitudes to habit expressed by Nietzsche and Proust. She argues that a distinction between habit and practice helps to clarify this ambivalence, particularly in the context of habit and religion, where she examines both the theology of habit and the repetitions of religious life. She concludes by considering how philosophy itself is a practice of learning to live well with habit. (shrink)

Over the past several decades, scholars of liberal and democratic theory have shown a heightened interest in the role that various virtues might play in promoting the good/free society. Yet within this recent "return" to the virtues, one quality that has been almost entirely left out of the discussion is humility. In this essay, I critically address this lacuna and offer a defense of a particular form of humility, what I call democratic humility. After considering a range of moral and (...) political objections to the concept of humility, Iprovide an account that seeks to address some of these long-standing difficulties while arguing that the idea of humility, recuperated as an ethos of civic attentiveness, may be one of the most important virtues for late-modern societies marked by ethical and cultural pluralism. (shrink)

In “Models and Reality” (1980), Putnam sketched a version of his internal realism as it might arise in the philosophy of mathematics. Here, I will develop that sketch. By combining Putnam’s model-theoretic arguments with Dummett’s reflections on Gödelian incompleteness, we arrive at (what I call) the Skolem-Gödel Antinomy. In brief: our mathematical concepts are perfectly precise; however, these perfectly precise mathematical concepts are manifested and acquired via a formal theory, which is understood in terms of a computable system of proof, (...) and hence is incomplete. Whilst this might initially seem strange, I show how internal categoricity results for arithmetic and set theory allow us to face up to this Antinomy. This also allows us to understand why “Models are not lost noumenal waifs looking for someone to name them,” but “constructions within our theory itself,” with “names from birth.”. (shrink)

'Philosophy in a world of women. I reflected, talking with Mary, Pip and Elizabeth, how much I love them.' Two brilliant young scholars uncover the major philosophical contributions of four women whose ideas could have changed the course of twentieth-century thought. Written with energy, expertise and panache, The Quartet is a page-turning blend of research and recovery, storytelling, and a call to arms. Iris Murdoch, Philippa Foot, Mary Midgley and Elizabeth Anscombe were great friends and comrades in the intellectual trenches, (...) rethinking the possibilities of moral philosophy when the men 'left the room' and taking on the establishment, ultimately embodied by President Truman. Mac Cumhaill and Wiseman bring these women out of the shadows and into vivid colour. (shrink)

Given that the Obama administration still relies on many strategies we would think of as sitting on the side of secrecy, it seems that the only lasting transparency legacy of the Obama administration will be data-driven or e-transparency as exemplified by the web interface ‘data.gov’. As the data-driven transparency model is exported and assumes an ascendant position around the globe, it is imperative that we ask what kind of publics, subjects, and indeed, politics it will produce. Open government data is (...) not just a matter concerning accountability but is seen as a necessary component of the new ‘data economy’. To participate and benefit from this info-capitalist-democracy, the data subject is called upon to be both auditor and entrepreneur. This article explores the implications of responsibilization, outsourcing, and commodification on the contract of representational democracy and asks if there are other forms of transparency that might better resist neoliberal formations and re-politicize the public sphere. (shrink)

We provide a translation from SNFPLTL, a normal form for propositional linear time temporal logic, into alternating automata on infinite words, and vice versa. We show this translation has the property that the set of SNFPLTL clauses is satisfiable if and only if the alternating automaton has an accepting run. As there is no direct method known for checking the non-emptiness of alternating automata, the translation to SNFPLTL, together with a temporal proof on the resulting SNFPLTL clauses, provides an indirect (...) non-emptiness check for alternating automata. (shrink)