Gödel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Parts of the book are mathematical, parts philosophical.

Objectives To conduct an independent evaluation of the first phase of the Health Foundation’s Safer Patients Initiative (SPI), and to identify the net additional effect of SPI and any differences in changes in participating and non-participating NHS hospitals. Design Mixed method evaluation involving five substudies, before and after design. Setting NHS hospitals in the United Kingdom. Participants Four hospitals (one in each country in the UK) participating in the first phase of the SPI (SPI1); 18 control hospitals. Intervention The SPI1 (...) was a compound (multi-component) organisational intervention delivered over 18 months that focused on improving the reliability of specific frontline care processes in designated clinical specialties and promoting organisational and cultural change. Results Senior staff members were knowledgeable and enthusiastic about SPI1. There was a small (0.08 points on a 5 point scale) but significant (P<0.01) effect in favour of the SPI1 hospitals in one of 11 dimensions of the staff questionnaire (organisational climate). Qualitative evidence showed only modest penetration of SPI1 at medical ward level. Although SPI1 was designed to engage staff from the bottom up, it did not usually feel like this to those working on the wards, and questions about legitimacy of some aspects of SPI1 were raised. Of the five components to identify patients at risk of deterioration—monitoring of vital signs (14 items); routine tests (three items); evidence based standards specific to certain diseases (three items); prescribing errors (multiple items from the British National Formulary); and medical history taking (11 items)—there was little net difference between control and SPI1 hospitals, except in relation to quality of monitoring of acute medical patients, which improved on average over time across all hospitals. Recording of respiratory rate increased to a greater degree in SPI1 than in control hospitals; in the second six hours after admission recording increased from 40% (93) to 69% (165) in control hospitals and from 37% (141) to 78% (296) in SPI1 hospitals (odds ratio for “difference in difference” 2.1, 99% confidence interval 1.0 to 4.3; P=0.008). Use of a formal scoring system for patients with pneumonia also increased over time (from 2% (102) to 23% (111) in control hospitals and from 2% (170) to 9% (189) in SPI1 hospitals), which favoured controls and was not significant (0.3, 0.02 to 3.4; P=0.173). There were no improvements in the proportion of prescription errors and no effects that could be attributed to SPI1 in non-targeted generic areas (such as enhanced safety culture). On some measures, the lack of effect could be because compliance was already high at baseline (such as use of steroids in over 85% of cases where indicated), but even when there was more room for improvement (such as in quality of medical history taking), there was no significant additional net effect of SPI1. There were no changes over time or between control and SPI1 hospitals in errors or rates of adverse events in patients in medical wards. Mortality increased from 11% (27) to 16% (39) among controls and decreased from 17% (63) to 13% (49) among SPI1 hospitals, but the risk adjusted difference was not significant (0.5, 0.2 to 1.4; P=0.085). Poor care was a contributing factor in four of the 178 deaths identified by review of case notes. The survey of patients showed no significant differences apart from an increase in perception of cleanliness in favour of SPI1 hospitals. Conclusions The introduction of SPI1 was associated with improvements in one of the types of clinical process studied (monitoring of vital signs) and one measure of staff perceptions of organisational climate. There was no additional effect of SPI1 on other targeted issues nor on other measures of generic organisational strengthening. (shrink)

In this paper we compare central elements of Dialogue Logic and Belief Revision theory. Dialogue Logic of the Hamblin/Mackenzie style, or Formal Dialectic, contains three main features. First, there is a rule governed interaction between dialogue participants—the minimal case being two participants. Second, each participant has a commitment store which changes as the dialogue progresses. Third, the changes in the commitment store are governed by rules for additions and withdrawals of material. Withdrawal of material is one major source of difficulty (...) in proposing rules for commitment store change. The classic Belief Revision theory is the AGM theory. AGM theory is a theory about ideal rational believers who change their sets of beliefs by either expansion or contraction. Contraction is a major source of difficulty in belief revision theory. We claim that the commitment stores of dialogue logic include, in a sense, the belief sets of belief revision theory. Further, withdrawal and contraction are essentially the same process. We consider various kinds of withdrawal and contraction, and show how approaches to these processes illuminate certain of the formal fallacies. (shrink)

INTRODUCTION TO LOGIC is a combined text and workbook for students beginning their study of logic. The workbook style allows students to proceed at their own pace, checking their progress in the end-of-chapter exercises. The text covers propositional logic and predicate logic with identity, the focus being on arguments. The methods of proof are truth-tables and truth-trees in the style of Jeffrey. This text is suitable for students of philosophy, computer science, mathematics and science in general.

