Did industry and commerce affect the concepts, values and epistemic foundations of different sciences? If so, how and to what extent? This book suggests that the most significant influence of industry on science in the two case studies treated here had to do with the issue of realism. However, what led physicists and engineers to adopt realist attitudes? This book suggests that a new kind of realism --a realism of social and cultural origins- is the answer. The book has two (...) parts: while Part I focuses on the study of the ionosphere and how the British radio industry affected ionospheric physics, Part II focuses on the study of the Earth's crust and how the American oil industry affected crustal seismology. (shrink)

Summary Sydney Chapman is unanimously considered to have played a founding role in modern geomagnetism and to have opened up new lines of research in geophysics generally. Nevertheless, Chapman's conviction regarding the synthesis of the explanatory mechanisms of the atmosphere has gone practically unnoticed in the historiography of geophysics. This paper examines Chapman's contribution to ionospheric physics. It aims to understand Chapman's theory of ionospheric layer formation, and particularly its link to his theory of ozone formation. It deals first with (...) the traits which characterized Chapman's personality, as a way of explaining—and even perhaps justifying— his quest for the integration and synthesis of geophysical knowledge. It then analyses Chapman's model of ionospheric layers and his suggestions regarding its use as an operational tool (without ontological connotations), before continuing with his account of the formation of the ozone layer, which seemed to constitute the missing link for understanding ionosphere layer formation. The paper concludes with Chapman's attempt to reconcile geomagnetic and radio evidence. (shrink)

SummaryIn 1865, Spanish Jesuits founded the Manila Observatory, the earliest of the Far East centres devoted to typhoon and earthquake studies. Also on Philippine soil and under the direction of the Jesuits, in 1884 the Madrid government inaugurated the first Meteorological Service in the Spanish Kingdom, and most probably in the Far East. Nevertheless, these achievements not only went practically unnoticed in the historiography of science, but neither does the process of geophysical dissemination that unfolded fit in with the two (...) types of transmitter of knowledge identified by historians in the missionary diffusion of the exact sciences in colonial contexts. Rather than regarding science as merely a stimulus to their functionary and missionary tasks, Spanish Jesuits used their overseas posting to produce and publish original research –– a feature that would place them within the typology of the ‘seeker’ rather than the ‘functionary’ (in stark contrast to what the standard typology sustains). This paper also analyses examples of synergies between science, education and trade, which denotes, inter alia, the existence of a broad and solid educational structure in the Manila Mission that sustained the strength of research enterprise. (shrink)

ArgumentThis paper analyzes the concept ofmilitarizationin both senses of the word, that of mobilization for war and that of social control exercised by military forces. During the Spanish Civil War (1936–1939), the role and nature of meteorology was transformed by the rebel band on the basis of the mythification of a Service model that was supported by victory and that would be projected as a paradigm for the postwar years. The newServicio Meteorológico Nacionalreflected the social control exerted by the Franco (...) regime and its aeronautical and military interests. The “amphibianism” – or quality of being both civil and military simultaneously – is one of the main features of this transformation. Interestingly, this dual (civil and military) condition of meteorologist appears to be intrinsic to the construction of a new “sphere of practices and knowledge” in Francoist Spain. (shrink)

The _why_ and the _how_ of knowledge production are examined in the case of the transnational cooperation between the directors of observatories in the Far East who drew up unified typhoon-warning codes in the period 1900–1939. The _why_ is prompted by the socioeconomic interests of the local chambers of commerce and international telegraphic companies, although this urge has the favourable wind of Far Eastern meteorologists’ ideology of voluntarist internationalism. The _how_ entails the persistent pursuit of consensus (on ends rather than (...) means) in international meetings where non-binding resolutions on codes and procedures are adopted. The outcome is the co-production of standardised knowledge, that is, the development of a series of processes and practices that co-produce both knowledge and ideas about the social order in a force field characterised by negotiations and power struggles. (shrink)

Your Canon EOS Rebel XS/1000D is small, lightweight, and packed with power and versatility. This handy, portable guide helps you take full advantage of Live View shooting, in-camera Canon EX SpeedLite control, intuitive, large-text menus, and all the controls. It offers innovative ideas and fresh thoughts to help you capture images that reflect your personal creative vision, plus advice on setting up your camera for your shooting style; using Canon's Picture Styles to manage color, contrast, and sharpness; and capturing outstanding (...) action, wildlife, portrait, travel, nighttime, and macro shots. (shrink)

