This thesis is intended t0 help develop the theory 0f coalgebras by, Hrst, taking classic theorems in the theory 0f universal algebras amd dualizing them and, second, developing an interna] 10gic for categories 0f coalgebras. We begin with an introduction t0 the categorical approach t0 algebras and the dual 110tion 0f coalgebras. Following this, we discuss (c0)a,lg€bra.s for 2. (c0)monad and develop 2. theory 0f regular subcoalgebras which will be used in the interna] logic. We also prove that categories 0f (...) coalgebras are completc, under reasonably weak conditions, and simultaneously prove the wellknown dual result for categories 0f algebras. We dose the second chapter with 2. discussion 0f bisimulations in which we introduce a weaker 110tion 0f bisimulaticn than is current in the literature, but which is w€H—b€ha.v€d and reduces t0 the standard defmition under the assumption 0f choice. (shrink)

A minister's wife and mother of two children suggests answers for difficult questions asked by children about death and suffering, God, heaven and hell, and sex.

Since its founding in the nineteenth century, social anthropology has been seen as the study of exotic peoples in faraway places. But today more and more anthropologists are dedicating themselves not just to observing but to understanding and helping solve social problems wherever they occur--in international aid organizations, British TV studios, American hospitals, or racist enclaves in Eastern Europe, for example. In Exotic No More , an initiative of the Royal Anthropological Institute, some of today's most respected anthropologists demonstrate, in (...) clear, unpretentious prose, the tremendous contributions that anthropology can make to contemporary society. They cover issues ranging from fundamentalism to forced migration, child labor to crack dealing, human rights to hunger, ethnicity to environmentalism, intellectual property rights to international capitalisms. But Exotic No More is more than a litany of gloom and doom the essays also explore topics usually associated with leisure or "high" culture, including the media, visual arts, tourism, and music. Each author uses specific examples from their fieldwork to illustrate their discussions, and 62 photographs enliven the text. Throughout the book, the contributors highlight anthropology's commitment to taking people seriously on their own terms, paying close attention to what they are saying and doing, and trying to understand how they see the world and why. Sometimes this bottom-up perspective makes the strange familiar, but it can also make the familiar strange, exposing the cultural basis of seemingly "natural" behaviors and challenging us to rethink some of our most cherished ideas--about gender, "free" markets, "race," and "refugees," among many others. Contributors: William O. Beeman Philippe Bourgois John Chernoff E. Valentine Daniel Alex de Waal Judith Ennew James Fairhead Sarah Franklin Michael Gilsenan Faye Ginsburg Alma Gottlieb Christopher Hann Faye V. Harrison Richard Jenkins Melissa Leach Margaret Lock Jeremy MacClancy Jonathan Mazower Ellen Messer A. David Napier Nancy Scheper-Hughes Jane Schneider Parker Shipton Christopher B. Steiner. (shrink)

It is unclear whether the regulatory distinction between non-identifiable and identifiable information—information used to determine informed consent practices for the use of clinically derived samples for genetic research—is meaningful to patients. The objective of this study was to examine patients' attitudes and preferences regarding use of anonymous and identifiable clinical samples for genetic research. Telephone interviews were conducted with 1,193 patients recruited from general medicine, thoracic surgery, or medical oncology clinics at five United States academic medical centers. Wanting to know (...) about research being done was important to 72% of patients when samples would be anonymous and to 81% of patients when samples would be identifiable. Only 17% wanted to know about the identifiable scenario but not the anonymous scenario. Curiosity-based reasons were the most common among patients who wanted to know about anonymous samples. Of patients wanting to know about either scenario, approximately 57% would require researchers to seek permission, whereas 43% would be satisfied with notification only. Patients were more likely to support permission in the anonymous scenario if they had more education, were Black, less religious, in better health, more private, and less trusting of researchers. The sample, although not representative of the general population, does represent patients at academic medical centers whose clinical samples may be used for genetic research. Few patients expressed preferences consistent with the regulatory distinction between non-identifiable and identifiable information. Data from this study should cause policy-makers to question whether this distinction is useful in relation to research with previously collected clinically derived samples. (shrink)