Jan Łukasiewicz’s analysis of Aristotle’s syllogism drew attention to the nature of syllogisms as conditionals rather than premise-conclusion arguments. His further idea that syllogisms should be understood as theorems of an axiom system seems a step too far for many logicians. But there is evidence to suggest that Aristotle’s syllogism was to regularise some of the steps made in ‘dialogue games.’ This way of seeing the syllogism is explored in the framework of modern formal dialogue systems. A modern formal syllogistic (...) game, DLSyll, is set out and analysed in use. (shrink)

It has been argued that consciousness might be what differentiates human from machine mentality. What then is consciousness? We discuss consciousness, particularly perception accounts of consciousness. It is argued that perception and consciousness are distinct. Armstrong's account of consciousness is rejected. It is proposed that perception is a necessary but not sufficient condition for consciousness, and that there is a distinction to be drawn between consciousness and self-consciousness. Consciousness is tightly linked to attention and to certain sorts of knowledge. Implications (...) for machine consciousness and machine attention are discussed. (shrink)

In Part 1 the reader is introduced to some standard systems of modal logic and encouraged through a series of exercises to become proficient in manipulating these logics. The emphasis is on possible world semantics for modal logics and the semantic emphasis is carried into the formal method, Jeffrey-style truth-trees. Standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 systematically explores the applications of modal logic to philosophical issues such as truth, (...) time, processes, knowledge and belief, obligation and permission. Accessible, authoritative, and assured, Modal Logics and Philosophy requires no more background than the completion of a standard introductory logic course. It will be welcomed not only by students looking for a bridge between introductory logic texts and the high-level technical literature but as a guide to, and exploration of, work at the forefront of logic and philosophy. (shrink)

The first edition, published by Acumen in 2000, became a prescribed textbook on modal logic courses. The second edition has been fully revised in response to readers' suggestions, including two new chapters on conditional logic, which was not covered in the first edition. "Modal Logics and Philosophy" is a fully comprehensive introduction to modal logics and their application suitable for course use. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, "Modal Logics and Philosophy" (...) places its emphasis firmly on showing how useful modal logic can be as a tool for formal philosophical analysis. In part 1 of the book, the reader is introduced to some standard systems of modal logic and encouraged through a series of exercises to become proficient in manipulating these logics. The emphasis is on possible world semantics for modal logics and the semantic emphasis is carried into the formal method, Jeffrey-style truth-trees. Standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 systematically explores the applications of modal logic to philosophical issues such as truth, time, processes, knowledge and belief, obligation and permission. (shrink)

Ever since Saul Kripke and others developed a semantic interpretation for modal logic, 'possible worlds' has been a much debated issue in contemporary metaphysics. To propose the idea of a possible world that differs in some way from our actual world - for example a world where the grass is red or where no people exist - can help us to analyse and understand a wide range of philosophical concepts, such as counterfactuals, properties, modality, and of course, the notions of (...) possibility and necessity. This book examines the ways in which possible worlds have been used as a framework for considering problems in logic and argument analysis. The book begins with a non-technical introduction to the basic ideas of modal logic in terms of Kripke's possible worlds and then moves on to a discussion of 'possible for' and 'possible that'. The central chapters examine questions of meaning, epistemic possibility, temporal logic, metaphysics, and impossibility. Girle also investigates how the idea of a possible world can be put to use in different areas of philosophy, the problems it may raise, and the benefits that can be gained. (shrink)

Ever since Saul Kripke and others developed a semantic interpretation for modal logic, 'possible worlds' has been a much debated issue in contemporary metaphysics. To propose the idea of a possible world that differs in some way from our actual world - for example a world where the grass is red or where no people exist - can help us to analyse and understand a wide range of philosophical concepts, such as counterfactuals, properties, modality, and of course, the notions of (...) possibility and necessity. This book examines the ways in which possible worlds have been used as a framework for considering problems in logic and argument analysis. The book begins with a non-technical introduction to the basic ideas of modal logic in terms of Kripke's possible worlds and then moves on to a discussion of 'possible for' and 'possible that'. The central chapters examine questions of meaning, epistemic possibility, temporal logic, metaphysics, and impossibility. Girle also investigates how the idea of a possible world can be put to use in different areas of philosophy, the problems it may raise, and the benefits that can be gained. (shrink)