Females and males often exhibit conspicuous morphological, physiological and behavioral differences. Similarly, gene expression profiles indicate that a large portion of the genome is sex‐differentially deployed, particularly in the germ line. Because males and females are so fundamentally different, each sex is likely to have a different optimal gene expression profile that is never fully achieved in either sex because of antagonistic selection in females versus males. Males are hemizygous for the X chromosome, which means that recessive male‐favorable de novo (...) mutations on the X chromosome are subject to immediate selection. In females, a recessive female‐favorable mutation on one of two X chromosomes is not available for selection until it becomes frequent enough in the local population to result in homozygous individuals. Given that most mutations are recessive, one would expect that genes or alleles favoring males should accumulate on the X chromosome. Recent microarray work in Drosophila and C. elegans clearly shows the opposite. Why is the X chromosome a highly disfavored location for genes with male‐biased expression in these animals? BioEssays 26:543–548, 2004. Published 2004 Wiley Periodicals, Inc. (shrink)

Mereological nihilism is the thesis that composite objects—objects with proper parts—do not exist. Nihilists generally paraphrase talk of composite objects F into talk of there being “xs arranged F-wise” . Recently several philosophers have argued that nihilism is defective insofar as nihilists are either unable to say what they mean by such phrases as “there are xs arranged F-wise,” or that nihilists are unable to employ such phrases without incurring significant costs, perhaps even undermining one of the chief motivations for (...) nihilism. In this paper I defend nihilism against these objections. A key theme of the paper is this: if nihilists need to employ such phrases as “there are xs arranged F-wise,” non-nihilists will need to do so as well. Accordingly, any costs incurred by the nihilist when she employs such phrases will be shared by everyone else. What’s more, such phrases are intelligible when employed by the nihilist, as well as when they are employed by the non-nihilist, insofar as analyses of such phrases will not essentially involve mereological concepts incompatible with nihilism. (shrink)

How do we assign values to virtual items, which include virtual objects, properties, events, subjects, worlds, environments, and experiences? In this article, I offer a framework for answering this question. After considering different value theses in the literature, I argue that whether we think these theses mutually exclusive or not turns on our view about the number of value-salient kinds virtual items belong to. Virtual monism is the view that virtual Xs belong to only one value-salient kind in relation to (...) X. Virtual pluralism is the view that they belong to more than one value-salient kind. I argue for two claims. First, virtual monism is mistaken. Minimally some virtual Xs are Xs, while others are not. Second, dualistic virtual pluralism is also mistaken because it is too coarse grained. Instead, I argue for fourfold pluralism: virtual items either represent an original's properties or reproduce essential properties and do so to lesser or greater extents. This gives us four value-salient kinds of virtual X: virtual reproductions, simulations, representations, and simulacra of X. I apply this view to various debates in the literature and conclude with a discussion of less basic hybrid kinds. (shrink)

We often speak of an object being composed of various other objects. We say that the deck is composed of the cards, that a road is the sum total of its sections, that a house is composed of its walls, ceilings, floors, doors, etc. Suppose we have some material objects. Here is a philosophical question: what conditions must obtain for those objects to compose something? In his recent book Material Beings, Peter van Inwagen addresses this question, which he calls the (...) ‘special composition question’; his answer is:1 (1) For any material objects X , the X s compose something iff the activity of the X s constitutes a life, or there is only one of the Xs. Additionally, he accepts a simpler thesis that follows from (1):2 (2) Every material object is either a mereological atom or a living thing, where a mereological atom is an object lacking proper parts. (2) may seem radical. If it is true then there are no tables, chairs, planets, protons, galaxies, gas stations, etc. But van Inwagen does not hold it lightly— there are serious difficulties with alternate views. Moreover, he claims that.. (shrink)

