1. 79278.180407
    This paper explores the theme “quantum approaches to consciousness” by considering the work of one of the pioneers in the field. The physicist David Bohm (1917-1992) not only made important contributions to quantum physics, but also had a long-term interest in interpreting the results of quantum physics and relativity in order to develop a general world view. His idea was further that living and mental processes could be understood in a new, scientifically and philosophically more coherent way in the context of such a new world view. This paper gives a brief overview of different – and sometimes contradictory - aspects of Bohm’s research programme, and evaluates how they can be used to give an account of topics of interest in contemporary consciousness studies, such as analogies between thought and quantum processes, the problem of mental causation, the mind-body problem and the problem of time consciousness.
    Found 22 hours, 1 minute ago on PhilPapers
  2. 89322.180492
    Many religions offer hope for a life that transcends death and believers find great comfort in this. Non-believers typically do not have such hopes. In the face of death, they may find consolation in feeling contented with the life they have lived. But do they have hopes? I will identify a range of distinctly secular hopes at the end of life. Nothing stops religious people from sharing these secular hopes, in addition to their hope for eternal life. I will distinguish between (a) hopes about one’s life, (b) hopes about one’s death, (c) hopes about attitudes of others, and (d) hopes about the future. But before turning to these hopes, I will reflect on the following question: What is it that would keep a person from hoping for eternal life?
    Found 1 day ago on Luc Bovens's site
  3. 125710.180513
    We hear the term bandied about all the time. A man cheats on his wife. We are told that this is simply part of his 'nature’ - that men have evolved to be philanderers. Two young men fight on the streets, taunting and goading each other on. …
    Found 1 day, 10 hours ago on John Danaher's blog
  4. 150711.180533
    Let an argument be modally valid just in case, necessarily, if its premises are true, then its conclusion is true. Propositions begins with the assumption that some arguments are modally valid. Chapter 1—‘Propositions and Modal Validity’—argues that the premises and conclusions of modally valid arguments exist necessarily, have their truth conditions essentially, and are the fundamental bearers of truth and falsity. Again, some arguments are modally valid. So there are the premises and conclusions of modally valid arguments. So there are necessarily existing fundamental bearers of truth and falsity that have their truth conditions essentially. I shall call these entities ‘propositions’. So there are propositions.
    Found 1 day, 17 hours ago on Trenton Merricks's site
  5. 150738.180551
    In Dasgupta (2013) I defended a relationalist view of mass. On this view mass is fundamentally relational, so that the state of a physical system vis-a-vis mass consists at bottom just in facts about mass-relationships, such as that one body is more massive than another. This is in contrast to the absolutist view that in addition to the mass-relations there are further facts about which “intrinsic” mass each body has. In my paper I discussed a number of virtues of
    Found 1 day, 17 hours ago on Shamik Dasgupta's site
  6. 150805.180566
    The counterfactual tradition to defining actual causation has come a long way since Lewis started it off. However there are still important open problems that need to be solved. One of them is the (in)transitivity of causation. Endorsing transitivity was a major source of trouble for the approach taken by Lewis, which is why currently most approaches reject it. But transitivity has never lost its appeal, and there is a large literature devoted to understanding why this is so. Starting from a survey of this work, we will develop a formal analysis of transitivity and the problems it poses for causation. This analysis provides us with a sufficient condition for causation to be transitive, a sufficient condition for dependence to be necessary for causation, and several characterisations of the transitivity of dependence. Finally, we show how this analysis leads naturally to several conditions a definition of causation should satisfy, and use those to suggest a new definition of causation.
    Found 1 day, 17 hours ago on Ergo
  7. 209105.180587
    The Holodeck - Star Trek There is an apple in front of me. I can see it, but I can’t touch it. The reason is that the apple is actually a 3-D rendered model of an apple. It looks like an apple, but exists only within a virtual environment — one that is projected onto the computer screen in front of me. …
    Found 2 days, 10 hours ago on John Danaher's blog
  8. 310104.180603
    According to priority monism there are many concrete entities and there is one, the cosmos, that is ontologically prior to all the others. I begin by clarifying this thesis as well as its main rival, priority atomism. I show how the disagreement between the priority monist and atomist ultimately turns on how the thesis of concrete foundationalism is implemented. While it’s standard to interpret priority monism as being metaphysically non-contingent, I show that there are two competing, prima facie plausible conceptions of metaphysical necessity—the essence-based and law-based conceptions—on which it is reasonable to view its modal status differently. This, I suggest, is good for the priority monist—various objections to the thesis presuppose that it’s metaphysically non-contingent, while there are arguments for the thesis that don’t make the presupposition.
    Found 3 days, 14 hours ago on PhilPapers
  9. 368335.180618
    In the comments on the previous post I was alerted, by Matthias Michel, to a couple of papers that I had not yet read. The first was a paper in Neuroscience Research which came out in 2016: Using category theory to assess the relationship between consciousness and integrated information theory by Naotsugu Tsuchiya, Shigeru Taguchi, and Hayato Saigo And the second was a paper in Philosophy Compass that came out in March 2017: “What is it like to be a bat?”—a pathway to the answer from the integrated information theory by Naotsugu Tsuchiya After reading these I realized that I had heard an early version of this stuff when I was part of a plenary session with Tsuchiya in Tucson back in April of 2016. …
    Found 4 days, 6 hours ago on Richard Brown's blog
  10. 368340.180633
    We owe to Frege in Begriffsschrift our modern practice of taking unrestricted quantification (in one sense)  as basic. I mean, he taught us how to rephrase restricted quantifications by using unrestricted quantifiers plus connectives in the now familiar way, so that e.g. …
    Found 4 days, 6 hours ago on Peter Smith's blog
  11. 811872.180648
    Scientists have developed a new technology, CRISPR-Cas9, for editing genes in day old human embryos. The technology (explained here with terrific graphics) was used to edit out a gene that leads to a severe heart detect, though the embryos were then discarded. …
    Found 1 week, 2 days ago on Jean Kazez's blog
  12. 837099.180663
    Psychophysical supervenience requires that the mental properties of a system cannot change without the change of its physical properties. For a system with many minds, the principle requires that the mental properties of each mind of the system cannot change without the change of the physical properties of the system. In this paper, I argue that Everett’s theory seems to violate this principle of psychophysical supervenience. The violation results from the three key assumptions of the theory: (1) the completeness of the physical description by the wave function, (2) the linearity of the dynamics for the wave function, and (3) multiplicity. For a post-measurement state with two decoherent result branches, multiplicity means that each result branch corresponds to a mindful observer, whose mental properties supervene on the branch, and in particular, whose mental content contains a definite record corresponding to the result branch. Under certain unitary evolution which swaps the two result branches, the post-measurement state does not change, and the completeness of the physical description by the wave function then means that the physical state of the composite system does not change. While the linearity of the dynamics for the wave function requires that each result branch changes, and correspondingly the mental properties of the observer which supervene on the branch also change. Thus the principle of psychophysical supervenience as defined above is violated by Everett’s theory.
    Found 1 week, 2 days ago on PhilSci Archive
  13. 876760.180677
    The essay begins with a taxonomy of the major contexts in which the notion of ‘style’ in mathematics has been appealed to since the early twentieth century. These include the use of the notion of style in comparative cultural histories of mathematics, in characterizing national styles, and in describing mathematical practice. These developments are then related to the more familiar treatment of style in history and philosophy of the natural sciences where one distinguishes ‘local’ and ‘methodological’ styles. It is argued that the natural locus of ‘style’ in mathematics falls between the ‘local’ and the ‘methodological’ styles described by historians and philosophers of science.
    Found 1 week, 3 days ago on Stanford Encyclopedia of Philosophy
  14. 876766.180691
    Nelson Goodman has certainly been one of the most influential figures in contemporary aesthetics and analytic philosophy in general (in addition to aesthetics, his contributions cover the areas of applied logic, metaphysics, epistemology, and philosophy of science). His Languages of Art (first published in 1968 [Goodman 1976]), together with Ernst Gombrich’s Art and Illusion (1960) and Richard Wollheim’s Art and Its Objects (1968), represents a fundamental turning point in the analytic approach to artistic issues in Anglo-American philosophy. His often unorthodox take on art is part of a general approach to knowledge and reality, and is always pervasively informed by his cognitivism, nominalism, relativism, and constructivism.
    Found 1 week, 3 days ago on Stanford Encyclopedia of Philosophy
  15. 934489.180706
    Scientists and philosophers frequently speak about levels of description, levels of explanation, and ontological levels. This paper proposes a unified framework for modelling levels. I give a general definition of a system of levels and show that it can accommodate descriptive, explanatory, and ontological notions of levels. I further illustrate the usefulness of this framework by applying it to some salient philosophical questions: (1) Is there a linear hierarchy of levels, with a fundamental level at the bottom? And what does the answer to this question imply for physicalism, the thesis that everything supervenes on the physical? (2) Are there emergent properties? (3) Are higher-level descriptions reducible to lower-level ones? (4) Can the relationship between normative and non-normative domains be viewed as one involving levels? Although I use the terminology of “levels”, the proposed framework can also represent “scales”, “domains”, or “subject matters”, where these are not linearly but only partially ordered by relations of supervenience or inclusion.
    Found 1 week, 3 days ago on PhilSci Archive
  16. 1010207.18072
    Transhumanism is a movement aimed at enhancing and lengthening our lives by means of futuristic technology. The name derives from the ultimate goal of freeing us from the limitations imposed by our humanity. Human beings are subject to many ills: disability, exhaustion, hunger, injury, disease, ageing, and death, among others. They set a limit to the length and quality of our lives. There’s only so much you can do to make a human being better off, simply because of what it is to be human. But if we could cease to be human in the biological sense–better yet, if we could cease to be biological at all–these limitations could be overcome. An inorganic person would not be subject to exhaustion, disease, ageing, or death. The length and quality of her life could be extended more or less indefinitely. So it would be a great benefit, transhumanists say, if we could make ourselves inorganic.
    Found 1 week, 4 days ago on Eric Olson's site
  17. 1043756.180745
    J. D. Hamkins and O, “The modal logic of set-theoretic potentialism and the potentialist maximality principles.” (manuscript in preparation)   Citation arχiv @ARTICLE{HamkinsLinnebo:Modal-logic-of-set-theoretic-potentialism, author = {Joel David Hamkins and {\O}ystein Linnebo}, title = {The modal logic of set-theoretic potentialism and the potentialist maximality principles}, journal = {}, year = {}, volume = {}, number = {}, pages = {}, month = {}, note = {manuscript in preparation}, abstract = {}, keywords = {}, source = {}, eprint = {1708.01644}, archivePrefix = {arXiv}, primaryClass = {math.LO}, url = {http://jdh.hamkins.org/set-theoretic-potentialism}, doi = {}, } Abstract. …
    Found 1 week, 5 days ago on Joel David Hamkins's blog
  18. 1049846.180761
    The standard propositional account of necessary and sufficient conditions in many introductory logic textbooks is based on the material conditional. Some examples include (Barker-Plummer, Barwise, and Etchemendy 2011: 181-182), (Churchill 1986: 391-392), (Forbes 1994: 20-25), (Gabbay 2002: 68), (Haight 1999: 187-189), (Halverson 1984: 285- 286), (Hardegree 2011: 129), (Layman 2002: 250-251), (Leblanc and Wisdom 1976: 16-18), (Salmon 1984: 47-48), (P. Smith 2003: 132), (Suppes 1957: 8-10) and (Watson and Arp 2015: 149). In the appendix, pertinent excerpts from some of these resources are provided. In general, the typical exposition goes along the following lines (again, cf. the appendix): • “A is sufficient for B” is best rendered as “if A, then B”, or symbolically, (A ⊃ B). • “A is necessary for B” is best rendered as ”if not A, then not B”, or symbolically, (¬A ⊃ ¬B). This is equivalent to (B ⊃ A).
    Found 1 week, 5 days ago on The Australasian Journal of Logic
  19. 1077602.180776
    Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends.
    Found 1 week, 5 days ago on Barry Smith's site
  20. 1100170.18079
    What is an epiphenomenal property? This question needs to be settled before we get to decide whether higher-level properties are epiphenomenal or not. In this paper, I offer an account of what it is for a property to have some causal power. From this, I derive a characterisation of the notion of an epiphenomenal property. I then argue that physically realized higher-level properties are not epiphenomenal because laws of nature impose causal similarities on the bearers of such properties, and these similarities figure as powers in the causal profiles of these properties.
    Found 1 week, 5 days ago on PhilPapers
  21. 1240216.180804
    The Integrated Information Theory of Consciousness has been garnering some attention lately. There was even a very high profile piece in Nature. Having just listened to Hakwan Lau’s talk on this (available at this conference website) I thought I would write down a couple of reactions. …
    Found 2 weeks ago on Richard Brown's blog
  22. 1292375.18082
    Suppose a blind man can tell by touch the difference between a sphere and a cube: Suppose then the cube and sphere placed on a table, and the blind man to be made to see. Quaere, whether by his sight, before he touched them, he could now distinguish, and tell, which is the globe, which the cube.
    Found 2 weeks ago on Jonathan Cohen's site
  23. 1323913.180834
    University of Massachusetts Amherst 1. Introduction. Humeans have a problem with quantities. A core principle of any Humean account of modality is that fundamental entities can freely recombine. But determinate quantities, if fundamental, seem to violate this core principle: determinate quantities belonging to the same determinable necessarily exclude one another. Call this the problem of exclusion. Prominent Humeans have responded in various ways. Wittgenstein (1929), when he resurfaced to philosophy, gave the problem of exclusion as a reason to abandon the logical atomism of the Tractatus with its free recombination of elementary propositions. Armstrong (1978) and (1989) promoted a mereological solution to the problem of exclusion; but his account fails in manifold ways to provide a general solution to the problem. Lewis studiously avoided committing to any one solution, trusting simply that, since Humeanism was true, there had to be some solution. Abandonment; failure; avoidance: we Humeans need to do better. It is high time we Humeans confronted and dispatched this elephant in the room.
    Found 2 weeks, 1 day ago on Phillip Bricker's site
  24. 1325878.18085
    Is virtual reality truly real? The most common view is that virtual reality is a sort of fictional or illusory reality, and that what goes in in virtual reality is not truly real. I will defend the opposite view: virtual reality is a sort of genuine reality, and what goes on in virtual reality is truly real. The issue manifests itself in a number of questions. Are virtual objects, such as the avatars and tools found in a typical virtual world, real or fictional? Do virtual events, such as a trek through a virtual world, really take place? When we perceive virtual worlds by having immersive experiences of a world surrounding us, are our experiences illusory? And are experiences in a virtual world as valuable as experiences in a nonvirtual world?
    Found 2 weeks, 1 day ago on David Chalmers's site
  25. 1325889.180864
    When I was in graduate school, I recall hearing “One starts as a materialist, then one becomes a dualist, then a panpsychist, and one ends up as an idealist”. I don’t know where this comes from, but I think the idea was something like this. First, one is impressed by the successes of science, endorsing materialism about everything and so about the mind. Second, one is moved by problem of consciousness to see a gap between physics and consciousness, thereby endorsing dualism, where both matter and consciousness are fundamental. Third, one is moved by the inscrutability of matter to realize that science reveals at most the structure of matter and not its underlying nature, and to speculate that this nature may involve consciousness, thereby endorsing panpsychism. Fourth, one comes to think that there is little reason to believe in anything beyond consciousness and that the physical world is wholly constituted by consciousness, thereby endorsing idealism. Some recent strands in philosophical discussion of the mind–body problem have recapitulated this progression: the rise of materialism in the 1950s and 1960s, the dualist response in the 1980s and 1990s, the festival of panpsychism in the 2000s, and some recent stirrings of idealism. In my own work, I have certainly taken the first two steps and have flirted heavily with the third. In this paper I want to examine the prospects for the fourth step: the move to idealism.
    Found 2 weeks, 1 day ago on David Chalmers's site
  26. 1330691.180878
    We define a notion of difference-making for partial grounds of a fact in rough analogy to existing notions of difference-making for causes of an event. Using orthodox assumptions about ground, we show that it induces a non-trivial division with examples of partial grounds on both sides. We then demonstrate the theoretical fruitfulness of the notion by applying it to the analysis of a certain kind of putative counter-example to the transitivity of ground recently described by Jonathan Schaffer. First, we show that our conceptual apparatus of difference-making enables us to give a much clearer description than Schaffer does of what makes the relevant instances of transitivity appear problematic. Second, we suggest that difference-making is best seen as a mark of good grounding-based explanations rather than a necessary condition on grounding, and argue that this enables us to deal with the counter-example in a satisfactory way. Along the way, we show that Schaffer’s own proposal for salvaging a form of transitivity by moving to a contrastive conception of ground is unsuccessful. We conclude by sketching some natural strategies for extending our proposal to a more comprehensive account of grounding-based explanations.
    Found 2 weeks, 1 day ago on PhilPapers
  27. 1337935.180892
    According to the iterative conception of sets, standardly formalized by ZFC, there is no set of all sets. But why is there no set of all sets? A simple-minded, though unpopular, “minimal” explanation for why there is no set of all sets is that the supposition that there is contradicts some axioms of ZFC. In this paper, I first explain the core complaint against the minimal explanation, and then argue against the two main alternative answers to the guiding question. I conclude the paper by outlining a close alternative to the minimal explanation, the conception-based explanation, that avoids the core complaint against the minimal explanation.
    Found 2 weeks, 1 day ago on PhilSci Archive
  28. 1341821.180907
    A number of philosophers and logicians have argued for the conclusion that maps are logically tractable modes of representation by analyzing them in propositional terms. But in doing so, they have often left what they mean by ‘propositional’ undefined or unjustified. I argue that propositions are characterized by a structure that is digital, universal, asymmetrical, and recursive. There is little positive evidence that maps exhibit these features. Instead, we can better explain their functional structure by taking seriously the observation that maps arrange their constituent elements in a non-hierarchical, holistic structure. This is compatible with the more basic claim advanced by defenders of a propositional analysis: that (many) maps do have a formal semantics and logic.
    Found 2 weeks, 1 day ago on Elisabeth Camp's site
  29. 1347148.180921
    Frege's logicism, the thesis that "the laws of arithmetic are analytic'' is standardly taken to be an important epistemological thesis. The traditional view of Frege's work is that his "reduction'' of arithmetic to logic was intended to provide the cornerstone of an argument that the truths of arithmetic are knowable a priori and independently of anything which Kant would have labelled “intuition”. The truth of Fregean logicism would, on this view, have repudiated the explanations of arithmetical knowledge offered by Kant and by Mill. It would have provided an explanation of arithmetical knowledge which was acceptable from a generally empiricist perspective, and which preserved the intuition that arithmetical truths are necessary and knowable a priori.
    Found 2 weeks, 1 day ago on Patricia Blanchette's site
  30. 1353540.180935
    What we call the Hilbert-Bernays (HB) Theorem establishes that for any satisfiable first-order quantificational schema S, there are expressions of elementary arithmetic that yield a true sentence of arithmetic when they are substituted for the predicate letters in S. Our goals here are, first, to explain and defend W. V. Quine’s claim that the HB theorem licenses us to define the first-order logical validity of a schema in terms of predicate substitution; second, to clarify the theorem by sketching an accessible and illuminating new proof of it; and, third, to explain how Quine’s substitutional definition of logical notions can be modified and extended in ways that make it more attractive to contemporary logicians.
    Found 2 weeks, 1 day ago on Gary Ebbs's site