The new edition of this widely used and respected textbook includes three new chapters on conditional logic. Other chapters have been revised and updated, making the second edition a fully comprehensive introduction to modal logics and their application. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, Modal Logics and Philosophy focuses on showing how useful modal logic can be as a tool for formal philosophical analysis. In Part 1, the reader is introduced to (...) some standard systems of modal logic and provided with a series of exercises that encourage proficiency in manipulating these logics. Girle emphasizes possible world semantics for modal logics and its formal method, Jeffrey-style truth-trees, in which standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 explores the applications of modal logic to philosophical issues such as truth, time, processes, knowledge and belief, and obligation and permission. (shrink)

There are several formal systems for persuasive dialogue. Dialogue systems are multi-Agent systems, and this contrasts with the general lack of any agency in standard logics other than in the case of epistemic and deontic logics. Dialogue systems have been called logics. A logic usually has a semantics and a proof system, and questions of soundness and completeness arise. Any dialogue conducted according to the rules of a dialogue logic is a complex process. Dynamic Logic is a logic of processes, (...) with a possible world semantics. This paper is a preliminary exploration of transforming the dialogues of dialogue logic into complex Dynamic Logic processes with emphasis on semantic models. The transformation gives rise to many questions, three of which are discussed. Dialogue logic includes commitment sets which behave in a way similar to belief sets and undergo changes during any dialogue. There are issues as to the relationship between belief and commitment, and whether the logics of belief change apply to commitment stores. There is also the issue of the logical nature of the evaluation of dialogues as legal or illegal. (shrink)

This chapter contains sections titled: The Start Line Lap One, Where Cycling Practice Meets Feminist Ethics Lap Two, Words from Our Teammates or The Dirt Documentaries Lap Three, Different Lines, Same Course Last Lap, How Women Cyclists Transform Cycling.

L'objet chez Duchamp n'est ni la chose ni la matière : c'est un concept artistique. L'objet duchampien fait disparaître la signification habituelle d'une chose quotidienne sous un nouveau titre. Sur la base de cette définition de l'objet duchampien, nous développons trois hypothèses : l'objet ou le mensonge pictural, ce qui n'est pas l'objet ou la chose elle-même, et l'idée de l'objet duchampien ou la chose indirecte. À travers l'esthétique et la méthode de Duchamp, nous en venons à conclure que l'objet (...) duchampien est mensonge pictural et chose indirecte. Car Duchamp profite du mensonge, au sens de Platon, qui ne se réalise que dans l'art, et il présente méthodiquement la chose quotidienne comme chose indirecte. (shrink)

Relational, selfless, caring, polite, nice, and kind are not how we imagine a woman giving birth in U.S. culture. Rather, we picture her as screaming, yelling, self-centered, and demanding drugs or occasionally as numbed and passive from pain-killing medication. Using in-depth interviews with women about their labor and childbirth, the author presents data to suggest that white, middle-class, heterosexual women often worry about being nice, polite, kind, and selfless in their interactions during labor and childbirth. This finding is important not (...) only because it contradicts the dominant cultural image of the birthing woman but because it reveals that an internalized sense of gender plays a role in disciplining women and their bodies during childbirth. The feminist sociological literatures on birth are concerned with how women and their bodies are controlled, yet they have overlooked this other dimension of control that is not institutional but is a product of how gender is internalized. (shrink)

Over the past decade, sexual rumor spreading, slut-shaming, and homophobic labeling have become central examples of bullying among young women. This article examines the role these practices— what adults increasingly call “bullying” and what girls often call “drama”— play in girls’ gendering processes. Through interviews with 54 class and racially diverse late adolescent girls, I explore the content and functions of “sexual drama.” All participants had experiences with this kind of conflict, and nearly a third had been the subject of (...) other girls’ rumors about their own sexual actions and/or orientations. Their accounts indicate that sexual drama offers girls a socially acceptable site for making claims to, and sense of, gendered sexuality in adolescence. While they reproduce inequality through these practices, sexual drama is also a resource for girls—one that is made useful through the institutional constraints of their high schools, which reinforce traditional gender norms and limit sexuality information. (shrink)

Our fascination with artificial intelligence (AI), robots and sentient machines has a long history, and references to such humanoids are present even in ancient myths and folklore. The advancements in digital and computational technology have turned this fascination into apprehension, with the machines often being depicted as a binary to the human. However, the recent domains of academic enquiry such as transhumanism and posthumanism have produced many a literature in the genre of science fiction (SF) that endeavours to alter this (...) antagonistic notion of AI. In his novel Klara and the Sun, Kazuo Ishiguro explores this notion of AI as a caring machine capable of nursing an ailing young girl back to health. Through this portrayal of AI as a sentient being capable of empathy and cognition, Ishiguro is attempting to usher in a new perception of AI: a posthuman perception that challenges the conventional notions of AI as a machine devoid of emotions. The novel further expands on the idea of self, soul and human consciousness and ponders on the question, what makes humans human, and if it is possible to imbibe these qualities onto an AI. Owing to the novelty of this notion, an unexplored avenue that deserves further exploration, this paper examines the plausibility of this new notion of AI through a careful exegesis of the novel. The paper also attempts to chart the impact of SF in society and culture. The study reveals a positive shift in perception towards AI, and there seems to be much scope for interdisciplinary and transdisciplinary research. (shrink)