Our aim in this paper is to bring to light two sources of tension for Christian theists who endorse the principle of unrestricted composition, that necessarily, for any objects, the xs, there exists an object, y, such that the xs compose y. In Value, we argue that a composite object made of wholly valuable parts is at least as valuable as its most valuable part, and so the mereological sum of God and a wholly valuable part would be at least (...) as valuable as God; but Christian theism arguably demands that no concrete object other than God can be as valuable as God. And in Creation, we argue that the conjunction of theism and unrestricted composition, together with the claim that every concrete entity that is numerically distinct from God is created by God, implies that God is created by God. We conclude by examining the prospects of restricting the thesis of unrestricted composition to the domain of material or spatiotemporal objects as a way to sidestep the above arguments against the conjunction of Christian theism and unrestricted composition. (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

In Parts of Classes [Lewis 1991] David Lewis attempts to draw a sharp contrast between mereology and set theory and to assimilate mereology to logic. He argues that, like logic but unlike set theory, mereology is “ontologically innocent”. In mereology, given certain objects, no further ontological commitment is required for the existence of their sum. On the contrary, by accepting set theory, given certain objects, a further commitment is required for the existence of the set of them. The latter – (...) unlike the sum of the given objects – seems to be an abstract entity whose existence is not directly entailed by the existence of the objects themselves. The argument for the innocence of mereology is grounded on the thesis of “Composition as identity”. Lewis analyses two different versions of the thesis: the first is the Strong composition thesis, according to which certain objects are their sum, where the use of “are” would mean that composition is literally identity. The second version is the Weak composition thesis, according to which composition is analogous, under some aspects, to identity. He criticises the first version of the thesis and argues for the second one. In the paper we argue that (T1) arguments for the ontological innocence of mereology are not conclusive. An obvious objection to the Strong composition thesis is that – given certain objects Xs – they cannot be their sum because none of them is the sum. One could reply to this objection by observing that the “are” in the sentence “The Xs are their sum” is to be understood collectively and not distributively. But the crux is that the collective reading fails to generate a new entity, whereas mereology, in particular in Lewis’ use for the reconstruction of set theory as “megethology”, needs to consider sums as real objects. Besides, we contend that Lewis’ argument for the innocence of mereology based on the Weak composition thesis is a petitio principii. The reason is that the aspects of the analogy between composition and identity, which Lewis emphasises, obtain under the presupposition of the existence of sums. But this is just what a denier of innocence would refuse. (T2) Some arguments against the ontological innocence of mereology show a certain ambiguity in the innocence thesis itself. Some defences of the innocence seem to implicitly presuppose that the sum of certain objects Xs is not a genuine entity. Speaking of the sum of the Xs would be just another way of speaking plurally of the Xs. However, the relevant use of sums in mereology treats them as well determined objects. The relevant innocence thesis takes for granted that, though sums are genuine objects, nevertheless their existence does not require any further commitment. (T3) The innocence thesis, apart from Lewis’ defence, seems to depend on a general conception of the nature of objects and on how the notion of ontological commitment is understood. We think that the thesis is the manifesto of a realistic conception of parts and sums. This conception consists of the following clauses: (i) given any object x, it is well determined which parts it possesses; these are in turn objects whose existence is a necessary consequence of the existence of x. (ii) However any objects Xs are given, they automatically constitute a well determined object x which is their sum; (iii) We can refer singularly and plurally to parts and sums of given objects. Obviously, one might wonder if such a conception is really ontologically innocent. One could object that it is not innocent because clauses (i) – (iii) are not. For example, clause (i) could be considered as an ontological commitment to the existence of sums. But the innocence at issue does not concern the above-sketched conception. The innocence is embedded in the conception itself. In other words, someone who argues for clauses (i) – (iii) takes a point of view from which mereology appears to be innocent. For, such a point of view forces us to consider as well determined the parts of any object and does not allow us to separate the existence of certain objects form the existence of their sum. (T4) is the claim that the alleged innocence of mereology is subject to Quine’s notorious criticisms of the set-theoretical interpretation of second order logic. To the purpose, we construct a mereological model of a substantive fragment of set theory, i.e. the one that grounds the principal model semantics of second order logic. First, we construct a mereological model under the assumption of the existence of infinitely many atoms. Then, we replace this assumption with that of the existence of any infinite object (with or without atoms). Finally, let us make a general point about the innocence thesis of mereology. A conclusive argument for that would be a refutation of the thesis that there are only denumerably many entities. For, since the parts of an infinite object constitute a non-denumerable infinity, such an argument would entail that there could be no infinite without a non-denumerable infinity. However, the thesis that any genuine infinity is a denumerable one has had some important advocates. So, a conclusive argument for the innocence of mereology seems to be highly implausible. (shrink)

There is a good deal of disagreement about composition. There is firstorder disagreement: there are radically different answers to the special composition question—the question of under what circumstances the xs compose a y. There is second-order disagreement: there are different answers to the question of whether first-order disagreement is real or merely semantic. Virtually all disputants with respect to both the first-and second-order issues agree that the answer or answers to the special composition question will take the form of a (...) necessary truth or truths even though, as I will argue, such answers do not appear to be good candidates to be necessary truths. This paper provides an analysis of the concept of as it pertains to concrete objects, that fulfils two functions. First, it explicates the sense in which claims about composition are contingent and the sense in which they are necessary, and second, it provides a way of understanding when first-order disputes are substantial and when they are merely semantic. (shrink)

"According to informational semantics, if it's necessary that a creature can't distinguish Xs from Ys, it follows that the creature can't have a concept that applies to Xs but not Ys." (Jerry Fodor, The Elm and the Expert, p.32).

Strong Composition as Identity is the thesis that necessarily, for any xs and any y, those xs compose y iff those xs are non-distributively identical to y. Some have argued against this view as follows: if some many things are non-distributively identical to one thing, then what’s true of the many must be true of the one. But since the many are many in number whereas the one is not, the many cannot be identical to the one. Hence is mistaken. (...) Although I am sympathetic to this objection, in this paper, I present two responses on behalf of the theorist. I also show that once the defender of accepts one of these two responses, that defender will be able to answer The Special Composition Question. (shrink)

İndividualizm və xüsusilə personalizm filosof-mütəfəkkirlərin diqqətini xüsusilə cəlb edən məsələlər sırasında olublar. İnsanın cəmiyyət ilə münasibətlərində öz xüsusiyyətləri, özgürlüyü və təkrar olunmazlığını qoruyub saxlamasını ifadə edən bu problemi müəyyən etməyin əhəmiyyətindən danışsaq, konkret bir şəxsə məxsus göstəricilərdən çıxış etməklə bütöv və hərtərəfli nəticə əldə etmək mümkündür. Qeyd olunan vəzifəni həyata keçirmək o qədər də asan deyildir. Çünki söhbət müəyyən bir şəxsi başqalarından ayırmaqdan başlayaraq, onun unikallığının formalaşması və mövcudluğunun müəyyən olunmasına qədər davam edən bir prosesi öyrənməkdən gedir. Dünyaya fərd kimi (...) gələn insan öz fəaliyyəti, özünüdərketməsi sayəsində şəxsiyyətin qabil ola biləcəyi bir varlığa çevrilə bilər. Məhz cəmiyyətin normal fəaliyyəti və inkişafı üçün onun hər bir üzvünün müəyyən qədər özünəməxsusluğu zəruridir. Və cəmiyyət üzvlərinin rəngarəngliyi, burada aydın ifadə olunmuş fərdiyyətlər, şəxsiyyətlərin mövcudluğu hər bir ictimai quruluşun, onun mədəniyyətinin həqiqi zənginliyini təmin edir. Buna görə də, insanların fərdi özünəməxsusluğuna malik olması sosial inkişafın qanunauyğunluğu kimi də qəbul edilir. Məqalədə Avropa personalistlərinin fikirlərinə istinadən belə proseslər izlənilib. (shrink)

Two studies were conducted to assess the psychometric properties of scores from the Norwegian adaptation of the Big Five Inventory-2. In Study 1, the BFI-2 was translated to Norwegian and the scores from a convenience sample demonstrated good psychometric properties. BFI-2 scores from subsamples correlated in expected ways with self- and other ratings of the Big Five, and with self-ratings of empathic concern and perspective taking. In Study 2, after some minor improvements in translation, the psychometric properties of BFI-2 scores (...) were assessed in a new sample. Results from random intercept EFA of scores supported the proposed model. The psychometric properties of two shorter versions of the inventory, the BFI-2-S and BFI-2-XS, were also examined. Overall, the results suggest that the Norwegian adaptation of the BFI-2 provide reliable and valid scores. (shrink)

This article discusses the problem of non-zero probabilities for non-tautologous universal generalizations in Rudolf Carnap’s inductive logic when the domain of discourse is infinite. A solution is provided for a generalization of the form “all Xs are Ys”, for example “all ravens all black”. The solution is based on assuming that a significant part of the domain consists of non-Xs. This assumption can often be justified as a kind of ceteris paribus principle.

Direct Informational Semantics, according to which [X]s represent X if ‘Xs cause [X]s’ is a law, and Fodorian naturalistic semantics both suffer from double disjunctivitis. I argue that robustness, properly construed, characterizes both represented properties and representing symbols: two or more properties normally regarded as non-disjunctive may each be nomologically connected to a non-disjunctive symbol, and two or more non-disjunctive symbols may each be nomologically connected to a property. This kind of robustness bifurcates the so-called disjunction problem into a Represented-Disjunction (...) Problem, of which Fodor was aware, and a Representer-Disjunction Problem, of which he was on the whole oblivious. Fodor fails to solve these problems: his solution to the former, the Asymmetric Dependence Condition, presupposes a successful solution to the latter, while possible responses that Fodor might make to the latter either beg the former or cannot be met or else flout the Naturalistic Requirement and the Atomistic Requirement. Even setting the Representer-Disjunction Problem aside, the Represented-Disjunction Problem does not get solved, because the robustness involving phonological/orthographic sequences guarantees that nothing can meet the Asymmetrical Dependence Condition. Indeed there is a serious problem of individuating phonological/orthographic tokens and types in a manner that satisfies Fodor’s expectations. This is made manifest by the presence of orthographic tokens embedded in larger tokens. (shrink)

In (1990), Jerry Fodor has defended a naturalized conception of meaning for Mentalese expressions which relies on the notion of asymmetric dependence. According to this conception, any naturalized theory of meaning must be able to account for the fact that meaning is robust, namely that any token of a certain Mentalese expression “x” retains the expression’s meaning, X, for any Y (≠ X) which happens to cause it. Now, this robustness of “x”‘s meaning can precisely be explained in terms of (...) the subsistence of an asymmetric dependence of any nomic connection between Ys and “x”‘s tokens on another nomic connection between Xs and “x”‘s tokens. According to Fodor, then, this relation between nomic connections can account in perfectly naturalistic terms for “x” meaning X, by providing a sufficient condition for such a meaning. In what follows, however, I will try to show, first, that the subsistence of asymmetric dependencies of the kind envisaged by Fodor is not enough for assigning meaning to a certain expression. Indeed, there are dependencies of this kind which are meaning-irrelevant. Secondly, I will claim that asymmetric dependence relations are not able even to support for the robustness of meaning. For there are cases in which according to the structure of these relations we would have to conclude that meaning is altered although robustness would require to have it unchanged. (shrink)

The Special Composition Question may be formulated as follows: for any xs whatsoever, what are the metaphysically necessary and jointly sufficient conditions in virtue of which there is a y such that those xs compose y? But what is the scope of the sought after explanation? Should an answer merely explain compositional facts, or should it explain certain ontological facts as well? On one natural reading, the question seeks an explanation of both the compositional facts and the ontological; the question (...) seeks to explain how composite objects exist; how there is a y such that the xs compose y. But it turns out that some answers to the Special Composition Question presuppose those ontological facts rather than explain those ontological facts. In this paper, I will indicate what I take to be the different explanatory demands met by the representative answers. I will argue that the wide scope explanatory demands can’t be satisfied. I will also show that this result has bearing on the current debate about composition. (shrink)

‘According to informational semantics, if it's necessary that a creature can't distinguish Xs from Ys, it follows that the creature can't have a concept that applies to Xs but not Ys.’ There is, indeed, a form of informational semantics that has this verificationist implication. The original definition of information given in Dretske'sKnowledge and the Flow of Information, when employed as a base for a theory of intentional representation or ‘content,’ has this implication. I will argue that, in fact, most of (...) what an animal needs to know about its environment is not available as natural information of this kind. It is true, I believe, that there is one fundamental kind of perception that depends on this kind of natural information, but more sophisticated forms of inner representation do not. It is unclear, however, exactly what ‘natural information’ is supposed to mean, certainly in Fodor's, and even in Dretske's writing. In many places, Dretske seems to employ a softer notion than the one he originally defines. I will propose a softer view of natural information that is, I believe, at least hinted at by Dretske, and show that it does not have verificationist consequences. According to this soft informational semantics, a creature can perfectly well have a representation of Xs without being able to discriminate Xs from Ys. (shrink)

In Metaphysics Z 8 Aristotle offers an infinite regress argument to deny that forms come to be. Briefly put, the argument states that, if we assume that every time an x composed of matter (m1) and form (f1) comes to be, f1 also comes to be, then there would be infinitely many xs coming to be – for f1 would itself be a compound, if it comes to be, and the same reasoning would in turn apply to it. This argument (...) has great significance in the history of philosophy, for some later thinkers take Aristotle to allow or make room for the creation ex nihilo of forms. However, the only direct Greek engagement with this argument in its proper context is provided by Asclepius of Tralles’ commentary on Book Z. A close study of Asclepius’ interpretation shows that he endorsed the argument on the tacit condition that it refers to the forms αὐτὰ καθ’ αὑτά as different from both Platonic Ideas and enmattered forms. At the same time, however, its elaboration includes alongside forms αὐτὰ καθ’ αὑτά also eternal separate forms and generated forms. His reconstruction also displays a sophisticated toning-down of the potential disagreements between Plato and Aristotle on the conception of pre-existing form which is assumed in the argument. Asclepius’ interpretation offers yet further proof of the commentators’ camouflaged and stratified way of tackling philosophical issues of paramount importance. (shrink)

We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...) contextualism, and pluralism. Besides the new spirit there have been quiet developments in logic and its history and philosophy that could radically improve logic teaching. This lecture expands points which apply equally well in first, second, and third courses, i.e. in “critical thinking”, “deductive logic”, and “symbolic logic”. (shrink)

