This paper can be treated as a simplification of the Gentzen formalization of SCI-tautologies presented by A. Michaels in [1].

We use here the notions and results from algebraic theory of programs in order to give a new proof of the decidability theorem for Suszko logic SCI (Theorem 3).We generalize the method used in the proof of that theorem in order to prove a more general fact that any prepositional logic which admits a cut-free Gentzen type formalization is decidable (Theorem 6).

We use the algebraic theory of programs as in Blikle [2], Mazurkiewicz [5] in order to show that the difference between programs with and without recursion is of the same kind as that between cut free Gentzen type formalizations of predicate and prepositional logics.

We introduce here and investigate the notion of an alternative tree of decomposition. We show (Theorem 5) a general method of finding out all non-alternative trees of the alternative tree determined by a diagram of decomposition.

Toward situating philosophical collaborations with government and Non‐Governmental Organizations (NGOs), the author distinguishes two definitional uses of the term “public philosophy”: a “shared vision” definition and a “professional activity” definition. As varied examples of work with NGOs, she offer her work with three women's health organizations, a mental health law group, a privacy advocacy group, and a national academy. The author then offer her work with NIH, a national bioethics commission, and state court judges as examples of work with state (...) and federal government. Genetic privacy was understood as a key ethical and legal issue to arise in anticipation of the complete mapping of the human genome. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

Die Isländersagas sind seit jeher Schwerpunkt altnordistischer Forschung. Aus literaturwissenschaftlicher Perspektive ist ihren zahlreichen, oft minutiösen Beschreibungen von Kleidung bislang aber wenig Beachtung geschenkt worden. Vorliegende Arbeit untersucht die Bekleidung der Figuren im Hinblick auf soziale, geschlechtliche und emotionale Konstellationen innerhalb des Erzählkontexts.

Medicine was until recently a greatly respected profession supported by trust and faith on one side and compassion and care on the other. However, over the years, the relationship between doctors and patients has suffered. Doctors now find themselves in the news for all the wrong reasons. Labelled as 'murderers', 'knife happy', 'organ stealing thieves' or touts of pharmaceutical giants, they have now lost respect in the eyes of society. When and how did this happen? When did doctors go from (...) being 'Next to God' to maut ke saudagar, as the media is so fond of labelling them? Hippocratic Oath or Hypocrisy?: Doctors at Crossroads is the author's journey as a doctor over three decades, from a young medical student to an experienced paediatrician. She has used her experience to highlight serious issues--demanding patients, prescribing of unnecessary investigations, hospitals run like business houses, the role of big pharmaceutical industries and so on from the point of view of both doctors and patients. (shrink)

This book revisits psychology's appropriation of natural scientific methods. The author argues that, in order to overcome ongoing methodological debates in psychology, it is necessary to confront the problem of formalisation contained in the appropriation of methods of natural science. By doing so, the subject matter of psychology - the human being - and questions about the meaning of human existence can be brought to the centre of the discipline. Drawing on Garfinkel, Sacks, Edwards and Potter, the author sees ethnomethodologically (...) informed qualitative methods, which stem from phenomenology, as a possible alternative to statistical methods, but ultimately finds these methods to be just another method of formalisation.She returns to Husserlian phenomenology as a way to critique the centrality of method in psychology and shows that the adoption of natural scientific methods in psychology is part of the larger push to formalise and objectify all aspects of human existence. (shrink)

Anita Chari revives the concept of reification from Marx and the Frankfurt School to spotlight the resistance to neoliberal capitalism now forming at the level of political economy and at the more sensate, experiential level of subjective transformation. Reading art by Oliver Ressler, Zanny Begg, Claire Fontaine, Jason Lazarus, and Mika Rottenberg, as well as the politics of Occupy Wall Street, Chari identifies practices through which artists and activists have challenged neoliberalism's social and political logics, exposing its inherent tensions (...) and contradictions. (shrink)

