Combining techniques of the first author and Shelah with ideas of Magidor, we show how to get a model in which, for fixed but arbitrary finite n, the first n strongly compact cardinals κ 1 ,..., κ n are so that κ i for i = 1,..., n is both the i th measurable cardinal and κ + i supercompact. This generalizes an unpublished theorem of Magidor and answers a question of Apter and Shelah.

. From a proper class of supercompact cardinals, we force and obtain a model in which the proper classes of strongly compact and strong cardinals precisely coincide. In this model, it is the case that no strongly compact cardinal \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\kappa$\end{document} is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $2^\kappa = \kappa^+$\end{document} supercompact.

We prove a consistency result about square principles and stationary reflection which generalises the result of Ben-David and Magidor [4].

We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with a strong form of diamond and a version of square consistent with supercompactness. This generalises a result due to the first author. There are no restrictions in our model on the structure of the class of supercompact cardinals.

We prove some results related to the problem of blowing up the power set of the least measurable cardinal. Our forcing results improve those of [1] by using the optimal hypothesis.

This volume contains the proceedings of the Logic at Harvard conference in honor of W. Hugh Woodin's 60th birthday, held March 27–29, 2015, at Harvard University. It presents a collection of papers related to the work of Woodin, who has been one of the leading figures in set theory since the early 1980s. The topics cover many of the areas central to Woodin's work, including large cardinals, determinacy, descriptive set theory and the continuum problem, as well as connections between set (...) theory and Banach spaces, recursion theory, and philosophy, each reflecting a period of Woodin's career. Other topics covered are forcing axioms, inner model theory, the partition calculus, and the theory of ultrafilters. This volume should make a suitable introduction to Woodin's work and the concerns which motivate it. The papers should be of interest to graduate students and researchers in both mathematics and philosophy of mathematics, particularly in set theory, foundations and related areas. (shrink)

MEDIEVAL LOGICS LAMBERT MARIE DE RIJK (ed.), Die mittelalterlichen Traktate De mod0 opponendiet respondendi, Einleitung und Ausgabe der einschlagigen Texte. (Beitrage zur Geschichte der Philosophie und Theologie des Mittelalters, Neue Folge Band 17.) Miinster: Aschendorff, 1980. 379 pp. No price stated. THE SEVENTEENTH CENTURY MARTA FATTORI, Lessico del Novum Organum di Francesco Bacone. Rome: Edizioni dell'Ateneo 1980. Two volumes, il + 543, 520 pp. Lire 65.000. VIVIAN SALMON, The study of language in 17th century England. (Amsterdam Studies in the Theory (...) and History of Linguistic Science, Series 111: Studies in theHistory of Linguistics, Volume 17.) Amsterdam: John Benjamins B.V., 1979.x + 218 pp. Dfl. 65. Theoria cum Praxi. Zum Verhaltnis von Theorie und Praxis im 17. und 18. Jahrhundert. (Akten des 111. Internationalen Leibnizkongress, Hannover, 12. bis 17.November 1977, Band 111: Logik, Erkenntnistheorie, Wissenschaftstheorie, Metaphysik, Theologie.) Wiesbaden: Franz Steiner Verlag, 1980. vii + 269 pp. DM 48. CLASSICAL AND NON-CLASSICAL LOGICS MICHAEL CLARK, The place of syllogistic in logical theory. Nottingham: University of Nottingham Press, 1980. ix + 151 pp. £3.00. A.F. PARKER-RHODES, The theory of indistinguishables. Dordrecht, Boston and London: D. Reidel Publishing Company, 1981. xvii + 216 pp. Dfl.90.00/$39.50. NICHOLAS RESCHER and ROBERT BRANDOM, The logic of inconsistency. Oxford:Basil Blackwell, 1980. x + 174 pp. f 11.50. MISCELLANEOUS J. ZELENY, The logic of Marx. Translated from the German by T. Carver. Oxford: Basil Blackwell, 1980. xcii + 247 pp. £12.50. FELIX KAUFMANN, The infinite in mathematics. Edited by Brian McGuinness. Introduction by E. Nagel. Translation from the German by Paul Foulkes. Dordrecht: Reidel, 1978. xvii + 235 pp. Dfl 85/$39.50 (cloth); Dfl 45/$19.95 (paper). PAMELA MCCORDUCK, Machines who think. San Francisco: W.H. Freeman and Company, 1979. xiv + 275 pp. $14.95. J. MITTELSTRASS (ed.), Enzyklopadie Philosophie und Wissenschaftstheorie Bd. 1 : A-G. Mannheim, Wien, Ziirich: Bibliographisches Institut, 1980. 835 pp. DM 128. (shrink)