William Ramsey’s Representation Reconsidered is a superb, insightful analysis of the notion of mental representation in cognitive science. The book presents an original argument for a bold conclusion: partial eliminativism about mental representation in scientific psychology. According to Ramsey, once we examine the conditions that need to be satisfied for something to qualify as a representation, we can see those conditions are not fulfilled by the ‘representations’ posited by much of modern psychology. Cognitive science—or at least large swathes of it—has (...) no warrant for positing representations. The structure of Ramsey’s argument repeats a familiar eliminativist strategy (c.f. Churchland (1981); Stich (1983)).1 First step: argue that in order for something to be an X, it must satisfy a certain description D (say, beliefs must satisfy the description given in folk psychology). Second step: argue that to the best of our knowledge, nothing satisfies description D (e.g. folk psychology is false). Third step: conclude that since nothing satisfies description D, there are no Xs (no beliefs). Here is how the strategy is played out in the book. First, Ramsey argues for certain minimal conditions that a representation must satisfy (what he calls the ‘job description’). Second (this takes the bulk of the book), he considers the ways in which our best psychological theories use the notion of representation. Ramsey argues that none of these uses satisfy the job description associated with a genuine representation. (A wrinkle is that some representations—those posited by the classical computational theory of cognition—do qualify as true representations. But, Ramsey claims, classical theories are in a minority in cognitive science, and their hold on the field is shrinking.) Therefore, Ramsey concludes, in most of cognitive science, there are no mental representations. (shrink)

