This paper investigates some delicate tradeoffs between the generality of an algorithmic learning device and the quality of the programs it learns successfully. There are results to the effect that, thanks to small increases in generality of a learning device, the computational complexity of some successfully learned programs is provably unalterably suboptimal. There are also results in which the complexity of successfully learned programs is asymptotically optimal and the learning device is general, but, still thanks to the generality, some of (...) those optimal, learned programs are provably unalterably information deficient—in some cases, deficient as to safe, algorithmic extractability/provability of the fact that they are even approximately optimal. For these results, the safe, algorithmic methods of information extraction will be by proofs in arbitrary, true, computably axiomatizable extensions of Peano Arithmetic. (shrink)

Hay and, then, Johnson extended the classic Rice and Rice-Shapiro Theorems for computably enumerable sets, to analogs for all the higher levels in the finite Ershov Hierarchy. The present paper extends their work to analogs in the transfinite Ershov Hierarchy. Some of the transfinite cases are done for all transfinite notations in Kleene's important system of notations, equation image. Other cases are done for all transfinite notations in a very natural, proper subsystem equation image of equation image, where equation image (...) has at least one notation for each constructive ordinal. In these latter cases it is open as to what happens for the entire set of transfinite notations in equation image. (shrink)

A U-shaped curve in a cognitive-developmental trajectory refers to a three-step process: good performance followed by bad performance followed by good performance once again. U-shaped curves have been observed in a wide variety of cognitive-developmental and learning contexts. U-shaped learning seems to contradict the idea that learning is a monotonic, cumulative process and thus constitutes a challenge for competing theories of cognitive development and learning. U-shaped behavior in language learning (in particular in learning English past tense) has become a central (...) topic in the Cognitive Science debate about learning models. Antagonist models (e.g., connectionism versus nativism) are often judged on their ability of modeling or accounting for U-shaped behavior. The prior literature is mostly occupied with explaining how U-shaped behavior occurs. Instead, we are interested in the necessity of this kind of apparently inefficient strategy. We present and discuss a body of results in the abstract mathematical setting of (extensions of) Gold-style computational learning theory addressing a mathematically precise version of the following question: Are there learning tasks that require U-shaped behavior? All notions considered are learning in the limit from positive data. We present results about the necessity of U-shaped learning in classical models of learning as well as in models with bounds on the memory of the learner. The pattern emerges that, for parameterized, cognitively relevant learning criteria, beyond very few initial parameter values, U-shapes are necessary for full learning power! We discuss the possible relevance of the above results for the Cognitive Science debate about learning models as well as directions for future research. (shrink)

Despite recurring efforts, a gap exists across a variety of contexts between the protection of patients' safety in theory and in practice. This timely Research Handbook highlights these critical issues and suggests both legal and policy changes are necessary to better protect patients' safety. Multidisciplinary in nature, this Research Handbook features contributions from eminent academics, policy makers and medical practitioners from the Global North and South, discussing the essential facets concerning patient safety and the law. It highlights how the role (...) of legislation and case law has the potential to influence, both positively and negatively, medical practice and the quality of care. Chapters explore patient safety and the global health agenda; physiotherapy; 'non-therapeutic' clinical research with children; patient safety awareness in healthcare education; and the increasing use of robotics and artificial intelligence in healthcare. Outlining a wide range of international perspectives on patient safety and the law, this Research Handbook will appeal to academics and researchers specialising in health and medical law, human rights and healthcare regulation. It will also serve as a valuable resource for legal and medical practitioners alike, as well as clinicians and professionals working in healthcare governance. (shrink)

A generator program for a computable function (by definition) generates an infinite sequence of programs all but finitely many of which compute that function. Machine learning of generator programs for computable functions is studied. To motivate these studies partially, it is shown that, in some cases, interesting global properties for computable functions can be proved from suitable generator programs which cannot be proved from any ordinary programs for them. The power (for variants of various learning criteria from the literature) of (...) learning generator programs is compared with the power of learning ordinary programs. The learning power in these cases is also compared to that of learning limiting programs, i.e., programs allowed finitely many mind changes about their correct outputs. (shrink)

