We show that the set of ultimately true sentences in Hartry Field's Revenge-immune solution model to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger's revision sequence starting from the null hypothesis. We further remark that this shows that a substantial subsystem of second-order number theory is needed to establish the semantic values of sentences in Field's relative consistency proof of his theory over the ground model of the standard natural numbers: -CA0 (...) (second-order number theory with a -comprehension axiom scheme) is insufficient. We briefly consider his claim to have produced a solution to the semantic paradoxes by introducing this conditional. We remark that the notion of a operator can be introduced in other settings. (shrink)

Advancing Medical Posthumanism Through Twenty-First Century American Poetry places contemporary poetics in dialogue with posthumanism and biomedicine in order to create a framework for advancing a posthuman-affirmative ethics within the culture of medical practice. This book makes a case for a posthumanist understanding of the body—one that sees health and illness not as properties possessed by individual bodies, but as processes that connect bodies to their social and natural environment, shaping their capacity to act, think, and feel. Tana Jean (...) class='Hi'>Welch demonstrates how contemporary American poetry is specifically poised to develop a pathway toward a posthuman intervention in biomedicine, the field of medical humanities, medical discourse, and the value systems that guide U.S. healthcare in general. (shrink)

We consider various concepts associated with the revision theory of truth of Gupta and Belnap. We categorize the notions definable using their theory of circular definitions as those notions universally definable over the next stable set. We give a simplified account of varied revision sequences-as a generalised algorithmic theory of truth. This enables something of a unification with the Kripkean theory of truth using supervaluation schemes.

We review some fundamental questions concerning the real line of mathematical analysis, which, like the Continuum Hypothesis, are also independent of the axioms of set theory, but are of a less ‘problematic’ nature, as they can be solved by adopting the right axiomatic framework. We contend that any foundations for mathematics should be able to simply formulate such questions as well as to raise at least the theoretical hope for their resolution.The usual procedure in set theory is to add so-called (...) strong axioms of infinity to the standard axioms of Zermelo-Fraenkel, but then the question of their justification becomes to some people vexing. We show how the adoption of a view of the universe of sets with classes, together with certain kinds of Global Reflection Principles resolves some of these issues. (shrink)

We look at various notions of a class of definability operations that generalise inductive operations, and are characterised as “revision operations”. More particularly we: (i) characterise the revision theoretically definable subsets of a countable acceptable structure; (ii) show that the categorical truth set of Belnap and Gupta’s theory of truth over arithmetic using \emph{fully varied revision} sequences yields a complete \Pi13 set of integers; (iii) the set of \emph{stably categorical} sentences using their revision operator ψ is similarly \Pi13 and which (...) is complete in Gödel’s universe of constructible sets L; (iv) give an alternative account of a theory of truth—realistic variance that simplifies full variance, whilst at the same time arriving at Kripkean fixed points. (shrink)

We characterise explicitly the decidable predicates on integers of Infinite Time Turing machines, in terms of admissibility theory and the constructible hierarchy. We do this by pinning down ζ, the least ordinal not the length of any eventual output of an Infinite Time Turing machine (halting or otherwise); using this the Infinite Time Turing Degrees are considered, and it is shown how the jump operator coincides with the production of mastercodes for the constructible hierarchy; further that the natural ordinals associated (...) with the jump operator satisfy a Spector criterion, and correspond to the L ζ -stables. It also implies that the machines devised are "Σ 2 Complete" amongst all such other possible machines. It is shown that least upper bounds of an "eventual jump" hierarchy exist on an initial segment. (shrink)

We claim that a recent article of P. Cotogno ([2003]) in this journal is based on an incorrect argument concerning the non-computability of diagonal functions. The point is that whilst diagonal functions are not computable by any function of the class over which they diagonalise, there is no ?logical incomputability? in their being computed over a wider class. Hence this ?logical incomputability? regrettably cannot be used in his argument that no hypercomputation can compute the Halting problem. This seems to lead (...) him into a further error in his analysis of the supposed conventional status of the infinite time Turing machines of Hamkins and Lewis ([2000]). Theorem 1 refutes this directly. The diagonalisation misunderstanding Infinite computation Conclusion. (shrink)