Mereological Universalism is the thesis that, for any disjoint Xs, the Xs automatically compose something. In his book, Material Beings, Peter van Inwagen provides an argument against Universalism that relies on the following crucial premiss: (F) If Universalism is true, then the Xs cannot ever compose two objects, either simultaneously or successively.1 I have argued elsewhere (Rea 1998) that van Inwagen’s defence of (F) fails because it relies on the false assumption that Universalism is incompatible with the view that, for (...) some Xs, what the Xs compose depends upon how the Xs are arranged. However, Matthew McGrath (1998) has recently provided a new – and in his opinion, better – formulation of van Inwagen’s argument for (F). Furthermore, he claims (contrary to what van Inwagen himself apparently thinks) that four of the ten assumptions listed at the outset of Material Beings are ‘jointly sufficient for the falsity of Universalism’. (1998: 121) Those assumptions, as they appear on page 121 of McGrath 1998, are as follows. (shrink)

The general composition question asks “what are the necessary and jointly sufficient conditions any xs and any y must satisfy in order for it to be true that those xs compose that y?” Although this question has received little attention, there is an interesting and theoretically fruitful answer. Namely, strong composition as identity (SCAI): necessarily, for any xs and any y, those xs compose y iff those xs are identical to y. SCAI is theoretically fruitful because if it is true, (...) then there is an answer to one of the most difficult and intractable questions of mereology (The Simple Question). In this paper, I introduce the identity account of simplicity and argue that if SCAI is true then this identity account of simplicity is as well. I consider an objection to the identity account of simplicity. Ultimately, I find this objection unsuccessful. (shrink)

