We asked whether and how generations vary in their perceptions on moral matters ranging from their justifications of crime and questions concerning bodily autonomy. In our exploratory study using data from the World Values Survey, we found that Generations Y and Z are more likely than their older counterparts to justify crimes, such as cheating on taxes or stealing property, and to favor greater bodily autonomy in issues such as suicide and abortion. They also rank lower the importance of God (...) and national pride. Implications are offered for employers who wish to motivate and incentivize a multi-generational workforce. (shrink)

This remarkable collection of period photographs details day-to-day life and changing times in the Deep South. Draffus Lamar Hightower, 1899-1993, spent most of his life in Barbour County, Alabama. For many years he was the owner of a Chevrolet dealership, but he had another occupation as well. From his youth, he was fascinated with photography, and for fifty years he experimented with the craft both technically and artistically. Hightower, while participating fully in the 20th century, was also acutely aware of (...) the passing of the heritage of the last one. From the early 1920s to the late 1960s, he made thousands of negatives of people, events, landscapes, objects, and buildings in Barbour County. His photographs are reminiscent of the documentary work of Walker Evans, Berenice Abbott, and other great 20th-century American photographers. Hightower created an incredibly complete and vivid record of the life of a rural Alabama county during a period of profound change-documenting everything from birthday parties and political rallies to farm scenes and the demolition of historic buildings so that future generations would not forget the world of their forebears. In 1990, Michael Thomason, historian and photographic archivist, began the long process of reviewing Hightower's collection of photographs, interviewing family and friends, and salvaging and printing the negatives, which by that time had begun to deteriorate. Thomason restored and printed 195 photographs and prepared accompanying essays that not only reveal the technical details of Hightower's labor of love but also tell the story of the human and economic changes in Barbour County during this period. (shrink)

tic sequenzen-kalkul of Gentzen, into rules for PCc, the classical sequenzenkalkul. We shall limit ourselves here to sequenzen or turnstile statements of the form A„A„..., A„ I- B, where A„A„..., A„(n ~ 0), and B are wffs consisting of propositional variables, zero or more of the connectives '5', "v', ' ', ')', and '=', and zero or more parentheses. One can pass from PCi to PCc by amending the intelim rules for ' a result of long standing, or by amending (...) the intelim rules for either one of.. (shrink)

We generalize two well-known model-theoretic characterization theorems from propositional modal logic to first-order modal logic. We first study FML-definable frames and give a version of the Goldblatt–Thomason theorem for this logic. The advantage of this result, compared with the original Goldblatt–Thomason theorem, is that it does not need the condition of ultrafilter reflection and uses only closure under bounded morphic images, generated subframes and disjoint unions. We then investigate Lindström type theorems for first-order modal logic. We show that (...) FML has the maximal expressive power among the logics extending FML which satisfy compactness, bisimulation invariance and the Tarski union property. (shrink)

The essays in this volume are based on addresses given during a colloquium on free logic, modal logic, and related areas held at the University of California in 1968. The majority of the contributors are well known for their writings in these fields and their papers are as illuminating as they are technical. In the first paper, Lambert and Bas C. Van Fraassen apply free logic to several controversies in quantified modal logic. One of these is Putman's argument that 'Nothing (...) is both red and green all over' can be had as a theorem of modal logic. Lambert and Van Fraassen provide a counter example to this claim and then show that the argument only holds in systems allowing possible individuals. Jaako Hintikka's essay also deals with 'free' modal logics in much the same way as Hintikka's other papers and discusses some of the criticisms of Quine of the entire enterprise of quantified modal logic. In another paper, H. Leblanc and R. K. Meyer provide truth-value semantics for the theory of types and hence an alternative semantic structure for functional calculi of any order. In addition to these essays, there are papers by R. Thomason and Dana Scott on modal logic, J. Vickers on probability logic, and Peter Woodruff on truth value gaps. To anyone interested in these various areas this collection is sure to be welcome.--R. P. M. (shrink)