The re-issue of Professor Cobban’s book on Edmund Burke is a cannonade in the war of skirmishes which still goes on between the disciples of the late Sir Lewis Namier and his critics. One of the casualties in the fighting was Edmund Burke, who had the misfortune to have lived, as a man of ideas, during a period in which Namier claimed that political ideas were at a discount. Burke’s political philosophy was written oft as the rationalising of a party (...) hack who thought that earth had not created anything more fair than the Marquess of Rockingham. However, he has found numerous defenders, among them Professor Cobban, well known as a critic of Namier. His book dates from 1929, a year before the publication of The Structure of Politics at the Accession of George III, and its second edition appears a year or so later than the second edition of Namier’s masterpiece. It is a useful, competent introduction to the main ideas of Burke and those of Wordsworth, Coleridge and the Lake School of Poets. It suffers however by comparison with Namier, with Halevy’s book upon Burke’s ‘rival’, Jeremy Bentham, and more pertinently with Professor Cobban’s mature writing, such as In Search of Humanity or his contributions to the Cambridge Modern History. It also looks dated, when the onward march of Burkiana, notably the Burke correspondence, is taken into consideration. The book has great merit, however. It takes Burke seriously as a political thinker, and this is all to the good but, like Burke himself, it is vague where precision is called for. A good book on Burke is badly needed. It is a pity that Professor Cobban was unable to fill the gap by rewriting this work. (shrink)

This article assumes that the key element in Relativism is the denial of any comparability between different moral codes. Each system of morality is, according to the relativist, defined internally to any given culture, as parallels with examples in sport might illustrate, and as two key examples from recent moral disputes amply show. While classical writers such as Hume and Bentham, each in his way a kind of utilitarian, certainly intended to be absolutist, it might nevertheless be argued that they (...) left the way open to relativism despite their intentions. The absolutist needs to establish a common moral standard of some kind which can be used as a standard of comparison between apparently different moral codes. Hume's assumption that we share the disposition to sympathy with others seems far too optimistic; and Bentham's attempt to be scientific presupposes a shared view both of values and of the canons of moral reasoning; but there is arguably no such shared view. Might some version of Aristotelianism be a more promising approach? The article ends with an ariswer to this question. /// O presente artigo parte do pressuposto de que o elemento-chave do Relativismo é a negação de toda e qualquer comparabilidade entre diferentes códigos morais. Cada sistema de moralidade é, de acordo com o relativista, deftnido internamente nos termos de cada cultura determinada, tal como se pode ilustrar com exemplos do mundo do desporto, e dois exemplos tirados da discussão moral mais recente amplamente demonstram. Enquanto que escritores clássicos tais como David Hume e Jeremy Bentham, cada um deles utilitarista à sua maneira, pretendiam certamente ser absolutistas, a verdade é que, argumenta o autor do artigo, ambos deixaram, apesar das suas intenções, o caminho aberto ao relativismo. O absolutista necessita de alguma forma de estabelecer um padrão moral comum que possa ser usado como termo de comparação entre códigos morais aparentemente diferenciados. O pressuposto de Hume de que nós partilhamos uma inclinação para a simpatia em relação a outros seres humanos parece demasiado optimista; por seu lado, a tentativa de Bentham de corresponder às expectativas da ciência pressupõem, por seu lado, uma visdo comum dos valores e dos cânones do raciocínio moral. O problema, porém, é que se pode demonstrar não existir uma tal visão comum. Assim, pergunta o autor do artigo, não será de considerar uma certa versão do Aristotelismo como uma abordagem mais promissora? A resposta a esta questão constitui a parte final do artigo. (shrink)