I argue that mereological nihilism fails because it cannot answer the special arrangement question: when is it true that the xs are arranged F-wise? I suggest that the answers given in the literature fail and that the obvious responses that could be made look to undermine the motivations for adopting nihilism in the first place.

We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...) contextualism, and pluralism. Besides the new spirit there have been quiet developments in logic and its history and philosophy that could radically improve logic teaching. One rather conspicuous example is that the process of refining logical terminology has been productive. Future logic students will no longer be burdened by obscure terminology and they will be able to read, think, talk, and write about logic in a more careful and more rewarding manner. Closely related is increased use and study of variable-enhanced natural language as in “Every proposition x that implies some proposition y that is false also implies some proposition z that is true”. Another welcome development is the culmination of the slow demise of logicism. No longer is the teacher blocked from using examples from arithmetic and algebra fearing that the students had been indoctrinated into thinking that every mathematical truth was a tautology and that every mathematical falsehood was a contradiction. A fifth welcome development is the separation of laws of logic from so-called logical truths, i.e., tautologies. Now we can teach the logical independence of the laws of excluded middle and non-contradiction without fear that students had been indoctrinated into thinking that every logical law was a tautology and that every falsehood of logic was a contradiction. This separation permits the logic teacher to apply logic in the clarification of laws of logic. This lecture expands the above points, which apply equally well in first, second, and third courses, i.e. in “critical thinking”, “deductive logic”, and “symbolic logic”. (shrink)

