We are currently seeing a revival of interest in Aquinas's moral thought among Christian ethicists, both Protestant and Catholic. Although recent studies of his moral thought have touched on a number of topics, the majority of these have focused on his account of the virtues and their place in the Christian life. Probing the questions of the relation of virtue and law, the role of reason and will, and the place of the passions in Aquinas's moral theology, I will examine (...) recent studies by Diana Cates, Pamela Hall, Simon Harak, James Keenan, Daniel Nelson, Daniel Westberg, and Paul Waddell. In different ways these studies return us repeatedly to the vexed and unresolved question of the scope of human freedom. (shrink)

The forensic use of DNA involves the public in a number of roles. The rapid adoption of DNA identification as a part of the legal system and continuing developments have afforded little opportunity to thoroughly interrogate public understandings of issues. This article reports on a survey that explores public understanding of the forensic use of DNA: sources of knowledge, understandings of processes, and attitudes toward DNA use. Overall, knowledge about DNA use was limited, particularly around means of taking samples and (...) storage, and two thirds stated that they did not have enough information about DNA use. While the majority agreed that such use of DNA is “a great step forward,” they “would be happy to give a DNA sample if requested,” and considered DNA evidence to be important, concern was indicated about some areas, such as possible mistakes. This was particularly the case for indigenous peoples. (shrink)

Several extensions of the basic modal language are characterized in terms of interpolation. Our main results are of the following form: Language ℒ' is the least expressive extension of ℒ with interpolation. For instance, let ℳ be the extension of the basic modal language with a difference operator [7]. First-order logic is the least expressive extension of ℳ with interpolation. These characterizations are subsequently used to derive new results about hybrid logic, relation algebra and the guarded fragment.

S.O.S. Songs of the Sea is the perfect mix of music, creativity, and fun for music teachers, classroom teachers, child care providers ... and kids! Students will enjoy learning about the sea and its creatures through the engaging songs and activities. Classroom curriculum, music, crafts, and snacks are integrated, overlapped and joined to immerse students in a joyful, creative learning experience.

In this paper we study the expressive power and definability for modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt–Thomason definability theorem in terms of the well-established first-order topological language.

We consider second-order propositional modal logic (SOPML), an extension of the basic modal language with propositional quantifiers introduced by Kit Fine in 1970. We determine the precise expressive power of SOPML by giving analogues of the Van Benthem–Rosen theorem and the Goldblatt Thomason theorem. Furthermore, we show that the basic modal language is the bisimulation invariant fragment of SOPML, and we characterize the bounded fragment of first-order logic as being the intersection of first-order logic and SOPML.

In the Three Dialogues, Hylas challenges Philonous to give a plausible account of the mosaic account of creation in subjective idealistic terms. Strangely, when faced with two alternative strategies, Berkeley chooses the less viable option and explicates the mosaic account of creation in terms of perceptibility. I shall show that Berkeley’s account of creation trivializes the affair, if it does not fail outright.

We show that every extension of the basic hybrid logic with modal Sahlqvist axioms is complete. As a corollary of our approach, we also obtain the Beth property for a large class of hybrid logics. Finally, we show that the new completeness result cannot be combined with the existing general completeness result for pure axioms.

Student-generated video creation assessments are an innovative and emerging form of assessment in higher education. Academic staff may be understandably reluctant to transform assessment practices without robust evidence of the benefits and rationale for doing so and some guidance regarding how to do so successfully. A systematic approach to searching the literature was conducted to identify relevant resources, which generated key documents, authors and internet sources which were thematically analysed. This comprehensive critical synthesis of literature is presented here under the (...) headings of findings from literature, relevance of digital capabilities, understanding the influence of local context and resources, and pedagogical considerations. Student-generated video creation for assessment is shown to have several benefits, notably in supporting development of digital and communication skills relevant to today’s world and in enhancing learning. As an emerging innovation within assessment, intentionally planning and supporting a change management process with both students and staff is required. The importance of alignment to learning outcomes, context and resources, choice of video format to desired skills development, and to relevance beyond graduation is emphasised for video creation in assessment to be used successfully. Video creation for assessment is likely to grow in popularity and it is hoped the evidence of benefits, rationale and guidance as to how to do this effectively presented here will support this transformation. Further research to consider video creation for assessment with individuals rather than collaborative group assessments, and to establish academic rigour and equivalence would be beneficial. (shrink)