This book provides a collection of some 400 passages on music from early Christian literature - New Testament to c. 450 AD - newly translated from the original Greek, Latin, and Syriac. As there are no musical sources of the period, music historians must rely upon remarks about music in literary sources to gain some knowledge of early Christian liturgical music. This volume makes a large and representative collection of the material conveniently available. The passages are arranged chronologically and regionally (...) in eleven chapters with brief commentary. An introduction sets out the major subjects and themes of the original source material. (shrink)

By critically reviewing the event of Dewey’s visit to China (1919-1921) through historical, philosophical and comparative perspectives, this book finds new value to revive the dialogue between Dewey and Eastern philosophies as a way to respond to contemporary educational challenges.

For more than forty years, The Universe Next Door has set the standard for an introduction to worldviews. This sixth edition uses James Sire's widely influential model of eight basic worldview questions to examine prominent worldviews that have shaped the Western world, critiquing each worldview within its own frame of reference and in comparison to others.

Designed for use by philosophy students, this 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dictio distinction. Discussion of philosophical issues (...) concerning the development of modal logic is woven into the text. The book uses natural deduction systems and also includes a diagram technique that extends the method of truth trees to modal logic. This feature provides a foundation for a novel method for showing completeness, one that is easy to extend to systems that include quantifiers. (shrink)

This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dicto distinction. Discussion of philosophical (...) issues concerning the development of modal logic is woven into the text. The book uses natural deduction systems, which are widely regarded as the easiest to teach and use. It also includes a diagram technique that extends the method of truth trees to modal logic. This provides a foundation for a novel method for showing completeness that is easy to extend to quantifiers. This second edition contains a new chapter on logics of conditionals, an updated and expanded bibliography, and is updated throughout. (shrink)

It is commonly asserted that “death is not a welfare issue” and this has been reflected in welfare legislation and policy in many countries. However, this creates a conflict for many who consider animal welfare to be an appropriate basis for decision-making in animal ethics but also consider that an animal’s death is ethically significant. To reconcile these viewpoints, this paper attempts to formulate an account of death as a welfare issue. Welfare issues are issues that refer to evaluations concerning (...) an animal’s interests. This includes evaluations that refer only to comparisons between the presence and absence of states, including positive states. This means that an animal’s death may be a welfare issue insofar as it leads to the exclusion of relevant positive states. This allows us to deny that death is necessarily not a welfare issue. (shrink)

This fully revised and extended edition of James Nickel's classic study explains and defends the conception of human rights found in the Universal Declaration of Human Rights and subsequent human rights treaties. Combining philosophical, legal, and political approaches, Nickel addresses questions about what human rights are, what their content should be, and whether and how they can be justified.

Designed for use by philosophy students, this book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dictio distinction. Discussion of philosophical issues concerning (...) the development of modal logic is woven into the text. The book uses natural deduction systems and also includes a diagram technique that extends the method of truth trees to modal logic. This feature provides a foundation for a novel method for showing completeness, one that is easy to extend to systems that include quantifiers. (shrink)

Journal of Religious Ethics, Volume 49, Issue 4, Page 768-792, December 2021.

The Farm Animal Welfare Council’s concept of a Good Life gives an idea of an animal’s quality of life that is over and above that of a mere life worth living. The concept needs explanation and clarification, in order to be meaningful, particularly for consumers who purchase farm animal produce. The concept could allow assurance schemes to apply the label to assessments of both the potential of each method of production, conceptualised in ways expected to enhance consumers’ engagement such as (...) ‘naturalness’ and ‘freedom’; and the concept of a life worth living as a safeguard threshold below which no animal’s actual welfare should fall, based on each animal’s overall affective states. This may provide a framework for development of the Good Life concept, within scientific and sociological fields, in order to allow reliable and influential use by assessors, consumers and retailers. (shrink)

What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives, whose behaviour is defined by strict rules, and proves definitive results concerning exactly what those rules express about connective truth conditions. He explores the ways in which, depending on circumstances, a system of rules may provide no interpretation of a connective at all, or the interpretation we ordinarily expect for it, or (...) an unfamiliar or novel interpretation. He also shows how the novel interpretations thus generated may be used to help analyse philosophical problems such as vagueness and the open future. His book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language. (shrink)