Recent reports of the discovery of a “God module” in the human brain derive from the fact that epileptic seizures in the left temporal lobe are associated with ecstatic feelings sometimes described as an experience of the presence of God. The brain area involved has been described as either (a) the seat of an innate human faculty for experiencing the divine or (b) the seat of religious delusions.In fact, religious experience is extremely various and involves many parts of the brain, (...) including some that are prehuman in their evolutionary history and some that are characteristically human. In the continuing integration of such experiences, spiritual formation takes place. Thus the entire human brain might be described as a “God module.”Such a process is only possible because of the brain's complexity. The human brain is the most complex entity for its size that we know of. As used here, complexity is a specialized term denoting the presence of a web of interlinked and significant connections—the more intricate the web, the more complex the entity. Complex systems develop only in a milieu that provides both lawfulness and freedom, and they tend to be self‐organizing, becoming more complex and more effective as a result of both inward and outward experience. The evidence suggests that both personal growth and spiritual growth are processes of complexification of character, and of the brain itself. This thesis is tested in light of the work of William James and James W. Fowler. (shrink)

Freivalds defined an acceptable programming system independent criterion for learning programs for functions in which the final programs were required to be both correct and "nearly" minimal size, i.e., within a computable function of being purely minimal size. Kinber showed that this parsimony requirement on final programs limits learning power. However, in scientific inference, parsimony is considered highly desirable. A lim-computablefunction is (by definition) one calculable by a total procedure allowed to change its mind finitely many times about its output. (...) Investigated is the possibility of assuaging somewhat the limitation on learning power resulting from requiring parsimonious final programs by use of criteria which require the final, correct programs to be "not-so-nearly" minimal size, e.g., to be within a lim-computable function of actual minimal size. It is shown that some parsimony in the final program is thereby retained, yet learning power strictly increases. Considered, then, are lim-computable functions as above but for which notations for constructive ordinals are used to bound the number of mind changes allowed regarding the output. This is a variant of an idea introduced by Freivalds and Smith. For this ordinal notation complexity bounded version of lim-computability, the power of the resultant learning criteria form finely graded, infinitely ramifying, infinite hierarchies intermediate between the computable and the lim-computable cases. Some of these hierarchies, for the natural notations determining them, are shown to be optimally tight. (shrink)

We investigate a new paradigm in the context of learning in the limit, namely, learning correction grammars for classes of computably enumerable (c.e.) languages. Knowing a language may feature a representation of it in terms of two grammars. The second grammar is used to make corrections to the first grammar. Such a pair of grammars can be seen as a single description of (or grammar for) the language. We call such grammars correction grammars. Correction grammars capture the observable fact that (...) people do correct their linguistic utterances during their usual linguistic activities. We show that learning correction grammars for classes of c.e. languages in the TxtEx-model (i.e., converging to a single correct correction grammar in the limit) is sometimes more powerful than learning ordinary grammars even in the TxtBe-model (where the learner is allowed to converge to infinitely many syntactically distinct but correct conjectures in the limit). For each n ≥ 0, there is a similar learning advantage, again in learning correction grammars for classes of c.e. languages, but where we compare learning correction grammars that make n + 1 corrections to those that make n corrections. The concept of a correction grammar can be extended into the constructive transfinite, using the idea of counting-down from notations for transfinite constructive ordinals. This transfinite extension can also be conceptualized as being about learning Ershov-descriptions for c.e. languages. For u a notation in Kleene's general system $(O,\, < _o )$ of ordinal notations for constructive ordinals, we introduce the concept of an u-correction grammar, where u is used to bound the number of corrections that the grammar is allowed to make. We prove a general hierarchy result: if u and v are notations for constructive ordinals such that $u\, < _o \,v$ , then there are classes of c.e. languages that can be TxtEx-learned by conjecturing v-correction grammars but not by conjecturing u-correction grammars. Surprisingly, we show that— above "ω-many" corrections—it is not possible to strengthen the hierarchy: TxtEx-learning u-correction grammars of classes of c.e. languages, where u is a notation in O for any ordinal, can be simulated by TxtBe-learning ω-correction grammars, where ω is any notation for the smallest infinite ordinal ω. (shrink)