This historic book may have numerous typos and missing text. Purchasers can usually download a free scanned copy of the original book (without typos) from the publisher. Not indexed. Not illustrated. 1865 edition. Excerpt:... PART II. BERKELEY'S PHILOSOPHY: SECTION XIV. Bishop Berkeley is best known by the system of idealism developed by him. This theory is unfolded in two works, called "The Principles of Human Knowledge/' and "Three Dialogues between Hylas and Philonous."t If it were not for this system, the (...) name and works of Berkeley, like many more good and great men, would have fallen into a state of entire obscurity. But so long as the various systems of mental science will be studied, the name of Berkeley will be mentioned and his works studied. As yet his theory of idealism, and works in general, have not been so generally read and digested, as they have been The book called, The Principles of Human Knowledge, was published in 1710, by Aaron Rhonies, for Jeremy Pepyat, bookseller in Skinner Row, Dublin; and was the only edition published in Dr. Berkeley's life. t His Three Dialogues between Hylas and Philonout was published in London in 1713. It shows much acuteness, great precision and elegance of expression, bat considerable repetition, and often appears as one turning in a circle. D ignorantly referred to and flippantly treated with a smile. The demonstration of the great lexicographer, Dr. Johnson, against the idealism of Berkeley, kicking a stone, is as faithfully and generally copied as it is familiarly known His system of idealism is considered, generally, so absurd, and contrary to common sense and universal experience, that the best answer it is worthy of is to treat it lightly and indifferently, as the production of one whose brain was not sound at the time in all its organs and powers.t On this ground the philosopher has just reason to complain, and appeal against his critics and judges. We think that the views and sincere convictions of... (shrink)

Author Jeremy Waldron has thoroughly revised thirteen of his most recent essays in order to offer a comprehensive critique of the idea of the judicial review of legislation. He argues that a belief in rights is not the same as a commitment to a Bill of Rights. This book presents legislation by a representative assembly as a form of law making which is especially apt for a society whose members disagree with one another about fundamental issues of principle.

Bentham's best-known book stands as a classic of both philosophy and jurisprudence. The 1789 work articulates an important statement of the foundations of utilitarian philosophy — it also represents a pioneering study of crime and punishment. Bentham's reasoning remains central to contemporary debates in moral and political philosophy, economics, and legal theory.

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

R.I.G Hughes offers the first detailed and accessible analysis of the Hilbert-space models used in quantum theory and explains why they are so successful.

This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and discussing philosophical applications.

Conditional excluded middle (CEM) is the following principe of counterfactual logic: either, if it were the case that φ, it would be the case that ψ, or, if it were the case that φ, it would be the case that not-ψ. I will first show that CEM entails the identity of indiscernibles, the falsity of physicalism, and the failure of the modal to supervene on the categorical and of the vague to supervene on the precise. I will then argue that (...) we should accept these startling conclusions, since CEM is valid. (shrink)

Normal propositional modal systems This first chapter has two main aims. One is to give a general account of the propositional modal systems that we shall ...

The new critical edition of the works and correspondence of Jeremy Bentham (1748-1832) is being prepared and published under the supervision of the Bentham Committee of University College London. In spite of his importance as jurist, philosopher, and social scientist, and leader of theUtilitarian reformers, the only previous edition of his works was a poorly edited and incomplete one brought out within a decade or so of his death. Eight volumes of the new Collected Works, five of correspondence, and three (...) of writings on jurisprudence, appeared between 1968 and 1981, published bythe Athlone Press. Further volumes in the series since then are published by Oxford University Press. The overall plan and principles of the edition are set out in the General Preface to The Correspondence of Jeremy Bentham, vol. 1, which was the first volume of the Collected Works to bepublished.An Introduction to the Principles of Morals and Legislation, Jeremy Bentham's best-known work, is a classic text in modern philosophy and jurisprudence. First published in 1789, it contains the important statement of the foundations of utilitarian philosophy and a pioneering study of crime andpunishment, both of which remain at the heart of contemporary debates in moral and political philosophy, economics, and legal theory. Printed here in full is the definitive edition, edited by the distinguished scholars J. H. Burns and H. L. A. Hart. An introductory essay by Hart, first published in1982 and a widely acknowledged classic in its own right, is reprinted here. It contains an important analysis of Bentham's principle of utility, theory of action, and an account of the relationship between law and morality.A new introduction by the leading Bentham scholar F. Rosen, specially written for this Clarendon Paperback edition, provides students with a helpful survey of Bentham's main ideas and an extensive bibliographical study of recent critical work on Bentham. Professor Rosen's essay also contains a newanalysis of the principle of utility in Bentham's philosophy which is compared with its use in Hume and J. S. Mill. (shrink)

