The -logic of Terwijn is a variant of first-order logic with the same syntax in which the models are equipped with probability measures and the quantifier is interpreted as ‘there exists a set A of a measure such that for each,...’. Previously, Kuyper and Terwijn proved that the general satisfiability and validity problems for this logic are, i) for rational, respectively -complete and -hard, and ii) for, respectively decidable and -complete. The adjective ‘general’ here means ‘uniformly over all languages’. We (...) extend these results in the scenario of finite models. In particular, we show that the problems of satisfiability and validity with respect to finite models in E-logic are, i) for rational, respectively -complete and -complete, and ii) for, respectively decidable and -complete. Although partial results toward the countable case are also achieved, the computability of E-logic over countable models still remains largely unsolved. In addition, most o... (shrink)

Something has been going wrong on many college campuses in the last few years. Speakers are shouted down. Students and professors say they are walking on eggshells and are afraid to speak honestly. Rates of anxiety, depression, and suicide are rising--on campus as well as nationally. How did this happen? First Amendment expert Greg Lukianoff and social psychologist Jonathan Haidt show how the new problems on campus have their origins in three terrible ideas that have become increasingly woven into (...) American childhood and education: What doesn't kill you makes you weaker; always trust your feelings; and life is a battle between good people and evil people. These three Great Untruths contradict basic psychological principles about well-being and ancient wisdom from many cultures. Embracing these untruths--and the resulting culture of safetyism--interferes with young people's social, emotional, and intellectual development. It makes it harder for them to become autonomous adults who are able to navigate the bumpy road of life. Lukianoff and Haidt investigate the many social trends that have intersected to promote the spread of these untruths. They explore changes in childhood such as the rise of fearful parenting, the decline of unsupervised, child-directed play, and the new world of social media that has engulfed teenagers in the last decade. They examine changes on campus, including the corporatization of universities and the emergence of new ideas about identity and justice. They situate the conflicts on campus within the context of America's rapidly rising political polarization and dysfunction. This is a book for anyone who is confused by what is happening on college campuses today, or has children, or is concerned about the growing inability of Americans to live, work, and cooperate across party lines. (shrink)

This paper examines the impact religious affiliation and faith commitment exerts on the political life of one inner-London borough. It gives a historical sketch of the interaction of faith and politics in the period from about 1975-2006 and attempts some explanation of the patterns of voting in local elections and political involvement by members of the many faith communities which are found in the borough. The key to this is seen in the changing urban ecology of the area and the (...) communal interests of particular ethno-religious groups who have striven and, to a measure, succeeded in gaining representation in local politics over this period. Drawing on many years participation observation, an analysis of the religious and community affiliations of elected members, and a series of interviews with Councillors and faith leaders, it reflects political issues and conflicts involving faith communities. Evidence will be presented which suggests that while many Christians involved in politics are primarily motivated individually by beliefs and values which centre on service to the whole community, politicians from other faith communities are more likely to be cast in a role as communal representatives and advocates of particular sections of the community. (shrink)

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. _An Introduction to Substrucural Logics_ is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered: * Proof Theory * Propositional Structures * Frames * Decidability * Coda Both (...) students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading. (shrink)

In barely the space of one generation, Athens was transformed from a conventional city-state into something completely new--a region-state on a scale previously unthinkable. This book sets out to answer a seemingly simple question: How and when did the Athenian state attain the anomalous size that gave it such influence in Greek politics and culture in the classical period? Many scholars argue that Athens's incorporation of Attica was a gradual development, largely completed some two hundred years before the classical era. (...) Anderson, however, suggests that it is not until the late sixth century that we see the first systematic attempts by the Athenian polis to integrate all of Attica. Anderson first takes issue with the prevailing view of Cleisthenes' landmark political reforms of 508-7 b.c., arguing that they were animated by a more comprehensive vision of regional political community in Attica. The Athenians' strengthened the state by establishing institutional mechanisms that would allow inhabitants of the Attic periphery to participate as never before in the life of the center. The creation of a suitable physical setting for the new order was accompanied by religious, military, and symbolic innovations. Regional participation in Athenian affairs was stimulated by encouraging the Attic populace to imagine themselves, for the first time ever, as members of a single, like-minded, self-governing political community. Greg Anderson is Assistant Professor of Classics and History, University of Illinois at Chicago. (shrink)