R.W. Ashby maintained that people and animals do not have to remember as much as one might think since considerable information is stored in the environment. Presented herein is an everyday, quantitative example featuring calculation of the number bits of memory that can be off-loaded to the environment. The example involves one’s storing directions to a friend’s house. It is also argued that the example works with or without acceptance of the extended mind hypothesis. Additionally, a brief supporting argument for (...) at least a form of this hypothesis is presented. (shrink)

Many philosophers favour the simple knowledge account of assertion, which says you may assert something only if you know it. The simple account is true but importantly incomplete. I defend a more informative thesis, namely, that you may assert something only if your assertion expresses knowledge. I call this 'the express knowledge account of assertion', which I argue better handles a wider range of cases while at the same time explaining the simple knowledge account's appeal. §1 introduces some new data (...) that a knowledge account of assertion well explains. §2 explains the simple knowledge account's advantage over two of its main competitors. §3 presents a problem for the simple account and offers a solution, which is to adopt the express knowledge account. §4 encapsulates the case for the express knowledge account, and offers a unifying vision for the epistemology of belief and assertion. §5 answers an objection. §6 briefly sums up. Even those who ultimately reject my conclusion can still benefit from the new data presented in §1, and learn an important lesson from the problem discussed in §3, which demonstrates a general constraint on an acceptable account of the norm of assertion. (shrink)

This paper explains what it is to believe something for a reason. My thesis is that you believe something for a reason just in case the reason non-deviantly causes your belief. In the course of arguing for my thesis, I present a new argument that reasons are causes, and offer an informative account of causal non-deviance.

Assertion is fundamental to our lives as social and cognitive beings. Philosophers have recently built an impressive case that the norm of assertion is factive. That is, you should make an assertion only if it is true. Thus far the case for a factive norm of assertion been based on observational data. This paper adds experimental evidence in favor of a factive norm from six studies. In these studies, an assertion’s truth value dramatically affects whether people think it (...) should be made. Whereas nearly everyone agreed that a true assertion supported by good evidence should be made, most people judged that a false assertion supported by good evidence should not be made. The studies also suggest that people are consciously aware of criteria that guide their evaluation of assertions. Evidence is also presented that some intuitive support for a non-factive norm of assertion comes from a surprising tendency people have to misdescribe cases of blameless rule-breaking as cases where no rule is broken. (shrink)

It is increasingly recognized that knowledge is the norm of assertion. As this view has gained popularity, it has also garnered criticism. One widely discussed criticism involves thought experiments about “selfless assertion.” Selfless assertions are said to be intuitively compelling examples where agents should assert propositions that they don’t even believe and, hence, don’t know. This result is then taken to show that knowledge is not the norm of assertion. This paper reports four experiments demonstrating that “selfless assertors” are viewed (...) as both believing and knowing the propositions they assert: this is the natural and intuitive way of interpreting the case. Thought experiments about selfless assertions do not threaten the knowledge account and they do not motivate weaker alternative accounts. The discussion also highlights a general lesson for philosophers: thought experiments intended to probe for mental state attributions should not conflict with basic principles that guide social cognition. (shrink)

Does Anne Conway (1631–79) hold that the created world consists of a single underlying substance? Some have argued that she does; others have argued that she is a priority monist and so holds that there are many created substances, but the whole created world is ontologically prior to each particular creature. Against both of these proposals, this article makes the case for a substance pluralist interpretation of Conway: individual creatures are distinct substances, and the whole created world is not (...) ontologically prior to the individual creatures that compose it. The basic argument for such a view draws on Conway's claims about the freedom and moral responsibility of individual creatures. The pluralist reading is straightforwardly compatible with these claims, while the monistic readings are not. (shrink)