Bentham offers a detailed critique of William Blackstone's 'Commentaries on the Laws of England' (1765-9).

Shearmur draws on his years as Popper's assistant, on unpublished material in the Hoover archive, and on wider themes within Popper's philosophy to offer striking critical re-interpretations of his ethical and social theory. This title available in eBook format. Click here for more information . Visit our eBookstore at: www.ebookstore.tandf.co.uk.

Proponents of the rule of law argue about whether that ideal should be conceived formalistically or in terms of substantive values. Formalistically, the rule of law is associated with principles like generality, clarity, prospectivity, consistency, etc. Substantively, it is associated with market values, with constitutional rights, and with freedom and human dignity. In this paper, I argue for a third layer of complexity: the procedural aspect of the rule of law; the aspects of rule-of-law requirements that have to do with (...) "natural Justice" or "procedural due process." These I believe have been neglected in the jurisprudential literature devoted specifically to the idea of the rule of law and they deserve much greater emphasis. Moreover procedural values go beyond elementary principles like the guarantee of an unbiased tribunal or the opportunity to present and confront evidence. They include the right to argue in a court about what the law is and what its bearing should be on one's situation. The provision that law makes for argument is necessarily unsettling, and so this emphasis on the procedural aspect highlights the point predictability should not be regarded as the be-all and end-all of the rule of law. (shrink)

Frankfurt-type examples seem to show that agents can be morally responsible for their actions and omissions even if they could not have done otherwise. Fischer and Ravizza's influential account of moral responsibility is largely based on such examples. I examine a problem with their account of responsibility in cases where we fail to act. The solution to this problem has a surprising and far reaching implication concerning the construction of successful Frankfurt-type examples. I argue that the role of the counterfactual (...) intervener in such examples can only be filled by a rational agent. (shrink)

Darwin hypothesized that some animals, when selecting sexual partners, possess a genuine “sense of beauty” that cannot be accounted for by the logic of natural selection. This hypothesis has been notoriously controversial. In this chapter I propose that the concept of agency can be useful to operationalize the “sense of beauty”, and can help identify the conditions under which one can infer that animals are acting as (aesthetic) agents. Focusing on a case study of the behavior of the Pavo cristatus, (...) I identify the types of evidence that would allow for the inference of agency through aesthetic choice. (shrink)

Boredom is an affective experience that can involve pervasive feelings of meaninglessness, emptiness, restlessness, frustration, weariness and indifference, as well as the slowing down of time. An increasing focus of research in many disciplines, interest in boredom has been intensified by the recent Covid-19 pandemic, where social distancing measures have induced both a widespread loss of meaning and a significant disturbance of temporal experience. This article explores the philosophical significance of this aversive experience of ‘pandemic boredom.’ Using Heidegger’s work as (...) a unique vantage point, this article draws on survey data collected by researchers in an ongoing project titled ‘Experiences of Social Distancing During the Covid-19 Pandemic’ to give an original phenomenological interpretation of the meaninglessness and monotony of pandemic boredom. On a Heideggerian interpretation, pandemic boredom involves either a situative confrontation with relative meaninglessness that upholds our absorption in the everyday world, or an existential confrontation with absolute meaninglessness that forces us to take up the question of our existence. Arguing that boredom during the pandemic makes this distinction difficult to sustain, I consider some of the ways in which pandemic boredom might be seen to expose and then exceed the distinctive methodological limitations of Heidegger’s philosophical interpretation of boredom. (shrink)

