In his preface, Hunter explains that this volume is intended to provide for non-mathematicians an introduction to the most important results of modern mathematical logic. The reader will find here the work of Post, Skolem, Gödel, Church, Henkin, and others, presented in a terse and closely-knit style. Though acknowledging the trend toward natural deduction systems, Hunter sticks to more classical axiomatic systems on the grounds that the proofs of metatheorems are simplified by that choice. He begins with a formal system (...) of propositional logic, for which he develops proofs of completeness, consistency, and decidability. Systems of first order predicate logic are then dealt with, and Church's and Gödel's results on undecidability and incompleteness are presented. There is a brief, useful discussion indicating what parts of first order predicate logic are decidable. It is assumed that the reader has some familiarity with elementary formal logic: Hunter develops the set-theoretical results he requires. The compactness of the presentation is facilitated by the use of earlier results for propositional logic to obtain certain results for predicate logic. Especially helpful is Hunter's technique of prefacing each of the longer and more difficult proofs with a section explaining the key ideas and the general method of proof; summaries are also often provided in conclusion. Because of the orientation of the book, a more extensive discussion of the significance of the results obtained and the philosophical issues which have been raised concerning some of them, would have been welcome. Nonetheless, this is a good, concise introduction for those who are not yet prepared to tackle the more technical literature. A bibliography is provided for those interested in pursuing the subject in greater detail.--E. M. F. (shrink)

The first main result isolates some conditions which fail for the class of graphs and hold for the class of Abelian p-groups, the class of Abelian torsion groups, and the special class of "rank-homogeneous" trees. We consider these conditions as a possible definition of what it means for a class of structures to have "Ulm type". The result says that there can be no Turing computable embedding of a class not of Ulm type into one of Ulm type. We apply (...) this result to show that there is no Turing computable embedding of the class of graphs into the class of "rank-homogeneous" trees. The second main result says that there is a Turing computable embedding of the class of rank-homogeneous trees into the class of torsion-free Abelian groups. The third main result says that there is a "rank-preserving" Turing computable embedding of the class of rank-homogeneous trees into the class of Boolean algebras. Using this result, we show that there is a computable Boolean algebra of Scott rank ${\mathrm{\omega }}_{1}^{\mathrm{C}\mathrm{K}}$. (shrink)

An earlier version of this paper was presented at the 2011 IEEE International Symposium on Technology and Society at Saint Xavier University in Chicago, Illinois. This paper describes a proposed mobile platform, Transafe, that captures and analyses public perceptions of safety to deliver 'crowdsourced' collective intelligence about places in the City of Melbourne, Australia, and their affective states at various times of the day. Public perceptions of crime on public transport in Melbourne are often mismatched with actual crime statistics and (...) such perceptions thus can act as social barriers to visitors and locals traversing within and through the city. Using interactive mobile applications and social media, the visualization of this crowdsourced safety perception information will increase the commuter's awareness of various situations in the City of Melbourne. In addition, through social behavioral analysis and ethnographic research, the collective public intelligence will also help inform the stakeholders of the city for future policy-making and policing strategies for safety perception management. At the centre of the proposed platform is the design and development of a mobile phone application that can contribute to people feeling safer by supporting users to report crimes and misdemeanors that they witness, and provide information about transportation and emergency services around where the users are located. The proposed application can also act as a crime deterrent with one feature that enables user tracking by up to three nominated friends if the user opts to activate tracking when feeling unsafe while roaming the city. (shrink)

Monetary intelligence theory asserts that individuals apply their money attitude to frame critical concerns in the context and strategically select certain options to achieve financial goals and ultimate happiness. This study explores the dark side of monetary Intelligence and behavioral economics—dishonesty. Dishonesty, a risky prospect, involves cost–benefit analysis of self-interest. We frame good or bad barrels in the environmental context as a proxy of high or low probability of getting caught for dishonesty, respectively. We theorize: The magnitude and intensity of (...) the relationship between love of money and dishonest prospect may reveal how individuals frame dishonesty in the context of two levels of subjective norm—perceived corporate ethical values at the micro-level and Corruption Perceptions Index at the macro-level, collected from multiple sources. Based on 6382 managers in 31 geopolitical entities across six continents, our cross-level three-way interaction effect illustrates: As expected, managers in good barrels, mixed barrels, and bad barrels display low, medium, and high magnitude of dishonesty, respectively. With high CEV, the intensity is the same across cultures. With low CEV, the intensity of dishonesty is the highest in high CPI entities —the Enron Effect, but the lowest in low CPI entities. CPI has a strong impact on the magnitude of dishonesty, whereas CEV has a strong impact on the intensity of dishonesty. We demonstrate dishonesty in light of monetary values and two frames of social norm, revealing critical implications to the field of behavioral economics and business ethics. (shrink)

This study aims to examine the development of diversity and inclusion (D&I) literature and identify its prominent themes and blind spots. The research was conducted using bibliometric analysis on the Web of Science database and included 2510 publications. Results showed that the development of D&I literature had increased exponentially since the 1960s, mainly due to different political and societal events. The geographic development showed that research was primarily conducted in developed countries where quotas and other legislation are implemented. The thematic (...) development revealed a stable but narrow focus on diversity management, board diversity, and team diversity, with little attention to inclusion. The keyword analysis strongly emphasized surface-level diversity, such as gender, race, and cultural diversity, while deep-level diversity received less attention. This study concludes that previous D&I literature has mainly focused on the financial effects of D&I and neglected other elements, such as the effects on social performance, its ethical implications, and the relationship between diversity and inclusion. The study recommends future research to expand the interpretation of diversity, examine the relationship between diversity and inclusion, and explore the effects of diversity on non-financial outcomes such as social performance and ethics. This study provides a valuable contribution to the field of business ethics by highlighting the blind spots in D&I literature and encouraging future research to consider the ethical implications of diversity in the workplace. (shrink)

Aim: To improve clinical and ethical understanding of patient preferences for information and involvement in decision making.Objectives: To develop and evaluate a clinical tool to elicit these preferences and to consider the ethical issues raised.Design: A before and after study.Setting: Three UK hospices.Participants: Patients with advanced life-threatening illnesses and their doctors.Intervention: Questionnaire on information and decision-making preferences.Main outcome measures: Patient-based outcome measures were satisfaction with the amount of information given, with the way information was given, with family or carer information, (...) and confidence about future decision making. Doctor-based outcome measures were confidence in matching information to patient preference, matching family or carer communication to patient preference, knowing patient preferences and matching future decision making with patient preference.Results: Of 336 admissions, 101 patients completed the study . Patient satisfaction with the way information was given and family communication improved after introduction of the tool. Doctor confidence improved across all outcome measures .Conclusions: Patient satisfaction and doctor confidence were improved by administering the questionnaire, but complex ethical issues were raised by implementing and applying this research. The balance of ethical considerations were changed by advanced life-threatening illness, because there is increased risk of harm through delivery of information discordant with the patient’s own preferences. The importance of truly understanding patient preferences towards the end of life is highlighted by this study. (shrink)

Anscombe on thought, experience, sensation, and the ethics of virtue Gertrude Elizabeth Margaret Anscombe is one of analytical philosophy's most prominent figures, the founder of consequentialism, and a leading mind in the field of virtue ethics. Metaphysics and the Philosophy of Mind: The collected Philosophical Papers of G.E.M. Anscombe, Volume 2, is part of a multivolume compilation of her life's work, providing insight into the mind of a groundbreaking 20th century philosopher. This volume's work explores memory, intentionality, causality and time, (...) delving into the language, actions, and logic of perception, sensation, and more. (shrink)