Recently, connectionist models have been developed that seem to exhibit structuresensitive cognitive capacities without executing a program. This paper examines one such model and argues that it does execute a program. The argument proceeds by showing that what is essential to running a program is preserving the functional structure of the program. It has generally been assumed that this can only be done by systems possessing a certain temporalcausal organization. However, counterfactualpreserving functional architecture can be instantiated (...) in other ways, for example geometrically, which are realizable by connectionist networks. (shrink)
We review some of the work already done around the notion of phenomenal intentionality and propose a way of turning this body of work into a self-conscious research program for understanding intentionality.
What makes some acts morally right and others morally wrong? Traditionally, philosophers have thought that in order to answer this question we must find and formulate exceptionless moral principles—principles that capture all and only morally right actions. Utilitarianism and Kantianism are paradigmatic examples of such attempts. In recent years, however, there has been a growing interest in a novel approach—Particularism—although its precise content is still a matter of controversy. In this paper I develop and motivate a new formulation of particularism (...) as a research program and I show that my formulation is not vulnerable to the most common objections to particularism. Moreover, I argue that the particularist research program shows enough promise to warrant further exploration. (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.
The notion of program verification appears to trade upon an equivocation. Algorithms, as logical structures, are appropriate subjects for deductive verification. Programs, as causal models of those structures, are not. The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility.
Gödel’s philosophical rationalism includes a program for “developing philosophy as an exact science.” Gödel believes that Husserl’s phenomenology is essential for the realization of this program. In this article, by analyzing Gödel’s philosophy of idealism, conceptual realism, and his concept of “abstract intuition,” based on clues from Gödel’s manuscripts, I try to investigate the reasons why Gödel is strongly interested in Husserl’s phenomenology and why his program for an exact philosophy is unfinished. One of the topics that (...) has attracted much attention recently is the development of Gödel’s philosophical thoughts and its connection with other philosophical ideas. For instance, some scholars are searching for the possible connections between Gödel’s philosophy and Husserl’s phenomenology and examining if there is any solid evidence of Husserl’s influence on Gödel from Gödel’s works (Tieszen, Bull Symbolic Logic 4(2):181–203, 1998; Huaser, Bull Symbolic Logic 12(4):529–588, 2006). Why is Gödel’ s interested in Husserl? How should this turn to Husserl be interpreted? Is it a dismissal of Leibnizian philosophy, or a different way to achieve similar goals? Way did Gödel turn specifically to Husserl’s transcendental idealism? (Van Atten and Kennedy, Bull Symbolic Logic 9(4):425–476, 2003) I believe, the reason is that Gödel has a valuable program for “developing philosophy as an exact science” and he believes that Husserl’s phenomenology is relevant to the realization of this program. So far there are no sufficient evidence to show that there is a direct inheritance relation between Gödel’s and Husserl’s thoughts. However, from the clues in Gödel’s idealistic philosophy, conceptual realism, and his concept of “abstract intuition,” we can perhaps explore some similarities between his thoughts and Husserl’s thoughts, and analyze the reason why Gödel is interested in Husserl’s phenomenology and why his program for an exact philosophy is unfinished. (shrink)
Aidan Lyon has recently argued that some mathematical explanations of empirical facts can be understood as program explanations. I present three objections to his argument.
Alexander Miller has recently considered an ingenious extension of Frank Jackson and Philip Pettit's account of 'program explanation' as a way of defending non-reductive naturalist versions of moral realism against Harman's explanatory criticism. Despite the ingenuity of this extension, Miller concludes that program explanation cannot help such moral realists in their attempt to defend moral properties. Specifically, he argues that such moral program explanations are dispensable from an epistemically unlimited point of view. I show that Miller's argument (...) for this negative claim is inadequate, and that he has, in spite of himself, identified a promising defence of moral realism. (shrink)
Unifying traditional cognitive science is the idea that thinking is a process of symbol manipulation, where symbols lead both a syntactic and a semantic life. The syntax of a symbol comprises those properties in virtue of which the symbol undergoes rule-dictated transformations. The semantics of a symbol constitute the symbolsÕ meaning or representational content. Thought consists in the syntactically determined manipulation of symbols, but in a way that respects their semantics. Thus, for instance, a calculating computer sensitive only to the (...) shape of symbols might produce the symbol Ô5Õ in response to the inputs Ô2Õ, Ô+Õ, and Ô3Õ. As far as the computer is concerned, these symbols have no meaning, but because of its program it will produce outputs that, to the user, Òmake senseÓ given the meanings the user attributes to the symbols. (shrink)
Expressivism - the sophisticated contemporary incarnation of the noncognitivist research program of Ayer, Stevenson, and Hare - is no longer the province of metaethicists alone. Its comprehensive view about the nature of both normative language and normative thought has also recently been applied to many topics elsewhere in philosophy - including logic, probability, mental and linguistic content, knowledge, epistemic modals, belief, the a priori, and even quantifiers. Yet the semantic commitments of expressivism are still poorly understood and have not (...) been very far developed. As argued within, expressivists have not yet even managed to solve the "negation problem" - to explain why atomic normative sentences are inconsistent with their negations. As a result, it is far from clear that expressivism even could be true, let alone whether it is. Being For seeks to evaluate the semantic commitments of expressivism, by showing how an expressivist semantics would work, what it can do, and what kind of assumptions would be required, in order for it to do it. Building on a highly general understanding of the basic ideas of expressivism, it argues that expressivists can solve the negation problem - but only in one kind of way. It shows how this insight paves the way for an explanatorily powerful, constructive expressivist semantics, which solves many of what have been taken to be the deepest problems for expressivism. But it also argues that no account with these advantages can be generalized to deal with constructions like tense, modals, or binary quantifiers. Expressivism, the book argues, is coherent and interesting, but false. (shrink)
Originally titled “Institutional, Group, and Individual Virtue,” this was my paper for an Invited Symposium on "Intersections between Social, Feminist, and Virtue Epistemologies," APA Pacific Division Meeting, April 2011, San Diego. Abstract: This paper examines recent research on individual, social, and institutional virtues and vices; the aim is to explore and make proposals concerning their inter-relationships, as well as to highlight central questions for future research with the study of each. More specifically, the paper will focus on how these studies (...) can be approached in a systematic way such that it contributes to greater convergence between virtue theory, feminist epistemology, and social epistemology. To this end the paper develops a model of responsibility qua diachronic (longitudinal) assessment of the inquiry-directed agential habits (motivations, activities, and strategies), while explaining the place of this model within a broader, 15-point proposed “Responsibilist” research program. (shrink)
This commentary attempts to show that the inverted Turing Test (Watt 1996) could be simulated by a standard Turing test and, most importantly, claims that a very simple program with no intelligence whatsoever could be written that would pass the inverted Turing test. For this reason, the inverted Turing test in its present form must be rejected.
Frank Jackson and Philip Pettit have defended a non-reductive account of causal relevance known as the ‘program explanation account’. Allegedly, irreducible mental properties can be causally relevant in virtue of figuring in non-redundant program explanations which convey information not conveyed by explanations in terms of the physical properties that actually do the ‘causal work’. I argue that none of the possible ways to spell out the intuitively plausible idea of a program explanation serves its purpose, viz., defends (...) non-reductive physicalism against Jaegwon Kim’s Causal Exclusion Argument according to which non-reductive physicalism is committed to epiphenomenalism because irreducible mental properties are ‘screened off’ from causal relevance by their physical realizers. Jackson and Pettit’s most promising explication of a program explanation appeals to the idea of invariance of effect under variation of realization , but I show that invariance of effect under variation of realization is neither necessary nor sufficient for causal relevance. (shrink)
Humans grasp discrete infinities within several cognitive domains, such as in language, thought, social cognition and tool-making. It is sometimes suggested that any such generative ability is based on a computational system processing hierarchical and recursive mental representations. One view concerning such generativity has been that each of the mind’s modules defining a cognitive domain implements its own recursive computational system. In this paper recent evidence to the contrary is reviewed and it is proposed that there is only one supramodal (...) computational system with recursion in the human mind. A recursion thesis is defined, according to which the hominin cognitive evolution is constituted by a recent punctuated genetic mutation that installed the general, supramodal capacity for recursion into the human nervous system on top of the existing, evolutionarily older cognitive structures, and it is argued on the basis of empirical evidence and theoretical considerations that the recursion thesis constitutes a plausible research program for cognitive science. (shrink)
Between April and November 1912, Bertrand Russell and Ludwig Wittgenstein were engaged in a joint philosophical program. Wittgenstein‘s meeting with Gottlob Frege in December 1912 led, however, to its dissolution – the joint program was abandoned. Section 2 of this paper outlines the key points of that program, identifying what Russell and Wittgenstein each contributed to it. The third section determines precisely those features of their collaborative work that Frege criticized. Finally, building upon the evidence developed in (...) the preceding two sections, section 4 recasts along previously undeveloped lines Wittgenstein‘s logical–philosophical discoveries in the two years following his encounter with Frege in 1912. The paper concludes, in section 5, with an overview of the dramatic consequences the Frege-Wittgenstein critique had for Russell‘s philosophical development. (shrink)
Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had (...) many partial successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)
In the early 1920s, the German mathematician David Hilbert (1862-1943) put forward a new proposal for the foundation of classical mathematics which has come to be known as Hilbert's Program. It calls for a formalization of all of mathematics in axiomatic form, together with a proof that this axiomatization of mathematics is consistent. The consistency proof itself was to be carried out using only what Hilbert called "finitary" methods. The special epistemological character of finitary reasoning then yields the required (...) justification of classical mathematics. Although Hilbert proposed his program in this form only in 1921, various facets of it are rooted in foundational work of his going back until around 1900, when he first pointed out the necessity of giving a direct consistency proof of analysis. Work on the program progressed significantly in the 1920s with contributions from logicians such as Paul Bernays, Wilhelm Ackermann, John von Neumann, and Jacques Herbrand. It was also a great influence on Kurt Gödel, whose work on the incompleteness theorems were motivated by Hilbert's Program. Gödel's work is generally taken to show that Hilbert's Program cannot be carried out. It has nevertheless continued to be an influential position in the philosophy of mathematics, and, starting with the work of Gerhard Gentzen in the 1930s, work on so-called Relativized Hilbert Programs have been central to the development of proof theory. (shrink)
Our aim in this paper is to evaluate Frank Jackson and Philip Pettitâs âprogram explanationâ framework as an account of the autonomy of the special sciences. We argue that this framework can only explain the autonomy of a limited range of special science explanations. The reason for this limitation is that the framework overlooks a distinction between two kinds of properties, which we refer to as âhigher-levelâ and âhigher-orderâ properties. The program explanation framework can account for the autonomy (...) of special science explanations that appeal to higher-level properties but it does not account for the autonomy of most of those explanations that appeal to higher-order properties. (shrink)
I argue that, despite recent attempts, the strong program in the sociology of knowledge cannot be applied as a general method of inquiry in the history of ideas. My main point is that its methodological commitments only allow the strong program to be fruitful in those fields of knowledge whose content can be given by truth conditions. But even in these fields sociological questions can be asked that are not sensitive to truth conditional content. In these cases, as (...) I argue, a hermeneutic method is more promising. (shrink)
This paper outlines a critique of the use of the genetic variance–covariance matrix (G), one of the central concepts in the modern study of natural selection and evolution. Specifically, I argue that for both conceptual and empirical reasons, studies of G cannot be used to elucidate so-called constraints on natural selection, nor can they be employed to detect or to measure past selection in natural populations – contrary to what assumed by most practicing biologists. I suggest that the search for (...) a general solution to the difficult problem of identifying causal structures given observed correlation’s has led evolutionary quantitative geneticists to substitute statistical modeling for the more difficult, but much more valuable, job of teasing apart the many possible causes underlying the action of natural selection. Hence, the entire evolutionary quantitative genetics research program may be in need of a fundamental reconsideration of its goals and how they correspond to the array of mathematical and experimental techniques normally employed by its practitioners. (shrink)
This is a survey of Gödel's perennial preoccupations with the limits of finitism, its relations to constructivity, and the significance of his incompleteness theorems for Hilbert's program, using his published and unpublished articles and lectures as well as the correspondence between Bernays and Gödel on these matters. There is also an important subtext, namely the shadow of Hilbert that loomed over Gödel from the beginning to the end.
The four tenets of the Strong Program are compatible with a scientific realism founded on an externalist epistemology. Such an epistemology allows that appropriate norms of rationality may differ from time to time, and from community to community, and thereby enables the realist to embrace strong forms of the ‘symmetry principle’. It also suggests a fruitful collaborative research program in externalist social epistemology. Some of what the Edinburgh School says about truth can also be accepted. But the realist (...) should reject the School's argument for the claim that there is no distinction between being rational and being locally accepted as rational, which seems to rest on a kind of epistemological internalism. Introducing the Strong Program Realism and the four tenets A stronger reading of symmetry Conflict and cooperation A note on discovery and justification Relativism and realism Truth Points of contention: the restriction of explanatory contrasts Points of contention: standards of rationality. (shrink)
After sketching the main lines of Hilbert's program, certain well-known andinfluential interpretations of the program are critically evaluated, and analternative interpretation is presented. Finally, some recent developments inlogic related to Hilbert's program are reviewed.
I argue in this article that there is a mistake in Searle's Chinese room argument that has not received sufficient attention. The mistake stems from Searle's use of the Church-Turing thesis. Searle assumes that the Church-Turing thesis licences the assumption that the Chinese room can run any program. I argue that it does not, and that this assumption is false. A number of possible objections are considered and rejected. My conclusion is that it is consistent with Searle's argument to (...) hold onto the claim that understanding consists in the running of a program. (shrink)
In chapter 8 of Miller 2003, I argued against the idea that Jackson and Pettit's notion of program explanation might help Sturgeon's non-reductive naturalist version of moral realism respond to the explanatory challenge posed by Harman. In a recent paper in the AJP[Nelson 2006, Mark Nelson has attempted to defend the idea that program explanation might prove useful to Sturgeon in replying to Harman. In this note, I suggest that Nelson's argument fails.
Drawing substantive conclusions from linear causal models that perform acceptably on statistical tests is unreasonable if it is not known how alternatives fare on these same tests. We describe a computer program, TETRAD, that helps to search rapidly for plausible alternatives to a given causal structure. The program is based on principles from statistics, graph theory, philosophy of science, and artificial intelligence. We describe these principles, discuss how TETRAD employs them, and argue that these principles make TETRAD an (...) effective tool. Finally, we illustrate TETRAD's effectiveness by applying it to a multiple indicator model of Political and Industrial development. A pilot version of the TETRAD program is described in this paper. The current version is described in our forthcoming Discovering Causal Structure: Artificial Intelligence for Statistical Modeling. (shrink)
I wish to advance a certain program for doing metaphysics, a program in which cognitive science would play an important role.1 This proposed ingredient is absent from most contemporary metaphysics. There are one or two local parts of metaphysics where a role for cognitive science is commonly accepted, but I advocate a wider range of application. I begin by laying out the general program and its rationale, with selected illustrations. Then I explore in some detail a single (...) application: the ontology of events. I do not push hard for any particular ontological conclusion, about either events or any other topic. The focus is methodology, not a particular output of the methodology. Here is a recently published characterization of the metaphysical enterprise, one that probably captures orthodox practice pretty well and to which I take no exception. (shrink)
Evolutionary applications of game theory present one of the most pedagogically accessible varieties of genuine, contemporary theoretical biology. We present here Oyun (OY-oon, http://charlespence.net/oyun), a program designed to run iterated prisoner’s dilemma tournaments, competitions between prisoner’s dilemma strategies developed by the students themselves. Using this software, students are able to readily design and tweak their own strategies, and to see how they fare both in round-robin tournaments and in “evolutionary” tournaments, where the scores in a given “generation” directly determine (...) contribution to the population in the next generation. Oyun is freely available, runs on Windows, Mac, and Linux computers, and the process of creating new prisoner’s dilemma strategies is both easy to teach and easy for students to grasp. We illustrate with two interesting examples taken from actual use of Oyun in the classroom. (shrink)
It has often been argued, by philosophers and more recently by developmental psychologists, that our common-sense conception of the mind should be regarded as a scientific theory. However, those who advance this view rarely say much about what they take a scientific theory to be. In this paper, I look at one specific proposal as to how we should interpret the theory view of folk psychology--namely, by seeing it as having a structure analogous to that of a Lakatosian research (...) class='Hi'>program. I argue that although the Lakatosian model may seem promising--particularly to those who are interested in studying the development of children's understanding of the mind--the analogy between Lakatosian research programs and folk psychology cannot be made good because folk psychology does not possess anything analogous to the positive heuristic of a Lakatosian research program. I also argue that Lakatos' account of theories may not be the best one for developmental psychologists to adopt because of the emphasis which Lakatos places on the social embeddedness of scientific theorising. (shrink)
When Ockham's logic arrives in Italy, some Dominican philosophers bring into question Ockham's ontological reductionist program. Among them, Franciscus de Prato and Stephanus de Reate pay a great attention to refute Ockham's claim that no universal exists in the extra-mental world. In order to reject Ockham's program, they start by reconsidering the notion of 'real', then the range of application of the rational and the real distinction. Generally, their strategy consists in re-addressing against Ockham some arguments extracted from (...) Hervaeus Natalis's works. Franciscus's and Stephanus's basic idea is that some universals are not acts of cognition, but extra-mental, predicable things. Such things are not separable from singulars, nonetheless they are not the same as those singulars. Consequently, it is not necessary to allow, as Ockham does, that if two things are not really identical, they are really different and hence really separable. According to them, it is possible to hold that two things are not really identical without holding that they are also really non-identical and hence really different. Basically, their reply relies on a different notion of the relation of identity. Identity is regarded as an intersection of classes of things, so that it is possible to say that two things are really identical without saying that they also are the same thing. Franciscus and Stephanus, however, do not seem to achieve completely their aim. (shrink)
In this paper I attempt to cast the current program verification debate within a more general perspective on the methodologies and goals of computer science. I show, first, how any method involved in demonstrating the correctness of a physically executing computer program, whether by testing or formal verification, involves reasoning that is defeasible in nature. Then, through a delineation of the senses in which programs can be run as tests, I show that the activities of testing and formal (...) verification do not necessarily share the same goals and thus do not always constitute alternatives. The testing of a program is not always intended to demonstrate a program's correctness. Testing may seek to accept or reject nonprograms including algorithms, specifications, and hypotheses regarding phenomena. The relationship between these kinds of testing and formal verification is couched in a more fundamental relationship between two views of computer science, one properly containing the other. (shrink)
We present a direct reduction of dynamic epistemic logic in the spirit of [4] to propositional dynamic logic (PDL) [17, 18] by program transformation. The program transformation approach associates with every update action a transformation on PDL programs. These transformations are then employed in reduction axioms for the update actions. It follows that the logic of public announcement, the logic of group announcements, the logic of secret message passing, and so on, can all be viewed as subsystems of (...) PDL. Moreover, the program transformation approach can be used to generate the appropriate reduction axioms for these logics. Our direct reduction of dynamic epistemic logic to PDL was inspired by the reduction of dynamic epistemic logic to automata PDL of [13]. Our approach shows how the detour through automata can be avoided. (shrink)
After a brief flirtation with logicism around 1917, David Hilbertproposed his own program in the foundations of mathematics in 1920 and developed it, in concert with collaborators such as Paul Bernays andWilhelm Ackermann, throughout the 1920s. The two technical pillars of the project were the development of axiomatic systems for everstronger and more comprehensive areas of mathematics, and finitisticproofs of consistency of these systems. Early advances in these areaswere made by Hilbert (and Bernays) in a series of lecture courses (...) atthe University of Göttingen between 1917 and 1923, and notably in Ackermann's dissertation of 1924. The main innovation was theinvention of the -calculus, on which Hilbert's axiom systemswere based, and the development of the -substitution methodas a basis for consistency proofs. The paper traces the developmentof the ``simultaneous development of logic and mathematics'' throughthe -notation and provides an analysis of Ackermann'sconsistency proofs for primitive recursive arithmetic and for thefirst comprehensive mathematical system, the latter using thesubstitution method. It is striking that these proofs use transfiniteinduction not dissimilar to that used in Gentzen's later consistencyproof as well as non-primitive recursive definitions, and that thesemethods were accepted as finitistic at the time. (shrink)
Dynamicism has provided cognitive science with important tools to understand some aspects of “how cognitive agents work” but the issue of “what makes something cognitive” has not been sufficiently addressed yet and, we argue, the former will never be complete without the latter. Behavioristic characterizations of cognitive properties are criticized in favor of an organizational approach focused on the internal dynamic relationships that constitute cognitive systems. A definition of cognition as adaptive-autonomy in the embodied and situated neurodynamic domain is provided: (...) the compensatory regulation of a web of stability dependencies between sensorimotor structures is created and preserved during a historical/developmental process. We highlight the functional role of emotional embodiment: internal bioregulatory processes coupled to the formation and adaptive regulation of neurodynamic autonomy. Finally, we discuss a “minimally cognitive behavior program” in evolutionary simulation modeling suggesting that much is to be learned from a complementary “minimally cognitive organization program”. (shrink)
The purpose of this paper is to set forth a sense in which programs can and do explain behavior, and to distinguish from this a number of senses in which they do not. Once we are tolerably clear concerning the sort of explanatory strategy being employed, two rather interesting facts emerge; (1) though it is true that programs are "internally represented," this fact has no explanatory interest beyond the mere fact that the program is executed; (2) programs which are (...) couched in information processing terms may have an explanatory interest for a given range of behavior which is independent of physiological explanations of the same range of behavior. (shrink)
Through his own contributions (individual and collaborative) and his extraordinary personal influence, Georg Kreisel did perhaps more than anyone else to promote the development of proof theory and the metamathematics of constructivity in the last forty-odd years. My purpose here is to give some idea of just one aspect of Kreisel’s contributions to these areas, namely that devoted to “unwinding” the constructive content of prima-facie nonconstructive mathematical proofs.1 This program was the subject of his first remarkable papers in the (...) 1950’s, and it has drawn his repeated attention ever since. (shrink)
The association between media literacy and media ethics is discussed in this essay, and data gathered from a media literacy study with 93 public school 6th-grade students are presented. The study details the introduction and evaluation of a media literacy program that was intended to encourage learning and critical thinking about media violence, using a selection of "high-risk" portrayal factors as a foundation. Statistical comparisons between preprogram and postprogram responses and between those participating and those in a control group (...) show some increases in the comprehension of key concepts used in the study of media violence and critical thinking about the topic. Open-ended responses also demonstrate enhanced sophistication in analyzing media violence after participating in the program. (shrink)
Although efforts have been made to increase the opportunities for American-born minorities to obtain doctoral degrees in business, the actual number of business students who are American-born minorities has been extremely low. At the same time more than half of all PhD candidates in business schools are foreign-born. We suggest that business schools owe an ethical duty to provide role models for minority business students, and that this duty can be achieved by initiating Doctor of Business Administration (DBA) programs that (...) can enable working professionals who are American-born minorities to obtain terminal degrees in business. We outline eight steps that can be taken to implement a viable and cost effective DBA program. (shrink)
Particularly during the 1940s, Robert Merton developed a loosely knit methodological program including such key concepts as "structure and functional analysis" and "middle range theories" which provided guidance for sociological work over several decades and which retains some considerable relevance today. However, there are inconsistencies and incompletions in this program which have become more problematic over time. The paper questions the depth of these difficulties and also points out that in the historical circumstances of a limited stimulus provided (...) by the paucity of critique written at the time and Robert Merton's operational style, it is not surprising that difficulties were not attended to. Key Words: Merton • methodological program • classics in sociology • functional analysis • middle-range theory. (shrink)
In recent times evolutionary psychologists have offered adaptation explanations for a wide range of human psychological characteristics. Critics, however, have argued that such endeavors are problematic because the appropriate evidence required to demonstrate adaptation is unlikely to be forthcoming, therefore severely limiting the role of the adaptationist program in psychology. More specifically, doubts have been raised over both the methodology employed by evolutionary psychologists for studying adaptations and about the possibility of ever developing acceptably rigorous evolutionary explanations of human (...) psychological phenomena. We argue that by employing a wide range of methods for inferring adaptation and by adopting an inference to the best explanation strategy for evaluating adaptation explanations, these two doubts can be adequately addressed. We illustrate how this approach can be fruitfully employed in evaluating claims about the evolutionary origins of language, and conclude with a brief discussion of the future of evolutionary psychology. (shrink)
Evolutionary Phonology. Evolutionary Phonology seeks to derive typological generalizations from recurrent patterns of language change, themselves assumed to be rooted in perception, production, and acquisition. The goal is to eliminate UG by providing diachronic explanations for the cross-linguistic evidence that has been used to motivate it. (2) shows a schema of this program, where the arrows can be read as “explains” and/or “constrains”.
Frege’s logicist program requires that arithmetic be reduced to logic. Such a program has recently been revamped by the “neologicist” approach of Hale & Wright. Less attention has been given to Frege’s extensionalist program, according to which arithmetic is to be reconstructed in terms of a theory of extensions of concepts. This paper deals just with such a theory. We present a system of second-order logic augmented with a predicate representing the fact that an object x is (...) the extension of a concept C, together with extra-logical axioms governing such a predicate, and show that arithmetic can be obtained in such a framework. As a philosophical payoff, we investigate the status of the so-called Hume’s Principle and its connections to the root of the contradiction in Frege’s system. (shrink)
Gigerenzer’s ‘external validity argument’ plays a pivotal role in his critique of the heuristics and biases research program (HB). The basic idea is that (a) the experimental contexts deployed by HB are not representative of the real environment and that (b) the differences between the setting and the real environment are causally relevant, because they result in different performances by the subjects. However, by considering Gigerenzer’s work on frequencies in probability judgments, this essay attempts to show that there are (...) fatal flaws in the argument. Specifically, each of the claims is controversial: whereas (b) is not adequately empirically justified, (a) is inconsistent with the ‘debiasing’ program of Gigerenzer’s ABC group. Therefore, whatever reason we might have for believing that the experimental findings of HB lack experimental validity, this should not be based on Gigerenzer’s version of the argument. (shrink)
Over recent decades there has been a growing interest in the question of whether computer programs are capable of genuinely creative activity. Although this notion can be explored as a purely philosophical debate, an alternative perspective is to consider what aspects of the behaviour of a program might be noted or measured in order to arrive at an empirically supported judgement that creativity has occurred. We sketch out, in general abstract terms, what goes on when a potentially creative (...) class='Hi'>program is constructed and run, and list some of the relationships (for example, between input and output) which might contribute to a decision about creativity. Specifically, we list a number of criteria which might indicate interesting properties of a program’s behaviour, from the perspective of possible creativity. We go on to review some ways in which these criteria have been applied to actual implementations, and some possible improvements to this way of assessing creativity. (shrink)
In a number of publications, John Earman has advocated a tertium quid to the usual dichotomy between substantivalism and relationism concerning the nature of spacetime. The idea is that the structure common to the members of an equivalence class of substantival models is captured by a Leibniz algebra which can then be taken to directly characterize the intrinsic reality only indirectly represented by the substantival models. An alleged virtue of this is that, while a substantival interpretation of spacetime theories falls (...) prey to radical local indeterminism, the Leibniz algebras do not. I argue that the program of Leibniz algebras is subject to radical local indeterminism to the same extent as substantivalism. In fact, for the category of topological spaces of interest in spacetime physics, the program is equivalent to the original spacetime approach. Moreover, the motivation for the program--that isomorphic substantival models should be regarded as representing the same physical situation--is misguided. (shrink)
It is a common assumption amongst theorists that the phenomenon of animal emotion supports the affect program theory of emotion. I argue that this assumption is mistaken by exploring two cases of animal emotion from studies in ethology: aggression in chimpanzees and fear in piping plovers. While the affect program theory fails to account for the cognitive complexity involved in each case, I do not argue for a cognitive theory of emotion. Instead, I suggest that paying attention to (...) animal emotions helps the emotion theorist avoid the dichotomy between the extreme versions of the affect program theory and cognitive theories. ‡My thanks to Bart Moffatt, Ben Schulz, Jessica Slind, Katie Plasiance, Ken Waters, Mark Borrello, Susan Hawthorne, and Toben Lafrancois for helpful comments on earlier drafts of this paper. †To contact the author, please write to: Department of Philosophy, University of Minnesota, Minneapolis, MN 55455; e-mail: stie0076@umn.edu. (shrink)
This paper critically examines the forays into metaphysics of The Dual Nature of Technical Artifacts Program (henceforth, DNP). I argue that the work of DNP is a valuable contribution to the epistemology of certain aspects of artifact design and use, but that it fails to advance a persuasive metaphysic. A central problem is that DNP approaches ontology from within a functionalist framework that is mainly concerned with ascriptions and justified beliefs. Thus, the materiality of artifacts emerges only as the (...) external conditions of realizability of function ascription. The work of DNP has a strong programmatic aspect and much of its foray into metaphysics is tentative, so the intent of my argument is partly synthetic: to sum up these issues as they are presented in the literature and highlight some recognized problems. But I also go beyond that, suggesting that these problems are foundational, arising from the very way in which DNP poses the question of artifact metaphysics. Although it sets out to incorporate objective aspects of technology, DNP places a strong focus on the intentional side of the purported matter-mind duality, bracketing off materiality in an irretrievable manner. Thus, some of the advantages of dualism are lost. I claim that DNP is dualistic, not merely based on “duality”, but that its version of dualism does not appropriately account for the material “nature” of artifacts. The paper ends by suggesting some correctives and alternatives to Dual Nature theory. (shrink)
Just as war can be viewed as continuation of diplomacy using other means, computational semantics is continuation of logical analysis of natural language by other means. For a long time, the tool of choice for this used to be Prolog. In our recent textbook we argue (and try to demonstrate by example) that lazy functional programming is a more appropriate tool. In the talk we will lay out a program for computational semantics, by linking computational semantics to the general (...) analysis of procedures for social interaction. The talk will give examples of how Haskell can be used to begin carrying out this program. (shrink)
This paper begins by examining Erich Fromm’s “Manifesto and Program” written for the Socialist Party in 1959 or 1960, and addresses a simple question: Why would Fromm speak of something so apparently arcane as “prophetic messianism,” in his socialist program? When he insists that we have forgotten thatsocialism is “rooted in the spiritual tradition which came to us from prophetic messianism, the gospels, humanism, and from the enlightenment philosophers,” is this simply a literary flourish, a concession to liberalism, (...) or religious sentimentality? Part I, written by Nick Braune, answers the question by examining Fromm’ssocialist organizing commitments in the context of the late 1950s. Part II, written by Joan Braune, offers further defense of the term “prophetic messianism,” distinguishes two types of messianism, and suggests that Fromm may be attempting to address a problem in the Frankfurt School. (shrink)
Both of us have been involved with helping professions, especially new scientific or technological professions, develop ethics programs—for undergraduates, graduates, and practitioners. By “ethics program”, we mean any strategy for teaching ethics, including developing materials. Our purpose here is to generalize from that experience to identify the chief elements needed to get an ethics program started in a new profession. We are focusing on new professions for two reasons. First, all the older professions, both in the US and (...) in most other countries, now have ethics programs of some sort. They do not need our advice to get started. Second, new professions face special problems just because they are new—everything from deciding who belongs to the profession to formalizing ethical standards so that they can be taught. Our purpose in this paper is to generalize from our experience and to identify some of the fundamentals for getting an ethics program started in a new profession. We present our recommendations in the form of response to 6 questions anyone designing an ethics program for a new profession should ask. We realize that our brief discussion does not provide a complete treatment of the subject. Our purpose has been to point in the right direction those considering an ethics program for new profession. (shrink)
Professor Jessica Utts and I were given the task of evaluating the program on "Anomalous Mental Phenomena" carried out at SRI International (formerly the Stanford Research Institute) from 1973 through 1989 and continued at SAIC (Science Applications International Corporation) from 1992 through 1994. We were asked to evaluate this research in terms of its scientific value. We were also asked to comment on its potential utility for intelligence applications.
Attempts to explain human behavior that appeal to economic rationality share many of the same ontological as- sumptions and methodological practices that the so-called ‘adaptationist program’ in biology was criticized for. This program in biology was largely abandoned by biologists as poorly motivated, and replaced with the active testing of both adaptive and non-adaptive hypotheses regarding the spread and maintenance of traits in populations. This development was largely welcome by the biological <span class='Hi'>community</span>, despite having required the development (...) of new tools, both conceptual and method- ological. Many analysts of contemporary microeconomic practice criticize the assumptions and practices employed therein as similarly poorly motivated. Close attention to these criticisms reveal them to have more than superficial similarities to the critiques of adaptationism in biology. These similarities extend to some macroeconomics researchers recent suggestions of ways that hypotheses regarding the causes of people’s actions might be tested; as yet, however, these suggestions have not been embraced by the field as a whole. By attending to the ways in which biological practice has moved beyond the adaptationist program, similar changes in economic practice may be motivated. (shrink)
Although Aristotle's zoological works were known in antiquity and during the early medieval period, the scientific research program discussed and exemplified therein disappeared after Theophrastus. After some fifteen hundred years, it reappears in the work of Albert the Great who extensively explains Aristotle's conception of a scientific research program and extends Aristotle's zoological researches. Evidence of Albert's Aristotelian commentaries shows that he clearly understood animals to represent a self-contained subject-genus, that the study of this subject-genus constitutes theoretical knowledge (...) in an Aristotelian sense, that natural finality and suppositional necessity provide principles of zoological science, and that research into animals must be conducted according to a two-staged methodology of division and demonstration. (shrink)
The Ethics Program at General Dynamics was evaluated relative to its stated objectives and its implied objectives. The program was found to have met its specific objectives which require employees to follow rules and standards of conduct. The program did not apparently meet its implied objectives which would have created a more humanistic work environment for employees. This result apparently stemmed from program planners' intentions to use the hope for better working conditions as a motivation for (...) employees to follow company standards. A substantial conflict was found between the philosophical bases for ethics programs and work environment improvement programs. (shrink)
Frege’s logicist program requires that arithmetic be reduced to logic. Such a program has recently been revamped by the “neo-logicist” approach of Hale & Wright. Less attention has been given to Frege’s extensionalist program, according to which arithmetic is to be reconstructed in terms of a theory of extensions of concepts. This paper deals just with such a theory. We present a system of second-order logic augmented with a predicate representing the fact that an object x is (...) the extension of a concept C, together with extra-logical axioms governing such a predicate, and show that arithmetic can be obtained in such a framework. As a philosophical payoff, we investigate the status of so-called “Hume’s Principle,” and its connections to the root of the contradiction in Frege’s system. (shrink)
The background to the development of proof theory since 1960 is contained in the article (MATHEMATICS, FOUNDATIONS OF), Vol. 5, pp. 208- 209. Brie y, Hilbert's program (H.P.), inaugurated in the 1920s, aimed to secure the foundations of mathematics by giving nitary consistency proofs of formal systems such as for number theory, analysis and set theory, in which informal mathematics can be represented directly. These systems are based on classical logic and implicitly or explicitly depend on the assumption of (...) \completed in nite" totalities. Consistency of a system S (containing a modicum of elementary number theory) is su cient to ensure that any nitary meaningful statement about the natural numbers which is provable in S is correct under the intended interpretation. Thus, in Hilbert's view, consistency of S would serve to eliminate the \completed in nite" in favor of the \potential in nite" and thus secure the body of mathematics represented in S. Hilbert established the subject of proof theory as a technical part of mathematical logic by means of which his program was to be carried out its methods will be described below. In 1931, Godel's second incompleteness theorem raised a prima facieobstacle to H.P. for the system Z of elementary number theory (also called Peano Arithmetic, and denoted below by PA) since all previously recognized forms of nitary reasoning could be formalized within it. In any case, Hilbert's program could not possibly succeed for any system such as set theory in which all nitary notions and reasoning could unquestionably be formalized. These obstacles led workers in proof theory to modify H.P. in two kinds of ways. The rst was to seek reductions of various formal systems S to more constructive systems S 0. The second was to shift the aims from foundational ones to more mathematical ones. Examples of 1 the former move are the reductions of PA to intuitionistic arithmetic HA, and Gentzen's consistency proof of PA by nitary reasoning coupled with quanti er-free trans nite induction up to the ordinal , TI( 0), both obtained in the 1930s (cf.. (shrink)
The importance for realism of the concept of truthlikeness was first stressed by Popper. Popper himself not only mapped out a program for defining truthlikeness (in terms of falsity content and truth content) but produced the first definitions within this program. These were shown to be inadequate. But the program lingered on, and the most recent attempt to revive it is that of Newton-Smith. His attempt is a failure, not because of some minor defect or technical flaw (...) in his particular account but rather because the program incorporates a fundamental flaw. However, realists need not despair. There already exists an entirely different program not subject to these criticisms. (shrink)
We draw an analogy between Hilbert's program (HP) for mathematics and Newell's program (NP) for cognitive modeling. The analogy reveals that NP, like HP before it, is fundamentally flawed. The only alternative is a program anchored by an admission that cognition is more than computation.
For Herbert Gintis, the “rational actor,” or “beliefs, preferences, and constraints (BPC),” model is central to his unifying framework for the behavioral sciences. It is not argued here that this model is refuted by evidence. Instead, this model relies ubiquitously on auxiliary assumptions, and is evacuated of much meaning when applied to both human and nonhuman organisms. An alternative perspective of “program-based behavior” is more consistent with evolutionary principles. (Published Online April 27 2007).
In the tradition of Denotational Semantics one usually lets program constructs take their denotations in reflexive domains, i.e. in domains where self-application is possible. For the bulk of programming constructs, however, working with reflexive domains is an unnecessary complication. In this paper we shall use the domains of ordinary classical type logic to provide the semantics of a simple programming language containing choice and recursion. We prove that the rule of {\em Scott Induction\/} holds in this new setting, prove (...) soundness of a Hoare calculus relative to our semantics, give a direct calculus ${\cal C}$ on programs, and prove that the denotation of any program $P$ in our semantics is equal to the union of the denotations of all those programs $L$ such that $P$ follows from $L$ in our calculus and $L$ does not contain recursion or choice. (shrink)
A proof of ‘correctness’ for a mathematical algorithm cannot be relevant to executions of a program based on that algorithm because both the algorithm and the proof are based on assumptions that do not hold for computations carried out by real-world computers. Thus, proving the ‘correctness’ of an algorithm cannot establish the trustworthiness of programs based on that algorithm. Despite the (deceptive) sameness of the notations used to represent them, the transformation of an algorithm into an executable program (...) is a wrenching metamorphosis that changes a mathematical abstraction into a prescription for concrete actions to be taken by real computers. Therefore, it is verification of program executions (processes) that is needed, not of program texts that are merely the scripts for those processes. In this view, verification is the empirical investigation of: (a) the behavior that programs invoke in a computer system and (b) the larger context in which that behavior occurs. Here, deduction can play no more, and no less, a role than it does in the empirical sciences. (shrink)
This paper acknowledges the paucity of attention regarding the development of ethics programs within an academic environment and describes in a case study how the Duquesne University schools of business attempted to introduce, integrate and promote its own ethics program. The paper traces the business school’s attention to mission statements, curriculum development, ethics policy, program oversight and outcome assessment. Lessons learned are offered as suggestions for others seeking to develop and implement an ethics program in their school.
The Hyperuniverse Program is a new approach to set-theoretic truth which is based on justifiable principles and leads to the resolution of many questions independent from ZFC. The purpose of this paper is to present this program, to illustrate its mathematical content and implications, and to discuss its philosophical assumptions.
Laudan's thesis that conceptual problem solving is at least as important as empirical problem solving in scientific research is given support by a study of the relation between the chromosome theory and the Mendelian research program. It will be shown that there existed a conceptual tension between the chromosome theory and the Mendelian program. This tension was to be resolved by changing the constraints of the Mendelian program. The relation between the chromosome theory and the Mendelian (...) class='Hi'>program is shown to be a good illustration of the influence of science itself on the rational standards governing scientific development. (shrink)
My paper is a reaction to the articles in the newsletter Inquiry, and additional articles by others, especially Mark Weinstein, the Acting Director of the Institute for Critical Thinking at Montclair State College. Weinstein and his colleagues are engaged in a most ambitious program, as they put it, of educational reform through critical thinking across the disciplines. Without doubt, the ideologue of this school is Weinstein, and it is on his writings that I have concentrated.
It is argued that the debate over the positivist theory of historical explanation has made only a limited contribution to our understanding of how historians should defend the explanations they propose importantly because both positivists and their critics tacitly accepted two assumptions. The first assumption is that if the positivist analysis of historical explanation is correct, then historians ought to attempt to defend covering laws for each of the explanations they propose. The second is that unless a historian can justify (...) an explanation that he proposes, then his preference for that explanation is not rationally defensible. It is argued that the first assumption is false and that if in order to justify an explanation, one must justify a covering law for it, then the second assumption is also false. A program for investigating how historians should defend their explanations is suggested. (shrink)
Despite recognizing the importance of developing authentic corporate social responsibility (CSR) programs, noticeably absent from the literature is consideration for how employees distinguish between authentic and inauthentic CSR programs. This is somewhat surprising given that employees are essentially the face of their organization and are largely expected to act as ambassadors for the organization’s CSR program (Collier and Esteban in Bus Ethics 16:19–33, 2007 ). The current research, by conducting depth interviews with employees, builds a better understanding of how (...) employees differentiate between authentic and inauthentic CSR programs, and how these judgments influence their perceptions of the organization. We find that employees rely on two different referent standards to form authenticity judgments—the extent to which the image put forth in the CSR program aligns with the organization’s true identity and the extent to which the CSR program itself is developmental. To assess the former, employees draw on cues about resource commitment, alignment between elements of the organization’s CSR program, emotional engagement, justice, and embeddedness. The latter assessments are based on the extent to which the organization adopts a leadership role with regards to its CSR initiatives. We also find that perceived authenticity can lead to positive outcomes such as organizational identification and employee connections. This study contributes to the broad literatures on both CSR and authenticity, as well as more specifically adding to the conversation on authenticity as a potentially valuable lens for enriching business ethics theorizing. (shrink)
The issue of proper functioning of operative computing and the utility of program verification, both in general and of specific methods, has been discussed a lot. In many of those discussions, attempts have been made to take mathematics as a model of knowledge and certitude achieving, and accordingly infer about the suitable ways to handle computing. I shortly review three approaches to the subject, and then take a stance by considering social factors which affect the epistemic status of both (...) mathematics and computing. I use the analogy between mathematics and computing in reverse—that is to say, I consider operative computing as a form of making mathematics, and so attempt to learn from computing to mathematics in general. I conclude that mathematics engineering is a field to be both developed for practical improvement of doing mathematics and taken into consideration while philosophizing about mathematics as well. (shrink)
This paper describes the first three-year experience of the Consortium Ethics Program (CEP-1) of the University of Pittsburgh Center for Medical Ethics, and also outlines plans for the second three-year phase (CEP-2) of this experiment in continuing ethics education. In existence since 1990, the CEP has the primary goal of creating a cost-effective, permanent ethics resource network, by utilizing the educational resources of a university bioethics center and the practical expertise of a regional hospital council. The CEP's conception and (...) specific components stem from recognition of the need to make each hospital a major focus of educational efforts, and to provide academic support for the in-house activities of the representatives from each institution. (shrink)
It is quite extraordinary, philosophically speaking, that according to the orthodox interpretation: (a) quantum mechanics is a complete and comprehensive theory of microphysics, and yet (b) the role of measurement, in quantum mechanics, cannot be analyzed in terms of the collective effects of the microphysical particles making up the apparatus. It follows that, if the orthodox interpretation is correct, the measurement apparatus and its quantum physical effects cannot be accounted for microreductively. This is significant because it is widely believed that (...) the relation between physical wholes and parts is microreductive. Indeed, many philosophers are persuaded of the inevitability of universal microreduction to the basic elements of microphysics. This is the viewpoint embodied in the program for the unity of science, espoused in recent years, most notably by Robert Causey (1977). (shrink)
The aptationist program includes attempts at sorting adaptations from exaptations, and therefore requires knowledge of historical changes in biological character states (traits) and their effects or functions, particularly for nonoptimal aptations. Phylogenetic inference is a key approach for historical aspects of evolutionary hypotheses, particularly testing evolutionary scenarios, and such “tree-thinking” investigation is directly relevant to the aptationist program.
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)
We examine the perceived importance of three organizational preconditions (awareness of formal ethics codes, decision-making techniques, and availability of resources) theorized to be critical for ethics program effectiveness. In addition, we examine the importance of ethical leadership and congruence between formal ethics codes and informal ethical norms in influencing employee perceptions. Participants (n=418) from a large southern California government agency completed a survey on the perceived effectiveness of the organization’s ethics program. Results suggest that employee perceptions of organizational (...) preconditions, ethical leadership and informal ethical norms were related to perceptions of ethics program effectiveness. Based on these findings, organizations should evaluate the presence (or absence) of essential preconditions and take steps to ensure that leaders model espoused organizational values to foster perceptions of effective ethics programs. (shrink)
Driven by recent accreditation mandates, a changing legal environment, and multiple high-visibility corporate ethics scandals, many business schools are responding to the growing movement within higher education to integrate ethics into the curricula. The literature suggests that the amount of attention given to ethics varies widely among institutions, and has not been coherently developed. Moreover, institutions have struggled to tie related projects and instruction to the overall concept of assurance of student learning. The purpose of this paper is to provide (...) a framework for institutions interested in creating an interdisciplinary business ethics program that combines critical success factors, assurance of student learning and continuous quality improvement. Using a nationally recognized business school’s ethics program, we provide an example of how our model can be applied at other institutions based on their own unique vision, mission and goals. (shrink)
n this paper, I examine the charge that Gopnik and Meltzoff’s ‘Child as Scientist’ program, outlined and defended in their 1997 book Words, Thoughts and Theories is vitiated by a form of ‘cognitive individualism’ about science. Although this charge has often been leveled at Gopnik and Meltzoff’s work, it has rarely been developed in any detail. -/- I suggest that we should distinguish between two forms of cognitive individualism which I refer to as ‘ontic’ and ‘epistemic’ cognitive individualism (OCI (...) and ECI respectively). I then argue - contra Ronald Giere – that Gopnik and Meltzoff’s commitment to OCI is relatively unproblematic, since it is an easily detachable part of their view. By contrast, and despite their explicit discussion of the issue, their commitment to ECI is much more problematic. (shrink)
This paper examines the Québec Education Program (QEP), particularly the new course in ethics and religious culture (ERC), in the light of Habermas?s conception of the moral and ethical uses of practical reason. Habermas?s discursive theory of morality is used to assess the program?s understanding of what it means to be competent in moral matters. Specifically, the paper considers whether or not the program limits the exercise of practical reason to its purely pragmatic form, and the extent (...) to which the program takes into account the intersection between the subjective and social world of learners. The Québec program serves as a context for thinking about the level(s) of practical reason an ethics education program ought to cultivate in learners. (shrink)
We applied TETRAD II, a causal discovery program developed in Carnegie Mellon University’s Department of Philosophy, to a database containing information on 204 U.S. colleges, collected by the US News and World Report magazine for the purpose of college ranking. Our analysis focuses on possible causes of low freshmen retention in U.S. colleges. TETRAD II finds a set of causal structures that are compatible with the data.
In the first part of this paper we discuss some aspects of Detlefsen's attempt to save Hilbert's Program from the consequences of Godel's Second Incompleteness Theorem. His arguments are based on his interpretation of the long standing and well-known controversy on what, exactly, finitistic means are. In his paper [1] Detlefsen takes the position that there is a form of the ω-rule which is a finitistically valid means of proof, sufficient to prove the consistency of elementary number theory Z. (...) On the other hand, he claims that Z with its first-order logic is not strong enough to allow a formalization of such an ω-rule. This would explain why the unprovability of $\operatorname{Con}(Z)$ in Z does not imply that the consistency of Z cannot be proved by finitistic means. We show that Detlefsen's proposal is unacceptable as originally formulated in [1], but that a reasonable modification of the rule he suggest leads to a partial program already studied for many years. We investigate the scope of such a program in terms of proof-theoretic reducibilities. We also show that this partial program encompasses mathematically important theories studied in the "Reverse Mathematics" program. In order to investigate the provability with such a modified rule, we define new consistency and provability predicates which are weaker than the usual ones. We then investigate their properties, including a few that have no apparent philosophical significance but compare interestingly with the properties of the program based on the iteration of our ω-rule. We determine some of the limitations of such programs, pointing out that these limitations partly explain why partial programs that have been successfully carried out use quite different and substantially more radical extensions of finitistic methods with more general forms of restricted reasoning. (shrink)
In this essay I provide a critical analysis of the Enlightenment program—focusing particularly on the thought of Hegel, Rouseau, Kant, and Nietszche—describing the central dangers inherent in the program. I conclude with reflections generated from the post-metaphysical responses to the Enlightenment made by Giddens and Heidegger.
Organizational justice and injustice are widely noted influences on employees' ethical behavior. Corporate ethics programs alsoraise issues of justice; organizations that fail to "follow-through" on their ethics policies may be perceived as violating employees' expectations of procedural and retributive justice. In this empirical study of four large corporations, we considered employees' perceptions of general organizational justice, and their perceptions of ethics program follow-through, in relation to unethical behavior that harms the organization, and to employees' willingness to help the organization (...) by reporting ethical problems and issues to management. Results show that when employees perceive general organizational justice and ethics program follow-through, there is less unethical behavior and greater willingness to report problems. General justice and ethics program follow-through also interact with each other, showing that the impact of ethics initiatives is influenced by the organizational context. (shrink)
It has been known since the seventies that the formulas of modal logic are invariant for bisimulations between possible worlds models -- while conversely, all bisimulation-invariant first-order formulas are modally definable. In this paper, we extend this semantic style of analysis from modal formulas to dynamic program operations. We show that the usual regular operations are safe for bisimulation, in the sense that the transition relations of their values respect any given bisimulation for their arguments. Our main result is (...) a complete syntactic characterization of all first-order definable program operations that are safe for bisimulation. This is a semantic functional completeness result for programming, which may be contrasted with the more usual analysis in terms of computational power. The 'Safety Theorem' can be modulated in several ways. We conclude with a list of variants, extensions, and further developments. (shrink)
We present an initial and elementary investigation of the formal specification and mechanical verification of programs that interact with environments. We describe a formal, mechanically produced proof that a simple, real time control program keeps a vehicle on a straightline course in a variable crosswind. To formalize the specification we define a mathematical function which models the interaction of the program and its environment. We then state and prove two theorems about this function: the simulated vehicle never gets (...) farther than three units away from the intended course and homes to the course if the wind ever remains steady for at least four sampling intervals. (shrink)
NCMRD initiated the Women in Management Research Program in January 1988. One of the objectives of the program is to help managers and policy makers deal with issues arising from women's increased participation in managerial and professional jobs backing research to help arrive at solutions to the problems being encountered both by institutions and by women themselves. Significant research funds have been raised from the private sector and ten projects have been funded to date. This article describes the (...) early development of the Program and its research mandate. (shrink)
Empowerment and user participation represents an ideal of power with a strong position in the health sector. In this article we use text analysis to investigate notions of power in a program plan for health workers focusing on empowerment. Issues addressed include: How are relationships of power between users and helpers described in the program plan? Which notions of user participation are embedded in the plan? The analysis is based on Foucault’s idea that power which is made subject (...) to attempts of redistribution will re-emerge in other forms. How this happens, and with what consequences, is our analytical concern. The analysis is contrasted with ‘snapshots’ from everyday life in a nursing home. The program plan communicates empowerment as a democracy-building instrument that the users need. It is a tool for providing expert assistance to the user’s self-help. User participation is made into a tool which is external to the user him-/herself. Furthermore, the analysis shows that the plan’s image of empowerment presupposes an ‘élite user’ able to articulate personal needs and desires. This is not very applicable to the most vulnerable user groups, who thereby may end up in an even weaker position. By way of conclusion, we argue that an exchange of undesirable dominating paternalism for a desirable empowerment will not abolish power, but may result in more covert and subtle forms of power that are less open to criticism. The paper offers insights that will facilitate reflections on the premises for practising empowerment-oriented health care. (shrink)
Most organizations and/or their sub-units like ethics programs want to acquire the knowledge, skills and other resources needed to achieve their goals efficiently and effectively. Thus, they want to acquire or develop needed capacity. But there are pre-conditions to building capacity that are often overlooked or forgotten, but which nevertheless, must be in place before capacity can be developed. This essay identifies these pre-conditions and discusses why they are necessary before attempts are made to enhance the capacity of any ethics (...)program. The essay closes by offering a series of questions that ethics program leaders/and or members can asked themselves to assess whether or not these pre-conditions exist. (shrink)
In this paper I argue that the program of L. Laudan et al for empirically testing historiographical philosophies of science ("the VPI program") does not succeed in providing a consistent naturalist program in philosophy of science. In particular, the VPI program endorses a nonnaturalist metamethodology that insists on a hypothetico-deductive structure to scientific testing. But hypothetico-deductivism seems to be both inadequate as an account of scientific theory testing in general and fundamentally at odds with most of (...) the historiographic philosophies under test. I sketch an account of testing historiographic philosophies of science more consistent with the views about scientific testing of those philosophies and argue that such a program is neither viciously circular nor necessarily self-refuting. (shrink)
Eighteen parents participated in a Deliberate Psychological Education program designed to enhance their moral judgement and indirectly influence the moral development of their children. In a quasi?experimental nonequivalent control group design, their progress was compared to that of 19 participants in a no?treatment control condition. There was a significant change in the treatment condition on moral judgement and perspective?taking measures and the effectiveness of a generated solutions component of a problem?solving measure. The effect size for the moral judgement variable (...) was large. The findings indicated that similar programs have the potential to enhance the moral judgement of parents. Enhancing the moral judgement of parents can potentially enhance the moral development of their children, although further research is needed to refine the treatment program and understand the outcomes. (shrink)
It has been known since the seventies that the formulas of modal logic are invariant for bisimulations between possible worlds models — while conversely, all bisimulation-invariant first-order formulas are modally definable. In this paper, we extend this semantic style of analysis from modal formulas to dynamic program operations. We show that the usual regular operations are safe for bisimulation, in the sense that the transition relations of their values respect any given bisimulation for their arguments. Our main result is (...) a complete syntactic characterization of all first-order definable program operations that are safe for bisimulation. This is a semantic functional completeness result for programming, which may be contrasted with the more usual analysis in terms of computational power. The 'Safety Theorem' can be modulated in several ways. We conclude with a list of variants, extensions, and further developments. (shrink)
Byrne & Russon propose that priming can account for the imitation of simple actions, but they fail to explain how the behavior of another can prime the observer's own behavior. They also propose that imitation of complex skills requires a sequence of acts tied together by a program, but they fail to rule out the role of trial-and-error learning and perceptual/motivational mechanisms in such task acquisition.
Abstract This study examined the effects of the Facing History and Ourselves (FHAO) human rights program on moral development and psychological functioning. The FHAO curriculum significantly increased 8th grade students? moral reasoning (Rest's 1979 Defining Issues Test) without adversely impacting on their psychological well?being (scores on depression, hopelessness or self?worth inventories). Girls were more empathic and had higher levels of social interest; boys had higher global self?worth scores; there were no differences between boys and girls in their moral reasoning (...) scores and no gender differences in the psychological impact of the course. This study adds to the literature which suggests that human rights education positively affects students? moral development. (shrink)
odel-L¨ ob computability logic (GL). In order to make things relatively self-contained, I sketch the essential ideas of GL, and discuss the significance of its fixpoint theorem. Then I give the algorithm embodied in the program in a little more detail. It should be emphasized that nothing new is presented here — all the theory and methodology are due to others. The main interest is, in a sense, psychological. The approach taken here has been declared in the literature, (...) more than once, to be of theoretical interest only, being too unwieldly in practice. Experimentation shows this is not so provided formulas are not too complicated. A copy of the program can be obtained by ftp from venus.gc.cuny.edu. It is in the subdirectory “/pub/fitting,” under the name “glfixpt.pro.” Log on as “anonymous” and use your full e-mail address as password. If there are difficulties with ftp, send e-mail to the author at mlflc@cunyvm.cuny.edu. The Prolog code is standard, and should run under any implementation, though minor modifications may be necessary for some systems. These modifications are described in the last section, and also in the program itself. (shrink)
Five faculty members in the College of Business at Northern Illinois University received a grant from the James S. Kemper Foundation to integrate ethics into the graduate business curriculum. This was the second phase of a comprehensive program to integrate ethics into the business curriculum. Each faculty member taught a required course in the MBA program. The faculty members represented each of the five functional departments in the College of Business.This paper describes the ethics content, materials, and approaches (...) that were used to cover ethics by each of the five faculty members. Hopefully, this description will help other faculty and universities integrate ethics more effectively into the business curriculum. (shrink)
The purpose of this study was to assess the effectiveness of the Reach to Recovery Program of volunteers sponsored by the American Cancer Society. Effectiveness was defined as enhancing the quality of life and rehabilitation of women who had had a mastectomy, through increasing knowledge of rehabilitative procedures, post-surgery activities and level of self-esteem.
The existence claim of a "genetic program" encoded in the DNA molecule which controls biological processes such as development has been examined. Sources of belief in such an entity are found in the rhetoric of Mendelian genetics, in the informationist speculations of Schrodinger and Delbruck, and in the instrumental efficacy found in the use of certain viral, and molecular genetic techniques. In examining specific research models, it is found that attempts at tracking the source of biological control always leads (...) back to the complex state of a cell as a whole, the organizational structure of which is not itself encoded in the DNA. It is argued that the "genetic program" is not an existing biological entity and its philosophical and heuristic status is challenged. (shrink)
President Bush and his Council of Economic Advisors have claimed that the U.S. shouldn’t adopt a national health program because doing so would slow innovation in health care. Some have attacked this argument by challenging its moral claim that innovativeness is a good ground for choosing between health care systems. This reply is misguided. If we want to refute the argument from innovation, we have to undercut the premise that seems least controversial -- the premise that our current system (...) produces more innovation than a national health program would. I argue that this premise is false. The argument requires clarifying the concept ‘national health program’ and examining various theories of human well-being. (shrink)
Byrne & Russon suggest that the production of action by primates is hierarchically organised. We assess the evidence for hierarchical structure in the comprehension of action by primates. Focusing on work with human children we evaluate several possible indices of program-level comprehension.
This article explores the activity of writing in higher education as a mediational means for student meaning making. From a dialogic perspective, writing is not about learning and applying formulas and making fixed kinds of texts, but about ways of working and ways of acting that brings writers, readers, resources and contexts into trajectories. The argument is that processes of writing enhance student meaning making and that these processes are formed by complex interaction. Contextual interpretation and use of mediational means (...) is constituted in social systems of activities that depend on and promote particular kinds of texts. We need insights in contextual trajectories to understand the relationship between writing and student meaning making . Empirically, I draw on a study investigating portfolio writing as a pedagogical tool in a nursing program in Norway. The rationale of the study was an identified need for information about how processes of writing develop, how texts come into being and how institutional tasks of writing are being unpacked. The aim of the paper is to explore a dialogical approach to the activity of writing and to discuss possible methodological implications from the theoretical framework. The empirical study is used as an illustration. (shrink)
The paper describes the design and implementation of a plant biodiversity conservation program that was developed under funding and time constraints for diverse ecological, social, and institutional environments. The biodiversity program for alpine meadows and pastures located in the Swiss Canton of the Grisons is used as an example. The design of the sustainable program relied on existing legislation, accounted for limited ecological knowledge and expertise, and considered biodiversity as a common-pool resource. The trend to intensified cultivation (...) of restricted areas required fast action, while the sustainability of the program design had to take into account institutional diversity. Fifteen habitats and plant communities worth conserving were known, and 57 plant species were identified as indicator species for establishing an inventory and for monitoring purposes. A small subset of 16 well known plant species was presented to the farming communities. They were invited to notify the areas in which they observed the presence of these plants. In different regions of the Canton a total number of 39 paraecologists were trained to inspect the areas notified by farmers and to recommend possible incorporation into the Cantonal inventory. This was done once the farmers signed a contract in which they agreed to follow adequate management practices. The farmers received subsidies to compensate for their losses. Communal authorities controlled the fertilizer input and cutting dates, while the paraecologists were trained to monitor plant biodiversity. The program started in 1992 and the initial phase of the inventory was terminated in 1996. At the beginning of 1996, an inventory of 2617.19 ha, most of which are meadows, was taken and managed according to the rules specified in the contract. The program was considered successful because (i) of the size of the area in the inventory, (ii) about 30%of the farmers participated, and (iii) farmers started cultivating previously abandoned farmland. (shrink)