I consider a number of reasons one might think we should only accept epistemic dilemmas in our normative epistemology as a last resort and argue that none of them is compelling.

Pragmatism is a philosophical movement developed near the turn of the century in the of several prominent American philosophers, most notably, Charles Sanders Peirce, William James, and John Dewey. Although many contemporary analytic philosophers never studied American Philosophy in graduate schoo l, analytic philosophy has been significantly shaped by philosophers strongly influenced by that tradition, most especially W. V. Quine, Donald Davidson, Hilary Putnam, and Richard Rorty. Like other philosophical movements, it developed in response to the then-dominant philosophical wisdom. What (...) unified pragmatism was its rejection of certain epistemological assumptions about the nature of truth, objectivity, and rationality. The rejection of these assumptions springs from the pragmatist's belief that practice is primary in philosophy. Meaningful inquiry originates in practice. Theorizing is valuable, for sure, but its value arises practice, is informed by practice, and, its proper aim is to clarify, coordinate, and inform practice. Theorizing divorced practice is useless. Pragmatism is at once both familiar and radical. Familiar in that it often begins with rather ordinary views; radical in that it often sees in those views insights that philosophers and lay people miss or misunderstand. A pragmatic ethic employs criteria without being criterial. It is objective without being absolutist. It acknowledges that ethical judgements are relative, without being relativistic. And it tolerates - indeed, welcomes some moral differences, without being irresolute. Precisely what each of these means, and why pragmatists hold them, emerges throughout this paper. I begin with the first since it sets the stage for introducing other pivotal pragmatic ideas. Ethical theorizing begins when we think about how we ought to live. Many people assume that means we must look for moral criteria: some list of rules or principles whereby we can distinguish good from bad and right wrong, or a list of virtues we try to inculcate.. (shrink)

The challenge this book addresses is to demonstrate how, in teaching content knowledge, the development of intellectual and moral dispositions as virtues is not merely a good idea, or peripheral to that content, but deeply embedded in the logic of searching for knowledge and truth. It offers a powerful example of how philosophy of education can be brought to bear on real problems of educational research and practice – pointing the reader to re-envision what it means to educate children by (...) developing the person, instead of simply knowledge and skills. Connected intimately to the practice of teaching and teacher education, the book sets forth an alternative theory of education where the developing person is at the center of education set in a moral space and a political order. To this end, a framework of public and personal knowledge forms the content, to which personal dispositions are integral, not peripheral. The book’s pedagogy is invitational, welcoming its readers as companions in inquiry and thought about the moral aspects of what we teach as knowledge. (shrink)

In a recent article, Shaw contrasts his own supposed good behaviour, as that of a self-proclaimed “social distance warrior” with the alleged rude behaviour of one of his relatives, Jack, at social events in the former’s house in Scotland in the early stages of the COVID-19 pandemic. He does so to illustrate and support his claims that it was wrong and rude to fail to comply with the governmental advice regarding social distancing because we had a responsibility “to minimize risk” (...) and not wrong nor rude to challenge and cajole those people who failed to do so. This article shows that his claims are contestable. It suggests that his own behaviour was no better than Jack’s. (shrink)

There is pragmatic encroachment on some epistemic status just in case whether a proposition has that status for a subject depends not only on the subject's epistemic position with respect to the proposition, but also on features of the subject's non-epistemic, practical environment. Discussions of pragmatic encroachment usually focus on knowledge. Here we argue that, barring infallibilism, there is pragmatic encroachment on what is arguably a more fundamental epistemic status – the status a proposition has when it is warranted enough (...) to be a reason one has for believing other things. (shrink)