The aim of this book is twofold: to explain the reconciliation of religion and politics in the work of John Locke, and to explore the relevance of that reconciliation for politics in our own time. Confronted with deep social divisions over ultimate beliefs, Locke sought to unite society in a single liberal community. Reason could identify divine moral laws that would be acceptable to members of all cultural groups, thereby justifying the authority of government. Greg Forster demonstrates that Locke's (...) theory is liberal and rational but also moral and religious, providing an alternative to the two extremes of religious fanaticism and moral relativism. This account of Locke's thought will appeal to specialists and advanced students across philosophy, political science and religious studies. (shrink)

introduction Rhetoric/Memory/Place Carole Blair, Greg Dickinson, and Brian L. Ott The story is told of the poet Simonides of Ceos who, after chanting a poem ...

In an attempt to address the theoretical gap between linguistics and philosophy, a group of semanticists, calling itself the Generic Group, has worked to develop a common view of genericity. Their research has resulted in this book, which consists of a substantive introduction and eleven original articles on important aspects of the interpretation of generic expressions. The introduction provides a clear overview of the issues and synthesizes the major analytical approaches to them. Taken together, the papers that follow reflect the (...) current state of the art in the semantics of generics, and afford insight into various generic phenomena. (shrink)

Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives. It is a mildly bilateralist, single-conclusion natural deduction proof system in which the connective rules are unmodi_ed from the usual Prawitz introduction and elimination rules — the extension is purely structural. This framework is general: it can be used for (1) classical logic, (2) relevant logic without distribution, (3) affine logic, and (4) linear logic, keeping the connective rules fixed, and varying purely (...) structural rules. The key result of this paper is that the two principles that introduce kinds of irrelevance to natural deduction proofs: (a) the rule of explosion (from a contradiction, anything follows); and (b) the structural rule of vacuous discharge; are shown to be two sides of a single coin, in the same way that they correspond to the structural rule of weakening in the sequent calculus. The paper also includes a discussion of assumption classes, and how they can play a role in treating additive connectives in substructural natural deduction. (shrink)

We present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points. Different logics are modeled by varying the kinds of collections used: they can be sets, multisets, lists or trees. We show that collection frames on trees are sound and complete for (...) the basic positive distributive substructural logic $\mathsf {B}^+$, that collection frames on multisets are sound and complete for $\mathsf {RW}^+$ (the relevant logic $\mathsf {R}^+$, without contraction, or equivalently, positive multiplicative and additive linear logic with distribution for the additive connectives), and that collection frames on sets are sound for the positive relevant logic $\mathsf {R}^+$. The completeness of set frames for $\mathsf {R}^+$ is, currently, an open question. (shrink)

Crossing the Lines of Caste: Viśvāmitra and the Construction of Brahmin Power in Hindu Mythology. By Adheesh A. Sathaye. New York: Oxford University Press, 2015. Pp. xxii + 310. $99 ; $35.

Given the importance of pravṛtti and nivṛtti as shaping ideologies in the Mahābhārata and a host of other Indic texts, a study of the occurrence of the uses of √vṛt in the widest possible sense is a desideratum for an understanding of both the Mahābhārata and its Mokṣadharmaparvan. The present contribution discusses concentrations of occurrences of √vṛt-words in particular passages and considers whether these are associated with the communication of specific doctrines. Both nominal and verbal forms of √vṛt, prefixed and (...) unprefixed, are studied, with special attention being paid to the objects which they take; in particular, the grammatical cases used with the present participle vartamāṇa, are surveyed. It is concluded that √vṛt conveys the sense of “of operating or functioning in a particular state,” especially when used with a noun in the locative, thus differing from other verbs such as √as, √bhū and √gam. In addition, the greater frequency of √vṛt prefixed by pra- and ni-, as opposed to other prefixes, is noted, indicating how significant pravṛtti and nivṛtti had become as ideologies in our text. (shrink)