The essays in philosophical logic collected in this volume are dedicated to Henry S. Leonard who was one of the first American philosophers to urge the application of modern logic to non-mathematical areas. Leonard also inspired the development of certain areas of contemporary philosophical logic discussed in some of the papers of this volume. This is especially clear in the case of free, or presupposition free, logics which Leonard's early work on a logic of existence inspired. In one essay of (...) this volume Bas C. Van Frassen further develops his work on the semantics of free logic. In another, Milton Fisk relates free logic to modal logic, suggesting a new semantics of strength to deal with various problems in the area and in a third essay, Karel Lambert relates free logic to certain logical puzzles about quantum theory. Leonard was also one of the first to entertain the idea of and discuss a logic of questions and an erotetic logic or logic of interests. The volume contains essays on these topics by Nuel D. Belnap and David Harrah. Leonard's interest in modal logic is reflected in Fisk's article as well as in an article by Richmond Thomason on modal logic and metaphysics. His interest in epistemic logic is seen in an essay on the logic of belief by Jon Vickers and an essay by Hintikka applying the logic of belief and knowledge to problems about the ontological argument. In addition to these essays, there are five others of high quality on diverse topics: R. M. Martin on intentions, Wilfrid Sellars on the metaphysics of the person, R. M. Chisholm on agency, Frederick Fitch on combinatory logic and negative numbers, and H. E. Hendry and G. J. Massey on Sheffer functions. This is a worthy memorial to a quietly influential American philosopher.--R. H. K. (shrink)

Kant’s non-voluntarist conception of political obligation has led some philosophers to argue that he would reject self-government rights for indigenous peoples. Some recent scholarship suggests, however, that Kant’s critique of colonialism provides an argument in favor of granting self-government rights. Here I argue for a stronger conclusion: Kantian political theory not only can but must include sovereignty for indigenous peoples. Normally these rights are considered redress for historic injustice. On a Kantian view, however, I argue that they are not remedial. (...) Sovereignty rights are a necessary part of establishing perpetual peace. By failing to acknowledge the sovereignty of native groups, states once guilty of imperialism leave open the in principle possibility for future violence, even though no current conflict exists. Only in recognizing self-government rights can states truly commit to the cosmopolitan ideal. (shrink)

inheritance reasoning in semantic networks allowing for multiple inheritance with exceptions. The approach leads to a definition of iaheritance that is..

The first amounts, roughly, to "It is necessarily the case that any President of the U.S. is a citizen of the U.S." But the second says, "the person who in fact is the President of the U.S, has the property of necessarily being a citizen of the U.S," Thus, while (2) is clearly true, it would be reasonable to consider (3) false.

This chapter begins with a discussion of Indian theories of inference. It identifies the unique features of Indian logic not found in Western logic. Indian theories of inference are primarily theories of adequate evidence, but they may also be viewed as systems of nonmonotonic reasoning, which is being used in modern computer simulation of actual human reasoning processes. The chapter then discusses Nyāya logic, Buddhist logic, Jaina logic, and Navya–Nyāya logic.

Reason and Value collects 15 new papers by leading contemporary philosophers on themes from the work of Joseph Raz. Raz has made major contributions in a wide range of areas, including jurisprudence, political philosophy, and the theory of practical reason; but all of his work displays a deep engagement with central themes in moral philosophy. The subtlety and power of Raz's reflections on ethical topics make his writings a fertile source for anyone working in this area. Especially significant are his (...) explorations of the connections between practical reason and the theory of value, which constitute a sustained and penetrating treatment of a set of issues at the very center of moral philosophy as it is practiced today. The contributors to the volume acknowledge the importance of Raz's contributions by engaging critically with his positions and offering independent perspectives on the topics that he has addressed. The volume aims both to honour Raz's accomplishments in the area of ethical theorizing, and to contribute to an enhanced appreciation of the significance of his work for the subject. (shrink)

Since it was presented in 1963, Chisholm’s paradox has attracted constant attention in the deontic logic literature, but without the emergence of any definitive solution. We claim this is due to its having no single solution. The paradox actually presents many challenges to the formalization of deontic statements, including (1) context sensitivity of unconditional oughts, (2) formalizing conditional oughts, and (3) distinguishing generic from nongeneric oughts. Using the practical interpretation of ‘ought’ as a guideline, we propose a linguistically motivated logical (...) solution to each of these problems, and explain the relation of the solution to the problem of contrary-to-duty obligations. (shrink)

A propositional system of modal logic is second-order if it contains quantifiers ∀p and ∃p, which, in the standard interpretation, are construed as ranging over sets of possible worlds (propositions). Most second-order systems of modal logic are highly intractable; for instance, when augmented with propositional quantifiers, K, B, T, K4 and S4 all become effectively equivalent to full second-order logic. An exception is S5, which, being interpretable in monadic second-order logic, is decidable.

Shame is a Jekyll-and-Hyde emotion--it can be morally valuable, but it also has a dark side. Thomason presents a philosophically rigorous and nuanced account of shame that accommodates its harmful and helpful aspects. Thomason argues that despite its obvious drawbacks and moral ambiguity, shame's place in our lives is essential.

Context has emerged as a central concept in a variety of contemporary approaches to reasoning. The conference at which the papers in this volume were presented, CONTEXT 2001, was the third international, interdisciplinary conference on the topic of context, and was held in Dundee, Scotland on July 27-30, 2001.