The paper constitutes an exploration of the construction of academic identities through a retrospective autoethnographic narrative analysis. In what is an essentially experimental mode I set out to examine processes of identification, and in particular, the understanding of desire that lies at the heart of them, for, it can be argued without desire there is no identity. Therefore, I begin my analysis by following two lines of thought concerning desire. The first, drawing on the work of Lacan, conceives of desire (...) negatively as lack (Fink 1995; Lacan 2001). The second deriving from the work of Deleuze and Guattari (2004/1987, 2004/1972) constructs desire as abundance, a positive force. These two conceptualisations may, at first sight, appear to be opposed but is this necessarily the case? The question to be examined then is, to what extent can these two conceptualisations of desire – as lack and as abundance - be held to be incommensurable? And following this, can an unstable accommodation between desire as lack and desire as abundance be drawn on in theorising processes of identification and the subjectivities that these processes give rise to? If identification is always (already?) an inherently unstable process, located within a space, which I shall designate a narrative space, how does a mobilisation of desire which moves between lack and abundance enable a creative and experimental conceptualisation of processes of identification to emerge? (shrink)

We consider second-order propositional modal logic (SOPML), an extension of the basic modal language with propositional quantifiers introduced by Kit Fine in 1970. We determine the precise expressive power of SOPML by giving analogues of the Van Benthem–Rosen theorem and the Goldblatt Thomason theorem. Furthermore, we show that the basic modal language is the bisimulation invariant fragment of SOPML, and we characterize the bounded fragment of first-order logic as being the intersection of first-order logic and SOPML.

The forensic use of Deoxyribonucleic Acid (DNA) is demonstrating significant success as a crime-solving tool. However, numerous concerns have been raised regarding the potential for DNA use to contravene cultural, ethical, and legal codes. In this article the expectations and level of knowledge of the New Zealand public of the DNA data-bank and the surrounding processes are discussed. A questionnaire was developed in consultation with key stakeholders, comprising a combination of open and closed questions. The ensuing survey comprised a sample (...) of 100 participants. Although participants initially appeared in favor of the forensic use of DNA, particularly in regard to the collection of DNA from sex offenders, perceptions and attitudes were based on limited knowledge of processes, policies, and implications. Upon further discussion and reflection a number of concerns were raised, such as ownership of DNA samples and the potential for misuse. (shrink)

The Professional Practice Program, also known as the co-operative education (co-op) program, at the University of Cincinnati (UC) is designed to provide eligible students with the most comprehensive and professional preparation available. Beginning with the Class of 2006, students in UC’s Centennial Co-op Class will be following a new co-op curriculum centered around a set of learning outcomes Regardless of their particular discipline, students will pursue common learning outcomes by participating in the Professional Practice Program, which will cover issues of (...) organizational culture, technology, professional ethics, and the integration of theory and practice. During their third co-op work term, students will complete a learning module on Professional Ethics. To complete the learning module students must familiarize themselves with the code of ethics for their profession, create a hypothetical scenario portraying an ethical dilemma that involves issues covered by the code, resolve the dilemma, and explain why their resolution is the best course of action based upon the code of ethics. A three-party assessment process including students, employers and faculty complete the module. (shrink)

Dynamic predicate logic (DPL), presented in [5] as a formalism for representing anaphoric linking in natural language, can be viewed as a fragment of a well known formalism for reasoning about imperative programming [6]. An interesting difference from other forms of dynamic logic is that the distinction between formulas and programs gets dropped: DPL formulas can be viewed as programs. In this paper we show that DPL is in fact the basis of a hierarchy of formulas-as-programs languages.