Are theories ‘underdetermined by the evidence’ in any way that should worry the scientific realist? I argue that no convincing reason has been given for thinking so. A crucial distinction is drawn between data equivalence and empirical equivalence. Duhem showed that it is always possible to produce a data equivalent rival to any accepted scientific theory. But there is no reason to regard such a rival as equally well empirically supported and hence no threat to realism. Two theories are empirically (...) equivalent if they share all consequences expressed in purely observational vocabulary. This is a much stronger requirement than has hitherto been recognised— two such ‘rival’ theories must in fact agree on many claims that are clearly theoretical in nature. Given this, it is unclear how much of an impact on realism a demonstration that there is always an empirically equivalent ‘rival’ to any accepted theory would have—even if such a demonstration could be produced. Certainly in the case of the version of realism that I defend—structural realism—such a demonstration would have precisely no impact: two empirically equivalent theories are, according to structural realism, cognitively indistinguishable. (shrink)

Uses case studies of evil, the most serious of our moral Problems, to explain why people act with cruelty, greed, prejudice and fanatacism.

Evidence from life science, cognitive science, and philosophy supports the hypothesis that knowledge is a central norm of the human practice of assertion. However, to date, the experimental evidence supporting this hypothesis is limited to American anglophones. If the hypothesis is correct, then such findings will not be limited to one language or culture. Instead, we should find a strong connection between knowledge and assertability across human languages and cultures. To begin testing this prediction, we conducted three experiments on Koreans (...) in Korean. In each case, the findings replicated prior results observed in Americans and were corroborated by key findings from new replication studies on Americans using materials back-translated from Korean. These findings support the theory that there is a core, cross-culturally robust human practice of assertion and that, according to the rules of this practice, assertions should express knowledge. (shrink)

For many years, the downtown in Clarksdale, with a municipal population of 17,960 and located in the northern part of the Mississippi Delta, had lost its role as the centre providing a wide range of jobs and services to those living in the surrounding region. For many cities and towns in America, downtown decline has been associated with the flight to the suburbs and the growth in shopping malls serving flourishing gated communities. In Clarksdale’s case, downtown decline has been (...) due largely to the advent of big box retailing and the location of new retail and commercial developments along the state highway on the edge of town, combined with the loss of jobs and population associated with agricultural restructuring. Today, however, Clarksdale has taken up the challenge to ‘revitalize’ the downtown in the face of economic adversity. Recovery is under way, and much of this is associated with blues music and Delta culture: Clarksdale is situated at the fabled ‘crossroads’ of Highways 49 and 61 and is also the home to national icons in literature, art and other cultural pursuits. These are key elements around which the downtown revitalization effort is focused. This paper charts the process by which the Clarksdale community has embarked on the road to downtown recovery, and highlights the town’s indelible links with the blues, borne out of years of toil, hardship and social deprivation. The paper emphasizes the importance of ‘champions’ and ‘creative people’, drawing on community support, in achieving downtown revitalization. Positive results are becoming evident with new businesses and jobs, improved levels of service, refurbishment of derelict buildings, a renewed sense of place, and an uplift in community confidence. The significance of cultural tourism to downtown revitalization is highlighted, with particular emphasis on the global appeal of blues, but with its roots firmly established in Clarksdale and the Delta. (shrink)

Infinitists argue that their view outshines foundationalism because infinitism can, whereas foundationalism cannot, explain two of epistemic justification’s crucial features: it comes in degrees and it can be complete. I present four different ways that foundationalists could make sense of those two features of justification, thereby undermining the case for infinitism.