Although there is no lack of reasons for conversation analysis to be reluctant to adopt a cognitivist idiom and paradigm in studying talk and other conduct in interaction, examination of the literature with an open mind will disclose attentiveness to such themes in the conversation-analytic literature nonetheless. The pursuit of such themes however, cannot be appropriately and successfully conducted under the aegis of currently dominant cognitivist paradigms. One central analytic resource in CA work is the notion of a ‘possible X’, (...) a resource which is here described and exemplified for three discrete ‘values’ of ‘X’. The understanding of how such ‘possible Xs’ could work for participants in interaction invites understanding by analysts by reference to a ‘multiple passes’ model of uptake, a characterization which for now can be no more than metaphoric. Here is a venue at which conversation-analysts and neuro/cognitive analysts might usefully try to work together. (shrink)

Thomas Aquinas embraces a controversial claim about the way in which parts of a substance depend on the substance’s substantial form. On his metaphysics, a ‘substantial form’ is not merely a relation among already existing things, in virtue of which (for example) the arrangement or configuration of those things would count as a substance. The substantial form is rather responsible for the identity or nature of the parts of the substance such a form constitutes. Aquinas’ controversial claim can be roughly (...) put as the view that things are members of their kind in virtue of their substantial form. To put it simply, Aquinas’ claim results in the implication that, every time the xs come to compose a y, those xs have to undergo a change in kind membership. -/- This has been called the “homonymy principle,” and it follows from Aquinas’ view of substantial forms, and specifically from the position that substantial forms inform prime matter, rather than substance-parts. The aim of this paper will be to defend that the Thomistic claim that substantial forms account for the determinate actuality of every part of a substance is plausible and coherent. After defending the Thomistic account, I propose that approaching problems of material composition as a Thomist has a significant, oft-overlooked advantage of involving a thorough-going naturalistic methodology that resolves such problems by appeal to empirical considerations. (shrink)

Area number x is called k-monotonically computable , for constant k > 0, if there is a computable sequence n ∈ ℕ of rational numbers which converges to x such that the convergence is k-monotonic in the sense that k · |x — xn| ≥ |x — xm| for any m > n and x is monotonically computable if it is k-mc for some k > 0. x is weakly computable if there is a computable sequence s ∈ ℕ of (...) rational numbers converging to x such that the sum equation image|xs — xs + 1| is finite. In this paper we show that a mc real numbers are weakly computable but the converse fails. Furthermore, we show also an infinite hierarchy of mc real numbers. (shrink)

Peter van Inwagen’s answer to the Special Composition Question, call it Organicism, says the xs compose y iff the activity of the xs constitutes a life. What about suspended lives (i.e., cryptobiosis)? Suppose a cat is alive at t1, completely frozen at t2, then revived at t3. Is the cat alive while frozen? Plausibly no, which according to Organicism means the cat-qua-composite ceases to exist at t2. Intuitively, however, the same cat seems present at all of t1, t2, and t3. (...) To account for these intuitions, van Inwagen modifies his answer: the xs compose y iff the activity of the xs constitutes or results from a life. Alas, this modification permits problematic duplication cases where one collection of objects composes something, yet a duplicate collection does not. This prompts the search for alternative modifications that identify frozen organisms as composites without introducing duplication problems. A dispositional variant is proposed. (shrink)

The object of this paper is to explain a certain type of construction which occurs in priority proofs and illustrate it with two examples due to Lachlan and Harrington. The proofs in the examples are essentially the original proofs; our main contribution is to isolate the common part of these proofs. The key ideas in this common part are due to Lachlan; we include several improvements due to Harrington, Soare, Slaman, and the author.Our notation is fairly standard. If X is (...) an r.e. set, Xs is the finite set of elements enumerated in X before step s. if Ф is a recursive functional, Фs is the approximation to Ф at step s; it only queries the oracle about numbers xi and iless-than-or-equals, slantx; and right-pointing angle bracketx0,...,xk−1right-pointing angle bracket is an increasing function of each of its arguments. Sets are sometimes identified with their characteristic functions. Wj isthe jth r.e. set. Xc is the complement of X. (shrink)