The new evidence scholarship addresses three distinct approaches: legal probabilism, Bayesian decision theory and relative plausibility theory. Each has major insights to offer, but none seems satisfactory as it stands. This paper proposes that relative plausibility theory be modified in two substantial ways. The first is by defining its key concept of plausibility, hitherto treated as primitive, by generalising the standard axioms of probability. The second is by complementing the descriptive component of the theory with a normative decision theory adapted (...) to legal process. Because this version of decision theory is based on plausibilities rather than probabilities, it generates plausibilistic expectations as outputs. Because these outputs are comparable, they function as relative plausibilities. Hence the resulting framework is an extension of relative plausibility theory, but it retains deep ties to legal probabilism, through the proposed definition of plausibility, and to Bayesian decision theory, through the normative use of decision theory. (shrink)

We show that assuming modest large cardinals, there is a definable class of ordinals, closed and unbounded beneath every uncountable cardinal, so that for any closed and unbounded subclasses $P, Q, {\langle L[P],\in,P \rangle }$ and ${\langle L[Q],\in,Q \rangle }$ possess the same reals, satisfy the Generalised Continuum Hypothesis, and moreover are elementarily equivalent. Examples of such P are Card, the class of uncountable cardinals, I the uniform indiscernibles, or for any n the class $C^{n}{=_{{\operatorname {df}}}}\{ \lambda \, | \, (...) V_{\lambda } \prec _{{\Sigma }_{n}}V\}$ ; moreover the theory of such models is invariant under ZFC-preserving extensions. They also all have a rich structure satisfying many of the usual combinatorial principles and a definable wellorder of the reals. The inner model constructed using definability in the language augmented by the Härtig quantifier is thus also characterized. (shrink)

The paper explores the handling of singular analogy in quantitative inductive logics. It concentrates on two analogical patterns coextensive with the traditional argument from analogy: perfect and imperfect analogy. Each is examined within Carnap’s λ-continuum, Carnap’s and Stegmüller’s λ-η continuum, Carnap’s Basic System, Hintikka’s α-λ continuum, and Hintikka’s and Niiniluoto’s K-dimensional system. Itis argued that these logics handle perfect analogies with ease, and that imperfect analogies, while unmanageable in some logics, are quite manageable in others. The paper concludes with a (...) modification of the K-dimensional system that synthesizes independent proposals by Kuipers and Niiniluoto. (shrink)

We follow [8] in asking when a set of ordinals $X \subseteq \alpha$ is a countable union of sets in K, the core model. We show that, analogously to L, and X closed under the canonical Σ 1 Skolem function for K α can be so decomposed provided K is such that no ω-closed filters are put on its measure sequence, but not otherwise. This proviso holds if there is no inner model of a weak Erdős-type property.

A small large cardinal upper bound in V for proving when certain subsets of ω 1 (including the universally Baire subsets) are precisely those constructible from a real is given. In the core model we find an exact equivalence in terms of the length of the mouse order; we show that $\forall B \subseteq \omega_1 \lbrack B$ is universally Baire $\Leftrightarrow B \in L\lbrack r \rbrack$ for some real r] is preserved under set-sized forcing extensions if and only if there (...) are arbitrarily large "admissibly measurable" cardinals. (shrink)

Most ethical decisions are conditioned by formidable uncertainty. Decision makers may lack reliable information about relevant facts, the consequences of actions, and the reactions of other people. Resources for dealing with uncertainty are available from standard forms of decision theory, but successful application to decisions under risk requires a great deal of quantitative information: point-valued probabilities of states and point-valued utilities of outcomes. When this information is not available, this paper recommends the use of a form of decision theory that (...) operates on a bare minimum of information inputs: comparative plausibilities of states and comparative utilities of outcomes. In addition, it proposes a comparative strategy for dealing with second-order uncertainty. The paper illustrates its proposal with reference to a well-known ethical dilemma: Kant’s life-saving lie. (shrink)

This volume recreates the received notion of reflective equilibrium. It reconfigures reflective equilibrium as both a cognitive ideal and a method for approximating this ideal. The ideal of reflective equilibrium is restructured using the concept of discursive strata, which are formed by sentences and differentiated by function. Sentences that perform the same kind of linguistic function constitute a stratum. The book shows how moral discourse can be analyzed into phenomenal, instrumental, and teleological strata, and the ideal of reflective equilibrium reworked (...) in these terms. In addition, the work strengthens the method of reflective equilibrium by harnessing the resources of decision theory and inductive logic. It launches a comparative version of decision theory and employs this framework as a guide to moral theory choice. It also recruits quantitative inductive logic to inform a standard of inductive cogency. When used in tandem with comparative decision theory, this standard can aid in the effort to turn the undesirable condition of reflective disequilibrium into reflective equilibrium. (shrink)