The concept of hegemonic masculinity has influenced gender studies across many academic fields but has also attracted serious criticism. The authors trace the origin of the concept in a convergence of ideas in the early 1980s and map the ways it was applied when research on men and masculinities expanded. Evaluating the principal criticisms, the authors defend the underlying concept of masculinity, which in most research use is neither reified nor essentialist. However, the criticism of trait models of gender and (...) rigid typologies is sound. The treatment of the subject in research on hegemonic masculinity can be improved with the aid of recent psychological models, although limits to discursive flexibility must be recognized. The concept of hegemonic masculinity does not equate to a model of social reproduction; we need to recognize social struggles in which subordinated masculinities influence dominant forms. Finally, the authors review what has been confirmed from early formulations and what needs to be discarded. The authors suggest reformulation of the concept in four areas: a more complex model of gender hierarchy, emphasizing the agency of women; explicit recognition of the geography of masculinities, emphasizing the interplay among local, regional, and global levels; a more specific treatment of embodiment in contexts of privilege and power; and a stronger emphasis on the dynamics of hegemonic masculinity, recognizing internal contradictions and the possibilities of movement toward gender democracy. (shrink)

Animals are usually considered to lack the status of autonomous agents. Nevertheless, they do appear to make ostensible choices. This article considers whether, and how, I should respect animals' choices. I propose a concept of volitionality which can be respected if, and insofar as, doing so is in the best interests of the animal. Applying that concept, I will argue that an animals' choices be respected when the relevant human decision maker's capacities to decide are potentially challenged or compromised. For (...) example, it will be best to respect the animals' choice when the human decision maker: lacks accurate knowledge of the animal's subjective experiences; does not know what will lead to desirable experiences or allow for the avoidance of undesirable ones; is biased; is less aware of the animal's specific situation; cannot appreciate all elements comprehensively, including considering any value to the animal being allowed to make and implement a choice, such as where a lack of control or liberty would be unpleasant or where an animal would usefully learn from the process of choice-making; and when the animal's choice is achievable. This additionally suggests that we may often beneficially choose to set up situations that empower animals to make better choices. (shrink)

The experience of causation is a pervasive product of the human mind. Moreover, the experience of causing an event alters subjective time: actions are perceived as temporally shifted towards their effects [Haggard, P., Clark, S., & Kalogeras, J.. Voluntary action and conscious awareness. Nature Neuroscience, 5, 382-385]. This temporal shift depends partly on advance prediction of the effects of action, and partly on inferential "postdictive" explanations of sensory effects of action. We investigated whether a single factor of statistical contingency could (...) explain both these aspects of causal experience. We studied the time at which people perceived a simple manual action to occur, when statistical contingency indicated a causal relation between action and effect, and when no such relation was indicated. Both predictive and inferential "postdictive" shifts in the time of action depended on strong contingency between action and effect. The experience of agency involves a process of causal learning based on statistical contingency. (shrink)

For many years there has been a debate about the role of the parietal lobe in the generation of behavior. Does it generate movement plans (intention) or choose objects in the environment for further processing? To answer this, we focus on the lateral intraparietal area (LIP), an area that has been shown to play independent roles in target selection for saccades and the generation of visual attention. Based on results from a variety of tasks, we propose that LIP acts as (...) a priority map in which objects are represented by activity proportional to their behavioral priority. We present evidence to show that the priority map combines bottom-up inputs like a rapid visual response with an array of top-down signals like a saccade plan. The spatial location representing the peak of the map is used by the oculomotor system to target saccades and by the visual system to guide visual attention. (shrink)

How reasonable and rational can science be when its practitioners speak of "revolutions" in their thinking and extol certain theories for their "beauty"? James W. McAllister addresses this question with the first systematic study of the aesthetic evaluations that scientists pass on their theories. P. A. M. Dirac explained why he embraced relativity by saying, "It is the essential beauty of the theory which I feel is the real reason for believing in it." Dirac's claim seems to belie rationalist (...) accounts of science. Using this and a wealth of other historical examples, McAllister explains how scientists' aesthetic preferences are influenced by the empirical track record of theories, describes the origin and development of aesthetic styles of theorizing, and reconsiders whether simplicity is an empirical or an aesthetic virtue of theories. McAllister then advances an innovative model of scientific revolutions, in opposition to that of Thomas S. Kuhn. Three detailed studies demonstrate the interconnection of empirical performance, beauty, and revolution. One examines the impact of new construction materials on the history of architecture. Another reexamines the transition from the Ptolemaic system to Kepler's theory in planetary astronomy, and the third documents the rise of relativity and quantum theory in the twentieth century. (shrink)

