This paper will defend the claim that, under certain circumstances, the material vehicles responsible for an agent’s conscious experience can be partly constituted by processes outside the agent’s body. In other words, the consciousness of the agent can extend. This claim will be supported by the Extended Mind Thesis (EMT) example of the artist and their sketchpad (Clark 2001, 2003). It will be argued that if this example is one of EMT, then this example also supports an argument for consciousness (...)extension. Clark (2009) rejects claims of consciousness extension. This paper will challenge Clark and argue that he fails to show that the material vehicles responsible for consciousness must be internal to the agent. (shrink)
This essay critically reviews Andy Clark’s new book Supersizing the Mind: Embodiment, Action, and Cognitive Extension, in which he argues that there are circumstances in which the mind, properly considered, is found to supervene on not only the brain, but the body and the external environment as well. This review summarizes Clark’s major contributions to this viewpoint for the general reader, then raises a few critical points that help to contextualize Clark’s claims, aims, and methods, while highlighting the book’s (...) strengths and weaknesses. (shrink)
In Humanity’s End: Why We Should Reject Radical Enhancement, Nicholas Agar presents a novel argument against the prospect of radical life-extension. Agar’s argument hinges on the claim that extended lifespans will result in people’s lives being dominated by the fear of death. Here we examine this claim and the surrounding issues in Agar’s discussion. We argue, firstly, that Agar’s view rests on empirically dubious assumptions about human rationality and attitudes to risk, and secondly, that even if those assumptions are (...) granted, the fears that Agar adverts to are unlikely to dominate people’s lives if and when radical life-extension is made possible. Further, we claim that the structure of the decision-making process around life-extension is unlikely to be the way that it would have to be in order for Agar’s claims about fear of death to make sense. Finally, we argue that Agar is implicitly committed to a narrow conception of human value. In response, we suggest that the pursuit of life-extension can itself be seen as an expression of certain important aspects of our distinctively human nature. (shrink)
Would be fairer to call Peirce’s philosophy of language “extensionalist” or “intensionalist”? The extensionalisms of Carnap and Quine are examined, and Peirce’s view is found to be prima facie similar, except for his commitment to the importance of “hypostatic abstraction”. Rather than dismissing this form of abstraction (famously derided by Molière) as useless scholasticism, Peirce argues that it represents a crucial (though largely unnoticed) step in much working inference. This, it is argued, allows Peirce to transcend the extensionalist-intensionalist dichotomy itself, (...) through his unique triadic analysis of reference and meaning, by transcending the distinction between (as Quine put it) “things” and “attributes”. (shrink)
Extension is probably the most general natural property. Is it a fundamental property? Leibniz claimed the answer was no, and that the structureless intuition of extension concealed more fundamental properties and relations. This paper follows Leibniz's program through Herbart and Riemann to Grassmann and uses Grassmann's algebra of points to build up levels of extensions algebraically. Finally, the connection between extension and measurement is considered.
This paper evaluates the Natural-Kinds Argument for cognitive extension, which purports to show that the kinds presupposed by our best cognitive science have instances external to human organism. Various interpretations of the argument are articulated and evaluated, using the overarching categories of memory and cognition as test cases. Particular emphasis is placed on criteria for the scientific legitimacy of generic kinds, that is, kinds characterized in very broad terms rather than in terms of their fine-grained causal roles. Given the (...) current state of cognitive science, I conclude that we have no reason to think memory or cognition are generic natural kinds that can ground an argument for cognitive extension. (shrink)
Introduction : brainbound versus extended -- From embodiment to cognitive extension -- The active body -- The negotiable body -- Material symbols -- World, Incorporated -- Boundary disputes -- Mind re-bound -- The cure for cognitive hiccups (HEMC, HEC, HEMC ...) -- Rediscovering the brain -- The limits of embodiment -- Painting, planning, and perceiving -- Disentangling embodiment -- Conclusions : mind-sized bites.
An overview of the problem of constructing extension combinatorially from qualities cum dispositional powers. In the model recommended here, Grassmann's algebra provides the combinatorial structure while Machian elements give the content.
This paper investigates the role of a pre-existing body-model that is an enabling constraint for the incorporation of objects into the body. This body-model is also a basis for the distinction between body extensions (e.g., in the case of tool-use) and incorporation (e.g., in the case of successful prosthesis use). It is argued that, in the case of incorporation, changes in the sense of body-ownership involve a reorganization of the body-model, whereas extension of the body with tools does not (...) involve changes in the sense of body-ownership. (shrink)
In Kant’s logical texts the reference of the form of the judgment to an “unknown = x” is well known, but its understanding remains far from consensual. Due to the universality of all concepts, the subject as much as the predicate, in the form S is P, is regarded as predicate of the x, which, in turn, is regarded as the subject of the judgment. In the CPR, particularly in the text on the “logical use of the understanding”, this Kantian (...) interpretation of the subject-predicate relation leads to the question about the relations that must hold between intuition and concept in the judgment. In contrast to intuition, if no concept, due to its universal character, refers immediately to an object, how should we understand the relations of subject and predicate to one another, as well as their relations to intuition, which corresponds to the very special individuality of that object in general = x? In the Kant-Literatur, the relations between intuition and concept in the judgment have been considered in diverse theoretical backgrounds, mainly in Fregean logic and in the logic of Port-Royal. Although so markedly different, these two solutions to the problem above seem to share a common thesis, in so far as they claim, though in different ways, a predicative character to those relations. If the analytic tradition recognizes in the relation between x and the concept S the marks of a propositional function Sx, in turn, the interpretation elaborated from the background of Port-Royal recognizes in this relation the minor premise x is S implicit in the judgment every S is P. This being the case, if it were possible to prove, on the contrary, that the relations between intuition and concept in the judgment could only be of a non-predicative character, then a third solution would be open to us, a solution that could enable us to track down the sense of the conceptions of judgment and logical form in the CPR. In applying this argumentative strategy, it is of the utmost importance to insist on the specificity of Kant’s notion of extension, in order to prove its irreducibility to the Port-Royal notion of extension as well as to the modern one. (shrink)
Précis of Supersizing the mind: embodiment, action, and cognitive extension (Oxford University Press, NY, 2008) Content Type Journal Article DOI 10.1007/s11098-010-9597-x Authors Andy Clark, Philosophy, University of Edinburgh, Dugald Stewart Building, 3 Charles Street, Edinburgh, EH8 9AD Scotland (UK) Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116.
This paper explores Leibniz's conception of body and extension in the 1680s and 1690s. It is argued that one of Leibniz's central aims is to undermine the Cartesian conception of extended substance, and replace it with a conception on which what is basic to body is force. In this way, Leibniz intends to reduce extension to something metaphysically more basic in just the way that the mechanists reduce sensible qualities to size, shape and motion. It is also argued (...) that this move is quite distinct from the reduction of body to monads and their appetitions and perceptions, so prominent in his later writings. (shrink)
The Hypothesis of Extended Cognition holds that the mind need not be constrained within biological boundaries. However, conditions must be provided to set a principled outer limit on cognitive extension, or implausibly many cases will be implicated. I argue that, for the case of extended beliefs at least, such conditions must pay attention to a mental state's causal history, in addition to its current functional poise. Extended resources can house an individual's beliefs, I propose, only if she has taken (...) responsibility for their sources in a suitable way. (shrink)
New light is shed on Leibniz’s commitment to the metaphysical priority of the intensional interpretation of logic by considering the arithmetical and graphical representations of syllogistic inference that Leibniz studied. Crucial to understanding this connection is the idea that concepts can be intensionally represented in terms of properties of geometric extension, though significantly not the simple geometric property of part-whole inclusion. I go on to provide an explanation for how Leibniz could maintain the metaphysical priority of the intensional interpretation (...) while holding that logically the intensional and the extensional stand in strictly inverse relation to each other. (shrink)
In his “The Foundations of Mathematics”, Ramsey attempted to marry the Tractarian idea that all logical truths are tautologies and vice versa, and the logicism of the Principia. In order to complete his project, Ramsey was forced to introduce propositional functions in extension (PFEs): given Ramsey's definitions of 1 and 2, without PFEs even the quantifier-free arithmetical truth that 1 ≠ 2 is not a tautology. However, a number of commentators have argued that the notion of PFEs is incoherent. (...) This response was first given by Wittgenstein but has been best developed by Sullivan. While I agree with Wittgenstein and Sullivan's common conclusion, I believe that even the most compelling of Sullivan's arguments is importantly mistaken and that Wittgenstein's remarks are too opaque to be left as the end of the matter. In this article I uncover the fault in Sullivan's argument and present an alternative criticism of PFEs which is Wittgensteinian in spirit without being too mystifying. (shrink)
The worst possible way to resolve this issue is to leave it up to individual choice. There is no known social good coming from the conquest of death (Bailey, 1999). - Daniel Callahan Dramatically extending the human lifespan seems increasingly possible. Many bioethicists object that life-extension will have Malthusian consequences as new Methuselahs accumulate, generation by generation. I argue for a Life-Years Response to the Malthusian Objection. If even a minority of each generation chooses life-extension, denying it to (...) them deprives them of many years of extra life, and their total extra life-years are likely to exceed the total life-years of a majority who do not want life-extension. This is a greater harm to those who want extended life than the Malthusian harms to those who refuse extended life, both because losing an extra year of life is worse than enduring a year of Malthusian conditions, and because the would-be Methuselahs have more life-years at stake. Therefore, even if life-extension seems likely to cause severe overcrowding and resource shortages, that threat is not sufficient to justify society in restricting the development or availability of life-extension. (shrink)
The purpose of this study is to expand our understanding of the factors that influence ethical behavioral intentions of public accountants. Recent scandals have dominated the news and have caused legislators, regulators and the public to question the role of the accounting profession. Legislative changes have brought about major structural changes in the profession and continued scrutiny will surely lead to further changes. Thus, developing an understanding of the personal and contextual factors that influence ethical decisions is critical. An (...) class='Hi'>extension of the theory of planned behavior [Ajzen, I.: 1985, Action Control-From Cognition to Behavior (Springer, Heidelberg)], the model used in this study examined the influence of personal, social and organizational factors on ethical intentions. Specifically, the individual level model tested direct effects of attitudes, subjective norms, perceived behavioral control, moral sensitivity and ethical climate. Professionals from five accounting firms completed a survey that measured responses to ethical dilemmas related to the public accounting domain. To minimize the potential impact of common method bias, the survey instrument was administered in two phases. Hypotheses were evaluated using a structural modeling technique, partial least squares. Results show strong support for a direct relationship between attitudes and ethical intentions. The proposed direct effect of subjective norms was not supported. However, a significant relationship between subjective norms and attitudes was found. Professionals’ attitudes towards ethical issues clearly influence intentions. Moreover, this study illustrates the potential influence of social factors in attitude formation. Future research should explore the factors in the public accounting domain that most strongly influence attitude formation. This study suggests that the theory of reasoned action offers a useful framework for exploring these issues. (shrink)
In trying to characterize the relationship between psychology and neuroscience, the trend has been to argue that reductionism does not work without suggesting a suitable substitute. I offer explanatory extension as a good model for elucidating the complex relationship among disciplines which are obviously connected but which do not share pragmatic explanatory features. Explanatory extension rests on the idea that one field can "illuminate" issues that were incompletely treated in another. In this paper, I explain how this "illumination" (...) would work between psychology and neuroscience. (shrink)
This dissertation extends John Rawls’s mature theory of justice out to address the environmental challenges that citizens of liberal democracies now face. Specifically, using Rawls’s framework of political liberalism, I piece together a theory of procedural justice to be applied to a constitutional democracy. I show how citizens of pluralistic democracies should apply this theory to environmental matters in a four stage contracting procedure. I argue that, if implemented, this extension to Rawls’s theory would secure background environmental justice. I (...) explain why the theory can be viewed as a partially specified political conception of environmental pragmatism, and how it relates to public environmental policy and discourse. While the framework is anthropocentric, it is one that reasonable non-anthropocentrists can endorse. Using this theory, I argue that liberal democracies must take measures to secure basic environmental rights for all presently existing and future citizens. Measures must also be in place to secure a minimum of social goods (including environmental goods) that guarantees that all citizens (present and future) can exercise their basic rights and liberties. Moreover, disparities in environmental goods should only be tolerated if they arise in accord with Rawls’s principle of fair equality of opportunity. I discuss carbon taxes, as well as carbon allocation trading schemes. I also argue that free democracies should employ precautionary reasoning when attempting to meet the demands of background environmental justice. (shrink)
In contrast to rigid conceptions of nonhuman animals, several philosophers have put forth ideas that suggest a more flexible and extended vision of other animals. In articulating the condition of humans in the world, philosophers have referenced ideas that necessarily bring other beings in common with humanity. Significantly, conceptions of movement and biological transformation have played a central role in these ruminations, thereby suggesting the importance of geographical variables in human/nonhuman relations. By drawing out the connections between these perspectives, this (...) paper outlines an ethics of extension. (shrink)
During the past decade, the so-called “hypothesis of cognitive extension,” according to which the material vehicles of some cognitive processes are spatially distributed over the brain and the extracranial parts of the body and the world, has received lots of attention, both favourable and unfavourable. The debate has largely focussed on three related issues: (1) the role of parity considerations, (2) the role of functionalism, and (3) the importance of a mark of the cognitive. This paper critically assesses these (...) issues and their interconnections. Section 1 provides a brief introduction. Section 2 argues that some of the most prominent objections against the appeal to parity considerations fail. Section 3 shows that such considerations are nevertheless unsuitable as an argument for cognitive extension. First, the actual argumentative burden is carried by an underlying commitment to functionalism, not by the parity considerations themselves. Second, in the absence of an independently motivated mark of the cognitive, the argument based on parity considerations does not get off the ground, but given such a mark, it is superfluous. Section 4 argues that a similar dilemma arises for the attempt to defend cognitive extension by a general appeal to functionalism. Unless it can be independently settled what it is for a process to be cognitive, functionalism itself will be undermined by the possibility of cognitive extension. Like parity considerations, functionalism is thus either unable to support cognitive extension or superfluous. Hence, nothing short of the specification of an appropriate mark of the cognitive that can be fulfilled not only by intracranial but also by extended processes will do as an argument for cognitive extension. (shrink)
Contemporary philosophers and bioethicists argue that life extension is bad for the individual. According to the agency objection to life extension, being constrained as an agent adds to the meaningfulness of human life. Life extension removes constraints, and thus it deprives life of meaning. In the paper, I concede that constrained agency contributes to the meaningfulness of human life, but reject the agency objection to life extension in its current form. Even in an extended life, decision-making (...) remains constrained, and many obstacles to the fulfilment of an agent’s goals are preserved. Agents with longer lives are also presented with new challenges: for instance, it might be harder for them to avoid chronic boredom, and sustain their motivation to act in the pursuit of their goals. Although objections from agency and boredom are often used in combination to support the view that a much longer life is likely to bring misery or become meaningless, I argue that the acceptance of the boredom objection undermines the persuasiveness of the agency objection. (shrink)
The main task of this paper is to understand if and how static images like photographs can represent and/or depict temporal extension (duration). In order to do this, a detour will be necessary to understand some features of the nature of photographic representation and depiction in general. This important detour will enable us to see that photographs (can) have a narrative content, and that the skilled photographer can 'tell a story' in a very clear sense, as well as control (...) and guide the attention of the spectator of the photograph. The understanding and defence of this claim is a secondary aim of this paper, and it will then allow us to provide a good treatment of the particular case of photographic representation and depiction of temporal extension. (shrink)
In this paper, I address both the interpretive and philosophical issues concerning prime matter. My aim is to show that a philosophically interesting account of prime matter can be articulated that strongly coheres with, even if it is not necessitated by, Aristotle’s texts. In articulating the interpretation, I first examine a view defended by both Richard Sorabji and Robert Sokolowski according to which prime matter is extension. Such a view, I argue, is problematic for a number of reasons. Nonetheless, (...) it provides a convenient starting point for the view I defend according to which prime matter is intimately linked to, though not identical with, extension. (shrink)
Sensory substitution devices provide through an unusual sensory modality (the substituting modality, e.g., audition) access to features of the world that are normally accessed through another sensory modality (the substituted modality, e.g., vision). In this article, we address the question of which sensory modality the acquired perception belongs to. We have recourse to the four traditional criteria that have been used to define sensory modalities: sensory organ, stimuli, properties, and qualitative experience (Grice, 1962), to which we have added the criteria (...) of behavioral equivalence (Morgan, 1977), dedication (Keeley, 2002), and sensorimotor equivalence (O’Regan & Noe¨, 2001). We discuss which of them are fulfilled by perception through sensory substitution devices and whether this favors the view that perception belongs to the substituting or to the substituted modality. Though the application of a number of criteria might be taken to point to the conclusion that perception with a sensory substitution device belongs to the substituted modality, we argue that the evidence leads to an alternative view on sensory substitution. According to this view, the experience after sensory substitution is a transformation, extension, or augmentation of our perceptual capacities, rather than being something equivalent or reducible to an already existing sensory modality. We develop this view by comparing sensory substitution devices to other ‘‘mind-enhancing tools’’ such as pen and paper, sketchpads, or calculators. An analysis of sensory substitution in terms of mind-enhancing tools unveils it as a thoroughly transforming perceptual experience and as giving rise to a novel form of perceptual interaction with the environment. (shrink)
Ninety-one right brain-damaged patients with left neglect and 43 right brain-damaged patients without neglect were asked to extend horizontal segments, either left- or rightward, starting from their right or left endpoints, respectively. Earlier experiments based on similar tasks had shown, in left neglect patients, a tendency to overextend segments toward the left side. This seemingly paradoxical phenomenon was held to undermine current explanations of unilateral neglect. The results of the present extensive research demonstrate that contralesional overextension is also evident in (...) most right brain-damaged patients without contralesional neglect. Furthermore, they show that in a minority of left neglect patients, the opposite behavior, i.e., right overextension can be found. The paper also reports the results of correlational analyses comprising the parameters of line-extension, line-bisection, and cancellation tasks, as well as the parameters relative to the Milner Landmark Task, by which a distinction is drawn between perceptual and response biases in unilateral neglect. A working hypothesis is then advanced about the brain dysfunction underlying neglect and an attempt is made at finding an explanation of neglect and the links between the mechanisms of space representation and consciousness through the study of the changes induced by unilateral brain lesions in the characteristics of space-coding neurons. Abbreviations: C, control group;GN+91,full group of neglect patients;GN+27,group of neglect patients with relative left overextension;GN+14,group of neglect patients with relative right overextension;GN-43,full group of non-neglect patients;GN-9,group of non-neglect patients with relative left overextension; H canc, H cancellation task; LE, left extension; LE/RE, ratio of left-right extension; N+, neglect patients; N-, non-neglect patients; PB Land-M, perceptual bias on Landmark motor task; PB Land-V, perceptual bias on Landmark verbal task; RB Land-M, response bias on Landmark motor task; RB Land-V, response bias on Landmark verbal task; RE, right extension. (shrink)
A rigorous extension of the full Lorentz group is found which is parameterized by interframe velocities v(t) and which reduces to Special Relativity for acceleration-free cases and to Galilean relativity for low velocity cases. Full group properties are exhibited. Four-momentum is defined and particle masses are shown to be invariants. Four-force is introduced and pseudoforces are shown to enter the equations of particle dynamics. Maxwell's equations are shown to take on pseudocurrent terms in accelerating frames. A four-vector Green function (...) solution to the modified Maxwell equations is presented. Finally, a discussion is offered concerning philosophical questions such as the operational definition of time. (shrink)
Extension of the system that includes the key substrates for sensation, perception, emotion, volition, and cognition, and all representational sources for cognition, supports the view that there is an extended mind and an extended body. These intellectual views can be made practical in a humanist system based on extensions and in religious systems based on extensions. Independently, there is also an institutional extension of secularism. Hence, I maintain, there are five principal forms of extension.
Scientists, bioethicists, and policy makers are currently engaged in a contentious debate about the scientific prospects and morality of efforts to increase human longevity. Some demographers and geneticists suggest that there is little reason to think that it will be possible to significantly extend the human lifespan. Other biodemographers and geneticists argue that there might well be increases in both life expectancy and lifespan. Bioethicists and policy makers are currently addressing many of the ethical, social, and economic issues raised by (...) life extension research. However, the emphasis on philosophical argument supporting or condemning efforts to increase human longevity means that much less attention is currently being given to the factors that might play a role in generating interest in efforts to increase human longevity. This analysis considers three factors that might play a role in heightening public interest in efforts to develop biomedical technologies capable of retarding or reversing aging processes. While discussions of life extension research can seem quite futuristic and impractical, there are some powerful existential factors that might well generate considerable public support for life extension strategies if effective biomedical interventions emerge. Rather than providing philosophical justifications supporting or condemning efforts to increase human longevity, this essay seeks to promote a better understanding of the factors generating contemporary interest in prolonging life and postponing death. (shrink)
I present here a modal extension of T called KTLM which is, by several measures, the simplest modal extension of T yet presented. Its axiom uses only one sentence letter and has a modal depth of 2. Furthermore, KTLM can be realized as the logical union of two logics KM and KTL which each have the finite model property (f.m.p.), and so themselves are complete. Each of these two component logics has independent interest as well.
A semantics may be compositional and yet partial, in the sense that not all well-formed expressions are assigned meanings by it. Examples come from both natural and formal languages. When can such a semantics be extended to a total one, preserving compositionality? This sort of extension problem was formulated by Hodges, and solved there in a particular case, in which the total extension respects a precise version of the fregean dictum that the meaning of an expression is the (...) contribution it makes to the meanings of complex phrases of which it is a part. Hodges' result presupposes the so-called Husserl property, which says roughly that synonymous expressions must have the same category. Here I solve a different version of the compositional extension problem, corresponding to another type of linguistic situation in which we only have a partial semantics, and without assuming the Husserl property. I also briefly compare Hodges' framework for grammars in terms of partial algebras with more familiar ones, going back to Montague, which use many-sorted algebras instead. (shrink)
Important scientific, ethical and sociological debates are emerging over the trans-humanist goal to achieve therapeutic treatments to âcureâ the debilitation of age-related illness and extend the healthy life span of individuals through interventive biogerontological research . The scientific and moral discourses surrounding this contentious scientific field are mapped out, followed by a normative argument favouring âstrongâ deliberative democratic control of human life extension research. This proposal incorporates insights from constructive and participatory technology assessment, upstream public engagement and back-casting analysis; (...) to outline a programme of participatory approaches to encourage two-way dialogue between scientific and citizen perspectives, and foster the long-term deliberative democratic governance of this developing field. (shrink)
Life-extension was the focus for the 10th annual Congress of the International Association of Biomedical Gerontology, held last September at Cambridge University. This scientific convention included a panel of several bioethicists, including Art Caplan, John Harris, and others. The presentations on the ethics of life-extension are reviewed here.
Abstract Objections to life extension often focus on its effects for individual well-being. Prominent amongst these concerns is the possibility that life extending technologies will extend lifespan without preventing the ageing of the mind. Writers on the subject express the fear that life extending drugs will keep us physically youthful whilst our minds decay, succumbing to dementia, boredom, and loneliness. Generally these fears remain speculative, in part due to the absence of genuine life extending technologies. In this paper, however, (...) I examine the implications of an existing life extension technology. Caloric restriction (CR) and drugs that mimic its effects, such as rapamycin, metformin and resveratrol have been shown to increase average and maximum lifespan in a wide variety of organisms, and seem likely to do so in humans. Moreover, some CR mimetic drugs (CRMs) are already widely used. This means that they present a pressing test case for fears about mental ageing in an extended life. Misgivings about mental ageing can be divided into biomedical factors such as the likelihood of brain ageing, and psychological factors such as loss of meaning and boredom. I argue that studies of CR suggest that brain ageing will be beneficially slowed. However, it is less clear that deleterious aspects of psychological ageing can be similarly retarded. I argue that this reduces the desirability of life extension unless major social changes can be made. (shrink)
If we are to understand why psychoanalysis extends ordinary psychology in the precise ways that it does, we must take account of the existence of, and the interplay between, two distinct kinds of explanatory concern: functional and idiographic. The form and content of psychoanalytic explanation and its unusual methodology can, at least in part, be viewed as emerging out of Freud's attempt to reconcile these two types of explanatory concern. We must also acknowledge the role of the background theoretical context (...) that shapes Freud's functional thinking about the mind. A neglect of the role of the background theory in shaping the extension of ordinary psychology leaves us with puzzles about the nature and direction of the psychoanalytic extension and gives rise to an unbelievable history of psychoanalysis. (shrink)
The hypothesis of extended cognition holds that mental states and processes need not be wholly contained within biological confines. Yet the theory is plausible, and informative, only when it can set principled outer limits upon cognitive extension: it should not permit unrestricted expansion of the mental into the material environment. I argue that true cognitive extension occurs only when the subject takes responsibility for the contribution made by a non-neural resource, in a manner that can be illuminated by (...) appeal to theoretical resources from contemporary virtue epistemology. (shrink)
Strictly speaking, intuitionistic logic is not a modal logic. There are, after all, no modal operators in the language. It is a subsystem of classical logic, not [like modal logic] an extension of it. But... (thus Fitting, p. 437, trying to justify inclusion of a large chapter on intuitionist logic in a book that is largely about modal logics).
This paper presents completeness and conservative extension results for the boolean extensions of the relevant logic T of Ticket Entailment, and for the contractionless relevant logics TW and RW. Some surprising results are shown for adding the sentential constant t to these boolean relevant logics; specifically, the boolean extensions with t are conservative of the boolean extensions without t, but not of the original logics with t. The special treatment required for the semantic normality of T is also shown (...) along the way. (shrink)
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle the refined extension principle. Such principle is complied with by the stable model semantics for (...) (single) logic programs. It turns out that none of the existing semantics for logic program updates, even though generalisations of the stable model semantics, comply with this principle. For this reason, we define a refinement of the dynamic stable model semantics for Dynamic Logic Programs that complies with the principle. (shrink)
In a recent volume of this journal, L. Angel ([2002]) proposed a collision mechanics leading to such strange results as the possibility that a particle may be in several places at the same time, or the existence of unprepared spatially-separated correlations. I will here show that neither of these results follows from his theory or, if it does, the theory, contrary to what Angel claims, is not a plausible extension of Newtonian collision dynamics. No bilocation No quantum leap No (...) unprepared spatially-separated correlations. (shrink)
Bloom provides a masterful synthesis of recent advances in word-learning, placing them within the framework of abiding theoretical issues. I will augment and challenge his approach by underscoring the significance of word extension for questions concerning (a) the origin and evolution of infants' expectations, and (b) domain-specificity in word-learning.
This paper examines the view held by Francesco Piccolomini (1523-1607) on the relation between prime matter and extension. In his discussion of prime matter in the Libri ad scientiam de natura attinentes Piccolomini develops a theory of prime matter that incorporates crucial elements of the viewpoint adhered to by the Neoplatonist Simplicius. The originality of Piccolomini's undertaking is highlighted by contrasting it with the ideas found in Jacopo Zabarella's De rebus naturalibus . The case of Piccolomini shows that, in (...) order to classify early modern metaphysical theories of prime matter, the category `prime matter as sheer dimensionality' is indispensable. (shrink)
In [1], D. W. Hart and C. Mcginn considered two logics A1 and A2. These logics embody part of a tradition about a priori knowledge and necessity. They proved that A2 is a conservative extension of a well-known modal logic S5 but left the problem whether A1 is a conservative extension of S4 open. In this note, we shall show that A1 is not a conservative extension of S4 but of S5, and also correct an inadequate proof.
Section 1 recalls a point noted by A. N. Prior forty years ago: that a certain formula in the language of a purely implicational intermediate logic investigated by R. A. Bull is unprovable in that logic but provable in the extension of the logic by the usual axioms for conjunction, once this connective is added to the language. Section 2 reminds us that every formula is interdeducible with (i.e. added to intuitionistic logic, yields the same intermediate logic as) some (...) conjunction-free formula. Thus it would seem that any detour going via formulas with conjunction can be avoided, which raises a puzzle: how is this consistent with the point from Section 1? Sections 3 and 4 raise and discuss this puzzle. In fact, the puzzle turns out on closer inspection not to be so puzzling after all, but it does serve as a convenient centrepiece around which to organize a discussion of the phenomenon illustrated by the Bull?Prior example. Section 5 notes that Prior's observation can be extended to the case of the result of adding disjunction to Bull's logic, while Section 6 includes some further remarks aimed at diagnosing one source of possible residual puzzlement. A subtext of our discussion?spanning several of the notes?is that this work by Bull and Prior has been overlooked, their results having to be rediscovered, by many algebraists and logicians in more recent years. (shrink)
This paper introduces a generalization of Reiter’s notion of “extension” for default logic. The main difference from the original version mainly lies in the way conflicts among defaults are handled: in particular, this notion of “general extension” allows defaults not explicitly triggered to pre-empt other defaults. A consequence of the adoption of such a notion of extension is that the collection of all the general extensions of a default theory turns out to have a nontrivial algebraic structure. (...) This fact has two major technical fall-outs: first, it turns out that every default theory has a general extension; second, general extensions allow one to define a well-behaved, skeptical relation of defeasible consequence for default theories, satisfying the principles of Reflexivity, Cut, and Cautious Monotonicity formulated by D. Gabbay. (shrink)
That Kuhn is mistaken in drawing a sharp line between normal and revolutionary phases of science is shown by re-examining the role of models in extending theories to new phenomenal domains. In the light of this revision of the role of models, theory extension, which Kuhn includes in normal science, is shown to be continuous with theory replacement, which Kuhn includes in revolutionary science. Both involve language changes and the 'gestalt switches' associated with revolutionary science. These characteristics cannot be (...) used to demarcate the two phases as Kuhn seems to think. (shrink)
Stakeholder engagement is a crucial conceptof extension education. Engagement expressesdemocratic values of the land-grant mission byproviding opportunities for stakeholders to influenceprogram planning, including setting the agenda andnegotiating resource allocations. In practice, theconcept of engagement guides the formation ofpartnerships among extension, communities, industry,and government. In the area of sustainableagriculture, however, stakeholders may conflict,presenting challenges to the engagement process.Results from a study of a Canadian sustainableagriculture program, produced using culturalanthropology and participatory action research, detailchallenges of the engagement process that led (...) toreconstruction of a farmer-extension partnership.Notable in the early phase of the reconstructionprocess were critical reflection, stakeholder forums,exclusion through caucusing, and coalition building.An argument for a neo-pragmatist view provides atheoretical basis for understanding counterintuitivedimensions of engagement revealed by the study. (shrink)
This article discusses the impact of Descartes’s substance-dualism on his account of discursive reason. Taking the presentation of deduction in the Rules as a paradigmatic case of thought’s extension and movement in time, I analyze the relation between intuitive and discursive understanding and that between intellect and imagination. I focus specifically on the mediation of corporeal impressions and of intellectual ideas by ingenium. As intellectual, ingenium is a faculty of understanding; as joining with phantasia, ingenium has access to corporeal (...) affections, images, and memory. Deduction involves both of these aspects of ingenium, and Descartes’s dualism complicates efforts to clarify the operations and nature of ingenium. Thus the dynamics of dualistic psychology account for some of the limitations of deduction in particular and discursive rationality in general. (shrink)
In this paper, we develop the system LZF of set theory with the unrestricted comprehension in full linear logic and show that LZF is a conservative extension of ZF– i.e., the Zermelo-Fraenkel set theory without the axiom of regularity. We formulate LZF as a sequent calculus with abstraction terms and prove the partial cut-elimination theorem for it. The cut-elimination result ensures the subterm property for those formulas which contain only terms corresponding to sets in ZF–. This implies that LZF (...) is a conservative extension of ZF– and therefore the former is consistent relative to the latter. (shrink)
In recent years, certain analytic proposals have been appealed to that are incompatible with fundamental principles of structure−building that appear attractive. One such principle is Extension (Chomsky,1995), which ensures that what counts as the top of the tree at a given point in a derivation restricts the class of possible operations that can apply at that point. Another principle I will show to be desirable is Insularity, which bans on interarboreal movement.
It is known that for any subdirectly irreducible finite Heyting algebra A and any Heyting algebra B, A is embeddable into a quotient algebra of B, if and only if Jankov’s formula χ A for A is refuted in B. In this paper, we present an infinitary extension of the above theorem given by Jankov. More precisely, for any cardinal number κ, we present Jankov’s theorem for homomorphisms preserving infinite meets and joins, a class of subdirectly irreducible complete κ-Heyting (...) algebras and κ-infinitary logic, where a κ-Heyting algebra is a Heyting algebra A with # ≥ κ and κ-infinitary logic is the infinitary logic such that for any set Θ of formulas with # Θ ≥ κ, ∨Θ and ∧Θ are well defined formulas. (shrink)
We develop a predicate logical extension of a subintuitionistic propositional logic. Therefore a Hilbert type calculus and a Kripke type model are given. The propositional logic is formulated to axiomatize the idea of strategic weakening of Kripke''s semantic for intuitionistic logic: dropping the semantical condition of heredity or persistence leads to a nonmonotonic model. On the syntactic side this leads to a certain restriction imposed on the deduction theorem. By means of a Henkin argument strong completeness is proved making (...) use of predicate logical principles, which are only classically acceptable. (shrink)
Rational Pavelka logic extends Lukasiewicz infinitely valued logic by adding truth constants r̄ for rationals in [0, 1]. We show that this is a conservative extension. We note that this shows that provability degree can be defined in Lukasiewicz logic. We also give a counterexample to a soundness theorem of Belluce and Chang published in 1963.
Andrzej Kisielewicz has proposed three systems of double extension set theory of which we have shown two to be inconsistent in an earlier paper. Kisielewicz presented an argument that the remaining system interprets ZF, which is defective: it actually shows that the surviving possibly consistent system of double extension set theory interprets ZF with Separation and Comprehension restricted to 0 formulas. We show that this system does interpret ZF, using an analysis of the structure of the ordinals.
Contrary to what is stated in Lemma 7.1 of [8], it is shown that some Boolean algebras of finitary logic admit finitely additive probabilities that are not σ-additive. Consequences of Lemma 7.1 are reconsidered. The concept of a C-σ-additive probability on B (where B and C are Boolean algebras, and $\mathscr{B} \subseteq \mathscr{C}$ ) is introduced, and a generalization of Hahn's extension theorem is proved. This and other results are employed to show that every S̄(L)-σ-additive probability on s̄(L) can (...) be extended (uniquely, under some conditions) to a σ-additive probability on S̄(L), where L belongs to a quite extensive family of first order languages, and S̄(L) and s̄(L) are, respectively, the Boolean algebras of sentences and quantifier free sentences of L. (shrink)
Two common claims in environmental moral philosophy are that nature is worthy of respect and that we respect ourselves in respecting nature. In this paper, I articulate two modes of practical reasoning that help make sense of these claims. The first is analogical extension, which understands the respect due human life as the source of a like respect for nature. The second is analogical implication, which involves nature in human life to show us what we are like. These forms (...) of reasoning are relevant to environmental virtue ethics in that both help us conceptualize how respect for nature can be part of our sense of humanity, and not opposed to our sense of humanity. (shrink)
En el artículo de revisión se analiza el papel que desempeñan las universidades en la transformación y el desarrollo social, con énfasis en el rol de la extensión universitaria como núcleo de avance y expresión de su pertinencia. Asimismo se valoran diversas tendencias del proceso de gestión de la extensión universitaria y su impacto cultural en la comunidad. In the revision article, the role played by the universities in the transformation and social development, making emphasis on the role of the (...) university extension as the core of the advance and expression of its pertinence, was analysed. The different tendencies of the running process of the university extension and its cultural impact in the community were assessed as well. (shrink)
La extensión universitaria es una de las vías en las que la Universidad demuestra su carácter de centro cultural de suma importancia para el desarrollo. En el artículo se valora su importancia e impacto en la sociedad; definiciones del concepto de extensión y de los modelos que poseen en la actualidad un arraigo en la vida de las instituciones de educación superior, estos últimos responden a diversas posturas ideológicas y concepciones acerca de la relación que debe existir entre la Universidad, (...) la sociedad y los sectores involucrados. Se analizan tres conceptos directamente relacionados con la temática de manera determinante: cultura, pertinencia y desarrollo sostenible. University extension is one of the ways through which the university shows being a very important cultural center for guaranteeing the development. In the following article its relevance and impact in the society is assessed; as well as the definition of the concepts of extension and the models that nowadays are very deep-rooted in the life of the high education institutions. These models respond to the different ideological positions and conceptions related to the relationship that must exist between the university, the society, and the sectors involved. Three concepts directly related to theme of the work are analysed in a determining way: culture, pertinence, and sustainable development. (shrink)
It is shown that the boolean prime ideal theorem BPIT: every boolean algebra has a prime ideal, does not follow from the order-extension principle OE: every partial ordering can be extended to a linear ordering. The proof uses a Fraenkel-Mostowski model, where the family of atoms is indexed by a countable universal-homogeneous boolean algebra whose boolean partial ordering has a `generic' extension to a linear ordering. To illustrate the technique for proving that the order-extension principle holds in (...) the model we also study Mostowski's ordered model, and give a direct verification of OE there. The key technical point needed to verify OE in each case is the existence of a support structure. (shrink)
In this note we introduce the notion of Kâplayer additive extension of a symmetric two-player game and prove a result relating the equilibria in mixed strategies in the two games. Then we apply the result to the Borda electoral competition game.
The paper presents an overview of the development of range management extension activities in Kenya. The status quo of range management activities is discussed with particular reference to extension infrastructure, scope of extension interventions and mechanisms of dissemination of these innovations. On the basis of the nature of available innovations and efficiency of dissemination mechanisms, the paper emphasizes the need for future institutional reforms to facilitate successful application of technological interventions, validation of the Kenyan innovation Diffusion Model (...) and enhancement of the social acceptability of technological interventions. (shrink)
We construct a model of Peano arithmetic in an uncountable language which has no elementary end extension. This answers a question of Gaifman and contrasts with the well-known theorem of MacDowell and Specker which states that every model of Peano arithmetic in a countable language has an elementary end extension. The construction employs forcing in a nonstandard model.
Certain extensions of Nelson's constructive logic N with strong negation have recently become important in arti.cial intelligence and nonmonotonic reasoning, since they yield a logical foundation for answer set programming (ASP). In this paper we look at some extensions of Nelson's .rst-order logic as a basis for de.ning nonmonotonic inference relations that underlie the answer set programming semantics. The extensions we consider are those based on 2-element, here-and-there Kripke frames. In particular, we prove completeness for .rst-order here-and-there logics, and their (...) minimal strong negation extensions, for both constant and varying domains. We choose the constant domain version, which we denote by QNc5, as a basis for de.ning a .rst-order nonmonotonic extension called equilibrium logic. We establish several metatheoretic properties of QNc5, including Skolem forms and Herbrand theorems and Interpolation, and show that the .rst-oder version of equilibrium logic can be used as a foundation for answer set inference. (shrink)
The problem that underlies Rawls' The Law of Peoples is the problem of how something particular—western— may become universal and human. Rawls claims that he solves this problem by means of extending particular western rights to other non western peoples. The extension of western liberal rights is done by a second original position similar to the first one in A Theory of Justice. The paper tries to prove that the second original position, in its second step, is not similar (...) to the first one and the parties taking part in this second original position are not symmetrically situated. Rawls' proposal falls into ethnocentrism and eurocentrism. The only way to transform particular rights into universal rights is by means of a universal multicultural dialogue where all peoples can make proposals and listen to other peoples' proposals. (shrink)
This paper developed from Shelah's proof of a zero-one law for the complexity class "choice-less polynomial time." defined by Shelah and the authors. We present a detailed proof of Shelah's result for graphs, and describe the extent of its generalizability to other sorts of structures. The extension axioms, which form the basis for earlier zero-one laws (for first-order logic, fixed-point logic, and finite-variable infinitary logic) are inadequate in the case of choiceless polynomial time; they must be replaced by what (...) we call the strong extension axioms. We present an extensive discussion of these axioms and their role both in the zero-one law and in general. (shrink)
We enrich intuitionistic logic with a lax modal operator and define a corresponding intensional enrichment of Kripke models M = (W, , V) by a function T giving an effort measure T(w, u) {} for each -related pair (w, u). We show that embodies the abstraction involved in passing from true up to bounded effort to true outright. We then introduce a refined notion of intensional validity M |= p : and present a corresponding intensional calculus iLC-h which gives a (...) natural extension by lax modality of the well-known G: odel/Dummett logic LC of (finite) linear Kripke models. Our main results are that for finite linear intensional models L the intensional theory iTh(L) = {p : | L |= p : } characterises L and that iLC-h generates complete information about iTh(L).Our paper thus shows that the quantitative intensional information contained in the effort measure T can be abstracted away by the use of and completely recovered by a suitable semantic interpretation of proofs. (shrink)
Three systems of double extension set theory have been proposed by Andrzej Kisielewicz in two papers. In this paper, it is shown that the two stronger systems are inconsistent, and that the third, weakest system does not admit extensionality for general sets or the use of general sets as parameters in its comprehension scheme. The parameter-free version of the comprehension principle of double extension set theory is also shown to be inconsistent with extensionality. The definitions of the systems (...) and a self-contained exposition of their properties is given, sufficient to develop the inconsistency proofs. (shrink)
We define a first-order extension LK(CP) of the cutting planes proof system CP as the first-order sequent calculus LK whose atomic formulas are CP-inequalities ∑ i a i · x i ≥ b (x i 's variables, a i 's and b constants). We prove an interpolation theorem for LK(CP) yielding as a corollary a conditional lower bound for LK(CP)-proofs. For a subsystem R(CP) of LK(CP), essentially resolution working with clauses formed by CP- inequalities, we prove a monotone interpolation (...) theorem obtaining thus an unconditional lower bound (depending on the maximum size of coefficients in proofs and on the maximum number of CP-inequalities in clauses). We also give an interpolation theorem for polynomial calculus working with sparse polynomials. The proof relies on a universal interpolation theorem for semantic derivations [16, Theorem 5.1]. LK(CP) can be viewed as a two-sorted first-order theory of Z considered itself as a discretely ordered Z-module. One sort of variables are module elements, another sort are scalars. The quantification is allowed only over the former sort. We shall give a construction of a theory LK(M) for any discretely ordered module M (e.g., LK(Z) extends LK(CP)). The interpolation theorem generalizes to these theories obtained from discretely ordered Z-modules. We shall also discuss a connection to quantifier elimination for such theories. We formulate a communication complexity problem whose (suitable) solution would allow to improve the monotone interpolation theorem and the lower bound for R(CP). (shrink)
The logic CE (for Classical E) results from adding Boolean negation to Anderson and Belnap"s logic E. This paper shows that CE is not a conservative extension of E.
An extension L + of the non-associative Lambek calculus Lis defined. In L + the restriction to formula-conclusion sequents is given up, and additional left introduction rules for the directional implications are introduced. The system L + is sound and complete with respect to a modification of the ternary frame semantics for L.
This paper gives a characterization of those quasi-normal extensions of the modal system S4 into which intuitionistic propositional logic Int is embeddable by the Gödel translation. It is shown that, as in the normal case, the set of quasi-normal modal companions of Int contains the greatest logic, M*, for which, however, the analog of the Blok-Esakia theorem does not hold. M* is proved to be decidable and Halldén-complete; it has the disjunction property but does not have the finite model property.
Meaning seems to shift from context to context; how do we know when someone says "grab a chair" that an ottoman or orange crate will do, but when someone says "let's buy a chair," they won't? In Plastic Glasses and Church Fathers, Kronenfeld offers a theory that explains both the usefulness of language's variability of reference and the mechanisms which enable us to understand each other in spite of the variability. Kronenfeld's theory, rooted in the tradition of ethnoscience (or cognitive (...) anthropology), accomplishes three things. First, it distinguishes prototypic referents from extended referents. Second, it describes the various bases of semantic extensions. Finally it details how we use the situational context of usage, the linguistic context of opposition and inclusion, and the conceptual context of knowledge about the world to interpret communicative events. (shrink)
Animation victims: an abridged history of animated response -- Animated history -- The movement of accessories -- Fabric extensions and textual supplements from modern and antique fragments -- The movement of snakes -- Pneumatic impulses and bygone appendages from Philo to Warburg -- The afterlife of crystals -- Art historical biology and the animation of the inorganic -- Inorganic culture -- Nudes in the forest -- Models, sciences, and legends in a landscape by Léger -- Malicious houses -- Animism and (...) animosity in German architecture and film from Mies to Murnau -- Daphne's legacy -- Architecture, psychoanalysis, and petrification. (shrink)
Nicolas Malebranche Famously holds that we see all things in the physical world by means of ideas in God. This is the doctrine of Vision in God. In his initial formulation of the doctrine in the first edition of the Search After Truth (1674), Malebranche seems to posit ideas of particular physical objects in God, such as the idea of the sun or the idea of a tree. However, in Elucidations of the Search published four years later he insists that (...) there is only one idea of extension and it is general.1 Malebranche refers to this idea as "intelligible extension," in part because he thinks that we confuse it with its object, material extension, which he takes to be unintelligible in itself. By insisting upon a .. (shrink)
It seems to be a widespread opinion that increasing the length of existing happy lives is better than creating new happy lives although the total welfare is the same in both cases, and that it may be better even when the total welfare is lower in the outcome with extended lives. I shall discuss two interesting suggestion that seems to support this idea, or so it has been argued. Firstly, the idea there is a positive level of wellbeing above which (...) a life has to reach to have positive contributive value to a population, so-called Critical Level Utilitarianism. Secondly, the view that it makes an outcome worse if people are worse off than they otherwise could have been, a view I call Comparativism. I shall show that although these theories do capture some of our intuitions about the value of longevity, they have such counterintuitive implications in other cases that we ultimately have to reject them. (shrink)
Andy Clark's Supersizing the Mind begins as a manifesto in which the components of an embodied theory of mind are carefully moved into place, proceeds to a defense of these components from recent critical attacks, and ends with words of caution to those who would seek to extract too much from the embodied perspective. Readers unfamiliar with Clark's earlier works are likely to find the result dazzling -- an exciting, novel, and coherent conception of the mind that dares one to (...) abandon nearly every vestige of a comfortably Cartesian view of mind. Of course, philosophers of mind have, for the most part, already jettisoned the idea that minds are an ethereal sort of non-physical substance. We can now assert with no great temerity that Descartes was wrong about that. Even so, one might still agree with Descartes that minds are in some sense distinct from bodies. They are, as it were, in the head. Yet, if Clark's case for embodiment is on track, minds are not in the head. The supervenience base for a mind (and not simply mental content) can include pieces of the extracranial body and, indeed, objects in the world beyond. (shrink)
This volume brings together a number of perspectives on the nature of realization explanation and experimentation in the ‘special’ and biological sciences as well as the related issues of psychoneural reduction and cognitive extension. The first two papers in the volume may be regarded as offering direct responses to the questions: (1) What model of realization is appropriate for understanding the metaphysics of science? and (2) What kind of philosophical work is such a model ultimately supposed to do?
: Many activities formerly not in the market are being "marketized," and women's labor is increasingly in the market. I consider the grounds on which to decide what should and what should not be "in" the market. I distinguish work that is paid from work done under "market norms," and argue that market values should not have priority in education, childcare, healthcare, and many other activities. I suggest that a feminist ethics of care is more promising than Kantian ethics or (...) utilitarianism for recommending social decisions concerning limits on markets. (shrink)
P. Bernays has pointed out that, in order to prove the consistency of classical number theory, it is necessary to extend Hilbert's finitary standpoint by admitting certain abstract concepts in addition to the combinatorial concepts referring to symbols. The abstract concepts that so far have been used for this purpose are those of the constructive theory of ordinals and those of intuitionistic logic. It is shown that the concept of a computable function of finite simple type over the integers can (...) be used instead, where no other procedures of constructing such functions are necessary except simple recursion by an integral variable and substitution of functions in each other (starting with trivial functions). (shrink)
By combining and augmenting recent arguments that have appeared in the literature, I show how a modified Rawlsian theory of justice generates a strong environmental and animal rights ethic. These modifications include significant changes in the conditions of the contract situation vis-a-vis A Theory of Justice, but I argue that these modifications are in fact more consistent with Rawls’ basic assumptions about the functions of a veil of ignorance and a thin theory of the good.
Abstract The ‘species problem’ in the philosophy of biology concerns the nature of species. Various solutions have been proposed, including arguments that species are sets, classes, natural kinds, individuals, and homeostatic property clusters. These proposals parallel debates in ecology as to the ontology and metaphysics of populations, communities and ecosystems. A new solution—that species are processes—is proposed and defended, based on Robert Ulanowicz’s metaphysics of process ecology. As with ecological systems, species can be understood as emergent, autocatalytic systems with propensities (...) for centripetality and mutuality in the course of dynamically balancing ascendency (order and persistence) and overhead (randomness and change). The species-as-processes perspective accords with the Ulanowicz’s postulates of process ecology and it can be accommodated by existing theories of species—particularly in a reframing of Richard Boyd’s metaphysics such that species are homeostatic process clusters. Rather than contending that process-based metaphysics is the only, best or true account of species, a pluralist-realist approach is advocated based on the pragmatic principles that are reflected in modern view of species and ecology. If species are understood to be comprised of processes and to be emergent processes themselves, there are important implications for the life sciences, including: animal models in medical and environmental studies, conservation biology, extinction, biodiversity, restoration ecology, and evolutionary biology. Content Type Journal Article Category Invited Paper Pages 1-30 DOI 10.1007/s10516-011-9169-5 Authors Jeffrey A. Lockwood, Department of Philosophy, University of Wyoming, Laramie, WY 82071, USA Journal Axiomathes Online ISSN 1572-8390 Print ISSN 1122-1151. (shrink)