Academic productivity is realized through resources obtained from professional networks in which scientists are embedded. Using a national survey of academic faculty in Science, Technology, Engineering, and Mathematics fields across multiple institution types, we examine how the structure of professional networks affects scholarly productivity and how those effects may differ by race, ethnicity, and gender. We find that network size masks important differences in composition. Using negative binomial regression, we find that both the size and composition of professional networks affect (...) scientific productivity, but bigger is not always better. We find that instrumental networks increase scholarly productivity, while advice networks reduce it. There are important interactive effects that are masked by modeling only direct effects. We find that white men are especially advantaged by instrumental networks, and women are especially advantaged by advice networks. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Call for New Theological Reflection on the Sacramental Character of Marriage and the Thought of St. ThomasLawrence J. WelchTheologians across the theological spectrum have called attention to the urgent need for a new reflection on the theological and sacramental character of marriage. Peter Hünermann, known for his strong criticism of magisterial teachings on marriage, and the late Cardinal Carlo Caffarra, known for his equally strong defense of them, (...) have both drawn attention to this need. At an international symposium in September 2015, held in Rome prior to the Ordinary Synod of Bishops on Marriage and the Family, Hünermann gave a presentation entitled "On the Specific Theological Character of the Sacrament of Matrimony."1 The symposium aimed at providing a critical and scholarly discussion of new and constructive perspectives for the Church doctrine on marriage and family life in time for the 2015 synod on the family.2 Some of Hünermann's work from this paper also came to be known from an interview in Commonweal magazine where he summarized some of the main points of his symposium presentation.3 In the interview, he also revealed that before the 2015 synod he [End Page 845] was invited to speak with Pope Francis about the theology of marriage. Understandably, this meeting heightened interest in the German theologian's thought.Hünermann argues that "the specific character of the sacrament of marriage, which is very closely connected to the dying of the marriage bond,... has scarcely been the object of theological reflection, [and] is almost unknown in the consciousness of the bishops." 4 Hünermann appeals to St. Thomas as a way forward for understanding the theological character of marriage. This appeal is situated within a wider examination5 that offers an elaboration and new interpretation of "the specific dogmatic characteristics of the sacrament of matrimony that emerge in today's situation from a critical comparison of the encyclical Casti connubii and the Catholic theological tradition, especially the theology of St. Thomas."6 Sharply critical of the encyclical, Hünermann sees it as having saddled the Church with a legalistic concept of marriage elevated above history that is too far removed from the Catholic theological tradition and St. Thomas's theology of marriage.The year before his death, Cardinal Caffarra gave the 2016 graduation address at the John Paul II Institute for Marriage and Family in Washington, DC.7 Among the challenges he identified for the institute to address was the [End Page 846] need for theological reflection on the sacramental character of marriage. Referring to his earlier work, he pointed out that theology after the Council of Trent "lost the awareness of sacramental ontology, of the real transformation produced by the sacrament in the persons of the spouses [res et sacramentum]."8 Furthermore, according to Caffarra, the "theology of the conjugal covenant was supplanted by the notion of a contract, as a human act by which two persons commit to one another." The sacramental character was thought of as consisting of the assurance of divine graces given to fulfill the contract. Caffarra claimed that, "consequently, the words of Jesus 'What God has joined together, let not man put asunder,' lost all their realistic force. Absolute indissolubility, once the sacrament was perfected [=a ratified, consummated marriage], became essentially indefensible."9The primary interest of this paper is to respond to the call for a renewed theological reflection on the specific character of the sacrament of marriage. I wish to take up Caffarra's suggestion to focus on the sacramental character (res et sacramentum) on the one hand, and on the other hand, Hünermann's suggestion that a kind of ressourcement from St. Thomas Aquinas's theology of marriage can be of great help for a fresh theological reflection on the specific character of the sacrament of marriage. Although I agree with Hünermann that a renewed consideration of the thought of St. Thomas can be a way forward, I differ from him on how it can be. Hünermann notices that St. Thomas speaks of the grace of the sacrament of marriage as a helping grace.10 St. Thomas does indeed speak this way of the... (shrink)

We discuss some of the relationships between the notion of "mutual stationarity" of Foreman and Magidor and measurability in inner models. The general thrust of these is that very general mutual stationarity properties on small cardinals, such as the ℵns, is a large cardinal property. A number of open problems, theorems, and conjectures are stated.