Artificial grammar learning (AGL) is used to study how human adults, infants, animals or machines learn various sorts of rules defined over sounds or visual items. Ten Cate et al. introduce the topic and provide a critical synthesis of this important interdisciplinary area of research. They identify the questions that remain open and the challenges that lie ahead, and argue that the limits of human, animal and machine learning abilities have yet to be found.

Objective To assess whether the frequency of end-of-life decisions for children under 1 year of age in the Netherlands has changed since ultrasound examination around 20 weeks of gestation became routine in 2007 and after a legal provision for deliberately ending the life of a newborn was set up that same year. Methodology This was a recurrent nationwide cross-sectional study in the Netherlands. In 2010, a sample of death certificates from children under 1 year of age was derived from the (...) central death registry. All 223 deaths that occurred in a 4-month study period were included. Physicians who had reported a non-sudden death (n=206) were sent a questionnaire on the end-of-life decisions made. 160 questionnaires were returned (response 78%). Findings In 2010, 63% of all deaths of children under 1 year of age were preceded by an end-of-life decision—a percentage comparable to other times when this study was conducted (1995, 2001, 2005). These end-of-life decisions were mainly decisions to withdraw or withhold potentially life-sustaining treatment. In 2010, the percentage of cases in which drugs were administered with the explicit intention to hasten death was 1%, while in 1995 and 2001, this was 9% and in 2005, this was 8%. Discussion and conclusion There has been a reduction of infant deaths that followed administration of drugs with the explicit intention to hasten death. One explanation for this reduction relates to the introduction of routine ultrasound examination around 20 weeks of gestation. In addition, the introduction of legal criteria and a review process for deliberately ending the life of a newborn may have left Dutch physicians with less room to hasten death. (shrink)

Sumner B. (Barney) Twiss, who died in 2023, was for ten years a General Editor of the Journal of Religious Ethics (JRE). He was a frequent contributor of articles, a member of the JRE Editorial Board, and a member of the journal's Board of Trustees. In this article, colleagues and students reflect on some of his many contributions, not only to the JRE but to the broader discursive fields of comparative religious ethics and human rights.

A portrait of the influential western philosopher and writer is targeted to lay readers and seeks to clarify his ideas and influences, offering insight into the impact of his chronic ill health and insanity on his beliefs while challenging stereotypes that have been attributed to his character. 10,000 first printing.

Richard Miller uses the concepts of alterity and intimacy as touchstones for analyzing neglected aspects of our interpersonal and social relationships. He argues that, as persons in relation, we oscillate between experiences of alterity and intimacy, and it is with a greater awareness of this oscillation that we do best to consider our ethical responsibilities. This paper affirms the value of thinking about—and potentially reimagining—how we conceive and relate to various others. It also makes explicit that, as persons, each of (...) us is separate, not only from some, but from all other persons, even as we are also one with them. Moreover, each of us is different from all other persons, even as we are also like them. The aspects of persons and relationships on which we focus, in a given situation, matter because they partly determine the choices that we make in another’s regard. (shrink)

While Immanuel Kant is recognized as one of history's most influential philosophers and ethicists, his thought and writings also contain significant clinical implications that deserve attention. His philosophy is briefly explained and shown to anticipate modern developments in understanding human consciousness and many principles for effective psychotherapy. Kant's "categorical imperative," in particular, implies and anticipates valuable clinical interventions. Kant's principles that are ethically "right" for clients turn out to be clinically "good" for them as well. 2012 APA, all rights reserved).

This paper provides several examples of how modal logic can be used in studying the XML document navigation language XPath. More specifically, we derive complete axiomatizations, computational complexity and expressive power results for XPath fragments from known results for corresponding logics. A secondary aim of the paper is to introduce XPath in a way that makes it accessible to an audience of modal logicians.