We discuss from a philosophical perspective the way in which the normal concept of time might be said to `emerge' in a quantum theory of gravity. After an introduction, we briefly discuss the notion of emergence, without regard to time. We then introduce the search for a quantum theory of gravity ; and review some general interpretative issues about space, time and matter. We then discuss the emergence of time in simple quantum geometrodynamics, and in the Euclidean approach. Section 6 (...) concludes. (shrink)

Jeremy Bentham's work on The Principles of Morals and Legislation emerges from its historic roots in hedonism and teleology as a scientific attempt to assess the moral content of human action by focusing on its results or consequences. Proceeding from the assumption that human beings desire pleasure (and avoid pain), Bentham's unique perspective, known as utilitarianism, is used to construct a fascinating calculus for determining which action to perform when confronted with situations requiring moral decision-makingthe goal of which is to (...) arrive at the "greatest happiness of the greatest number." Toward this end, he endeavors to delineate the sources and kinds of pleasure and pain and how they can be measured when assessing one's moral options. Bentham supports his arguments with discussions of intentionality, consciousness, motives, and dispositions. Bentham concludes this groundbreaking work with an analysis of punishment: its purpose and the proper role that law and jurisprudence should play in its determination and implementation. Here we find Bentham as social reformer seeking to resolve the tension that inevitably exists when the concerns of the many conflict with individual freedom. The Principles of Morals and Legislation offers readers the rare opportunity to experience one of the great works of moral philosophy, a volume that has influenced the course of ethical theory for over a century. (shrink)

A rigorous, authoritative new anthology which brings together some of the most significant contemporary scholarship on the theory of knowledge Carefully-calibrated and judiciously-curated, this strong and contemporary new anthology builds upon Epistemology: An Anthology, Second Edition (Wiley Blackwell, 2008) by drawing a concise and well-balanced selection of higher-level readings from a large, diverse, and evolving body of research. Includes 17 readings that represent a broad and vital part of contemporary epistemology, including articles by female philosophers and emerging thought leaders Organized (...) into seven thoughtful and distinct sections, including virtue epistemology, practical reasons for belief, and epistemic dysfunctions among others Designed to sit alongside the highly-successful anthology of canonical essays, Epistemology: An Anthology, Second Edition (Wiley Blackwell, 2008) Edited by a distinguished editorial team, including Ernie Sosa, one of the most influential active epistemologists Highlights cutting edge methodologies and contemporary topics for advanced students, instructors, and researchers. (shrink)

The Negation Problem states that expressivism has insufficient structure to account for the various ways in which a moral sentence can be negated. We argue that the Negation Problem does not arise for expressivist accounts of all normative language but arises only for the specific examples on which expressivists usually focus. In support of this claim, we argue for the following three theses: 1) a problem that is structurally identical to the Negation Problem arises in non-normative cases, and this problem (...) is solved once the hidden quantificational structure involved in such cases is uncovered; 2) the terms ‘required’, ‘permissible’, and ‘forbidden’ can also be analyzed in terms of hidden quantificational structure, and the Negation Problem disappears once this hidden structure is uncovered; 3) the Negation Problem does not arise for normative language that has no hidden quantificational structure. We conclude that the Negation Problem is not really a problem about expressivism at all but is rather a feature of the quantificational structure of the required, permitted, and forbidden. (shrink)

Principles of legislation.--Principles of the civil code.--Principles of the penal code.

Negative Ecstasies discusses the contribution and significance of the work of Georges Bataille to the contemporary study of religion and theology, collecting essays that examine specific case studies and make connections to other significant scholars in the field.

I argue that evidentialism should be rejected because it cannot be reconciled with empirical work on bias in cognitive and social psychology.

The first five volumes of the Correspondence of Jeremy Bentham contain over 1,300 letters written both to and from Bentham over a 50-year period, beginning in 1752 (aged three) with his earliest surviving letter to his grandmother, and ending in 1797 with correspondence concerning his attempts to set up a national scheme for the provision of poor relief. Against the background of the debates on the American Revolution of 1776 and the French Revolution of 1789, to which he made significant (...) contributions, Bentham worked first on producing a complete penal code, which involved him in detailed explorations of fundamental legal ideas, and then on his panopticon prison scheme. Despite developing a host of original and ground-breaking ideas, contained in a mass of manuscripts, he published little during these years, and remained, at the close of this period, a relatively obscure individual. Nevertheless, these volumes reveal how the foundations were laid for the remarkable rise of Benthamite utilitarianism in the early nineteenth century. Bentham’s early life is marked by his extraordinary precociousness, but also family tragedy: by the age of 10 he had lost five infant siblings and his mother. The letters in this volume document his difficult relationship with his father and his increasing attachment to his surviving younger brother Samuel, his education, his interest in chemistry and botany, and his committing himself to a life of philosophy and legal reform. (shrink)

Aristotle's _Nicomachean Ethics_ is one of the most important texts in western philosophy, and arguably the most influential text on contemporary moral theory. This _GuideBook_ introduces and assesses: * Aristotle's life and the background to the _Nicomachean Ethics_ * The ideas and text of the _Nicomachean Ethics_ * Aristotle's central role in philosophy and his continuing contribution to our ethical thought.

We have two aims. The main one is to expound the idea of renormalization in quantum field theory, with no technical prerequisites. Our motivation is that renormalization is undoubtedly one of the great ideas—and great successes--of twentieth-century physics. Also it has strongly influenced in diverse ways, how physicists conceive of physical theories. So it is of considerable philosophical interest. Second, we will briefly relate renormalization to Ernest Nagel's account of inter-theoretic relations, especially reduction. One theme will be a contrast between (...) two approaches to renormalization. The old approach, which prevailed from ca. 1945 to 1970, treated renormalizability as a necessary condition for being an acceptable quantum field theory. On this approach, it is a piece of great good fortune that high energy physicists can formulate renormalizable quantum field theories that are so empirically successful. But the new approach to renormalization explains why the phenomena we see, at the energies we can access in our particle accelerators, are described by a renormalizable quantum field theory. For whatever non-renormalizable interactions may occur at yet higher energies, they are insignificant at accessible energies. Thus the new approach explains why our best fundamental theories have a feature, viz. renormalizability, which the old approach treated as a selection principle for theories. That is worth saying since philosophers tend to think of scientific explanation as only explaining an individual event, or perhaps a single law, or at most deducing one theory as a special case of another. Here we see a framework in which there is a space of theories. And this framework is powerful enough to deduce that what seemed “manna from heaven” is to be expected: the good fortune is generic. We also maintain that universality, a concept stressed in renormalization theory, is essentially the familiar philosophical idea of multiple realizability; and that it causes no problems for reductions of a Nagelian kind. (shrink)

As idealized descriptions of mathematical language, there is a sense in which formal systems specify too little, and there is a sense in which they specify too much. On the one hand, formal languages fail to account for a number of features of informal mathematical language that are essential to the communicative and inferential goals of the subject. On the other hand, many of these features are independent of the choice of a formal foundation, so grounding their analysis on a (...) particular choice of a formal system introduces unnecessary specificity. This chapter begins to map out the design features of mathematical language without descending to the level of formal implementation, drawing on examples from the mathematical literature and insights from the design of computational proof assistants and their libraries. (shrink)

There are two competing models for how to understand Aquinas’s hylomorphic theory of material substances: the Simple Model, according to which material substances are composed of prime matter and substantial form, and the Expanded Model, according to which material substances are composed of prime matter, substantial form, and all of their accidental forms. In this paper, I first explain the main differences between these two models and show how they situate Aquinas’s theory of material substances in two different places within (...) the contemporary debate on concrete particulars, highlighting several advantages that Aquinas’s approach has over other varieties of substratum and bundle theory along the way. I then offer some reasons to think that the Expanded Model, as a theory of concrete particulars, is preferable. I argue that the Expanded Model avoids two major concerns for the Simple Model: the problem of extrinsicality, and the problem of too-many-possessors. (shrink)