The Uniformly Reflexive Structure was introduced by E. G. Wagner who showed that the theory of such structures generalized much of recursive function theory. In this paper Uniformly Reflexive Structures are constructed as factor algebras of Free nonassociative algebras. Wagner's question about the existence of a model with no computable splinter ("successor set") is answered in the affirmative by the construction of a model whose only computable sets are the finite sets and their complements. Finally, for each countable Boolean algebra (...) R of subsets of a countable set which contains the finite subsets, a model is constructed with R as its family of computable sets. (shrink)
Ecology is composed of a remarkably diverse set of scientific disciplines. There are many different sub-fields in ecology—physiological, behavioral, evolutionary, population, community, ecosystem, and landscape ecology. Clearly, no summary will do them all justice. However, for the present context, ecology as a science can be divided into three basic areas—population, community, and ecosystem ecology. This entry will introduce some of the fundamental philosophical issues raised by these three disciplines. The first order of business is to ask what is the science (...) of ecology, and more importantly, what is it not (see Brennan 1988). Sometimes the term ‘ecology’ is treated as synonymous or coextensive with three different concepts or sets of concepts: • The science of ecology: the study of organisms and groups of them and their relation to their environment. (shrink)
We show that either PFA + or Martin's maximum implies Fleissner's Axiom R, a reflection principle for stationary subsets of P ℵ 1 (λ). In fact, the "plus version" (for one term denoting a stationary set) of Martin's axiom for countably closed partial orders implies Axiom R.
Upshot: The reader presents a unique collection of the most important works in biosemiotics. It spans 880 pages, describing classical and modern theories, with excerpts from the most significant papers on the topic of biosemiotics, as well as suggesting further reading on the topic.
Advocates of the "strong programme" in the sociology of knowledge have argued that, because scientific theories are "underdetermined" by data, sociological factors must be invoked to explain why scientists believe the theories they do. I examine this argument, and the responses to it by J.R. Brown (1989) and L. Laudan (1996). I distinguish between a number of different versions of the underdetermination thesis, some trivial, some substantive. I show that Brown's and Laudan's attempts to refute the sociologists' argument fail. (...) Nonetheless, the sociologists' argument falls to a different criticism, for the version of the underdetermination thesis that the argument requires, has not been shown to be true. (shrink)
In this response to essays by Barbara J. King, Gregory R. Peterson, Wesley J. Wildman, and Nancy R. Howell, I present arguments to counter some of the exciting and challenging questions from my colleagues. I take the opportunity to restate my argument for an interdisciplinary public theology, and by further developing the notion of transversality I argue for the specificity of the emerging theological dialogue with paleoanthropology and primatology. By arguing for a hermeneutics of the body, I respond to (...) criticism of my notion of human uniqueness and argue for strong evolutionary continuities, as well as significant discontinuities, between primates, humans, and other hominids. In addition, I answer critical questions about theological methodology and argue how the notion of human uniqueness, theologically restated as the image of God, is enriched by transversally appropriating scientific notions of species specificity and embodied personhood. (shrink)
R. Keith Sawyer rightly claimed that the formulation of several cross-level regularities does not disprove the “autonomy” of sciences. Nevertheless, first, this autonomy becomes gradual because cross-level regularities narrow the scope for strong emergence and, second, these examples do not disprove the metaphysical premises of Kim’s critique. Sawyer and I concur on the thesis according to which the proof of strong emergence is in part an empirical question. However, it also depends on the concept of individualism applied whether (...) a description or explanation can count as reducible or not. Even if some of the examples given might leave open the possibility of strong emergence, to generalize, to consider relations or to point to the unpredictability of social processes do not prove the existence of irreducible multiple realization. (shrink)
The logic RM and its basic fragments (always with implication) are considered here as entire consequence relations, rather than as sets of theorems. A new observation made here is that the disjunction of RM is definable in terms of its other positive propositional connectives, unlike that of R. The basic fragments of RM therefore fall naturally into two classes, according to whether disjunction is or is not definable. In the equivalent quasivariety semantics of these fragments, which consist of subreducts of (...) Sugihara algebras, this corresponds to a distinction between strong and weak congruence properties. The distinction is explored here. A result of Avron is used to provide a local deduction-detachment theorem for the fragments without disjunction. Together with results of Sobociski, Parks and Meyer (which concern theorems only), this leads to axiomatizations of these entire fragments — not merely their theorems. These axiomatizations then form the basis of a proof that all of the basic fragments of RM with implication are finitely axiomatized consequence relations. (shrink)
Summary The controversy about the strong AI-thesis was recently revived by two interrelated contributions stemming from J. R. Searle on the one hand and from P. M. and P. S. Churchland on the other hand. It is shown that the strong AI-thesis cannot be defended in the formulation used by the three authors. It violates some well accepted criterions of scientific argumentation, especially the rejection of essentialistic definitions. Moreover, Searle's âproofâ is not conclusive. Though it may be reconstructed (...) in a conclusive manner, the modified proof is trivial. Beyond that, the most interesting aspect is formulated as an axiom that is not justified either. Therefore Searle's criticism of strong AI-thesis fails to be a convincing proof â it can be reduced to an unjustified presupposition. (shrink)
If ZFC is consistent, then each of the following is consistent with ZFC + 2ℵ0 = ℵ2: (1) $X \subseteq \mathbb{R}$ is of strong measure zero iff |X| ≤ ℵ1 + there is a generalized Sierpinski set. (2) The union of ℵ1 many strong measure zero sets is a strong measure zero set + there is a strong measure zero set of size ℵ2 + there is no Cohen real over L.
A logic is a pair (P,Q) where P is a set of formulas of a fixed propositional language and Q is a set of rules. A formula is deducible from X in the logic (P, Q) if it is deducible from XP via Q. A matrix is strongly adequate to (P, Q) if for any , X, is deducible from X iff for every valuation in , is designated whenever all the formulas in X are. It is proved in the (...) present paper that if Q = {modus ponens, adjunction } and P {E, R, E +, R +, E I, R I } then there exists a matrix strongly adequate to (P, Q). (shrink)
Perceived behavioral integrity involves the employee’s perception of the alignment of the manager’s words and deeds. This meta-analysis examined the relationship between perceived behavioral integrity of managers and the employee attitudes of job satisfaction, organizational commitment, satisfaction with the leader and affect toward the organization. Results indicate a strong positive relationship overall (average r = 0.48, p<0.01). With only 12 studies included, exploration of moderators was limited, but preliminary analysis suggested that the gender of the employees and the number (...) of levels between the employee and the manager are potential moderators of the relationship. In the current sample of studies, country where the research was conducted did not seem to have any moderating effects. In addition to suggesting further investigation of potential moderators, we call for research that examines the relationship between behavioral integrity and outcomes that include individual behavior and organizational performance. (shrink)
The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL ew of the substructural logic FL ew . The main result of Part I of this series [41] shows that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of NFL ew (namely, a certain variety of FL ew -algebras) are term equivalent. In (...) this paper, the term equivalence result of Part I [41] is lifted to the setting of deductive systems to establish the definitional equivalence of the logics N and NFL ew . It follows from the definitional equivalence of these systems that constructive logic with strong negation is a substructural logic. (shrink)
The idea that a computer could be conscious--or equivalently, that human consciousness is the effect of some complex computation mechanically performed by our brains--strikes some scientists and philosophers as a beautiful idea. They find it initially surprising and unsettling, as all beautiful ideas are, but the inevitable culmination of the scientific advances that have gradually demystified and unified the material world. The ideologues of Artificial Intelligence (AI) have been its most articulate supporters. To others, this idea is deeply repellent: philistine, (...) reductionistic (in some bad sense), as incredible as it is offensive. John Searle's attack on "strong AI" is the best known expression of this view, but others in the same camp, liking Searle's destination better than his route, would dearly love to see a principled, scientific argument showing that strong AI is impossible. Roger Penrose has set out to provide just such an argument. (shrink)
Donald Davidson has claimed that for every logical truth 5 of a language L, a theory of meaning for L will entail that S is a logical truth of L. Jim Edwards has argued (2002) that this claim is false if we take 'entails' to mean 'has as a logical consequence. In this paper, I first show that, pace Edwards, Davidson's claim is correct even under this strong reading. I then discuss the argument given by Edwards and offer (...) a diagnosis of where he went wrong. (shrink)
John R. Searle's problem of the Chinese Room poses an important philosophical challenge to the foundations of strong artificial intelligence, and functionalist, cognitivist, and computationalist theories of mind. Searle has recently responded to three categories of criticisms of the Chinese Room and the consequences he attempts to conclude from it, redescribing the essential features of the problem, and offering new arguments about the syntax-semantics gap it is intended to demonstrate. Despite Searle's defense, the Chinese Room remains ineffective as a (...) counterexample, and poses no real threat to artificial intelligence or mechanist philosophy of mind. The thesis that intentionality is a primitive irreducible relation exemplified by biological phenomena is preferred in opposition to Searle's contrary claim that intentionality is a biological phenomenon exhibiting abstract properties. (shrink)
Supervenience was first used by Donald Davidson to describe the dependent and independent relationships between the mental and the physical. Jaegwon Kim presented a more precise definition, distinguishing between three types of supervenience: weak, strong and global. Kim further proved that strong and global supervenience are equivalent. However, three years later, Kim argued that strong supervenience is stronger than global supervenience, while weak supervenience and global supervenience are independent of each other. This paper demonstrates that Kim’s (...) conclusion that weak supervenience and global supervenience are independent of each other is wrong. The strength of strong, weak and global supervenience decreases in turn with the latter entailed by the former. This paper also corrects some defects in Kim’s argument and his formulation of strong and weak supervenience, and then further explores the relationship between the three types of supervenience and their philosophical significance. It also classifies other terms of supervenience such as layered supervenience, macro-micro supervenience, and mereological superveniece as relationships of the strong, weak and global. (shrink)
Erich Rast, Context as Assumptions.MSH Lorraine Preprints 2010 of the Proceedings of the Epiconfor Workshop on Epistemology, Nancy 2009.score: 12.0
In the tradition of Stalnaker (1978,2002, context can be regarded as a set of assumptions that are mutually shared by a group of epistemic agents.An obvious generalization of this view is to explicitly represent each agent’s assumptions in a given situation and update them accordingly when new information is accepted. I lay out a number of philosophical and linguistic requirements for using such a model in order to describe communication of ideally-rational agents. In particular,the following questions are addressed: -/- 1. (...) What is the logical status of assumptions as opposed to rational belief, how are these assumptions generated from an underlying belief base in a given interpretation situation,and how are assumptions revised/contracted? -/- 2.What kind of ideal reasoning processes underly the interpretation of ‘incomplete’ content that may for example be obtained by an agent from an utterance by deriving some literal meaning from the lexicon and a grammar? -/- Regarding the first set of questions, my proposal is to consider assumptions akin to rational belief, but not stronger than modal logic KD, since positive and negative introspection do not seem to hold for them.Given that, an obvious question is what the relation between beliefs and assumptions is. One possible answer is to generate an agent’s assumptions from an agent’s beliefs in a given interpretation situation by revising his beliefs with his beliefs about what the message sender believes in that situation. If such an account is based on AGM belief revision/contraction(Alchourrón 1985, Gärdenfors 1989)there is a number of well-known problems that need to be addressed, because revision of iterated belief modalities is required in this case. These problems have already been investigated in detail in recent works on DDL Leitgeb/Segerberg 2007)and DEL see e.g. Ditmarsch et. (2008) Another strategy would be to maintain and revise assumptions independently of the beliefs of an agent.I will briefly discuss the advantages and disadvantages of each of these views. In both views, assumptions constitute the subjective context in which an agent interprets an utterance and encounters the world. The result of an interpretation is in turn checked against the agent’s original beliefs, and if the checking operation succeeds the agent revises his beliefs by the result in the normal way described by the AGM paradigm. -/- The second of the above questions needs to be addressed on the basis of concrete examples. Considering utterance like David is ready’ or ‘John is tall’that from a contextualist viewpoint express semantically incomplete content in the sense of Bach(2005, 2007, how may an agent arrive at interpretations of these utterances that are more complete? A first step is to presume that missing semantic ingredients are represented by missing argument places, which is a problematic assumption as it introduces a dependence on the semantic representation language. Given that, a default interpretation can be obtained by existentially quantifying over the missing argument and interpretation can then be regarded as an inference process. In case of the two examples mentioned,the assumptions of the agent allow him to obtain more specific readings by instantiating a value for the existentially bound variable.<span class='Hi'></span> As I will show,<span class='Hi'></span> this inference can be relatively straightforward in some cases like <span class='Hi'></span>‘John is tall’<span class='Hi'></span>, whereas it requires complicated encyclopedic background knowledge and a number of default reasoning steps in other cases.<span class='Hi'></span> -/- Based on more examples of this kind,<span class='Hi'></span> I argue that first,<span class='Hi'></span> belief revision with iterated modalities in a multi-agent setting is needed to generate an agent’s assumptions as laid out above.<span class='Hi'></span> Second,<span class='Hi'></span> default reasoning is needed.<span class='Hi'></span> Third,<span class='Hi'></span> a qualitative or quantitative representation of uncertainty <span class='Hi'></span>(‘degrees of belief’<span class='Hi'></span>) is needed in order to obtain a useful model of the checking step,<span class='Hi'></span> since fortunately not everybody believes everything that other people say.<span class='Hi'></span> These requirements put the theory of interpretation based on assumptions in the frontline of ongoing research on the implementation of belief revision and update in dynamic logics.<span class='Hi'></span> Such a theory might also be useful for contextualist accounts of strong knowledge,<span class='Hi'></span> as it can be argued convincingly that when a knowledge ascription appears to be context-sensitive,<span class='Hi'></span> this is so because the embedded proposition is context-sensitive and not because knowledge itself is context-sensitive.<span class='Hi'></span> Hence,the context-sensitivity of embedded propositions in knowledge claims and how different agents in the same situation arrive at different assessments about them may be explained by an inferential theory of interpretation similar to the one outlined here but with another underlying concept of assumptions.<span class='Hi'></span> -/- Literature <span class='Hi'></span> Alchourrón,<span class='Hi'></span> C.<span class='Hi'></span> E.<span class='Hi'></span>; Gärdenfors,<span class='Hi'></span> P.<span class='Hi'></span> &<span class='Hi'></span> Makinson,<span class='Hi'></span> D.<span class='Hi'></span> (1985)<span class='Hi'></span>, <span class='Hi'></span>'On the logic of theory change:<span class='Hi'></span> partial meet contraction and revision functions'<span class='Hi'></span>, Journal of Symbolic Logic(50)<span class='Hi'></span>, 510-530.<span class='Hi'></span> -/- Bach,<span class='Hi'></span> K.<span class='Hi'></span> (2007)<span class='Hi'></span>, <span class='Hi'></span>'Minimalism for Dummies:<span class='Hi'></span> Reply to Cappelen and Lepore'<span class='Hi'></span>, Technical report,<span class='Hi'></span> University of San Fransisco,<span class='Hi'></span> Department of Philosophy.<span class='Hi'></span> -/- Bach,<span class='Hi'></span> K.<span class='Hi'></span> (2005)<span class='Hi'></span>, Context ex Machina,<span class='Hi'></span> in án Gendler Szabó,<span class='Hi'></span> ed.<span class='Hi'></span>,'Semantics versus Pragmatics'<span class='Hi'></span>, Oxford UP,<span class='Hi'></span> Oxford,<span class='Hi'></span> pp.<span class='Hi'></span> 16-44.<span class='Hi'></span> -/- Ditmarsch,<span class='Hi'></span> H.<span class='Hi'></span> v.<span class='Hi'></span>; Hoek,<span class='Hi'></span> W.<span class='Hi'></span> v.<span class='Hi'></span> d.<span class='Hi'></span> &<span class='Hi'></span> Kooi,<span class='Hi'></span> B.<span class='Hi'></span> (2008)<span class='Hi'></span>, Dynamic Epistemic Logic,<span class='Hi'></span> Kluwer.<span class='Hi'></span> -/- Gärdenfors,<span class='Hi'></span> P.<span class='Hi'></span> (1988)<span class='Hi'></span>, Knowledge in Flux,<span class='Hi'></span> MIT Press.<span class='Hi'></span> -/- Leitgeb,<span class='Hi'></span> H.<span class='Hi'></span> &<span class='Hi'></span> Segerberg,<span class='Hi'></span> K.<span class='Hi'></span> (2007)<span class='Hi'></span>, <span class='Hi'></span>'Dynamic doxastic logic:<span class='Hi'></span> why,<span class='Hi'></span> how,<span class='Hi'></span> and where to?<span class='Hi'></span>',<span class='Hi'></span> Synthese155(2)<span class='Hi'></span>, 167-190.<span class='Hi'></span> -/- Stalnaker,<span class='Hi'></span> R.<span class='Hi'></span> (1978)<span class='Hi'></span>, Assertion,<span class='Hi'></span> in <span class='Hi'></span>. Cole,<span class='Hi'></span> ed.<span class='Hi'></span>,'Pragmatics'<span class='Hi'></span>, Academic Press,<span class='Hi'></span> New York,<span class='Hi'></span> pp.<span class='Hi'></span> 315-332.<span class='Hi'></span> -/- Stalnaker,<span class='Hi'></span> R.<span class='Hi'></span> (2002)<span class='Hi'></span>, <span class='Hi'></span>'Common Ground'<span class='Hi'></span>, Linguistics and Philosophy25(5-6)<span class='Hi'></span>, 701-<span class='Hi'></span>-721.<span class='Hi'></span> -/- . (shrink)
We consider a version of so called T × W logic for historical necessity in the sense of R.H. Thomason (1984), which is somewhat special in three respects: (i) it is explicitly based on two-dimensional modal logic in the sense of Segerberg (1973); (ii) for reasons of applicability to interesting fields of philosophical logic, it conceives of time as being discrete and finite in the sense of having a beginning and an end; and (iii) it utilizes the technique of systematic (...) frame constants in order to handle the problem of irreflexivity in tense logics, well known since Gabbay (1981). Axiomatizations are given for two infinite hierarchies of two-dimensional modal tense logics, one without and one with the characteristic operators for historical necessity and possibility. Strong and weak completeness results are obtained for both hierarchies as well as a result to the effect that two approaches to their semantics are equivalent, much in the spirit of Di Maio and Zanardo (1996) and von Kutschera (1997). (shrink)
It is the purpose of this article to explicate the logical implications of a television analogy for perception, first suggested by John R. Smythies (1956). It aims to show not only that one cannot escape the postulation of qualia that have an evolutionary purpose not accounted for within a strong functionalist theory, but also that it undermines other anti-representationalist arguments as well as some representationalist ones.
MacDonald and Kreitman (1991) propose a test of the neutral mutationrandom drift (NM-RD) hypothesis, the central claim of the neutral theory of molecular evolution. The test involves generating predictions from the NM-RD hypothesis about patterns of molecular substitutions. Alternative selection hypotheses predict that the data will deviate from the predictions of the NM-RD hypothesis in specifiable ways. To conduct the test Mac- Donald and Kreitman examine the evolutionary dynamics of the alcohol dehydrogenase (Adh) gene in three species of Drosophila. (...) The test compares the number of DNA sequence changes between species and within species. The number of DNA differences is an indicator of the evolutionary rate of the Adh gene. Based on the test they conclude that there is strong evidence for adaptive protein evolution at particular sites in the gene. Understanding the test requires some basic knowledge about molecular terms and the predictions of neutral theory. The two important terms are fixed differences and polymorphisms. These are determined by comparing DNA sequences made up of thousands of individual nucleotide sites. A site that is unchanged within a species but different from a related species counts as a fixed difference. These are mutations that occur in some common ancestor of the lineage such that all descendants inherit the change. A site that differs within a species counts as a polymorphism. Determining the number of fixed differences and polymorphisms requires placing 1 each individual gene sequence onto a phylogenetic tree. A coalescent tree charts the ancestral relationships for a set of individual gene sequences. Sequences sampled from within a species form a within-species tree. The common ancestors of each within-species tree form a between-species tree. A detected difference counts as a polymorphism or a fixed difference depending on where it occurs in the phylogenetic tree (cf. Table 1). The test uses the numbers of polymorphisms and fixed differences as indicators of evolutionary rates.. (shrink)
According to an interpretation that has dominated the literature, the traditional interpretation as I call it, the recollection argument aims at establishing the thesis that our learning in this life consists in recollecting knowledge the soul acquired before being born into a body, or thesis R, by using the thesis that there exist forms, thesis F, as a premise. These entities, the forms, are incorporeal, immutable, and transcendent in the sense that they exist separately from material perceptibles, which in turn (...) are related to them through participation and by being caused by them in some sense. But the properties of transcendence, immutability and incorporeality are sufficient to signal forms, and so the thesis that there exist forms claims that there exists entities with at least these three properties. In the first section of this paper, I argue that strong textual and more general exegetical reasons suggest that the traditional interpretation is mistaken. Furthermore, this interpretation, as I argue in the second section, fails to credit Plato with a proper argument for recollection. In section III, I present an alternative account of the argument for R in the "Phaedo". At the same time I defend a more general interpretation according to which the metaphysical doctrine Plato offers in the "Phaedo" represents a natural continuation of the philosophical position that stands at the centre of the dialectical conversations we find in the shorter Socratic dialogues. (shrink)
What does it mean that an object has instrumental value? While some writers seem to think it means that the object bears a value, and that instrumental value accordingly is a kind of value, other writers seem to think that the object is not a value bearer but is only what is conducive to something of value. Contrary to what is the general view among philosophers of value, I argue that if instrumental value is a kind of value, then it (...) is a kind of extrinsic final value. (shrink)
In view of the dramatic contrast between speculative thought dressed in fashionable jargon and Quine's sober accounts of the scientific status quo it might seem frivolous even to suggest that his work exhibits a postmodern touch. The present paper will, nevertheless, focus on Quine's usage of the Löwenheim-Skolem theorems as a prominent example of ontological relativity and will attempt to show that Quine's treatment is unattractive to philosophers of mathematics and -- more generally -- untenable within the very methodology arising (...) from Quine's basic approach. After examining the doctrine of relativity as applied to the Löwenheim-Skolem result two recent reflections on it's theoretical impact will be discussed. Those contributions make a strong case against the kind of attitude exemplified by Quine, but they do not address the general issue of how to deal with relativism. Donald Davidson has provided a remarkably attractive strategy to counter relativistic moves. Stripping away postmodernist pretensions this strategy challenges the peculiar Quinean mix of methodological austerity and anti-foundationalism. (shrink)
The author defends John R. Searle's Chinese Room argument against a particular objection made by William J. Rapaport called the Korean Room. Foundational issues such as the relationship of strong AI to human mentality and the adequacy of the Turing Test are discussed. Through undertaking a Gedankenexperiment similar to Searle's but which meets new specifications given by Rapaport for an AI system, the author argues that Rapaport's objection to Searle does not stand and that Rapaport's arguments seem convincing only (...) because they assume the foundations of strong AI at the outset. (shrink)
According to an interpretation that has dominated the literature, the traditional interpretation as I call it, the recollection argument aims at establishing the thesis that our learning in this life consists in recollecting knowledge the soul acquired before being born into a body, or thesis R, by using the thesis that there exist forms, thesis F, as a premise. These entities, the forms, are incorporeal, immutable, and transcendent in the sense that they exist separately from material perceptibles, which in turn (...) are related to them through participation and by being caused by them in some sense. But the properties of transcendence, immutability and incorporeality are sufficient to signal forms, and so the thesis that there exist forms claims that there exists entities with at least these three properties. In the first section of this paper, I argue that strong textual and more general exegetical reasons suggest that the traditional interpretation is mistaken. Furthermore, this interpretation, as I argue in the second section, fails to credit Plato with a proper argument for recollection. In section III, I present an alternative account of the argument for R in the "Phaedo". At the same time I defend a more general interpretation according to which the metaphysical doctrine Plato offers in the "Phaedo" represents a natural continuation of the philosophical position that stands at the centre of the dialectical conversations we find in the shorter Socratic dialogues. (shrink)
Extensive measurement theory is developed in terms of theratio of two elements of an arbitrary (not necessarily Archimedean) extensive structure; thisextensive ratio space is a special case of a more general structure called aratio space. Ratio spaces possess a natural family of numerical scales (r-scales) which are definable in non-representational terms; ther-scales for an extensive ratio space thus constitute a family of numerical scales (extensive r-scales) for extensive structures which are defined in a non-representational manner. This is interpreted as involving (...) arelational theory of quantity which contrasts in certain respects with thequalitative theory of quantity implicit in standard representational extensive measurement theory. The representational properties of extensiver-scales are investigated, and found to coincide withweak extensive measurement in the sense of Holman. This provides support for the thesis (developed in a separate paper) that weak extensive measurement is a more natural model of actual physical extensive scales than is the standard model using strong extensive measurement. Finally, the present apparatus is applied to slightly simplify the existing necessary and sufficient conditions for strong extensive measurement. (shrink)
R. Sorensen’s argument to the effect that ’vague’ is a vague predicate has been used by D. Hyde to infer that vague predicates suffer from higher-order vagueness. M. Tye has objected (convincingly) that this is too strong: all that follows from Sorensen’s result is that there are some border border cases, but not necessarily border border cases of every vague predicate. I argue that this is still too strong: Sorensen’s proof presupposes the existence of border border cases, hence (...) cannot be used to establish that fact on pain of circularity. (shrink)
In this essay, I examine the curved spacetime formulation of Newtonian gravity known as Newton–Cartan gravity and compare it with flat spacetime formulations. Two versions of Newton–Cartan gravity can be identified in the physics literature—a ‘‘weak’’ version and a ‘‘strong’’ version. The strong version has a constrained Hamiltonian formulation and consequently a well-defined gauge structure, whereas the weak version does not (with some qualifications). Moreover, the strong version is best compared with the structure of what Earman (World (...) enough and spacetime. Cambridge: MIT Press) has dubbed Maxwellian spacetime. This suggests that there are also two versions of Newtonian gravity in flat spacetime—a ‘‘weak’’ version in Maxwellian spacetime, and a ‘‘strong’’ version in Neo-Newtonian spacetime. I conclude by indicating how these alternative formulations of Newtonian gravity impact the notion of empirical indistinguishability and the debate over scientific realism. r 2004 Elsevier Ltd. All rights reserved. (shrink)
Two experiments examined the typicality structure of contrasting political categories. In Experiment 1, two separate groups of participants rated the typicality of 15 individuals, including political figures and media personalities, with respect to the categories Democrat or Republican. The relation between the two sets of ratings was negative, linear, and extremely strong, r = −.9957. Essentially, one category was treated as a mirror image of the other. Experiment 2 replicated this result, showing some boundary conditions, and extending the result (...) to liberal and conservative categories. The same method was applied to two other pairs of contrasting categories, healthy and junk foods, and male and female jobs. For those categories, the relation between contrasting pairs was weaker and there was less of a direct trade-off between typicality in one category versus typicality in its opposite. The results are discussed in terms of implications for political decision making and reasoning, and conceptual representation. (shrink)
In this response to the papers on Jonathan Edwards's ethical thought by Stephen A. Wilson, Gerald R. McDermott, William C. Spohn, and Roland A. Delattre, I comment on their efforts to show that ideas drawn from Edwards can be successfully appropriated for use in contemporary ethics. I conclude that the four authors build a strong cumulative case for the view that some elements of Edwards's thought can serve as resources for our ethical reflections. But I also argue for a (...) deflationary view of how much of Edwards we will find it feasible to take on board when we engage in the task of working out a religious ethics we might accept. (shrink)
There is a compelling idea in the air. Both contemporary philosophers of mind and philosophers of language are engaged in developing theories of (mental or linguistic) content that are naturalistic. The stand has been taken: semantic properties are not part of the primitive ontological furniture of the world. If we want to vindicate those properties as real, we will have to show that it is possible to unpack them into some other –primitive– set of properties. It is taken for granted (...) that there is no alternative way of avoiding circularity in explaining the semantic properties of mental or linguistic representations. The following quote from Fodor's Psychosemantics is probably the locus classicus for this trend: "I suppose that sooner or later the physicists will complete the catalogue they've been compiling of the ultimate and irreducible properties of things. When they do, the likes of spin, charm, and charge will perhaps appear upon their list. But aboutness surely won't; intentionality simply doesn't go that deep. It's hard to see, in the face of this consideration, how one can be a Realist about intentionality without also being, to some extent or other, a Reductionist. If the semantic and the intentional are real properties of things, it must be in virtue of their identity with (or maybe of their supervenience on?) properties that are themselves neither intentional nor semantic. If aboutness is real, it must be really something else." (Fodor, 1987, p. 97) The naturalistic project seems thus to be deeply rooted in the search for a non-circular, explanatory account of intentional categories. Although, in principle, one should not take naturalism in regard to some realm as committing one to any sort of reductive explanation of that realm, in the context of contemporary philosophy of mind and philosophy of language, naturalism and reductionism como easily upon a meeting point. The reason is that explanatory, non-circular answers are taken to be reductionist. If this is correct, we would have to conclude that naturalism entails reductionism (regarding a theory of content) or, even more strongly, that naturalism is constitutively dependent upon the defense of a reductionist thesis. In this case, we would have to admit that there cannot be a non-reductionist naturalistic theory of content. The main aim of this paper is to cast some light on the issue of what naturalism means regarding a theory of content. It is a matter of a some urgency to find out exactly what it takes for a theory of content to be naturalistic. Until we do so, we cannot properly evaluate the existing theories (or indeed, develop our own). I will center my discussion of this topic on the question of whether naturalistic theories of content ought to be reductionist theories. The claim I want to defend is that, despite the current trend regarding the relations between naturalism and reductionism, the former is not constitutively dependent upon the latter. I will argue that, in fact, the strong requirements of a reductionist thesis are the very reason the project of naturalization seems to be doomed. However, I will try to show that once we have weakened those requirements, non-reductionist answers are certainly acceptable, in the sense of being informative, non-circular, and above all, explanatory. I propose a safe[r] characterization of naturalism that seems to better fit our theoretical views about content, and to turn the whole project into a more promising enterprise. (shrink)
Israel Scheffler has only recently written directly and about religion and education in religion, although these are matters in which he has a strong personal interest. Scheffler's views on these issues are outlined and critically appraised, with some reference to the views of R.S. Peters on similar questions. It is suggested that one of the major difficulties which arise in relation to Schelffer's position concern its account of the balance between âacceptanceâ and âcritical search for clarityâ needed on the (...) part of students in their engagement with Jewish ritual. This difficulty brings into focus a numer of central questions which arise concerning the reinterpretive account of Jewish tradition which Scheffler offers. (shrink)
An d rew Ku per begins his cri ti que of my vi ews on poverty by accepti n g the crux of my moral argument: The interests of all persons ought to count equally, and geographic location and citizenship m a ke no intrinsic differen ce to the ri gh t s and obl i ga ti ons of i n d ivi du a l s . Ku per also sets out some key facts about global poverty, for (...) example, that 30,000 children die every day from preventable illness and starvation, while most people in devel oped nati on s have plenty of disposable income that they s pend on lu x u ries and items that sati s f y mere wants, not basic needs. Yet after summarizing an essay I wrote for the New York Times Magazine in which I argued that the avera ge Am erican family should don a te a l a r ge porti on of t h eir income to or ga n i z ati ons like UNICEF and Ox f a m , Ku per wri te s : “ But if Si n ger ’s ex h ort a ti ons make you want to act immediately in the ways he recom m en d s , you s h ould not do so.” Why not? Because the approach I advoc a te “would seriously harm the poor.” These are strong words. It is startling to be told that a substantial transfer of resources from comfortably-off American families to UNICEF or Oxfam would harm the poor. What abo ut those 3 0,0 0 0 ch i l d ren dyi n g from preventable illness and starvation? In its 2001 fund-raising material,the U.S. Committee for UNICEF says that a donation of $17 will provide immunization “to protect a child for life against the six leading ch i l d - killing and maiming diseases:measles,polio. (shrink)
Is a government required or permitted to redistribute the gains and losses that differences in biol ogical endowments generate In particular, does the fact that individuals possess different biological endowments lead to unfair advantages within a market economy? These are questions on which so me people are apt to have strong intuitions and ready arguments. Egalitarians may say yes and argu e that as unearned, undeserved advantages and disadvantages, biological endowments are never fai r, and that the market simply (...) exacerbates these inequities.1 Libertarians may say no, holding that th e possession of such endowments deprives no one of an entitlement and that any system but a mark et would deprive agents of the rights to their endowments.2 Biological endowments may well lead t o advantages or disadvantages on their view, but not to unfair ones. (shrink)
"Smooth groove poetry set to smooth groove R&B" or "soul-hip-hop-tinged feel music" � these are a couple of ways to describe Jill Scott�s sensational new work. Whatever Scott may lack in total vocal control, her maturity, her poetry jumps straight into your face addressing a full range of love and emotion themes: from the platonic to the incidental to the passionate to the forlornful. Each sentiment connects to an appropriate musical production ranging from the sultry classy sounds of mainstream (...) adult soul music, to jazzy inflections over hip hop grooves, to inspirational beats supporting lyrical themes that at times address issues of black feminism, unrequited love and the multidimensional emotions of life�s complications. While the music is always supportive if not dominant, it is Scott�s poise at connecting lyrical literalness with a strong musical emotional element that gives this outstanding work its strength. You�ll never find a mushy sentiment or a confused musical phrase on this recording. It is rock solid throughout. (shrink)
A recursive enumerator for a function h is an algorithm f which enumerates for an input x finitely many elements including h(x), f is a k(n)-enumerator if for every input x of length n, h(x) is among the first k(n) elements enumerated by f. If there is a k(n)-enumerator for h then h is called k(n)-enumerable. We also consider enumerators which are only A-recursive for some oracle A. We determine exactly how hard it is to enumerate the Kolmogorov function, which (...) assigns to each string x its Kolmogorov complexity: • For every underlying universal machine U, there is a constant a such that C is k(n)-enumerable only if k(n) ≥ n/a for almost all n. • For any given constant k, the Kolmogorov function is k-enumerable relative to an oracle A if and only if A is at least as hard as the halting problem. • There exists an r.e., Turing-incomplete set A such for every non-decreasing and unbounded recursive function k, the Kolmogorov function is k(n)-enumerable relative to A. The last result is obtained by using a relativizable construction for a nonrecursive set A relative to which the prefix-free Kolmogorov complexity differs only by a constant from the unrelativized prefix-free Kolmogorov complexity. Although every 2-enumerator for C is Turing hard for K, we show that reductions must depend on the specific choice of the 2-enumerator and there is no bound on the quantity of their queries. We show our negative results even for strong 2-enumerators as an oracle where the querying machine for any x gets directly an explicit list of all hypotheses of the enumerator for this input. The limitations are very general and we show them for any recursively bounded function g: • For every Turing reduction M and every non-recursive set B, there is a strong 2-enumerator f for g such that M does not Turing reduce B to f. • For every non-recursive set B, there is a strong 2-enumerator f for g such that B is not wtt-reducible to f. Furthermore, we deal with the resource-bounded case and give characterizations for the class ${\rm S}_{2}^{{\rm P}}$ introduced by Canetti and independently Russell and Sundaram and the classes PSPACE, EXP. • ${\rm S}_{2}^{{\rm P}}$ is the class of all sets A for which there is a polynomially bounded function g such that there is a polynomial time tt-reduction which reduces A to every strong 2-enumerator for g. • PSPACE is the class of all sets A for which there is a polynomially bounded function g such that there is a polynomial time Turing reduction which reduces A to every strong 2-enumerator for g. Interestingly, g can be taken to be the Kolmogorov function for the conditional space bounded Kolmogorov complexity. • EXP is the class of all sets A for which there is a polynomially bounded function g and a machine M which witnesses A ∈ PSPACEf for all strong 2-enumerators f for g. Finally, we show that any strong O(log n)-enumerator for the conditional space bounded Kolmogorov function must be PSPACE-hard if P = NP. (shrink)
What does it mean that an object has instrumental value? While some writers seem to think it means that the object bears a value, and that instrumental value accordingly is a kind of value, other writers seem to think that the object is not a value bearer but is only what is conducive to something of value. Contrary to what is the general view among philosophers of value, I argue that if instrumental value is a kind of value, then it (...) is a kind of extrinsic final value. (shrink)
My claim that Skinner believed in psychological atoms is actually strengthened by Baars' remark that Skinner's behaviorist atoms could take a variety of physical forms. ( "A rat in a box could depress the bar by sitting on it, by using its paws, or biting it: these physically different responses were functionally equivalent operant behaviors.") Baars is correct that Pavlov, unlike Skinner, thought that psychological atoms were identical to certain physiological items. But Skinner, as a non-reductive (...) atomist, thought he could permit his psychological atoms to have a variety of physical forms. He still believed that even though each S-R connection was not really physical, it could nevertheless be understood as being independent of all other S-R connections ,and without reference to the laws of physics. It doesn't really make sense to speak of something as being both ontologically determined by its function, and ontologically independent, but philosophical clarity was not Skinner's strong point. (shrink)
Benj. R. Tucker, the business partner and confrère of E. H. Heywood of Princeton, Mass., has translated and published, in an elegant volume of nearly 500 royal octavo pages, the most renowned of the politico-economical works of the justly celebrated P. J. Proudhon. The title of the work in English is: What is Property? An Inquiry into the Principle of Right and of Government. I am (...) requested to write a review-notice of the work. The temptation is strong to expand into au exhaustive review, but I am not certain of any avenue to the public for such a treatise, and I shall confine myself to the smaller plan. First, as to what is usually put last. The volume as a book is superb. Print, presswork, paper, and binding are at the top of the powers of the bookmaking art, and the price ($3.50, or $6.50, according to style) is not excessive. The work of the translator is also conscientiously and well done, and is nearly faultless from the literary point of view. A few Gallicisms may be pointed out, but they are exceptionally few, and the translator's personality is completely sunk in the labor of love which he evidently had before him. (shrink)
A special road sign bearing the legend of the title greeted visitors to the Stanford Artificial Intelligence Laboratory during the time it was housed in the starship (unconvincingly disguised as the Donald C. Power building) that parked on a Stanford hill from the mid sixties to the mid eighties. The sign, near the periphery of SAIL's grounds, referred to the Stanford Cart, a guerrilla research project near the periphery of John McCarthy's core interests, but motivated by his desire (...) for autonomous vision-guided (as opposed to co-ordinated wire-guided) automatic cars. In a 1969 essay \cite{JMC69} {\em Computer Controlled Cars}, John suggested that the power of a PDP-10 (in a smaller package) was adequate for the job. I think John still favors this estimate. John is guided by a strong and principled intuition that has proven itself correct in very many things. But in this paper I will present accumulating experimental evidence that hints that in this one opinion John's intuition misled him by more than a few orders of magnitude. (shrink)
Both syntactic and semantic solutions are given for the entailment problem of duality theory. The test algebra theorem provides both a syntactic solution to the entailment problem in terms of primitive positive formulae and a new derivation of the corresponding result in clone theory, viz. the syntactic description of $\operatorname{Inv(Pol}(R))$ for a given set R of finitary relations on a finite set. The semantic solution to the entailment problem follows from the syntactic one, or can be given in the form (...) of an algorithm. It shows, in the special case of a purely relational type, that duality-theoretic entailment is describable in terms of five constructs, namely trivial relations, intersection, repetition removal, product, and retractive projection. All except the last are concrete, in the sense that they are described by a quantifier-free formula. It is proved that if the finite algebra $\underline{M}$ generates a congruence-distributive variety and all subalgebras of $\underline{M}$ are subdirectly irreducible, then concrete constructs suffice to describe entailment. The concept of entailment appropriate to strong dualities is also introduced, and described in terms of coordinate projections, restriction of domains, and composition of partial functions. (shrink)
A new formulation of the cusp catastrophe is used to model the fundamental biological functions of predation and reproduction. This new representation lies on the decomposition of the overall cusp potential in two component potentials individualising the conflicting pregnances. It results in a more accurate and less problematic description than the original proposition by R. Thom, mostly due to the use of parameters with strong physical and evocative power. For instance, it gives a very suggestive account for such biologically (...) significant processes as digestion and assimilation, or pregnancy and delivery. Two couples of parameters are used in the new representation of the cusp: one defines the exact shape of the conflicting attractors which symbolises genetic coding, the other controls the deformation of -and interaction between- the two attractors and represent hormonal effects. This new description strikingly echoes Heidegger's philosophical thought on ontological difference, by giving a representation of the distinct concepts of entity and Being. It thus precludes a previous criticism concerning the impossibility for catastrophic models to depict the entity level. Such a type of representation might be useful in translating syntactical-semantic models of catastrophe theory into computer language. (shrink)
Response to "Predictive Policies" by R.S.McGowan Mr. McGowan has assumed that there is a clear distinction between inductive inferences and others, that we all know how to make the distinction, that we all agree that the inductive ones are somehow better or more reasonable than the alternatives, and I have criticised all of these assumptions. Further he hasformulated the philosophical problem of induction as the problem of showing why the inductive ones are better, and he has attempted to show that (...) inductive policiesas represented in his flow chart are better than non-inductive and counter-inductive ones. I have criticised some of the details of his argument and put forward the counter-claim that policies based on the weaker principles of desistence are better at avoiding contradictions and conform to past experience more closely than policies based on his strong principle of persistence. Accordingly, some modifications of his predictive rules have been suggested. Perhaps most importantly of all, I have argued that the assertion that one policy or inference is better or more rational than another is an incomplete assertion until a basis of comparison has been specified, since different policies may be better or more rational in relation to different bases, and I have indicated some possible approaches for further investigation of this point. A final line of investigation which should be mentioned is the problem of deciding which of two bases of comparison is better relative to some higher-order basis of comparison, a problem which may turn out to be very important in connexion with justifications of predictive policies. It seems that I have asked more questions than I have answered. Perhaps formulating them will help someone more familiar with the field than I am to find interesting answers. (shrink)
We show that the elimination rule for the multiplicative (or intensional) conjunction $\wedge$ is admissible in many important multiplicative substructural logics. These include LL m (the multiplicative fragment of Linear Logic) and RMI m (the system obtained from LL m by adding the contraction axiom and its converse, the mingle axiom.) An exception is R m (the intensional fragment of the relevance logic R, which is LL m together with the contraction axiom). Let SLL m and SR m be, respectively, (...) the systems which are obtained from LL m and R m by adding this rule as a new rule of inference. The set of theorems of SR m is a proper extension of that of R m , but a proper subset of the set of theorems of RMI m . Hence it still has the variable-sharing property. SR m has also the interesting property that classical logic has a strong translation into it. We next introduce general algebraic structures, called strong multiplicative structures, and prove strong soundness and completeness of SLL m relative to them. We show that in the framework of these structures, the addition of the weakening axiom to SLL m corresponds to the condition that there will be exactly one designated element, while the addition of the contraction axiom corresponds to the condition that there will be exactly one nondesignated element (in the first case we get the system BCK m , in the second - the system SR m ). Various other systems in which multiplicative conjunction functions as a true conjunction are studied, together with their algebraic counterparts. (shrink)
Although much has been written about the vigorous debates over science and religion in the Victorian era, little attention has been paid to their continuing importance in early twentieth-century Britain. Reconciling Science and Religion provides a comprehensive survey of the interplay between British science and religion from the late nineteenth century to World War II. Peter J. Bowler argues that unlike the United States, where a strong fundamentalist opposition to evolutionism developed in the 1920s (most famously expressed in the (...) Scopes "monkey trial" of 1925), in Britain there was a concerted effort to reconcile science and religion. Intellectually conservative scientists championed the reconciliation and were supported by liberal theologians in the Free Churches and the Church of England, especially the Anglican "Modernists." Popular writers such as Julian Huxley and George Bernard Shaw sought to create a non-Christian religion similar in some respects to the Modernist position. Younger scientists and secularists—including Rationalists such as H. G. Wells and the Marxists—tended to oppose these efforts, as did conservative Christians, who saw the liberal position as a betrayal of the true spirit of their religion. With the increased social tensions of the 1930s, as the churches moved toward a neo-orthodoxy unfriendly to natural theology and biologists adopted the "Modern Synthesis" of genetics and evolutionary theory, the proposed reconciliation fell apart. Because the tensions between science and religion—and efforts at reconciling the two—are still very much with us today, Bowler's book will be important for everyone interested in these issues. Contents: Illustrations Preface Introduction: A Legacy of Conflict? Confrontation, Cooperation, or Coexistence? Victorian Background Science and Religion in the New Century Part One: The Sciences and Religion 1. The Religion of Scientists Changing Patterns of Belief Scientists and Christianity Scientists and Theism Method and Meaning Science and Values 2. Scientists against Superstition Science and Rationalism Religion without Revelation Marxists and Other Radicals Science, Religion, and the History of Science 3. Physics and Cosmology Ether and Spirit The New Physics The Earth and the Universe 4. Evolution and the New Natural Theology Science and Creation Evolution and Progress The Role of Lamarckism Darwinism Revived 5. Matter, Life, and Mind The Origin of Life Vitalism and Organicism Mind and Body Psychology and Religion Part Two: The Churches and Science 6. The Churches in the New Century The Challenge of the New The Churches’ Response 7. The New Theology in the Free Churches Precursors of the New Theology Campbell and the New Theology Modernism in the Free Churches 8. Anglican Modernism Modernism and the New Natural Theology Charles F. D’Arcy E. W. Barnes W. R. Inge Charles Raven 9. The Reaction against Modernism Evangelicals against Evolution Liberal Catholicism The Menace of the New Psychology Science and Modern Life Theology in the Thirties Roman Catholicism Part Three: The Wider Debate 10. Science and Secularism Against Idealism Popular Rationalism The Social Reformers 11. Religion’s Defenders From Idealism to Spiritualism Creative and Emergent Evolution Evolution and the Human Spirit Progress through Struggle The Christian Response Epilogue Biographical Appendix Bibliography Index. (shrink)
Let T be superstable. We say a type p is weakly minimal if R(p, L, ∞) = 1. Let $M \models T$ be uncountable and saturated, H = p(M). We say $D \subset H$ is locally modular if for all $X, Y \subset D$ with $X = \operatorname{acl}(X) \cap D, Y = \operatorname{acl}(Y) \cap D$ and $X \cap Y \neq \varnothing$ , dim(X ∪ Y) + dim(X ∩ Y) = dim(X) + dim(Y). Theorem 1. Let p ∈ S(A) be weakly (...) minimal and D the realizations of $\operatorname{stp}(a/A)$ for some a realizing p. Then D is locally modular or p has Morley rank 1. Theorem 2. Let H, G be definable over some finite A, weakly minimal, locally modular and nonorthogonal. Then for all $a \in H\backslash\operatorname{acl}(A), b \in G\operatorname{acl}(A)$ there are a' ∈ H, b' ∈ G such that $a' \in \operatorname{acl}(abb' A)\backslash\operatorname{acl}(aA)$ . Similarly when H and G are the realizations of complete types or strong types over A. (shrink)
1 Since commentary on the M ideas t is s o fraugh t with controversy, let me state s ome of my s tarting p oints up front. I am a strong believer in a market economy, and in W estern civilization. My foreign p olicy instincts tend to be dovish, in recognition of the imperfections in governments, but I am not, like some libertarians , in principle oppo sed to A merican intervention abroad. I am not religious , (...) and the M iddle East holds no s pecial theological s ignificance fo r me. I h ave fo llowe d events in the region, and read wid ely on its h isto ry, but have no literacy in either Hebrew or Arabic. (shrink)
of a logarithmic time dependence of the fine structure constant is apparently within the limits discussed if there is a corresponding logarithmic time dependence of the strong coupling constant also. Moreover the recent discover> of naturally occurring ' Pu places the Gamow hypothesis of e' r much nearer the allov'able limits than had previously been supposed.
The approach to critical realism, by D. Drake.--Pragmatism versus the pragmatist, by A. O. Lovejoy.--Critical realism and the possibility of knowledge, by J. B. Pratt.--The problem of error, by A. K. Rogers.--Three proofs of realism, by G. Santayana.--Knowledge and its categories, by R. W. Sellars.--On the nature of the datum, by C. A. Strong.
We investigate the algebraic structure of the upper semi-lattice formed by the recursively enumerable Turing degrees. The following strong generalization of Lachlan's Nonsplitting Theorem is proved: Given n ≥ 1, there exists an r.e. degree d such that the interval $\lbrack\mathbf{d, 0'}\rbrack \subset\mathbf{R}$ admits an embedding of the n-atom Boolean algebra B n preserving (least and) greatest element, but also such that there is no (n + 1)-tuple of pairwise incomparable r.e. degrees above d which pairwise join to 0' (...) (and hence, the interval $\lbrack\mathbf{d, 0'}\rbrack \subset\mathbf{R}$ does not admit a greatest-element-preserving embedding of any lattice L which has n + 1 co-atoms, including B n + 1 ). This theorem is the dual of a theorem of Ambos-Spies and Soare, and yields an alternative proof of their result that the theory of R has infinitely many one-types. (shrink)
Although metaphysics as a discipline can hardly be separated from Aristotle and his works, the questions it raises were certainly known to authors even before the reception of Aristotle in the thirteenth century. Even without the explicit use of this term the twelfth century manifested a strong interest in metaphysical questions under the guise of «natural philosophy» or «divine science», leading M.-D. Chenu to coin the expression of a twelfth century «éveil métaphysique». In their commentaries on Boethius and under (...) the influence of Neoplatonism, twelfth century authors not only anticipate essential elements of thirteenth century metaphysics, they also make an original contribution to the history of metaphysics by attempting to integrate the theory of first principles, philosophical theology and ontology. This volume presents and examines the contributions of the twelfth century to metaphysics made by selected Jewish, Christian and Muslim authors of the Iberian Peninsula and Francia. -/- Contributors include Matthias Lutz-Bachmann (Frankfurt am Main), Andreas Speer (Würzburg), Charles Burnett (London), Alexander Fidora (Frankfurt am Main), Thomas Ricklin (Neuchâtel), Yossef Schwartz (Jerusalem), Josep Udina (Barcelona), Jack C. Marler (St. Louis/USA), Gillian R. Evans (Cambridge), Andreas Niederberger (Frankfurt am Main) and Françoise Hudry (Paris). (shrink)
We define a property R(A 0 , A 1 ) in the partial order E of computably enumerable sets under inclusion, and prove that R implies that A 0 is noncomputable and incomplete. Moreover, the property is nonvacuous, and the A 0 and A 1 which we build satisfying R form a Friedberg splitting of their union A, with A 1 prompt and A promptly simple. We conclude that A 0 and A 1 lie in distinct orbits under automorphisms of (...) E, yielding a strong answer to a question previously explored by Downey, Stob, and Soare about whether halves of Friedberg splittings must lie in the same orbit. (shrink)
RMO -> is the result of adding the ‘mingle principle’ (viz. A-> (A -> A)) to Anderson and Belnap’s implicative logic of relevance R->. The aim of this paper is to provide all possible axiomatizations with independent axioms of RMO -> formulable with Anderson and Belnap’s list extended with three characteristic minglish principles.
A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if every member of Q Turing computes a member of P. We say that P is strongly reducible to Q if every member of Q Turing computes a member of P via a fixed Turing functional. The weak degrees and strong degrees are the equivalence classes of mass problems under weak and strong reducibility, (...) respectively. We focus on the countable distributive lattices P w and P s of weak and strong degrees of mass problems given by nonempty Π 1 0 subsets of 2 ω . Using an abstract Gödel/Rosser incompleteness property, we characterize the Π 1 0 subsets of 2 ω whose associated mass problems are of top degree in P w and P s , respectively. Let R be the set of Turing oracles which are random in the sense of Martin-Löf, and let r be the weak degree of R. We show that r is a natural intermediate degree within P w . Namely, we characterize r as the unique largest weak degree of a Π 1 0 subset of 2 ω of positive measure. Within P w we show that r is meet irreducible, does not join to 1, and is incomparable with all weak degrees of nonempty thin perfect Π 1 0 subsets of 2 ω . In addition, we present other natural examples of intermediate degrees in P w . We relate these examples to reverse mathematics, computational complexity, and Gentzen-style proof theory. (shrink)
The Strong AI-Thesis. The controversy about the strong AI-thesis was recently revived by two interrelated contributions stemming from J. R. Searle on the one hand and from P. M. and P. S. Churchland on the other hand. It is shown that the strong AI-thesis cannot be defended in the formulation used by the three authors. It violates some well accepted criterions of scientific argumentation, especially the rejection of essentialistic definitions. Moreover, Searle's 'proof' is not conclusive. Though it (...) may be reconstructed in a conclusive manner, the modified proof is trivial. Beyond that, the most interesting aspect is formulated as an axiom that is not justified either. Therefore Searle's criticism of strong AI-thesis fails to be a convincing proof - it can be reduced to an unjustified presupposition. (shrink)
Jerry Fodor and Ernie Lepore have argued that inferential roles are not compositional. It is unclear, however, whether the theories at which they aim their objection are obliged to meet the strong compositionality requirement they have in mind. But even if that requirement is accepted, the data they adduce can in fact be derived from an inferential-role theory that meets it. Technically this is trivial, but it raises some interesting objections turning on the issue of the generality of inferential (...) roles. I explain how those objections can be met. Whether Fodor’s and Lepore’s strong compositionality requirement is justified or not, then, inferential-role theories do not have the problem that they claim to have identified. (shrink)
This article examines argument structures and strategies in pro and con argumentation about the possibility of human-level artificial intelligence (AI) in the near term future. It examines renewed controversy about strong AI that originated in a prominent 1999 book and continued at major conferences and in periodicals, media commentary, and Web-based discussions through 2002. It will be argued that the book made use of implicit, anticipatory refutation to reverse prevailing value hierarchies related to AI. Drawing on Perelman and Olbrechts-Tyteca's (...) (1969) study of refutational argument, this study considers points of contact between opposing arguments that emerged in opposing loci, dissociations, and casuistic reasoning. In particular, it shows how perceptions of AI were reframed and rehabilitated through metaphorical language, reversal of the philosophical pair artificial/natural, appeals to the paradigm case, and use of the loci of quantity and essence. Furthermore, examining responses to the book in subsequent arguments indicates the topoi characteristic of the rhetoric of technology advocacy. (shrink)
Aside from his remarkable studies in psychology and the social sciences, Donald Thomas Campbell (1916–1996) made significant contributions to philosophy, particularly philosophy of science,epistemology, and ethics. His name and his work are inseparably linked with the evolutionary approach to explaining human knowledge (evolutionary epistemology). He was an indefatigable supporter of the naturalistic turn in philosophy and has strongly influenced the discussion of moral issues (evolutionary ethics). The aim of this paper is to briefly characterize Campbells work and to discuss (...) its philosophical implications. In particular, I show its relevance to some current debates in the intersection of biology and philosophy. In fact, philosophy of biology would look poorer without Campbells influence. The present paper is not a hagiography but an attempt to evaluate and critically discuss the meaning of Campbells work for philosophy of biology and to encourage scholars working in this field to read and re-read this work which is both challenging and inspiring. (shrink)
Abstract Whether extrovertive, introvertive, or some further hybrid, the process of the soul touching the fullness of its divine origins is itself undergoing transformation in the twenty-first-century cultural matrices of Israel. A remarkable exemplar of devotional Hebrew cultures can be found within the hybrid networks of haredi worlds in Israel today. R. Yitzhaq Maier Morgenstern, author of Yam ha-okhmah, Netiv ayyim , and De'i okhmah le-nafshekha , is arguably the most innovative mystical voice in Israel. Why are his works resonating (...) so strongly both inside and outside their haredi communities of origin? How is his innovative thinking affecting the devotional praxis of Devekut both inside and outside the unfolding Hasidic networks? This exploration of mystical apperception through Devekut builds upon studies of Garb, Huss, and Meir, while challenging the idea that Morgenstern's expanding impact is solely a function of his mystical-magical charisma and hypernomian spiritual practice. This study argues that it is Morgenstern's hybridized thinking through key theoretical issues in Kabbalah and Hasidism as they apply to the lived practice of a devotional life of Devekut that will likely remain his strongest innovation and contribution to contemporary Jewish mysticism. (shrink)
An r.e. degree a ≠ 0, 0' is called strongly noncappable if it has no inf with any incomparable r.e. degree. We show the existence of a high strongly noncappable degree.
What psychological and philosophical significance should we attach to recent efforts at computer simulations of human cognitive capacities? In answering this question, I find it useful to distinguish what I will call "strong" AI from "weak" or "cautious" AI (artificial intelligence). According to weak AI, the principal value of the computer in the study of the mind is that it gives us a very powerful tool. For example, it enables us to formulate and <span class='Hi'>test</span> hypotheses in a more (...) rigorous and precise fashion. But according to strong AI, the computer is not merely a tool in the study of the mind; rather, the appropriately programmed computer really is a mind, in the sense that computers given the right programs can be literally said to.. (shrink)
A significant ontological commitment is required to sustain metaphysical realism—the view that there is a single, objective way the world is—in order to defend it from common sense objections. This involves presupposing the existence of properties (or tropes, or universals) and relations between them which define the objective structure of the world. This paper explores the grounds for accepting this ontological assumption and examines a sceptical argument which questions whether, having assumed the world is objectively divided into fundamental properties, we (...) could ever know which properties these are. It then assesses the responses available to the metaphysical realist, arguing that the sceptical difficulty cannot merely be dismissed by means of another assumption in the manner of radical scepticism, as David Lewis suggests, but that the sceptic's argument might be defused by the non-question-begging success of some form of strong scientific realism which links the predicates of our scientific theories directly to the fundamental properties the world contains. It remains unclear however whether this widely accepted metaphysical theory can find principled philosophical support. (shrink)
There are currently two main philosophical theories of perception - Direct Realism and the Representative Theory. The former is supported by most contemporary philosophers, whereas the latter forms the groundwork for most scientific theories in this area. The paper describes a recent experiment involving retinal and cortical rivalry that provides strong empirical evidence that the Direct Realist theory is incorrect. There are of course a large number of related experiments on visual perception that would tend to lead us to (...) the same conclusion, but the experiment described in this paper does so in a singularly direct and straightforward manner. Often the most telling experiments are the simplest. (shrink)
Each of the following claims has been defended in the scientific literature on free will and consciousness: your brain routinely decides what you will do before you become conscious of its decision; there is only a 100 millisecond window of opportunity for free will, and all it can do is veto conscious decisions, intentions, or urges; intentions never play a role in producing corresponding actions; and free will is an illusion. In Effective Intentions Alfred Mele shows that the evidence offered (...) to support these claims is sorely deficient. He also shows that there is strong empirical support for the thesis that some conscious decisions and intentions have a genuine place in causal explanations of corresponding actions. In short, there is weighty evidence of the existence of effective conscious intentions or the power of conscious will. Mele examines the accuracy of subjects' reports about when they first became aware of decisions or intentions in laboratory settings and develops some implications of warranted skepticism about the accuracy of these reports. In addition, he explores such questions as whether we must be conscious of all of our intentions and why scientists disagree about this. Mele's final chapter closes with a discussion of imaginary scientific findings that would warrant bold claims about free will and consciousness of the sort he examines in this book. (shrink)
The Principle of Sufficient Reason (PSR) says that, necessarily, every contingently true proposition has an explanation. The PSR is the most controversial premise in the cosmological argument for the existence of God. It is likely that one reason why a number of philosophers reject the PSR is that they think there are conceptual counter-examples to it. For instance, they may think, with Peter van Inwagen, that the conjunction of all contingent propositions cannot have an explanation, or they may believe that (...) quantum mechanical phenomena cannot be explained. It may, however, be that these philosophers would be open to accepting a restricted version of the PSR as long as it was not ad hoc. I present a natural restricted version of the PSR that avoids all conceptual counter-examples, and yet that is strong enough to ground a cosmological argument. The restricted PSR says that all explainable true propositions have explanations. (Published Online April 21 2004). (shrink)
Goedel's theorem states that in any consistent system which is strong enough to produce simple arithmetic there are formulae which cannot be proved-in-the-system, but which we can see to be true. Essentially, we consider the formula which says, in effect, "This formula is unprovable-in-the-system". If this formula were provable-in-the-system, we should have a contradiction: for if it were provablein-the-system, then it would not be unprovable-in-the-system, so that "This formula is unprovable-in-the-system" would be false: equally, if it were provable-in-the-system, then (...) it would not be false, but would be true, since in any consistent system nothing false can be provedin-the-system, but only truths. So the formula "This formula is unprovable-in-the-system" is not provable-in-the-system, but unprovablein-the-system. Further, if the formula "This formula is unprovablein- the-system" is unprovable-in-the-system, then it is true that that formula is unprovable-in-the-system, that is, "This formula is unprovable-in-the-system" is true. Goedel's theorem must apply to cybernetical machines, because it is of the essence of being a machine, that it should be a concrete instantiation of a formal system. It follows that given any machine which is consistent and capable of doing simple arithmetic, there is a formula which it is incapable of producing as being true---i.e., the formula is unprovable-in-the-system-but which we can see to be true. It follows that no machine can be a complete or adequate model of the mind, that minds are essentially different from machines. (shrink)
Harnad and I agree that the Chinese Room Argument deals a knockout blow to Strong AI, but beyond that point we do not agree on much at all. So let's begin by pondering the implications of the Chinese Room. The Chinese Room shows that a system, me for example, could pass the Turing Test for understanding Chinese, for example, and could implement any program you like and still not understand a word of Chinese. Now, why? What does the genuine (...) Chinese speaker have that I in the Chinese Room do not have? The answer is obvious. I, in the Chinese room, am manipulating a <span class='Hi'>bunch</span> of formal symbols; but the Chinese speaker has more than symbols, he knows what they mean. That is, in addition to the syntax of Chinese, the genuine Chinese speaker has a semantics in the form of meaning, understanding, and mental contents generally. (shrink)
There are two major approaches to the individuation of scientific theories, that have been called syntactic and semantic. We prefer to call them the linguistic and non-linguistic conceptions. On the linguistic view, also known as the received view, theories are identified with (pieces of) languages. On the non-linguistic view, theories are identified with extra-linguistic structures, known as models. We would like to distinguish between strong and weak formulations of each approach. On the strong version of the linguistic approach, (...) theories are identified with certain formal-syntactic calculi, whereas on a weaker reading, theories are merely analyzed as collections of claims or propositions. Correspondingly, the strong semantic approach identifies.. (shrink)
Our paper ‘A new cosmological argument’ gave an argument for the existence of God making use of the weak Principle of Sufficient Reason (W-PSR) which states that for every proposition p, if p is true, then it is possible that there is an explanation for p. Recently, Graham Oppy, as well as Kevin Davey and Rob Clifton, have criticized the argument. We reply to these criticisms. The most interesting kind of criticism in both papers alleges that the W-PSR can be (...) justifiably denied by the atheist, and constitutes no improvement on the strong Principle of Sufficient Reason (S-PSR) which claims that every true proposition in fact has an explanation. The criticism is predicated on the fact that it can be shown that the W-PSR entails the S-PSR. We argue that the W-PSR's plausibility remains despite the criticisms. From this it can be seen to follow that the entailment relation between the W-PSR and the S-PSR gives one reason to believe the S-PSR. (shrink)
The author argued elsewhere that a necessary condition that John Fischer and Mark Ravizza offer for moral responsibility is too strong and that the sufficient conditions they offer are too weak. This article is a critical examination of their reply. Topics discussed include blameworthiness, irresistible desires, moral responsibility, reactive attitudes, and reasons responsiveness.
In Law's Empire, Ronald Dworkin advances two incompatible versions of law as integrity. On the strong thesis, political integrity understood as coherence in fundamental moral principles constitutes an overriding constraint on justice, fairness and due process. On the weak thesis, political integrity, while a value, is not to be privileged over justice, fairness, and due process, but to be weighed along with them. I argue that the weak thesis is superior on both of Dworkin's criteria: fit and justifiability. However, (...) the weak thesis must be amended to allow for coherence in policies as well as in principles: the social consequences of legal decisions must be taken into account. (shrink)
Chalmers (The Conscious Mind, Oxford Unversity Press, Oxford 1996) has argued for a form of property dualism on the basis of the concept of a zombie (which is physically identical to normals), and the concept of the inverted spectrum. He asserts that these concepts show that the facts about consciousness, such as experience or qualia, are really further facts about our world, over and above the physical facts. He claims that they are the hard part of the mind-body issue. He (...) also claims that consciousness is a fundamental feature of the world like mass, charge, etc. He says that consciousness does not logically supervene on the physical and all current attempts to assert an identity between consciousness and the physical are just as non-reductive as his dualism. They are simply correlations and are part of the problem of the explanatory gap. In this paper, three examples of strong identities between a sensation or a quale and a physiological process are presented, which overcome these problems. They explain the identity in an a priori manner and they show that consciousness or sensations (Q) logically supervene on the physical (P), in that it is logically impossible to have P and not to have Q. In each case, the sensation was predicted and entailed by the physical. The inverted spectrum problem for consciousness is overcome and explained by a striking asymmetry in colour space. It is concluded that as some physical properties realize some sensations or qualia that human zombies are not metaphysically possible and the explanatory gap is bridged in these cases. Thus, the hard problem is overcome in these instances. (shrink)
Evolution leads to more and more complex structures, e.g., molecules, cells and organisms. By means of such structures elementary dynamic bio-electrical fields originate in single cells. They further develop into neurons with neuronal fields, and these combine and integrate in brains into global neuro-electrical fields (NEF) as a medium for the fast representation of outer stimuli. The present hypothesis proposes a specific state of the global NEF in brains as the signature of consciousness. This NEF changes periodically between two states, (...) a de- and a hyperpolarized brain state, and these in turn are paralleled intimately by transitions between consciousness and unconsciousness. In the hyperpolarized state the elementary neuronal fields are enslaved and synchronized by strong oscillations, and under these conditions the NEF is of low information capacity. In the depolarized state, however, the elementary fields are freed to self-organize and superimpose into an integrated NEF rich in information. In this condition the NEF acquires a qualitatively new state variable: consciousness. This new variable is no longer physically measurable; it can only be perceived by introspection. (shrink)
Proclus (c.412-485) once offered an argument that Christians took to stand against the Christian doctrine of creation ex nihilo based on the eternity of the world and God’s perfection. John Philoponus (c.490-570) objected to this on various grounds. Part of this discussion can shed light on contemporary issues in philosophical theology on divine perfection and creation. First I will examine Proclus’ dilemma and John Philoponus’ response. I will argue that Philoponus’ fails to rebut Proclus’ dilemma. The problem is that presentism (...) is incompatible with divine simplicity, timelessness, and a strong doctrine of immutability. From there I will look at how this discussion bears on contemporary understandings of divine perfection and creation, and argue that there are at least two possible ways contemporary philosophical theologians can try to get around the dilemma. One option is to adopt four-dimensional eternalism and maintain the traditional account of the divine perfections. I argue that this option suffers from difficulties that are not compatible with Christian belief. The other option is to keep presentism and modify the divine perfections. I argue that this option is possible and preferable since our understanding of the divine perfections must be modified in light of divine revelation and the incarnation. (shrink)
One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a (...) unique and attractive way, though the nature of this connection has sometimes been misunderstood by both defenders and detractors of the theory. (shrink)
Dementia is an illness that raises important questions about our own attitudes to illness and aging. It also raises very important issues beyond the bounds of dementia to do with how we think of ourselves as people--fundamental questions about personal identity. Is the person with dementia the same person he or she was before? Is the individual with dementia a person at all? In a striking way, dementia seems to threaten the very existence of the self.LThis book brings together philosophers (...) and practitioners to explore the conceptual issues that arise in connection with this increasingly common illness. Drawing on a variety of philosophers such as Descartes, Lock, Hume, Wittgenstein, the authors explore the nature of personal identity in dementia. They also show how the lives and selfhood of people with dementia can be enhanced by attention to their psychological and spiritual environment. Throughout, the book conveys a strong ethical message, arguing in favor of treating people with dementia with all the dignity they deserve as human beings. The book covers a range of topics, stretching from talk of basic biology to talk of a spiritual understanding of people with dementia. Accessibly written by leading figures in psychiatry and philosophy, the book presents a unique and long overdue examination of an illness that features in so many of our lives. (shrink)
Nonreductive materialism is the dominant position in the philosophy of mind. The global supervenience of the mental on the physical has been thought by some to capture the central idea of nonreductive materialism: that mental properties are ultimately dependent on, but irreducible to, physical properties. But Jaegwon Kim has argued that global psychophysical supervenience does not provide the materialist with the desired dependence of the mental on the physical, and in general that global supervenience is too weak to be an (...) interesting dependence relation. We argue that these arguments are unsound. Along the way, we clarify the relationship between global and strong supervenience, and show clearly what sort of dependence global supervenience provides. (shrink)
This study proposes a conceptual model to explain persistent, accepted-as-normal corporate wrongdoing (hereafter banality of wrongdoing), particularly for high performance organizations. The model describes five explanatory variables: the culture of competition, ends-biased leadership, missionary zeal, legitimizing myth, and the corporate cocoon. Our thesis is that the nature of competition drives both legitimate and illegitimate goal-seeking to adopt an iconoclastic (rule-breaking) orientation. High performance organizations are favorable hosts for wrongdoing because high performance requires aggressive behavior at the ethical margins of what (...) is acceptable. The way leadership reacts to competition sets the stage for ethical or unethical cultures to develop. Ends-biased leadership will project strong vision, using ideology and legitimizing myth as tools to inspire and motivate. The resulting missionary zeal justifies using questionable means because of the perceived value of the end. One critical method for building strong culture is creating a sense of being separate and apart from the ordinary. This cocoon effect may create a self-referential value system that is significantly at odds with mainstream culture and in which wrongdoing is banal. We intend an empirical study of the variables described in this model. (shrink)
Kant’s ‘Refutation of Idealism’ plainly has an anti-Cartesian conclusion: ‘inner experience in general is only possible through outer experience in general’ (B278). Due to wide-spread preoccupation with Cartesian skepticism, and to the anti-naturalism of early analytic philosophy, most of Kant’s recent commentators have sought to find a purely conceptual, ‘analytic’ argument in Kant’s Refutation of Idealism – and then have dismissed Kant when no such plausible argument can be reconstructed from his text. Kant’s argument supposedly cannot eliminate all relevant alternatives, (...) and so cannot justify its strong modal claims. Kant based his arguments on an inventory of our basic cognitive capacities to employ our forms of intuition and our forms of judgment. Kant provides a variety of considerations and arguments to determine what our cognitive capacities are. This involves ‘transcendental reflection’, which Kant held is absolutely crucial for judging matters a priori (A263/B319). I argue that there is a level of philosophical reflection on our own cognitive capabilities and their preconditions that is significantly richer than has been noticed by recent commentators, and that is a precondition of Kant’s transcendental reflection proper. I explicate certain thought experiments Kant proposes in order for us to recognize some our basic, characteristic cognitive capabilities, and the limits and requirements they entail for the nature and objects of human knowledge. These thought experiments involve a kind of reflection on who we as cognizant subjects are, on what our basic cognitive capabilities are. Engaging in this kind of reflection reveals that Kant’s transcendental arguments are significantly stronger and more persuasive than has been recognized in recent commentary. (shrink)
Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three types of autonomy : logical, conceptual, and justificatory. We argue that, while a strong case can be made for its logical and conceptual autonomy, its justificatory autonomy turns on whether or not mathematical theories can be justified by appeal to mathematical practice. If they can, a category-theoretical approach will be fully autonomous; if (...) not, the most natural route to justificatory autonomy is blocked. (shrink)
The contention in this paper is that central to Sellars’s famous attempt to fuse the “manifest image” and the “scientific image” of the human being in the world was an attempt to marry a particularly strong form of scientific naturalism with various modified Kantian a priori principles about the unity of the self and the structure of human knowledge. The modified Kantian aspects of Sellars’s view have been emphasized by current “left wing” Sellarsians, while the scientific naturalist aspects have (...) been championed by “right wing” Sellarsians, the latter including William Rottschaefer’s constructive criticisms of my own reconciling interpretation of Sellars. In this paper I focus first on how (1) Sellars’s Kantian conception of the necessary a priori unity of the thinking self does not conflict with his ideal scientific naturalist conception of persons as “bundles” or pluralities of scientifically postulated processes. This then prepares the way for a more comprehensive discussion of how (2) Sellars’s modified Kantian account of the substantive a priori principles that make possible any conceptualized knowledge of a world does not conflict with his simultaneous demand for an ideal scientific explanation and evolutionary account of those same conceptual capacities. Sellars’s own attempted via media synthesis—what I call his “Kantian scientific naturalism”—merits another look from both the left and the right. (shrink)
For multiple reasons, deliberating groups often converge on falsehood rather than truth. Individual errors may be amplifi ed rather than cured. Group members may fall victim to a bad cascade, either informational or reputational. Deliberators may emphasize shared information at the expense of uniquely held information. Finally, group polarization may lead even rational people to unjustifi ed extremism. By contrast, prediction markets often produce accurate results, because they create strong incentives for revelation of privately held knowledge and succeed in (...) aggregating widely dispersed information. The success of prediction markets off ers a set of lessons for increasing the likelihood that groups can obtain the information that their members have. (shrink)
Blair proposes that fluid intelligence, working memory, and executive function form a unitary construct: fluid cognition. Recently, our group has utilized a combined correlational–experimental cognitive neuroscience approach, which we argue is beneficial for investigating relationships among these individual differences in terms of neural mechanisms underlying them. Our data do not completely support Blair's strong position. (Published Online April 5 2006).
It has been argued that if non-human animals had rights we should be obliged to defend them against predators. I contend that this either does not follow, follows in the abstract but not in practice, or is not absurd. We should defend non-humans against large or unusual dangers, when we can, but should not claim so much authority as to regulate all the relationships of wild things. Some non-human animals are members of our society, and the rhetoric of 'the land (...) as a community' is an attempt, paralleling that of humanism, to create the moral ideal of Earth's Household. But wild animals should be considered as Nozick's 'independents' and have correspondingly fewer claims on our assistance than members of our society. They still have some claims, often strong ones. (shrink)
Vagueness is epistemic, according to some. Vagueness is ontological, according to others. This article deploys what I take to be a compromise position. Predicates are coined in specific contexts for specific purposes, but these limited practices do not automatically fix the extensions of predicates over the domain of all objects. The linguistic community using the predicate has rarely considered, much less decided, all questions that might arise about the predicate’s extension. To this extent, the ontological view is correct. But a (...) predicate that applies in some contexts can be reasonably extended to other contexts where it is initially vague. This process of development approximates the cognitive remedy for vagueness that the epistemic view prescribes. The process is piecemeal and inductive, akin to what von Wright described as the molding of concepts. Vagueness cannot be understood apart from the backdrop of classification, for vagueness is classification gone awry. Hence these pages explore the classification of particulars, both its clear successes and vague failures. How we classify unique particulars is the theme of Sections 2 and 3, which are primarily descriptive. Section 2 identifies a way of classifying particulars that pervades discourse of all sorts, and Section 3 illustrates its use in a field notorious for vagueness: ethics. Why a certain particular should (or should not) be classified in a certain way is a normative question, however, and it occupies Sections 4 and 5. Section 4 proposes a norm for strong arguments by analogy, and Section 5 illustrates how the norm might resolve vagueness in one kind of ethical dispute. This norm, which has a strong probabilistic component, is one way of affirming that probability is a guide to life. (shrink)
An assertion of high conditional probability or, more briefly, an HCP assertion is a statement of the type: The conditional probability of B given A is close to one. The goal of this paper is to construct logics of HCP assertions whose conclusions are highly likely to be correct rather than certain to be correct. Such logics would allow useful conclusions to be drawn when the premises are not strong enough to allow conclusions to be reached with certainty. This (...) goal is achieved by taking Adams" (1966) logic, changing its intended application from conditionals to HCP assertions, and then weakening its criterion for entailment. According to the weakened entailment criterion, called the Criterion of Near Surety and which may be loosely interpreted as a Bayesian criterion, a conclusion is entailed if and only if nearly every model of the premises is a model of the conclusion. The resulting logic, called NSL, is nonmonotonic. Entailment in this logic, although not as strict as entailment in Adams" logic, is more strict than entailment in the propositional logic of material conditionals. Next, NSL was modified by requiring that each HCP assertion be scaled; this means that to each HCP assertion was associated a bound on the deviation from 1 of the conditional probability that is the subject of the assertion. Scaling of HCP assertions is useful for breaking entailment deadlocks. For example, it it is known that the conditional probabilities of C given A and of ¬ C given B are both close to one but the bound on the former"s deviation from 1 is much smaller than the latter"s, then it may be concluded that in all likelihood the conditional probability of C given A B is close to one. The resulting logic, called NSL-S, is also nonmonotonic. Despite great differences in their definitions of entailment, entailment in NSL is equivalent to Lehmann and Magidor"s rational closure and, disregarding minor differences concerning which premise sets are considered consistent, entailment in NSL-S is equivalent to entailment in Goldszmidt and Pearl"s System-Z +. Bacchus, Grove, Halpern, and Koller proposed two methods of developing a predicate calculus based on the Criterion of Near Surety. In their random-structures method, which assumed a prior distribution similar to that of NSL, it appears possible to define an entailment relation equivalent to that of NSL. In their random-worlds method, which assumed a prior distribution dramatically different from that of NSL, it is known that the entailment relation is different from that of NSL. (shrink)