It is argued that the English bare plural (an NP with plural head that lacks a determiner), in spite of its apparently diverse possibilities of interpretation, is optimally represented in the grammar as a unified phenomenon. The chief distinction to be dealt with is that between the generic use of the bare plural (as in Dogs bark) and its existential or indefinite plural use (as in He threw oranges at Alice). The difference between these uses is not to be accounted (...) for by an ambiguity in the NP itself, but rather by explicating how the context of the sentence acts on the bare plural to give rise to this distinction. A brief analysis is sketched in which bare plurals are treated in all instances as proper names of kinds of things. A subsidiary argument is that the null determiner is not to be regarded as the plural of the indefinite article a. (shrink)

In this paper, I examine connections between the speech acts of assertion, denial, polar questions and justification requests, and the common ground. When we pay attention to the structure of norms governing polar questions, we can clarify the distinction between strong and weak denial, together with the parallel distinction between strong and weak assertion, and the distinct way that these speech acts interact with the common ground. In addition, once we pay attention to the distinct norms concerning justification requests, we (...) can give a distinctive answer to Carroll’s puzzle concerning the force of the logical _must_ and the sense in which certain rules for logical concepts can indeed count as definitions. (shrink)

Lewis neglects cross-cultural data in his dynamic systems model of emotion, probably because appraisal theory disregards behavior and because anthropologists have not engaged discussions of neural plasticity in the brain sciences. Considering cultural variation in emotion-related behavior, such as grieving, indigenous descriptions of emotions, and alternative developmental regimens, such as sport, opens up avenues to test dynamic systems models.

Should organ transplants be given to patients who have waited the longest, or need it most urgently, or those whose survival prospects are the best? The rationing of health care is universal and inevitable, taking place in poor and affluent countries, in publicly funded and private health care systems. Someone must budget for as well as dispense health care whilst aging populations severely stretch the availability of resources. The Ethics of Health Care Rationing is a clear and much-needed introduction to (...) this increasingly important topic, considering and assessing the major ethical problems and dilemmas about the allocation, scarcity and rationing of health care. Beginning with a helpful overview of why rationing is an ethical problem, the authors examine the following key topics: What is the value of health? How can it be measured? What does it mean that a treatment is "good value for money"? What sort of distributive principles - utilitarian, egalitarian or prioritarian - should we rely on when thinking about health care rationing? Does rationing health care unfairly discriminate against the elderly and people with disabilities? Should patients be held responsible for their health? Why does the debate on responsibility for health lead to issues about socioeconomic status and social inequality? Throughout the book, examples from the US, UK and other countries are used to illustrate the ethical issues at stake. Additional features such as chapter summaries, annotated further reading and discussion questions make this an ideal starting point for students new to the subject, not only in philosophy but also in closely related fields such as politics, health economics, public health, medicine, nursing and social work. (shrink)

Everyone knows what noise is. Or do they? Can we in fact say that one man's noise is another teenager's music? Is noise in fact only an auditory phenomenon or does it extend far beyond this realm? If our common definitions of noise are necessarily subjective and noise is not just unpleasant sound, then it merits a closer look (or listen). Greg Hainge sets out to define noise in this way, to find within it a series of operations common (...) across its multiple manifestations that allow us to apprehend it as something other than a highly subjective term that tells us very little. Examining a wide range of texts, including Sartre's novel Nausea and David Lynch's iconic films Eraserhead and Inland Empire, Hainge investigates some of the Twentieth Century's most infamous noisemongers to suggest that they're not that noisy after all; and it finds true noise in some surprising places. The result is a thrilling and illuminating study of sound and culture. (shrink)

This article addresses how the field of religion and science will change in the coming decades by analyzing the attitudes of emerging adults. I first present an overview of emerging adulthood to set the context for my analysis, especially highlighting the way in which emerging adults find themselves “in between” and in an “age of possibilities," free to explore a variety of options and thus often become “spiritual bricoleurs." Next, I expand on how a broadening pluralism in emerging adult culture (...) changes both the conversation of “religion and science,” on one hand, and the locus for their interaction on the other. In the third section, I address the question of whether there exists a consensus view of how to relate religion and science. Paradoxically, though 18–30-year-olds perceive that there is conflict between science and religion, they personally endorse collaboration or independence. Finally, I draw conclusions for practitioners and theorists. (shrink)