Every known religious or explicitly irreligious outlook is contested by large contingents of informed and reasonable people. Many philosophers have argued that reflection on this fact should lead us to abandon confident religious or irreligious belief and to embrace religious skepticism. John Pittard critically assesses the case for such disagreement-motivated religious skepticism. While the book focuses on religious disagreement, it makes a number of significant contributions to the more general discussion of the rational significance of disagreement as well.

Intuitively, the knowledge of one’s own intentional actions is different from the knowledge of actions of other sorts, including those of other people and unintentional actions of one's own. But how are we to understand this phenomenon? Does it pertain to all actions, under every description under which they are known? If so, then how is this possible? If not, then how should we think about cases that are exceptions to this principle? This paper is a critical survey of recent (...) attempts to answer these questions. I consider views under three headings: "special source" views, which hold that the knowledge of one's intentional actions has a non-perceptual source; "special domain" views, which hold that some but not all aspects of one's intentional actions are known in a special way; and "special character" views, which hold that the knowledge of intentional actions is special not because of where it comes from, but because of some other respect in which it is different in kind from the knowledge of other things. (shrink)

This paper introduces a new, expanded range of relevant cognitive psychological research on collaborative recall and social memory to the philosophical debate on extended and distributed cognition. We start by examining the case for extended cognition based on the complementarity of inner and outer resources, by which neural, bodily, social, and environmental resources with disparate but complementary properties are integrated into hybrid cognitive systems, transforming or augmenting the nature of remembering or decision-making. Adams and Aizawa, noting this distinctive complementarity (...) argument, say that they agree with it completely: but they describe it as “a non-revolutionary approach” which leaves “the cognitive psychology of memory as the study of processes that take place, essentially without exception, within nervous systems.” In response, we carve out, on distinct conceptual and empirical grounds, a rich middle ground between internalist forms of cognitivism and radical anti-cognitivism. Drawing both on extended cognition literature and on Sterelny’s account of the “scaffolded mind” (this issue), we develop a multidimensional framework for understanding varying relations between agents and external resources, both technological and social. On this basis we argue that, independent of any more “revolutionary” metaphysical claims about the partial constitution of cognitive processes by external resources, a thesis of scaffolded or distributed cognition can substantially influence or transform explanatory practice in cognitive science. Critics also cite various empirical results as evidence against the idea that remembering can extend beyond skull and skin. We respond with a more principled, representative survey of the scientific psychology of memory, focussing in particular on robust recent empirical traditions for the study of collaborative recall and transactive social memory. We describe our own empirical research on socially distributed remembering, aimed at identifying conditions for mnemonic emergence in collaborative groups. Philosophical debates about extended, embedded, and distributed cognition can thus make richer, mutually beneficial contact with independently motivated research programs in the cognitive psychology of memory. (shrink)

Many philosophers have held that it is not possible to experience a spatial object, property, or relation except against the background of an intact awareness of a space that is somehow ‘absolute’. This paper challenges that claim, by analyzing in detail the case of a brain-damaged subject whose visual experiences seem to have violated this condition: spatial objects and properties were present in his visual experience, but space itself was not. I go on to suggest that phenomenological argumentation can (...) give us a kind of evidence about the nature of the mind even if this evidence is not absolutely incorrigible. (shrink)

Friendship is an important part of the good life. While many roboticists are eager to create friend-like robots, many philosophers and ethicists are concerned. They argue that robots cannot really be our friends. Robots can only fake the emotional and behavioural cues we associate with friendship. Consequently, we should resist the drive to create robot friends. In this article, I argue that the philosophical critics are wrong. Using the classic virtue-ideal of friendship, I argue that robots can plausibly be considered (...) our virtue friends - that to do so is philosophically reasonable. Furthermore, I argue that even if you do not think that robots can be our virtue friends, they can fulfil other important friendship roles, and can complement and enhance the virtue friendships between human beings. (shrink)

I revisit my article, “Why Immortality Is Not So Bad,” in which I argued that Bernard Williams’s thesis that immortality would necessarily be boring for any human being is false. Here I point out various ways in which Williams’s treatment of the issues has tilted and distorted the subsequent debates.