The aim of the present paper is to evaluate the notion of collective guilt feeling both in the light of research in affectivity and in collective intentionality. The paper is divided into an introduction and three main sections. Section 1) highlights relevant features of guilt‐family emotions such as the relation between feeling guilt and objective guilt, the relation between feeling guilt and its content, and the relation between feeling guilt and the ‘self’. Moreover, the distinction between feeling guilt and feeling (...) regret is given due attention. Section 2) examines Margaret Gilbert's arguments in favor of a collectivist view of collective guilt feeling , according to which groups do genuinely feel guilt. Against the collectivist position I argue for an individualist ‘membership account’ of collective guilt feeling in terms of individual members' we‐feeling of guilt. The membership account of collective guilt feeling is vindicated on grounds of a naturalist and non‐judgmentalist understanding of emotions, as well as on the logic of personal pronouns. It combines individualism regarding the subject of the feeling with collectivism regarding the irreducibility of we‐feelings and provides, as I further argue, the required moral force attributed to collective guilt feeling. The concern of section 3) is the question of the appropriate emotional response to collective wrongdoing. I argue against the view that group members are categorically ‘committed to feel guilt as a body’ for wrongdoings committed by the group. Given that individual members often do not participate in their groups' wrongdoings, it seems unjust to impose a requirement for feeling guilt upon them. I suggest that in a general account of the appropriate assessment of collective wrongdoing, feeling regret is the better candidate than feeling guilt for the role of the minimally required emotional response.For us collectively to feel guilt over our action A is for us to be jointly committed to feeling guilt as a body over our action A. [. . .] The parties [. . .] constitute, as far as possible, a single subject of guilt feelings .[A] collective cannot respond affectively [. . .], only its constitutive members can. The lack of an affective counter‐response is troubling, because the efficacy of responses of accountability partially depends upon affect. The response of shame, guilt, and regret help to register the significance of the harm. (shrink)

In recent years, artificial intelligence (AI) has garnered tremendous attention across a range of sectors, including health care. AI is a comprehensive term, broadly defined as computational machines making decisions and performing tasks that previously required human intelligence or cognition. There are high expectations of what AI can do; enthusiasts sometimes refer to it as a central pillar of the Fourth Industrial Revolution, with an impact on humanity as profound as that of the steam power engine or electricity. Building on (...) the Third Industrial Revolution (or Digital Revolution) that began in the middle of the twentieth century and was characterized by the spread of automation and digitization through the use of electronics, computers, and communication technologies (e.g., the internet), the Fourth Industrial Revolution is characterized by a fusion of advancing technologies in AI, robotics, the Internet of Things (IoT), genetic engineering, and quantum computing. These technologies blend physical production and operations with smart digital technologies, promising to transform the operation, management, and governance of every industry, including health care. (shrink)

Today, more corporations disclose information about their environmental performance in response to stakeholder demands of environmental responsibility and accountability. What information do corporations disclose on their websites? This paper investigates the environmental management policies and practices of the 200 largest corporations in the world. Based on a content analysis of the environmental reports of Fortune’s Global 200 companies, this research analyzes the content of corporate environmental disclosures with respect to the following seven areas: environmental planning considerations, top management support to (...) the institutionalization of environmental concerns, environmental structures and organizing specifics, environmental leadership activities, environmental control, external validations or certifications of environmental programs, and forms of corporate environmental disclosures. (shrink)

'Anita L. Allen breaks new ground...A stunning indictment of women's status in contemporary society, her book provides vital original scholarly research and insight.' |s-NEW DIRECTIONS FOR WOMEN.

How do I know whether there are any minds beside my own? This problem of other minds in philosophy raises questions which are at the heart of all philosophical investigations--how it is that we know, what is in the mind, and whether we can be certain about any of our beliefs. In this book, Anita Avramides begins with a historical overview of the problem from the Ancient Skeptics to Descartes, Malebranche, Locke, Berkeley, Reid, and Wittgenstein. The second part of (...) the book investigates the views of influential contemporary philosophers such as Strawson, Davidson, Nagel and Searle. (shrink)