Llull and Leibniz both subscribed to conceptual atomism: the belief that the majority of concepts are compounds constructed from a relatively small number of primitive concepts. Llull worked out techniques for finding the logically possible combinations of his primitives, but Leibniz criticized Llull’s execution of these techniques. This article argues that Leibniz was right about things being more complicated than Llull thought but that he was wrong about the details. The paper attempts to correct these details.

This chapter has two objectives. The first is to clarify Aristotle’s view of the first principles of the sciences. The second is to stake out a critical position with respect to this view. The paper sketches an alternative to Aristotle’s intuitionism based in part on the use of quantitative inductive logics.

This book investigates the phenomenological ways that dance choreographing and dance performance exemplify both Truth and meaning-making within Native American epistemology, from an analytic philosophical perspective. Given that within Native American communities dance is regarded both as an integral cultural conduit and “a doorway to a powerful wisdom,” Shay Welch argues that dance and dancing can both create and communicate knowledge. She explains that dance—as a form of oral, narrative storytelling—has the power to communicate knowledge of beliefs and histories, (...) and that dance is a form of embodied narrative storytelling. Welch provides analytic clarity on how this happens, what conditions are required for it to succeed, and how dance can satisfy the relational and ethical facets of Native epistemology. (shrink)

There are growing bodies of evidence demonstrating the benefits of equity, diversity, and inclusion on academic and organizational excellence. In turn, some editors have stated their desire to improve the EDI of their journals and of the wider scientific community. The Royal Society of Chemistry established a minimum set of requirements aimed at improving EDI in scholarly publishing. Additionally, several resources were reported to have the potential to improve EDI, but their effectiveness and feasibility are yet to be determined. In (...) this commentary we suggest six approaches, based on the Royal Society of Chemistry set of requirements, that journals could implement to improve EDI. They are: adopt a journal EDI statement with clear, actionable steps to achieve it; promote the use of inclusive and bias-free language; appoint a journal’s EDI director or lead; establish a EDI mentoring approach; monitor adherence to EDI principles; and publish reports on EDI actions and achievements. We also provide examples of journals that have implemented some of these strategies, and discuss the roles of peer reviewers, authors, researchers, academic institutes, and funders in improving EDI. (shrink)

This chapter identifies two types of moral dilemma. The first type is described as ethical clash: whether affirmative action is just or unjust, for example, or whether withholding information from an inquisitive relative is honest or dishonest. In these cases the dilemma takes the form of conflict between an ethical predicate and its complement. The second type of moral dilemma is ethical overlap. Instead of a clash between a single predicate and its complement, here two or more predicates apply. Dilemmas (...) associated with white lies, for example, often depart from the recognition that such acts are both dishonest and avoid inflicting pain. Similarly, social dilemmas over progressive taxation may arise despite agreement that progressive systems both decrease liberty and increase equality. Which predicate should take precedence? Strategies for dealing with both types of dilemma are proposed. (shrink)