This book explores how the trans phenomenon can challenge the existing concept of the Self and its nature. The catalyst is Moore’s Paradox: can a trans person coherently state ‘I am a girl but I don’t believe that’? More deeply, three fundamental philosophical questions arise, of ontological, epistemological, and conceptual significance: what Self understands that the natal-gender is ‘wrong’? How does the trans person know that the natal-gender is ‘wrong’ and what counts as evidence? And finally, how does this effect (...) the concept of Self itself? Seeking answers, Brakel considers various theories of the Self, including classical accounts, modern views, and models developed by selected gender theorists. The book then takes a biological turn, first developing an evolutionary proper-function analysis of gender and trans-gender and subsequently proposing the possibility of a new ontological phenotype. With a review of cutting-edge neuroscientific research conducted over the last twenty-five years, Brakel propels this timely and important investigation toward the future, using experimental philosophy empirical studies adapted from classic thought experiments on the nature of the Self. (shrink)

My purpose in this paper is, firstly, to investigate the relationship of the three passages printed below, and, secondly, to illustrate in passing the curious chain of historical accidents which have prevented the truth about that relationship from becoming common lore long ago.

Recent research on children's worlds has revealed how gender varies in salience across social contexts. Building on this observation, the author examines a highly salient gendered moment of group life among four- and five-year-old children at a youth soccer opening ceremony, where gender boundaries were activated and enforced in ways that constructed an apparently “natural” categorical difference between the girls and the boys. The author employs a multilevel analytical framework to explore how children “do gender” at the level of interaction (...) or performance, how the structured gender regime constrains and enables the actions of children and parents, and how children's gendered immersion in popular culture provides symbolic resources with which children and parents actively create categorical differences. The article ends with a discussion of how gendered interactions, structure, and cultural meanings are intertwined, in both mutually reinforcing and contradictory ways. (shrink)

The recurrence of horse-imagery in Alcman's Partheneion suggested to Bowra that the chorus may have been the guild of priestesses called Leucippides, who seem from a mysterious gloss in Hesychius to have been known as It is true that the comparison of girls with fillies is common enough in Greek, but the appearance of Helen as of girls like at Ar. Lys. 1308–15 seems, as Bowra says, ‘to hide a ritual use of ’. The existence of this guild of priestesses (...) appears to be established from Paus. 3. 16. 1 and 3. 13. 7. In the latter passage they join with the in offering sacrifice to Dionysus and the unnamed hero who first guided him to Sparta, but it seems reasonable to assume that their principal concern was with the cult of the goddesses Phoebe and Hilaeira, the daughters of Leucippus, from whom, as Pausanias explicitly says , they took their name. (shrink)

The recurrence of horse-imagery in Alcman's Partheneion suggested to Bowra that the chorus may have been the guild of priestesses called Leucippides, who seem from a mysterious gloss in Hesychius to have been known as It is true that the comparison of girls with fillies is common enough in Greek, but the appearance of Helen as of girls like at Ar. Lys. 1308–15 seems, as Bowra says, ‘to hide a ritual use of ’. The existence of this guild of priestesses (...) appears to be established from Paus. 3. 16. 1 and 3. 13. 7. In the latter passage they join with the in offering sacrifice to Dionysus and the unnamed hero who first guided him to Sparta, but it seems reasonable to assume that their principal concern was with the cult of the goddesses Phoebe and Hilaeira, the daughters of Leucippus, from whom, as Pausanias explicitly says, they took their name. (shrink)

That women tend to see harassment where men see harmless fun or normal gendered interaction is one of the more robust findings in sexual harassment research. Using in-depth interviews with employed men and women, this article argues that these differences may be partially explained by the performative requirements of masculinity. The ambiguous practice of “girl watching” is centered, and the production of its meaning analyzed. The data suggest that men's refusal to see their behavior as harassing may be partially explained (...) through the objectification and attenuated empathy that the production of masculine identities may require. Thus, some forms of harassment and their interpretations may more accurately be seen as acts of ignoring than states of ignorance. Implications for anti-sexual harassment policies and training are explored. (shrink)