According to a traditional view, scientific laws and theories constitute algorithmic compressions of empirical data sets collected from observations and measurements. This article defends the thesis that, to the contrary, empirical data sets are algorithmically incompressible. The reason is that individual data points are determined partly by perturbations, or causal factors that cannot be reduced to any pattern. If empirical data sets are incompressible, then they exhibit maximal algorithmic complexity, maximal entropy and zero redundancy. They are therefore maximally efficient carriers (...) of information about the world. Since, on algorithmic information theory, a string is algorithmically random just if it is incompressible, the thesis entails that empirical data sets consist of algorithmically random strings of digits. Rather than constituting compressions of empirical data, scientific laws and theories pick out patterns that data sets exhibit with a certain noise.Author Keywords: Algorithmic randomness; Compression; Empirical data; Information; Law; Pattern. (shrink)

Bogen and Woodward claim that the function of scientific theories is to account for 'phenomena', which they describe both as investigator-independent constituents of the world and as corresponding to patterns in data sets. I argue that, if phenomena are considered to correspond to patterns in data, it is inadmissible to regard them as investigator-independent entities. Bogen and Woodward's account of phenomena is thus incoherent. I offer an alternative account, according to which phenomena are investigator-relative entities. All the infinitely many patterns (...) that data sets exhibit have equal intrinsic claim to the status of phenomenon: each investigator may stipulate which patterns correspond to phenomena for him or her. My notion of phenomena accords better both with experimental practice and with the historical development of science. (shrink)

I defend economic and social rights as human rights, and as a feasible approach to addressing world poverty. I propose a modest conception of economic and social rights that includes rights to subsistence, basic health care and basic education. The second part of the paper defends these three rights. I begin by sketching a pluralistic justificatory framework that starts with abstract norms pertaining to life, leading a life, avoiding severely cruel treatment, and avoiding severe unfairness. I argue that economic and (...) social rights are not excessively burdensome on their addressees and that they are feasible worldwide in the appropriate sense. Severe poverty violates economic and social rights, and accordingly generates high-priority duties of many parties to work towards its elimination. (shrink)

Given the recent ethics scandals in the United States, there has been a renewed focus on understanding the antecedents to ethical decision-making in the research literature. Since ethical norms and standards of behavior are not universally consistent, an individual’s choice of referent may exert a large influence on his/her ethical decision-making. This study used a social identity theory lens to empirically examine the relative influence of the macro- and micro-level variables of national culture and peers on an individual’s intention to (...) behave ethically. Our sample consisted of respondents from Germany, Italy, and Japan. The results indicated that both national culture and peers were found to act as significant referents in ethical decision-making dilemmas. Although peers exerted a much stronger influence on an individual’s ethical decision-making, the impact of peers varied depending on the national culture levels of individualism and power distance. (shrink)

It is nearly 10 years since Patrick Haggard and colleagues first reported the ‘intentional binding’ effect . The intentional binding effect refers to the subjective compression of the temporal interval between a voluntary action and its external sensory consequence. Since the first report, considerable interest has been generated and a fascinating array of studies has accumulated. Much of the interest in intentional binding comes from the promise to shed light on human agency. In this review we survey studies on intentional (...) binding, focusing, in particular, on the link between intentional binding and the sense of agency . We suggest that, whilst it is yet to be fully explicated, the link between intentional binding and the sense of agency is compelling. We conclude by considering outstanding questions and future directions for research on intentional binding. (shrink)

Widely used by instructors who emphasize the logical structure of philosophical theories and the dialectical play of argument, this popular work provides clear, reliable, and up-to-date discussions of central philosophical debates. The fourth edition incorporates major revisions--the first since 1982--and features an extensive change in content. Every chapter has been reworked to improve its organization, to make it more accessible and engaging to the student, and to reflect recent discussions.

Most important, James W. Walters compares and contrasts Buber's and feminism's personalist ethics in light of two considerations: the lack of attention by ...