This article examines the emergence of casuistical case analysis as a methodological alternative to more theory-driven approaches in bioethics research and education. Focusing on The Abuse of Casuistry by A. Jonsen and S. Toulmin, the article articulates the most characteristic features of this modernday casuistry (e.g., the priority allotted to case interpretation and analogical reasoning over abstract theory, the resemblance of casuistry to common law traditions, the ‘open texture’ of its principles, etc.) and discusses some problems with casuistry (...) as an ‘anti-theoretical’ method. It is argued that casuistry so defined is ‘theory modest’ rather than ‘theory free’ and that ethical theory can still play a significant role in casuistical analysis; that casuistical analyses will encounter conflicting ‘deep’ interpretations of our social practices and institutions, and are therefore unlikely sources of increased social consensus on controversial bioethical questions; that its conventionalism raises questions about casuistry's ability to criticize norms embedded in the societal consensus; and that casuistry's emphasis upon analogical reasoning may tend to reinforce the individualistic nature of much bioethical writing. It is concluded that, notwithstanding these problems, casuistry represents a promising alternative to the regnant model of ‘applied ethics’ (i.e., to the ritualistic invocation of the so-called ‘principles of bioethics’). The pedagogical implications of casuistry are addressed throughout the paper and include the following recommendations: (1) use real cases, (2) make them long, richly detailed and comprehensive, (3) present complex sequences of cases, (4) stress the problem of ‘moral diagnosis’, and (5) be ever mindful of the limits of casuistical analysis. Keywords: casuistry, interpretation, methodology, pedagogy CiteULike Connotea Del.icio.us What's this? (shrink)

This chapter presents a series of experiments that elicit causal judgments using statements that do not include the verb "to cause". In particular, our interest is in exploring the extent to which previously observed effects of normative considerations on agreement with what we call "cause"-statements, i.e. those of the form "X caused ..." extend as well to those of the form "X V-ed Y", where V is a lexical causative. Our principal finding is that in many cases the effects do (...) not extend in this way, and moreover that the cases where we do find the same pattern are those where the causal verb used has a negative valence of its own. We draw two main conclusions from this finding. First, it reveals how the almost exclusive focus on "cause"-statements in the experimental study of causal judgment has led to findings that are unrepresentative of the full range of ordinary causal thinking, and provides a proof of concept as to how this thinking can be studied in its full variety. Second, the results of our experiments provide significant indirect support for the contention that the effect of moral considerations on agreement with "cause"-statements reflect the fact that these statements are most often used to assign responsibility for an event, and not just to describe the causal structure of what happened. It is not causal judgments in general that result from a process in which normative considerations play a role, but perhaps only those judgments that express a determination of moral responsibility. (shrink)

We are living through an era of increased robotisation. Some authors have already begun to explore the impact of this robotisation on legal rules and practice. In doing so, many highlight potential liability gaps that might arise through robot misbehaviour. Although these gaps are interesting and socially significant, they do not exhaust the possible gaps that might be created by increased robotisation. In this article, I make the case for one of those alternative gaps: the retribution gap. This gap (...) arises from a mismatch between the human desire for retribution and the absence of appropriate subjects of retributive blame. I argue for the potential existence of this gap in an era of increased robotisation; suggest that it is much harder to plug this gap than it is to plug those thus far explored in the literature; and then highlight three important social implications of this gap. (shrink)