Loïc Wacquant argues for a radicalization of the habitus concept provided by Pierre Bourdieu, suggesting that habitus is a site and mode for conducting research, not simply an explanatory or theoretical mechanism. Taking seriously this call to examine skills and communities of practice through apprenticeship, however, requires that the theoretical account of habitus be subject to empirical testing. Moreover, enquiry into communities of practice, especially the subtle psychological, behavioural and even neurological consequences of skill acquisition, means that claims about the (...) habitus can be scrutinized by fields such as psychology, neurology and even human biology. Habitus as a truly open path of inquiry will demand, not wholly novel concepts, but a recognition of when claims about practice are simultaneously testable, and falsifiable, by other forms of empirical enquiry, including the human sciences. (shrink)

This paper presents the results of a survey of students majoring in STEM fields whose education contained a significant history, philosophy and sociology of science component. The survey was administered to students in a North American public 4-year university just prior to completing their HPS sequence. The survey assessed students’ attitudes towards HPS to gauge how those attitudes changed over the course of their college careers, and to identify the benefits and obstacles to studying HPS as a component of their (...) STEM education. The survey reveals that students generally found unexpected value in taking HPS within their STEM curriculum. It also reveals that framing HPS courses as a means of gaining communication skills necessary to be an influential scientist seems to resonate with students. However, students also identified several factors limiting engagement with HPS content, including the length and density of required readings and assessment via essays and papers. (shrink)

We gain new insight by returning to W. V. Quine’s first objection to quantified modal logic, a logic due to Ruth Marcus. After noting that much of Quine’s objection does not actually apply to that initial logic, I establish that, in any case, there was always an easy answer to Quine’s interpretive challenge that (i) was of the sort he called for and (ii) that he should probably have seen. The investigation yields a diagnosis of the underlying mistake Quine was (...) making in all his objections to modal logic and _de re_ modality generally—a mistake still being made today. (shrink)

Wendy S. Parker and I have advanced an inductive-risk approach to the provision of climate information that relies on the contextual values of information users. This approach aims to improve the e...

A key aspect of teaching ‘development’ is understanding the conundrums and tensions between balance and imbalance with constructs of global and...

The literature on values in science struggles with questions about how to describe and manage the role of values in scientific research. We argue that progress can be made by shifting this literature’s current emphasis. Rather than arguing about how non-epistemic values can or should figure into scientific assessment, we suggest analyzing how scientific assessment can accommodate non-epistemic values. For scientific assessment to do so, it arguably needs to incorporate goals that have been traditionally characterized as non-epistemic. Building on this (...) insight, we show how the adequacy-for-purpose framework recently developed for assessing scientific models can provide a general framework for describing scientific assessment so that it goes beyond purely epistemic considerations. Adopting this framework has significant advantages and opens the possibility of effecting a partial rapprochement between critics and proponents of the value-free ideal. (shrink)

According to classical and postclassical sources, the early Greek turannoi were, by definition, illegitimate rulers who overturned existing political arrangements and installed rogue monarchic regimes in their place. And on this one fundamental point at least, modern observers of archaic turannides seem to have little quarrel with their ancient informants. To this day, it remains axiomatic that Cypselus, Peisistratus, and the rest were autocrats who gained power by usurpation. Whatever their individual accomplishments, they were still, in a word, "tyrants." Relying (...) mostly on evidence from the contemporary literary and material records, my paper aims to challenge this time-honored conventional wisdom and restore the first turannoi to the political mainstream. (shrink)

Our topic is the notion of logical consequence: the link between premises and conclusions, the glue that holds together deductively valid argument. How can we understand this relation between premises and conclusions? It seems that any account begs questions. Painting with very broad brushtrokes, we can sketch the landscape of disagreement like this: “Realists” prefer an analysis of logical consequence in terms of the preservation of truth [29]. “Anti-realists” take this to be unhelpful and o:er alternative analyses. Some, like Dummett, (...) look to preservation of warrant to assert [9, 36]. Others, like Brandom [5], take inference as primitive, and analyse other notions in terms of it. There is plenty of disagreement on the “realist” side of the fence too. It is one thing to argue that logical consequence involves preservation of truth. It is another to explain how far truth must be preserved. Is the preservation essentially modal (in all circumstances [25]) or analytic (vouchsafed by.. (shrink)