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.

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)

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)

Professor Girle suggests that the ancient Athenian interest in Aristotle’s syllogistic flowed from a preoccupation with debate in the form of a dialogue game. But other cultures, especially in India, also had a preoccupation with debate that could be characterized in the same way. This kind of explanation seems to us to ignore the elephant in the room: the fact that, in ancient Athens, dialogue and debate were not merely a game. They were the life and death of the (...) state. Many Athenians felt that foolish policies had cost the state dearly, especially during the Peloponnesian War, and many of them blamed those policies on shoddy political reasoning in the Assembly. (Plato hammers at this theme relentlessly.) And tellingly, it is only in the wake of such tragedies that Aristotle’s syllogistic finally emerged. We think that any credible explanation of the ancient Greek interest in formal logic needs to include this grim political reality. (shrink)

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)

This lavishly illustrated book highlights the conservation importance of congregatory animals species--those which gather in vast groups. It also focuses on the irreplaceability of the congregation sites which are able to support such large gatherings of animals, fish, or birds.

This paper reports on a two-year, field-based study set in a charter management organization, a not-for-profit educational organization that operates 18 public schools exclusively in the Black and Latinx communities of South and East Los Angeles. At CMO-LAX, the nine-member Data Team pursues the organization's avowed mission of making public schools data-driven, primarily through the aggregation, analysis, and visualization of digital data derived from quotidian educational activities. This paper draws on the theory of racialized organizations to characterize aspects of data-driven (...) management of public education as practiced by CMO-LAX. I explore two examples of how CMO-LAX shapes data to support racial projects: the reconstruction of the figure of chronic truants and the incorporation of this figure in a calculative regime of student accomplishment. Organizational uses of data support a strategy I call productive myopia, a way of pursuing racial projects via seemingly independent, objective quantifications. This strategy allows the organization to claim to mitigate racial projects and, simultaneously, to accommodate them. This paper concludes by arguing for approaches to research and practice that center racial projects, particularly when data-intensive tools and platforms are incorporated into the provision of public goods and services such as education. (shrink)

Based on an ethnographic project in a public high school in a low-income neighborhood in South Los Angeles, this paper argues that access to information and communication technologies cannot be taken as helpful or empowering on its own terms; instead, concerns about justice must be accounted for by the local communities technology is meant to benefit. This paper juxtaposes the concept of technological access with recent work in feminist science and technology studies on infrastructure, maintenance, and ethics. In contrast to (...) popular descriptions of ICTs as emancipatory and transformative, in the setting of an urban school, access produced extensive demands for attention, time, and information. This paper focuses on the labor of a group of student workers, Student Technology Leaders, and how they became responsible for the significant amount of repair and maintenance work involved in keeping hundreds of new computing devices available for use. An expanded process of accounting can more realistically frame issues of justice and its relationship to ICTs. I use a town hall meeting held with these students as an example of a processual vision of justice, one that encourages the beneficiaries of technological access to evaluate costs, benefits, and ethical concerns together. (shrink)

Change blindness, the surprising inability of people to detect significant changes between consecutively-presented visual displays, has recently been shown to affect tactile perception as well. Visual change blindness has been observed during saccades and eye blinks, conditions under which people’s awareness of visual information is temporarily suppressed. In the present study, we demonstrate change blindness for suprathreshold tactile stimuli resulting from the execution of a secondary task requiring bodily movement. In Experiment 1, the ability of participants to detect changes between (...) two sequentially-presented vibrotactile patterns delivered on their arms and legs was compared while they performed a secondary task consisting of either the execution of a movement with the right arm toward a visual target or the verbal identification of the target side. The results demonstrated that a motor response gave rise to the largest drop in perceptual sensitivity in detecting changes to the tactile display. In Experiment 2, we replicated these results under conditions in which the participants had to detect tactile changes while turning a steering wheel instead. These findings are discussed in terms of the role played by bodily movements, sensory suppression, and higher order information processing in modulating people’s awareness of tactile information across the body surface. (shrink)

One of the questions that Heidegger presents in his paper, ‘Plato’s Doctrine on Truth’, is the distortion as he sees it of paideia—that is the loss of the essential elements in education. This loss is characterised according to Heidegger, by a misconception of Plato’s concept of teaching and learning. By undertaking an historical examination, Heidegger provides a means to rectify this loss. With reference to past, present and future philosophical perspectives of teaching and learning as particular spaces, an attempt is (...) made in this paper to examine Heidegger’s reading of paideia within the context of online learning. This, for many contemporary writers on education, is an encounter with new literacies, new knowledge and the adoption of an online environment that challenges the hegemonic order of the institution as the purveyors of knowledge. Teachers within this new environment are, however still constituted as experts and their knowledge is seen as ultimately inviolate. Heidegger in his re-interpretation of Plato sees the teacher as leading the students to where they might make themselves intelligible within the space of their being. This alignment forms an acceptance and a challenge to the metaphysical concepts of uniformity of being and place that limits the potential of knowledge as something that is fixed and complete. The experience of the social web or Web 2.0 has seen a shift in learning premised upon dialogue, exchange and constantly shifting horizons. Within this context, the teacher is recast as a craftsman, creating learning opportunity within dialogic exchange. The heightened sense of involvement that is revealed in this context lays the ground for a future visioning of education where emergence is seen as essential, unlike a re-working of authorisation to learn that inhibits student and teacher alike in new attempts at revitalising education. (shrink)

BackgroundBehavioral and physiological regulation in early life is crucial for the understanding of childhood development and adjustment. The autonomic nervous system is a main player in the regulative system and should therefore be modulated by the quality of interactive behavior of the caregiver. We experimentally investigated the ANS response of 18–36-month-old children in response to the quality of maternal behavior during a mother–child-interacting paradigm.MethodEighty mothers and their children came to our laboratory and took part in an experimental paradigm, consisting of (...) three episodes: a resting phase, a structured play phase, and a free play situation between mothers and their child. Children’s and mother’s heart rate, the sympathetic nervous system activity via the pre-ejection period and the left ventricular ejection time, and the parasympathetic nervous system activity via the respiratory sinus arrhythmia were continuously measured by an electrocardiogram. Maternal sensitivity of interactive behavior was assessed by using the Emotional Availability Scales.ResultsChildren of mothers with insensitive behavior had a significantly lower RSA at baseline, showed a lack of RSA withdrawal during structured and free play, and had shorter LVET across all episodes compared to children of sensitive mothers.ConclusionOur findings depict the influence of low-quality maternal interaction on the child’s ANS regulation, in calm and more stressful play situations. The overall higher SNS mode with impaired PNS reactivity may negatively influence child’s ANS homoeostasis, which may result in a long-term impact on mental and physical wellbeing. Further, the maternal sensitivity may function as a buffer for the stress response of their child. These results could serve as a basis for the development of appropriate psychoeducational programs for mothers of low sensitivity in their interaction with the child. (shrink)

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

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)