A World for Us aims to refute physical realism and establish in its place a form of idealism. Physical realism, in the sense in which John Foster understands it, takes the physical world to be something whose existence is both logically independent of the human mind and metaphysically fundamental. Foster identifies a number of problems for this realist view, but his main objection is that it does not accord the world the requisite empirical immanence. The form of idealism that (...) he tries to establish in its place rejects the realist view in both its aspects. It takes the world to be something whose existence is ultimately constituted by facts about human sensory experience, or by some richer complex of non-physical facts in which such experiential facts centrally feature. Foster calls this phenomenalistic idealism. He tries to establish a specific version of such phenomenalistic idealism, in which the experiential facts that centrally feature in the constitutive creation of the world are ones that concern the organization of human sensory experience. The basic idea of this version is that, in the context of certain other constitutively relevant factors, this sensory organization creates the physical world by disposing things to appear systematically world-wise at the human empirical viewpoint. Chief among these other relevant factors is the role of God as the one who is responsible for the sensory organization and ordains the system of appearance it yields. It is this that gives the idealistically created world its objectivity and allows it to qualify as a real world. (shrink)

Introduction to Philosophy, Fourth Edition, is the most comprehensive topically organized collection of classical and contemporary philosophy available. Building on the exceptionally successful tradition of previous editions, this edition for the first time incorporates the insights of a new coeditor, John Martin Fischer, and has been updated and revised to make it more accessible. Ideal for introductory philosophy courses, the text includes sections on the meaning of life, God and evil, knowledge and reality, the philosophy of science, the mind/body (...) problem, freedom of will, consciousness, ethics, and philosophical puzzles and paradoxes. It presents seventy substantial--and in some cases complete--selections from the best and most influential works in philosophy, offering a unique balance between classical and contemporary material. An extensive glossary of philosophical terms is also included. The fourth edition features fifteen new readings, including work by Albert Camus, Roderick M. Chisholm, Daniel Dennett, Harry G. Frankfurt, William Paley, Derek Parfit, John Perry, Richard Taylor, Peter Van Inwagen, Bernard Williams, and Susan Wolf. Part III, Knowledge and Reality, has been restructured and now includes Plato's Thaetetus, selections by Edmund L. Gettier and Robert Nozick, and an essay by Christopher Grau that explores the philosophical concepts presented in the popular film The Matrix. Two new ethics puzzles--"The Trolley Problem" and "Ducking Harm and Sacrificing Others"--are also included. This edition incorporates Study Questions after each reading and is accompanied by an Instructor's CD and a Student Companion Website, both containing helpful resources. (shrink)

My purpose in this chapter is to survey some of the principal approaches to inductive inference in the philosophy of science literature. My first concern will be the general principles that underlie the many accounts of induction in this literature. When these accounts are considered in isolation, as is more commonly the case, it is easy to overlook that virtually all accounts depend on one of very few basic principles and that the proliferation of accounts can be understood as (...) efforts to ameliorate the weaknesses of those few principles. In the earlier sections, I will lay out three inductive principles and the families of accounts of induction they engender. In later sections I will review standard problems in the philosophical literature that have supported some pessimism about induction and suggest that their import has been greatly overrated. In the final sections I will return to the proliferation of accounts of induction that frustrates efforts at a final codification. I will suggest that this proliferation appears troublesome only as long as we expect inductive inference to be subsumed under a single formal theory. If we adopt a material theory of induction in which individual inductions are licensed by particular facts that prevail only in local domains, then the proliferation is expected and not problematic. (shrink)

Aristotle attaches particular significance to the homonymy of many central concepts in philosophy and science: that is, to the diversity of ways of being common to a single general concept. His preoccupation with homonymy influences his approach to almost every subject that he considers, and it clearly structures the philosophical methodology that he employs both when criticizing others and when advancing his own positive theories. Where there is homonymy there is multiplicity: Aristotle aims to find the order within this multiplicity, (...) and believes that doing so is crucial to scientific inquiry and philosophical progress.Christopher Shields investigates and evaluates Aristotle's approach to questions about homonymy, characterizing the metaphysical and semantic commitments necessary to establish the homonymy of a given concept. Then, in a series of case-studies, Shields examines in detail some of Aristotle's principal applications of homonymy--to the body, sameness and oneness, life, goodness, and being. Shields's aim is not only to give a fuller understanding of Aristotle's methodology and to illuminate his specific doctrines in a variety of areas, but to show that this methodology remains fruitful today. (shrink)