ABSTRACT To address challenges to the primacy of the subject in speculative realism, we put Levi R. Bryant's object-oriented ontology in conversation with Jacques Lacan's register theory. In so doing, we recuperate an autonomous materiality for itself, providing a reading of the debate between Slavoj Žižek and Ernesto Laclau over the Lacanian Real and simultaneously providing a rich map of the being of subjectivity and modes of the rhetorical. We systematize Žižek's claim that each element of the register resonates with (...) the others to produce an ontical cartography: a map of the different intersections of the materially autonomous Real with the Symbolic and Imaginary elements of the Lacanian subject. By delimiting the characteristics of these intersections, we can better understand the different valences in which rhetoric operates without foreclosing the agency of objects and the objectivity of subjects. (shrink)

This paper provides several examples of how modal logic can be used in studying the XML document navigation language XPath. More specifically, we derive complete axiomatizations, computational complexity and expressive power results for XPath fragments from known results for corresponding logics. A secondary aim of the paper is to introduce XPath in a way that makes it accessible to an audience of modal logicians.

The implementation of inclusive policies is largely dependent on teachers´ willingness to accommodate students with special educational needs (SEN) in mainstream classrooms, which is affected by their perceived competence and attitudes. This study investigated attitudes of pre- and in-service teachers toward students with two types of SEN: challenging behavior and learning difficulties. The three components of attitude (affective, cognitive, and behavioral) were assessed using indirect and direct measures. Results revealed that teachers held negative implicit attitudes toward challenging behavior and learning (...) difficulties, however implicit attitudes did not vary as a function of the type of SEN. Ratings of the stereotypical dimensions warmth and competence and overall ratings of scholastic achievement were affected by professional status and type of SEN. Professional status, implicit attitudes and stereotypical knowledge together explained 52 and 43% of the variance in teachers´ ratings of academic proficiency for students with challenging behavior and learning difficulties, respectively. Results are interpreted within the theoretical framework and implications for teacher training are discussed. (shrink)

We prove ExpTime-membership of the satisfiability problem for loosely ∀-guarded first-order formulas with a bounded number of variables and an unbounded number of constants. Guarded fragments with constants are interesting by themselves and because of their connection to hybrid logic.

The spring, summer, and fall 2006 editions of Critical Inquiry hosted a heated exchange between Ernesto Laclau and Slavoj Žižek regarding the proper definition of the Lacanian Real. Žižek claims "the Real is the inexorable abstract spectral logic of capital that determines what goes on in social reality". In response, Laclau states that Žižek's "spectral logic of capital" is a gross distortion of Lacanian theory: "The Real is not a specifiable object endowed with laws of movement on its own but, (...) on the contrary, something that only exists and shows itself through its disruptive effects within the Symbolic". Laclau's formulation of the Real, however, forecloses the possibility of... (shrink)

Human language is a salient example of a neurocognitive system that is specialized to process complex dependencies between sensory events distributed in time, yet how this system evolved and specialized remains unclear. Artificial Grammar Learning (AGL) studies have generated a wealth of insights into how human adults and infants process different types of sequencing dependencies of varying complexity. The AGL paradigm has also been adopted to examine the sequence processing abilities of nonhuman animals. We critically evaluate this growing literature in (...) species ranging from mammals (primates and rats) to birds (pigeons, songbirds, and parrots) considering also cross‐species comparisons. The findings are contrasted with seminal studies in human infants that motivated the work in nonhuman animals. This synopsis identifies advances in knowledge and where uncertainty remains regarding the various strategies that nonhuman animals can adopt for processing sequencing dependencies. The paucity of evidence in the few species studied to date and the need for follow‐up experiments indicate that we do not yet understand the limits of animal sequence processing capacities and thereby the evolutionary pattern. This vibrant, yet still budding, field of research carries substantial promise for advancing knowledge on animal abilities, cognitive substrates, and language evolution. (shrink)