Online research in philosophy

Challenging the myth that mathematical objects can be defined into existence, Bigelow here employs Armstrong's metaphysical materialism to cast new light on mathematics. He identifies natural, real, and imaginary numbers and sets with specified physical properties and relations and, by so doing, draws mathematics back from its sterile, abstract exile into the midst of the physical world.

Frank Jackson argued, in an astronomically frequently cited paper on 'Epiphenomenal qualia'[Jackson 1982 that materialism must be mistaken. His argument is called the knowledge argument. Over the years since he published that paper, he gradually came to the conviction that the conclusion of the knowledge argument must be mistaken. Yet he long remained totally unconvinced by any of the very numerous published attempts to explain where his knowledge argument had gone astray. Eventually, Jackson did publish a diagnosis of the (...) reasons why, he now thinks, his knowledge argument against materialism fails to prove the falsity of materialism [Jackson 2005. He argues that you can block the knowledge argument against materialism - but only if you tie yourself to a dubious doctrine called representationalism. We argue that the knowledge argument fails as a refutation of either representational or nonrepresentational materialism. It does, however, furnish both materialists and dualists with a successful argument for the existence of distinctively first-person modes of acquaintance with mental states. Jackson's argument does not refute materialism: but it does bring to the surface significant features of thought and experience, which many dualists have sensed, and most materialists have missed. (shrink)

Presentists standardly conform to the eternalist’s paradigm of treating all cases of property-exemplification as involving a single relation of instantiation. This, we argue, results in a much less parsimonious and philosophically explanatory picture than is possible if other alternatives are considered. We argue that by committing to primitive past and future tensed instantiation ties, presentists can make gains in both economy and explanatory power. We show how this metaphysical picture plays out in cases where an individual exists to partake in (...) facts about its past and future, and also in cases where that individual no longer exists, and proxies (or surrogates) for that thing must be found. (shrink)

Throughout his career, Barry Taylor argued for several key theses in semantics and in epistemology. He calls these theses “Antirealism”. I will suggest, however, that a “Realist” could, and perhaps should, accept these semantic and epistemic theses. Doing so would not, I argue, conflict with the core this of philosophical Realism, properly so-called, since this thesis is not semantic or epistemological, but “ontological”. A Realist about (say) badgers is just someone who believes that there are badgers. And Taylor’s semantic and (...) epistemological theses are not intended to entail any denial that there are (say) badgers. However, Taylor argues that the core theses of “realism” cannot be any such merely ontological theses. I will defend a simplistic, “ontological” understanding of “realism” against Taylor’s arguments. Taylor also usefully identifies something that others have called “Common-sense Realism”. But this so-called “Realism”, Taylor argues, is not properly described as any kind of “realism” at all – because it does not affirm Taylor’s key theses in semantics and epistemology. Yet I say it is realism – provided only that it does not also take a perverse stand on a realist’s “Euthyphro” question: Do (say) badgers exist because our ways of talking and knowing would ideally converge on an affirmation of the sentence “Badgers exist”? Isn’t it, rather, the case that, insofar as our ways of talking and knowing would ideally converge on an affirmation of the sentence “Badgers exist”, this is so at least in part because badgers exist? (shrink)

Given Quine's views on philosophical methodology, he should not have taken the axioms of classical mereology to be "self-evident", or "analytic"; but rather, he should have set out to justify them by what might be broadly called an "inference to the best explanation". He does very little to this end. In particular, he does little to examine alternative theories, to see if there might be anything they could explain better than classical mereology can. I argue that there is something important (...) that needs to be explained, namely, the way that properties "travel around in clusters" (eg. we often know that "when and where there is something with such-and-such property, there is also something with so-and-so other property", and so on). I argue that these clusterings of properties can be given various subtle (broadly "commonsense") explanations using a version of mereology that denies the classical axiom of "extensionality" (that is, denying that two distinct things must have distinct parts). I offer a challenge to the Quinean metaphysics: to show that these "non-extensional" explanations can be replaced by better explanations that use only classical, extensional mereology and set theory. (shrink)

Frank Jackson often writes as if his descriptivist account of public language meanings were just plain common sense. How else are we to explain how different speakers manage to communicate using a public language? And how else can we explain how individuals arrive at confident judgments about the reference of their words in hypothetical scenarios? Our aim in this paper is to show just how controversial the psychological assumptions behind in Jackson’s semantic theory really are. First, we explain how Jackson’s (...) theory goes well beyond the commonsense platitudes he cites in its defence. Second, we sketch an alternative explanation of those platitudes, the jazz model of meaning, which we argue is more psychologically realistic. We conclude that the psychological picture presupposed by Jackson’s semantic theory stands in need of a much more substantial defence than he has so far offered. (shrink)

Humean supervenience is the doctrine that there are no necessary connections in the world. David Lewis identifies one big bad bug to the programme of providing Humean analyses for apparently non-Humean features of the world. The bug is chance. We put the bug under the microscope, and conclude that chance is no special problem for the Humean.

Traditionally, forces are causes of a special sort. Forces have been conceived to be the direct or immediate causes of things. Other sorts of causes act indirectly by producing forces which are transmitted in various ways to produce various effects. However, forces are supposed to act directly without the mediation of anything else. But forces, so conceived, appear to be occult. They are mysterious, because we have no clear conception of what they are, as opposed to what they are postulated (...) to do; and they seem to be hidden from direct observations. There is, therefore, strong initial motivation for trying to eliminate forces from physics. Furthermore, as we shall explain, powerful arguments can be mounted to show that theories with forces can always be recast as theories without them. Hence it seems that forces should be eliminated, in the interests of simplicity. We argue, however, that forces should not be eliminated--just differently construed. For the effect of elimination is to leave us without any adequate account of the causal relationships forces were postulated to explain. And this would remain the case, even if forces could be identified with some merely dispositional properties of physical systems. In our view, forces are species of the causal relation itself, and as such have a different ontological status from the sorts of entities normally considered to be related as causes to effects. (shrink)

The authors argue, against Frank Jackson, that weakness (and strength) of will involves higher-order mental states. The authors hold that this is compatible with a decision-theoretic belief-desire psychology of human action.

An association between a pair of variables can consistently be inverted in each subpopulation of a population when the population is partitioned. E.g., a medical treatment can be associated with a higher recovery rate for treated patients compared with the recovery rate for untreated patients; yet, treated male patients and treated female patients can each have lower recovery rates when compared with untreated male patients and untreated female patients. Conversely, higher recovery rates for treated patients in each subpopulation are consistent (...) with a lower recovery rate in the total population when data are aggregated. The arithmetical structures that underlie facts like these support surprising applications of them that invalidate a cluster of arguments that many people, at least initially, take to be intuitively valid. E.g., despite intuitions to the contrary, the following argument is invalid. (shrink)

Holton, we acknowledge, has given a good counter-example to a theory, and that theory is interesting and worth refuting. The theory we have in mind is like Smith's, but is more reductionist in spirit. It is a theory that ties value to Reason and to processes of reasoning, or inference - not to the recognition of reasons and acting on reasons. Such a theory overestimates the importance of logic, truth, inference, and thinking things through for yourself independently of any ideas (...) about where you might end up. Now it might well be thought that any Kantian theory of value would need to be tied to just such a conception of Reason. But while the theory behind The Moral Problem is Kantian in some very salient respects, the survival of Smith's analysis of value in the face of Holton's argument is very instructive. It teaches us a memorable moral: that a Kantian theory like Smith' s does not need to be tied - even loosely - to an overly intellectualised, logocentric conception of Reason. (shrink)

So Emma thought, at least. Could a linguist, could a grammarian, could even a mathematician have seen what she did, have witnessed their appearance together, have heard their history of it, without feeling that circumstances had been at work to make them particularly interesting to each other? — How much more must an imaginist, like herself, be on fire with speculation and foresight!

This book espouses an innovative theory of scientific realism in which due weight is given to mathematics and logic. The authors argue that mathematics can be understood realistically if it is seen to be the study of universals, of properties and relations, of patterns and structures, the kinds of things which can be in several places at once. Taking this kind of scientific platonism as their point of departure, they show how the theory of universals can account for probability, laws (...) of nature, causation, and explanation, and explore the consequences in all these fields. This will be an important book for all philosophers of science, logicians, and metaphysicians, and their graduate students. The readership will also include those outside philosophy interested in the interrelationship of philosophy and science. (shrink)

This paper concerns the semantics of belief-sentences. I pass over ontologically lavish theories which appeal to impossible worlds, or other points of reference which contain more than possible worlds. I then refute ontologically stingy, quotational theories. My own theory employs the techniques of possible worlds semantics to elaborate a Fregean analysis of belief-sentences. In a belief-sentence, the embedded clause does not have its usual reference, but refers rather to its own semantic structure. I show how this theory can accommodate quantification (...) into belief-contexts. I close with skirmishes against the threat posed by the Liar Paradox. (shrink)

Few people can have had many thrills quite like the one Hiram Bingham had when he discovered ruins of what had once been an Incan city, unexpectedly and precariously perched on the knife-edge of a ridge joining two peaks, Machu Picchu and Huayna Picchu (Big Peak and Little Peak), high in the Andes Mountain Range in Peru. He was excited, but also mystified. Was it an abandoned Incan city – or a monastery? or a fortress? or a “University of (...) Idolatry”, as some later suggested? In 1911, Bingham was not in a position to know quite what it was that he had discovered. There were precious few clues on the site, apart from the snugly fitted, massive stones that manifestly had once constituted walls, lanes, stairways, aqueducts, drains, and other constructions of monumental architecture. These stone ruins can be reached by a three days’ walk along Incan trails that follow high ridges, winding northwest from the ancient Incan capital city, Cuzco. But Bingham did not follow the high trails of the Incas. Being an explorer of European descent, he followed rivers that plunged, at first westwards, down steep, narrow valleys, but destined eventually to feed into the Amazon Basin, in the jungles far away to the northeast, and to empty into the Atlantic Ocean. From the jungles of the valley floor, Bingham climbed up to these ruins on a ridge far above him. When he reached the ridge and saw the secret stones there, he was elated, and intrigued. Many years later, comic books appeared with a dashing hero, “Indiana Jones”, an archaeologist from an American University, who was in some ways rather like Bingham; and later, these comics were translated into a series of Hollywood movies. The comics and movies no doubt leave out many of the more tedious tasks required of 3 archaeologists in their daily work – but they do convey some giddy feelings, and wild fantasies, a little like those that might sometimes buzz about inside an explorer’s head, on discovering a mysterious site like Machu Picchu. Before discovering these ruins, Bingham had sifted through written records, seeking clues to the locations of lost Incan cities, and found none mentioning this place.. (shrink)

Vectors, we will argue, are not just mathematical abstractions. They are also physical properties--universals. What make them distinctive are the rich and varied essences of these universals, and the complex pattern of internal relations which hold amongst them.

Probability measures can be constructed using the measure-theoretic techniques of Caratheodory and Hausdorff. Under these constructions one obtains first an outer measure over "events" or "propositions." Then, if one restricts this outer measure to the measurable propositions, one finally obtains a classical probability theory. What I argue is that outer measures can also be used to yield the structures of probability theories in quantum mechanics, provided we permit them to range over at least some unmeasurable propositions. I thereby show that (...) nonclassical probability theories can be seen to arise naturally within the framework of possible worlds semantics. (shrink)

Here is a simplified fiction which is based on a real case at a Californian University. The Faculty of Humanities decided to try to increase the number of women on their staff. There were 13 women and 13 men who applied for positions in the Faculty. All the positions were directed towards the study of either time or space, in the departments of History or Geography. There were 13 applicants for the positions in History and 13 applicants for the positions (...) in Geography. Of the women applicants 8 applied for positions in History, and 5 for Geography, whereas 5 of the men applied for positions in History and 8 in Geography. (shrink)

I. Logic, rationality and ideology Herbert Marcuse once claimed that the ‘“rational” is a mode of thought and action which is geared to reduce ignorance, destruction, brutality, and oppression.’ He echoed a widespread folk belief that a world in which people were rational would be a better world. This could be taken as an optimistic empirical conjecture: if people were more rational then probably the world would be a better place (a trust that ‘virtue will be rewarded’, so to speak). (...) However, it is also worth considering a stronger hypothesis: that if something did not reduce ignorance, destruction, brutality, and oppression then it would not constitute rationality. On this view there is no mere correlation between rationality and a propensity toward reduction in ignorance and the rest, it is the propensity to reduce ignorance, destruction, brutality and oppression which in part constitutes rationality. Call this a broad conception of rationality, because it expands beyond the epistemic goal of reducing ignorance, and reaches out to moral concerns like oppression. (shrink)

An analysis of indefinite probability statements has been offered by Jackson and Pargetter (1973). We accept that this analysis will assign the correct probability values for indefinite probability claims. But it does so in a way which fails to reflect the epistemic state of a person who makes such a claim. We offer two alternative analyses: one employing de re (epistemic) probabilities, and the other employing de dicto (epistemic) probabilities. These two analyses appeal only to probabilities which are accessible to (...) a person who makes an indefinite probability judgment, and yet we prove that the probabilities which either of them assigns will always be equivalent to those assigned by the Jackson and Pargetter analysis. (shrink)

Let λ ≤ κ be infinite cardinals and let Ω be a set of cardinality κ. The bounded permutation group B λ (Ω), or simply B λ , is the group consisting of all permutations of Ω which move fewer than λ points in Ω. We say that a permutation group G acting on Ω is a supplement of B λ if B λ G is the full symmetric group on Ω. In [7], Macpherson and Neumann claimed to have classified (...) all supplements of bounded permutation groups. Specifically, they claimed to have proved that a group G acting on the set Ω is a supplement of B λ if and only if there exists $\Delta \subset \Omega$ with $|\Delta| such that the setwise stabiliser G {Δ} acts as the full symmetric group on $\Omega\setminus\Delta$ . However I have found a mistake in their proof. The aim of this paper is to examine conditions under which Macpherson and Neumann's claim holds, as well as conditions under which a counterexample can be constructed. In the process we will discover surprising links with cardinal arithmetic and Shelah's recently developed pcf theory. (shrink)

En los últimos dos años hemos presenciado como el modelo neoliberal chileno se encuentra en amplio cuestionamiento. Los movimientos y las movilizaciones sociales, han marcado la agenda política del gobierno del Presidente de Chile Sebastián Piñera, exhibiendo un alto índice de conflictividad y protesta social, acompañada de la emergencia de distintos actores sociales y activistas de distintas esferas sociales, que han configurado un escenario histórico de organización de la sociedad civil. En ésta crisis de la matriz de dominación neoliberal el (...) estado ha desarrollado estrategias de construcción de verdad, como forma de sobrellevar una creciente paranoia política y un sádico goce del poder que se resiste a la redefinición de la relación entre Estado-Mercado-Sociedad. (shrink)

Entre los meses de julio y octubre de 2010 se llevó a cabo una huelga de hambre de 38 comuneros mapuches, presos en distintas cárceles de Chile, debido a una serie de incidentes y conflictos con el Estado, los cuales han sido catalogados por las autoridades como >. Este hecho visibilizó un conflicto entre el Estado y el pueblo mapuche, a partir de la violencia de estado ejercida en sus formas de control, represión y castigo hacia un sector de la (...) población que lucha por demandas ancestrales e históricas, y que exponen una serie de contradicciones sintomáticas en el seno del Estado. A continuación se pretende realizar un análisis que aborda, resumidamente, las distintas posiciones de los actores involucrados en el conflicto y las principales betas de un ejercicio político de violencia, en su direccionalidad, intencionalidad y rigurosidad, como elemento paradójico de la construcción práctica y discursiva de un escenario democrático. (shrink)

Unity in government -- The family in English history -- Medieval English sovereignty -- The old jury -- Becket and the law.

The theme of the third annual Spring workshop of the HUPO-PSI was proteomics and beyond and its underlying goal was to reach beyond the boundaries of the proteomics community to interact with groups working on the similar issues of developing interchange standards and minimal reporting requirements. Significant developments in many of the HUPO-PSI XML interchange formats, minimal reporting requirements and accompanying controlled vocabularies were reported, with many of these now feeding into the broader efforts of the Functional Genomics Experiment (FuGE) (...) data model and Functional Genomics Ontology (FuGO) ontologies. (shrink)

One account of the history of computation might begin in the 1930’s with some of the work of Alonzo Church, Alan Turing, and Emil Post. One might say that this is where something like the core concept of computation was first formally articulated. Here were the first attempts to formalize an informal notion of an algorithm or effective procedure by which a mathematician might decide one or another logico-mathematical question. As each of these formalisms was shown to compute the same (...) set of functions—the partial recursive functions—each of them might be described as a form of Turing-equivalent computation. This work set the cornerstone for what we might call computation theory. This history might then proceed to give pride of place to this form of computation in subsequent developments in cognitive science and in related disciplines and subdisciplines. Such a history might note that, in the 1940’s, the results of this work would have been transferred into the emerging field of computer science with the design and construction of the first electronic digital computers. Here one would mention Turing again, as well as perhaps Norbert Wiener, Julian Bigelow, John von Neumann, and many others. At about the same time, this theory of computation would have been inserted into the theory of neural networks by way of Warren McCulloch and Walter Pitts’s seminal work, “A Logical Calculus of the Ideas Immanent in Nervous Activity.” Somewhat later, during the 1960’s, Hilary Putnam introduced Turing machine tables into the philosophy of mind as a tool for illuminating various features of the mind-body problem, eventually transforming the intellectual landscape in the metaphysics of mind. Also during the 1960’s, Turingequivalent computation would have infiltrated psychology through the influence of Chomskyan linguistics and under the rubric of information processing psychology. Further, such computation would have been integrated into the fields of cognitive science and neuroscience as they emerged during the 1970’s and 1980’s.. (shrink)

One account of the history of computation might begin in the 1930's with some of the work of Alonzo Church, Alan Turing, and Emil Post. One might say that this is where something like the core concept of computation was first formally articulated. Here were the first attempts to formalize an informal notion of an algorithm or effective procedure by which a mathematician might decide one or another logico-mathematical question. As each of these formalisms was shown to compute the same (...) set of functions—the partial recursive functions—each of them might be described as a form of Turing-equivalent computation. This work set the cornerstone for what we might call computation theory. This history might then proceed to give pride of place to this form of computation in subsequent developments in cognitive science and in related disciplines and subdisciplines. Such a history might note that, in the 1940's, the results of this work would have been transferred into the emerging field of computer science with the design and construction of the first electronic digital computers. Here one would mention Turing again, as well as perhaps Norbert Wiener, Julian Bigelow, John von Neumann, and many others. At about the same time, this theory of computation would have been inserted into the theory of neural networks by way of Warren McCulloch and Walter Pitts's seminal work, “A Logical Calculus of the Ideas Immanent in Nervous Activity.” Somewhat later, during the 1960's, Hilary Putnam introduced Turing machine tables into the philosophy of mind as a tool for illuminating various features of the mind-body problem, eventually transforming the intellectual landscape in.. (shrink)

Church and Fitch have argued that from the verificationationist thesis “for every proposition, if this proposition is true, then it is possible to know it” we can derive that for every truth there is someone who knows that truth. Moreover, Humberstone has shown that from the latter proposition we can derive that someone knows every truth, hence that there is an omniscient being. In his article “Omnificence”, John Bigelow adapted these arguments in order to argue that from the assumption (...) "every contingent proposition is such that if it is true something brought it about that it is true" we can derive that there is an omnificent being: a being that brings it about that every true contingent proposition is true. In my reply to his article, I show that Bigelow’s argument is flawed because there is some formal property that the knowledge operator has but that the bringing about operator lacks. This is the property of distributing over conjunctions. I explain why what brings it about that some conjunctive proposition is true need not bring it about that its conjuncts are true. (shrink)

I respond to Ned Block’s claim that it is ridiculous to suppose that consciousness is a cultural construction based on language and learned in childhood. Block is wrong to dismiss social constructivist theories of consciousness on account of it being ludicrous that conscious experience is anything but a biological feature of our animal heritage, characterized by sensory experience, evolved over millions of years. By defending social constructivism in terms of both Julian Jaynes’ behaviorism and J.J. Gibson’s ecological psychology, I (...) draw a distinction between the experience or what-it-is-like of nonhuman animals engaging with the environment and the secret theater of speechless monologue that is familiar to a linguistically competent human adult. This distinction grounds the argument that consciousness proper should be seen as learned rather than innate and shared with nonhuman animals. Upon establishing this claim, I defend the Jaynesian definition of consciousness as a social–linguistic construct learned in childhood, structured in terms of lexical metaphors and narrative practice. Finally, I employ the Jaynesian distinction between cognition and consciousness to bridge the explanatory gap and deflate the supposed hard problem of consciousness. (shrink)

Review of Julian Savulescu, Ruud ter Meulen and Guy Kahane eds., Enhancing Human Capacities Content Type Journal Article Category Book Review Pages 1-4 DOI 10.1007/s12152-011-9148-y Authors Thomas Johnson, Graduate School of Humanities and Social Sciences, University of Melbourne, Parkville, VIC, Australia Journal Neuroethics Online ISSN 1874-5504 Print ISSN 1874-5490.

Julian of Norwich emphasizes God’s eternal and unchanging love for humankind. Her visions show how God is not angry with our sins and so has no need to forgive us. God does not shame or blame us but excuses us and plans how to reward and compensate us for sin. In relation to Mother Jesus, we remain dear lovely children who need help, correction, and education. Although these remarks suggest to some that Julian must be soft on sin, (...) that she has no adequate appreciation of the worthiness of God or the dignity of human nature, I argue that this is far from the case. On the contrary, she makes Divine worthiness axiomatic and urges readers to live into it. She relocates human dignity not in its intrinsic value but in our centrality to God’s plan. She measures the seriousness of sin in terms of the real hard work it takes to rear us up out of it: crucifixion for Christ, the hell of being a sinner and the crucifixion of life-long penance for us. Nevertheless, the brightness of her visions dominates with her assurance that despite the sin-produced sufferings of this present life, all will be well. (shrink)

Julian Cole argues that mathematical domains are the products of social construction. This view has an initial appeal in that it seems to salvage much that is good about traditional platonistic realism without taking on the ontological baggage. However, it also has problems. After a brief sketch of social constructivist theories and Cole’s philosophy of mathematics, I evaluate the arguments in favor of social constructivism. I also discuss two substantial problems with the theory. I argue that unless and until (...) social constructivists can address the two concerns, we have reason to be skeptical about social constructivism in the philosophy of mathematics. (shrink)

In (Holton 1996) I argued that the account of value that Michael Smith has offered was vulnerable to a counter-example in the person of the Muggletonians. Smith argued, roughly, that what one values is what one would desire if one were fully rational. I objected that the Muggletonians held the path of Reason to be the path to evil. According to them, a fully rational person would have their desires so corrupted that they would become, quite literally, Satan. Thus they (...) believed that their fully rational selves would have blasphemed against God; but blaspheming against God was not what they valued. Smith and Bigelow have responded to my alleged counter-example (Bigelow and Smith 1997). They object that my understanding of Smith’s position is itself over rationalistic. We shouldn’t think of the fully rational person as someone who follows the path of Reason wherever it might lead. Rather we should think that the fully rational person is someone who does what they have reason to do. The Muggletonians thought that following the path of Reason would lead them to do things that they have no reason to do; so they believed it would not be rational, in the sense relevant to Smith’s analysis, to follow that path. Hence they provide no counterexample to the analysis. This is an unpublished reply to their paper. (shrink)

Julian Huxley on Darwinian evolution: A snapshot of a theory Content Type Journal Article DOI 10.1007/s11016-010-9499-8 Authors Michael Ruse, Department of Philosophy, Florida State University, Tallahassee, FL 32303, USA Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

Este trabajo indaga las resemantizaciones del mito de Venus en tres poetas latinoamericanos: Julián del Casal, Rubén Darío y José Lezama Lima teniendo en cuenta la intertextualidad y las poéticas correspondientes. This paper analyses the Venus myth appropiation into the poetry of Julián del Casal, Rubén Darío and José Lezama Lima considering their poetry and intertextuality.