There are two epistemological problems connected with dreaming, which are of different kinds and require different treatment. The internal problem is best seen as a problem of rational consistency, of how we can maintain all of: Dreams are experiences we have during sleep. Dream-experiences are sufficiently similar to waking experiences for the subject to be able to mistake them for waking experiences. We can tell that we are awake. (1)-(3) threaten to violate a requirement on discrimination: that we can only (...) tell Xs from Ys if there is some detectable difference between Xs and Ys. Attempts to solve the problem by Descartes and Williams are considered. It is suggested that if we take account of levels of epistemic risk, we can use Descartes's criterion of lack of coherence, at least with hindsight - which is the time when we need to use it. (shrink)

In the thesis I offer an analysis of the metaphysical underpinnings of the extended cognition thesis via an examination of standard views of metaphysical building (or, dependence) relations. -/- In summary form, the extended cognition thesis is a view put forth in naturalistic philosophy of mind stating that the physical basis of cognitive processes and cognitive processing may, in the right circumstances, be distributed across neural, bodily, and environmental vehicles. As such, the extended cognition thesis breaks substantially with the still (...) widely held view in cognitive science and philosophy of mind, namely that cognitive processes and cognitive processing take place within the skin-and-skull of individual organisms. The standard view of metaphysical building relations can be expressed as the conjunction of two theses. First, that a metaphysical building relation – such as composition, constitution, realization, supervenience or emergence – is a relation of ontological dependence, because if a metaphysical building relation holds between X (or the Xs) and Y, then it is in virtue of X (or the Xs) that Y exists. Second, metaphysical building relations are synchronic (durationless) relations of ontological dependence. In the thesis, I propose an alternative diachronic framework by which to extend the standard synchronic accounts of metaphysical dependence relations, and by which to reformulate the metaphysical foundation of the extended cognition thesis. The project fills an important gap between analytical metaphysics (in particular, the metaphysics of dependence relations) and naturalistic philosophy of mind (especially the extended cognition thesis). To my knowledge there has been no attempt to establish a robust diachronic account of metaphysical building (or, dependence) relations such as, e.g., composition and constitution. However, this is precisely what I argue is required to properly advance and ground the metaphysics of extended cognition. Ultimately, my aim of reformulating the metaphysics of extended cognition consists in taking several steps toward a third-wave of extended cognition. (shrink)

ABSTRACTCarnap famously argued that there are two kinds of questions and claims concerning the existence or reality of entities: internal and external ones. We focus on Carnapian external ontological claims of the form: ‘Xs really exist’, where ‘X’ stands for some traditional metaphysical category, such as ‘substance’, ‘fact’ or ‘structure’. While Carnap considered them as meaningless, we consider them as faultlessly meaningful. However, in line with an expressivist guise, we do not claim that they have the meaning they have in (...) virtue of representing a certain range of entities in the world or describing pieces of reality. Quite the contrary, we maintain that they are meaningful because they perform a function that is fundamentally expressive, that is, a non-descriptive function. In particular, they may imply a distinctive type of metalinguistic expressive function. Moreover, we avoid accuses of mentalism insofar as we explain the meaning of external ontological claims in terms of the practical commitments to the adoption of certain linguistic forms they express, rather than as expressing some kind of mental state. (shrink)

The conditional interpretation of general categorical statements like ‘All men are animals’ as universally quantified material conditionals ‘For all x, if x is F, then x is G’ suggests that the logical structure of law statements is conditional rather than categorical. Disregarding the problem that the universally quantified material conditional is trivially true whenever there are no xs that are F, there are some reasons to be sceptical of Frege’s equivalence between categorical and conditional expressions. -/- Now many philosophers will (...) claim that the material conditional interpretation of laws statements, dispositions ascriptions, or any causal claim is generally accepted as wrong and outdated. Still, there seem to be some basic logical assumptions that are shared by most of the participants in the debate on causal matters which at least stems from the traditional truth functional interpretation of conditionals. This is indicated by the vocabulary in the philosophical debate on causation, where one often speaks of ‘counterfactuals’, ‘possible worlds’ and ‘necessity’ without being explicit on whether or to what extent one accepts the logical-technical definition of these notions. To guarantee a non-Humean and non-extensional approach to causal relations, it is therefore important to be aware of the logical and metaphysical implications of the technical vocabulary. -/- In this paper we want to show why extensional logic cannot deal with causal relations. Via a logical analysis of law-like statements ‘All Fs are Gs’ we hope to throw some new light on interrelated notions like causation, laws, induction, hypotheticality and modality. If successful, our analysis should be of relevance for a deeper understanding of any type of causal relations, whether we understand them to be laws, dispositions, singulars or categoricals. (shrink)