Let κ be a cardinal, and let H κ be the class of sets of hereditary cardinality less than κ ; let τ (κ) > κ be the height of the smallest transitive admissible set containing every element of {κ}∪H κ . We show that a ZFC-definable notion of long unfoldability, a generalisation of weak compactness, implies in the core model K, that the mouse order restricted to H κ is as long as τ. (It is known that some weak (...) large cardinal property is necessary for the latter to hold.) In other terms we delimit its strength as follows: Theorem Con(ZFC+ω2-Π 1 1-Determinacy) ⇒ ⇒Con(ZFC+V=K+∃ a long unfoldable cardinal ⇒ ⇒Con(ZFC+∀X(X # exists) + ‘‘ $\forall D \subseteq \omega_1 D$ is universally Baire ⇔ ∃r∈R(D∈L(r)))’’, and this is set-generically absolute). We isolate a notion of ω-closed cardinal which is weaker than an ω1-Erd\ os cardinal, and show that this bounds the first long unfoldable: Theorem Let κ be ω -closed. Then there is a long unfoldable ł<κ. (shrink)

This article begins with the author at a crucial juncture in her own theological thinking, challenged by Isasi-Díaz’ book, La Lucha Continues. She finds herself turning away from the polarizing logic of prophetic denunciation which has nurtured her, to a fresh understanding of justice in the context of true reconciliation. The article explores this in the context of multicultural education in an American university.

This paper explores the spirituality of, and experienced at, Greenham Common Peace Camp, Berkshire, Southern England. Although mentioned in much of the discourse on the nuclear protest site Greenham, spirituality is, at best, marginalized in favour of socio-politics. However, there is evidence to suggest that spirituality played a significant role for many of the Greenham women, informing their protests through poetry, song and prose, as well as visually— with eco-feminist thealogy a potent theme. Through examining existing discourse and by interviewing (...) protesters, this paper concludes that spirituality at Greenham Common Peace Camp requires further attention, and should no longer be seen as a subsidiary aspect of the camp. (shrink)

Listening for the sounds of silence: a nursing consideration of caring for the politically tortured In 1997 Amnesty International reported that 115 out of 251 countries surveyed practised torture on their citizens. Many of these victims have been forced to flee their country of origin and become refugees in the West, in countries such as Australia, Canada, the UK and the United States. However, torture itself remains an unspoken and covert problem. In addition to the obvious traumatic effects, it may (...) induce shame and dread on the part of the victim. It may be too terrifying and too painful to talk about, and yet may affect every aspect of a person’s life (Forrest 1996). All too commonly a victim of torture may pass unnoticed or unrecognised because health care providers do not know how, or may be unwilling to engage with the issue. This paper will examine the implications for nurses of caring for the tortured. It will explore the nature of torture itself, who might be the perpetrators and who might be the victims (always acknowledging that nurses and other health care staff are often both), how victims of torture may present for health care, and the possible subjective perceptions of a torture victim when faced with a Western health care process and understanding. Finally, it will argue for an increase in awareness and sensitivity on the part of all nurses in all health care settings to the needs and sensibilities of victims of torture, and suggest that caring for them is the distillation of everything good nursing practice should be. (shrink)

Javier Muguerza’s Ethics and Perplexity makes a highly original contribution to the debate over dialogical reason. The work opens with a letter that establishes a parallel between Ethics and Perplexity and Maimonides’s classic Guide of the Perplexed. It concludes with an interview that repeatedly strikes sparks on Spanish philosophy’s emergence from its “long quarantine,” as Muguerza puts it. These informal pieces—witty, informative, conversational—orbit the nucleus of the work: a formidable critique of dialogical reason. The result is a volume by turns (...) vivid and profound. (shrink)

According to Quine, terms of divided reference like 'rabbit' have two sorts of problems: problems of direct and deferred ostension. Hence the reference of these terms is inscrutable. This article holds that the problems of deferred ostension can be handled by Goodman's theory of projection, and that the problems of direct ostension turn out to be pedestrian problems of signs.

Much of feminist theory takes issue with traditional, liberal theories of consent and obligation. Though none have proposed abandoning obligation outright, there has been a general shift among feminists towards a responsibility paradigm. Responsibility models acknowledge given relationships and interdependence, and so posit responsibilities as given, regardless of whether they are voluntary. But in theories that take freedom as a principal value, a move from a socially unembedded voluntarism to socially embedded responsibility leaves something missing. Constructive accounts of and prescriptions (...) for freedom must consider the reality of social life; yet acknowledging that relations are given need not require subordinating the role of voluntarism and consent in most relationships. In this paper I offer a commitment framework that seeks to supplant obligation while also reconciling relational given-ness and voluntarism. I propose an analysis of commitment that takes relations as the starting point and then show how the concept can: 1. guide actions 2. account for responsibilities 3. enhance freedom and 4. avoid a large share of coercive forces that are believed as necessary for reinforcing obligation and responsibility fulfillment. (shrink)

How do we know when we are investing wisely in security? Answering this question requires investigating what things are worth securing (and why); what threatens them; how best to protect them; and how to think about it. Is it possible to protect them? How best go about protecting them? What trade-offs are involved in allocating resources to security problems? This book responds to these questions by stripping down our preconceptions and rebuilding an understanding of security from the ground up on (...) the basis of a common-sense ontology and an explicit theory of value. It argues for a clear distinction between objective and subjective security threats, a non-anthropocentric understanding of security, and a particular hierarchy of security referents, looking closely at four in particular-the ecosphere, the state, culture, and individual human beings. The analysis will be of interest not only to students and scholars of International Relations, but also to practitioners. David A. Welch is University Research Chair and Professor of Political Science at the Balsillie School of International Affairs, University of Waterloo. His previous books include Justice and the Genesis of War (Cambridge University Press, 1993), which won the 1994 Edgar S. Furniss Award for an Outstanding Contribution to National Security Studies, and Painful Choices: A Theory of Foreign Policy Change (2005), which was the inaugural winner of the International Studies Association International Security Studies Section Best Book Award. He is currently co-editor of the Cambridge University Press journal, International Theory. (shrink)

The purpose of this project is to argue that we possess a minimal self. It will demonstrate that minimal selfhood arrives early in our development and continues to remain and influence us throughout our entire life. There are two areas of research which shape my understanding of the minimal self: phenomenology and enactivism. Phenomenology emphasizes the sense of givenness, ownership, or mineness that accompanies all of our experiences. Enactivism says there is a sensorimotor coupling that occurs between us and the (...) environment in a way which modulates the dynamic patterns of our self development; the laying down of these basic patterns helps make us who we are and gives rise to the phenomenological, experiential mineness. Drawing on these two core ideas, I will be arguing for a Phenomenological-Enactive Minimal Self. I will be emphasizing the role of the body and the role of affects as the most important components relevant to understanding minimal selfhood. Put more concretely, the set of conditions which constitute the PEMS view are: The minimal self is the experiential subject; the minimal sense of self is present whenever there is awareness. It is the subjectivity of experience, the sense of mineness, or givenness which our experiences contain. The phenomenological part of the PEMS view turns on the idea of a bodily and dynamic integration of sensorimotor coupling and affective experience. It is, ontologically speaking, the lived body in enactive engagement with the environment. It is this embodied subject which anchors and forms the foundation for the later ‘narrative’ self, which emerges from it and which is continually influenced by it. It is the subject enactively engaged with others, dependent on sensorimotor processes and affects. We have an identity, but it emerges from relational and dynamic processes. (shrink)

James Welch never shied away from depicting the lives of Native Americans damned by destiny and temperament to the margins of society. The Death of Jim Loney is no exception. Jim Loney is a mixed-blood, of white and Indian parentage. Estranged from both communities, he lives a solitary, brooding existence in a small Montana town. His nights are filled with disturbing dreams that haunt his waking hours. Rhea, his lover, cannot console him; Kate, his sister, cannot penetrate his world. (...) In sparse, moving prose, Welch has crafted a riveting tale of disenfranchisement and self-destruction. For more than seventy years, Penguin has been the leading publisher of classic literature in the English-speaking world. With more than 1,700 titles, Penguin Classics represents a global bookshelf of the best works throughout history and across genres and disciplines. Readers trust the series to provide authoritative texts enhanced by introductions and notes by distinguished scholars and contemporary authors, as well as up-to-date translations by award-winning translators. (shrink)

Vagueness is epistemic, according to some. Vagueness is ontological, according to others. This article deploys what I take to be a compromise position. Predicates are coined in specific contexts for specific purposes, but these limited practices do not automatically fix the extensions of predicates over the domain of all objects. The linguistic community using the predicate has rarely considered, much less decided, all questions that might arise about the predicate’s extension. To this extent, the ontological view is correct. But a (...) predicate that applies in some contexts can be reasonably extended to other contexts where it is initially vague. This process of development approximates the cognitive remedy for vagueness that the epistemic view prescribes. The process is piecemeal and inductive, akin to what von Wright described as the molding of concepts. Vagueness cannot be understood apart from the backdrop of classification, for vagueness is classification gone awry. Hence these pages explore the classification of particulars, both its clear successes and vague failures. How we classify unique particulars is the theme of Sections 2 and 3, which are primarily descriptive. Section 2 identifies a way of classifying particulars that pervades discourse of all sorts, and Section 3 illustrates its use in a field notorious for vagueness: ethics. Why a certain particular should (or should not) be classified in a certain way is a normative question, however, and it occupies Sections 4 and 5. Section 4 proposes a norm for strong arguments by analogy, and Section 5 illustrates how the norm might resolve vagueness in one kind of ethical dispute. This norm, which has a strong probabilistic component, is one way of affirming that probability is a guide to life. (shrink)

The interaction between large cardinals, determinacy of two-person perfect information games, and inner model theory has been a singularly powerful driving force in modern set theory during the last three decades. For the outsider the intellectual excitement is often tempered by the somewhat daunting technicalities, and the seeming length of study needed to understand the flow of ideas. The purpose of this article is to try and give a short, albeit rather rough, guide to the broad lines of development.

Developing a theory of political culture as consisting of two dimensions, discourse and practice, the book explains how political culture can both inhibit political change and be a source of it. It explores the nature and dynamics of political culture systematically and comprehensively, and suggests numerous new lines of empirical research.