This paper has described three uses of Extreme Case formulationsto assert the strongest case in anticipation of non-sympathetic hearingsto propose the cause of a phenomenonto speak for the rightness (wrongness) of a practice.The interactants in the illustrations were engaged in several types of activities, among which were complaining, accusing, justifying, and defending. As concluding remarks, a few comments will be made about why participants use Extreme Case formulations in these activities.Part of the business of complaining involves portraying a situation as (...) a legitimate complainable. This may take the form of protraying the offense committed and/or the suffering endured in a way such that it would not be dismissed as minor. So as to legitimize a complaint and portray the complainable situation as worthy of the complaint, a speaker may portray the offense and/or the suffering with Extreme Case formulations. In both accusing and defending, participants ofyen present their strongest cases, including specifying Extreme Cases of their claims.Part of justifying a course of actions may involve portraying the precipitating circumstance as necessitating the action. The precipitating circumstance may be a problem circumstance which is portrayed as unfair, immoral, embarrassing, uncomfortable, or in some other way undesirable and/or intolerable. There is a shared assumption that the worse the problem, the more necessary it is to do something about it. In justifying, speakers use Extreme Case formulations to portray the circumstances that precipitated their actions as demanding their actions.A problem that participants have when engaged in, or reflecting on, conflicts, complaints, criticism, compliments, praise, etc. is to attribute the cause of the phenomenon. Who or what is responsible for the conflictual, complainable, praise-worthy state of affairs? One method that is used to determine what or who is responsible, i.e. to make an attribution, involves comparing the case in question to other similar cases. Through this procedure, persons determine that they are (are not) responsible for the state of affairsin questions. Extreme Case proportional formulations (‘everyone,’ ‘all,’ ‘every time’) are used to indicate that any individual member of that category is not responsible for the state of affairs; that responsibility is to be attributed elsewhere.The social order essentially is a moral order (Garfinkel, 1967). One of the ways of knowing what is acceptable and right is by finding out how people behave. There often is a shared assumption operating (one that is called into question on occasion): how people behave tells us what is the right way to behave. Proportional measures reporting the frequency or prevalence of practices are used to propose and substantiate the rightness and wrongness of those practices. Extreme Case formulations (‘all the time,’ ‘everybody,’ ‘no one’) propose behaviors are acceptable and right or unacceptable and wrong. (shrink)

Recent developments in neuroscience have enabled technological advances to modulate cognitive functions of the brain. Despite ethical concerns about cognitive enhancement, both individuals and society as a whole can benefit greatly from these technologies, depending on how we regulate their use. To date, regulatory analyses of neuromodulation technologies have focused on a technology itself – for instance, the U.S. Food and Drug Administration regulation of a brain stimulation device – rather than the use of a technology, such as the use (...) of a brain stimulation device at work or school. Given that some forms of cognitive enhancement have already started to penetrate the general public’s everyday life, we should begin our discussion on potential regulatory issues regarding their use in various real-world situations. The goal of the article is to fill the gap by providing an analytic framework to examine these regulatory issues. More specifically, it aims to illustrate the issues around respecting autonomy and preventing coercive use of cognitive enhancement. The proposed framework categories the real-world settings where a neuromodulation technology can be used for cognitive enhancement based on two criteria – who is subjected to cognitive enhancement and who imposes cognitive enhancement. Based on this framework, the article analyzes regulatory issues arising out of every combination of subject/imposing party by taking one example case. Focusing on the regulations in the U.S., this analysis shows the current lack of adequate safeguards against the coercive use and calls for more attention from government agencies and researchers to develop sound policies regarding current and potentially more widespread use of cognitive enhancement. (shrink)

The analysis in this article considers how dispatchers in a 911 wireless call center direct callers’ orientations from one possible trajectory of action to keeping the caller engaged and prepared to speak with a second dispatcher. We describe how dispatchers deploy two distinct actions, a directing action and an informing action, timed at a precise moment to execute successful transfers. The analysis presents largely unexplored features of the call transfer environment, including dispatchers’ management of callers’ expectations and how the transfer (...) phase contributes to a reshaping of the overall structural organization of a 911 call. (shrink)

In this paper, we reflect on the disciplinary contours of contemporary sociology, and social science more generally, in the age of ‘big and broad’ social data. Our aim is to suggest how sociology and social sciences may respond to the challenges and opportunities presented by this ‘data deluge’ in ways that are innovative yet sensitive to the social and ethical life of data and methods. We begin by reviewing relevant contemporary methodological debates and consider how they relate to the emergence (...) of big and broad social data as a product, reflexive artefact and organizational feature of emerging global digital society. We then explore the challenges and opportunities afforded to social science through the widespread adoption of a new generation of distributed, digital technologies and the gathering momentum of the open data movement, grounding our observations in the work of the Collaborative Online Social Media ObServatory project. In conclusion, we argue that these challenges and opportunities motivate a renewed interest in the programme for a ‘public sociology’, characterized by the co-production of social scientific knowledge involving a broad range of actors and publics. (shrink)

This paper relates Donaldson and Dunfee’s Integrative Social Contracts Theory to the problem of gender discrimination. We make the assumption that multinational managers might seek some guidance from ISCT to resolve ethical issues of gender discrimination in countries indifferent or hostile to gender equaIity. The role of Donaldson and Dunfee’s “hypernorms” seems especially cruciaI, and we find that, under their writings thus far, no “hypernorms” exist to make unethical the most blatant acts of sex discrimination in a host country whose (...) local norms tolerate such discrimination. The genesis of “hypernorms” as “global moral minimums” is recounted, and specific application of ISCT to a familiar ethics case (“A Foreign Assignment”) is provided. (shrink)

One of the most intriguing of philosophical puzzles concerns other minds. How do you know there are any? Yes, you're surrounded by living organisms that look and behave much as you do. They even say they have minds. But do they? Perhaps other humans are mindless zombies: like you on the outside, but lacking any inner conscious life, including emotions, thoughts, experiences and even pain. What grounds do you possess for supposing that other humans aren't zombies? Perhaps less than you (...) think. Anita Avramides tackles this fascinating question. (shrink)

This article engages Axel Honneth’s recent work on Georg Lukács’ concept of reification in order to formulate a politically relevant and historically specific critique of capitalism that is applicable to theorizing contemporary democratic practice. I argue that Honneth’s attempt to reorient the critique of reification within the terms of a theory of recognition has done so at the cost of sacrificing the core of the concept, which forged a connection between the socio-political analysis of capitalist domination and an analysis of (...) the unengaged, spectatorial stance of human beings toward the world, showing how they together impede emancipatory social transformation. In order to accomplish the unfinished task of rendering the critique of reification applicable to contemporary critical theory, I seek to synthesize the advantages of Honneth’s approach, which focuses on the normative aspects of the critique of reification, with Lukács’ emphasis on the practical, political-economic dimensions of reification and the historically specific pathologies of the capitalist social form. (shrink)

Can the government stick us with privacy we don't want? It can, it does, and according to this author, may need to do more of it. Privacy is a foundational good, she argues, a necessary tool in the liberty-lover's kit for a successful life. A nation committed to personal freedom must be prepared to mandate inalienable, liberty-promoting privacies for its people, whether they eagerly embrace them or not. The eight chapters of this book are reflections on public regulation of privacy (...) at home; isolation and confinement for punitive and health reasons; religious modesty attire; erotic nudity; workplace and professional confidentiality; racial privacy; online transactions; social networking; and the collection, use and storage of electronic data. (shrink)