This paper articulates a way to ground a relatively high prior probability for grand explanatory theories apart from an appeal to simplicity. I explore the possibility of enumerating the space of plausible grand theories of the universe by using the explanatory properties of possible views to limit the number of plausible theories. I motivate this alternative grounding by showing that Swinburne’s appeal to simplicity is problematic along several dimensions. I then argue that there are three plausible grand views—theism, atheism, and (...) axiarchism—which satisfy explanatory requirements for plausibility. Other possible views lack the explanatory virtue of these three theories. Consequently, this explanatory grounding provides a way of securing a nontrivial prior probability for theism, atheism, and axiarchism. An important upshot of my approach is that a modest amount of empirical evidence can bear significantly on the posterior probability of grand theories of the universe. (shrink)

Prerequisite to memory is a past distinct from present. Because wave evolution is both continuous and time-reversible, the undisturbed quantum system lacks a distinct past and therefore the possibility of memory. With the quantum transition, a reversibly evolving superposition of values yields to an irreversible emergence of definite values in a distinct and transient moment of time. The succession of such moments generates an irretrievable past and thus the possibility of memory. Bohm’s notion of implicate and explicate order provides a (...) conceptual basis for memory as a general feature of nature akin to gravity and electromagnetism. I propose that natural memory is an outcome of the continuity of implicate time in the context of discontinuous explicate time. Among the ramifications of natural memory are that laws of nature can propagate through time much like habits and that personal memory does not require neural information storage. (shrink)

It is a widespread intuition that the coherence of independent reports provides a powerful reason to believe that the reports are true. Formal results by Huemer, M. 1997. “Probability and Coherence Justification.” Southern Journal of Philosophy 35: 463–72, Olsson, E. 2002. “What is the Problem of Coherence and Truth?” Journal of Philosophy XCIX : 246–72, Olsson, E. 2005. Against Coherence: Truth, Probability, and Justification. Oxford University Press., Bovens, L., and S. Hartmann. 2003. Bayesian Epistemology. Oxford University Press, prove that, under (...) certain conditions, coherence cannot increase the probability of the target claim. These formal results, known as ‘the impossibility theorems’ have been widely discussed in the literature. They are taken to have significant epistemic upshot. In particular, they are taken to show that reports must first individually confirm the target claim before the coherence of multiple reports offers any positive confirmation. In this paper, I dispute this epistemic interpretation. The impossibility theorems are consistent with the idea that the coherence of independent reports provides a powerful reason to believe that the reports are true even if the reports do not individually confirm prior to coherence. Once we see that the formal discoveries do not have this implication, we can recover a model of coherence justification consistent with Bayesianism and these results. This paper, thus, seeks to turn the tide of the negative findings for coherence reasoning by defending coherence as a unique source of confirmation. (shrink)

From Kant’s point of view, the puzzle about judgments of taste is that they claim to normativity—in Kant’s terms, to intersubjective validity or communicability—but nevertheless have only a subjective basis or “determining ground (Bestimmungsgrund).” The task of §9 of the Critique of Judgment in particular is to delineate an account of aesthetic response that accommodates Kant’s solution to this puzzle. If the aesthetic pleasure “precedes” the judgment—in other words, if the judgment is about the pleasure—then the judgment of taste would (...) be merely private, like other judgments about things that cause us pleasure. So the judgment must precede the pleasure. But “nothing… can be universally communicated except cognition, and representation so far as it belongs to cognition. (V:217) Therefore, the determining ground of the judgment of taste must be “the mental state encountered in the relation of the mental powers of representation to each other insofar as they relate a given cognition to cognition in general.” (V:217) A bit later, he calls this state of mind a “feeling of the free play of the powers of representation in a given representation for a given representation for a cognition in general.” The appeal to ‘cognition in general’ can do what Kant needs it to do only if it conveys the normativity of cognition simpliciter but not its conceptual determinacy. I want to propose that we take ‘cognition in general’ to mean ‘integration into a unified system of empirical cognition.’ If I am successful, it will have the consequence that the basis for the normativity of taste— that is, the expectation that others ought to agree with our judgments-- is the same as the basis for the normativity of cognitive judgments. (shrink)

In this paper I defend two closely related claims. The first claim, to which the first section of the paper is devoted, is that for Kant taste is a sort of cognition, that is, a form of awareness of reality for which questions of justification are appropriate. Nevertheless, In our appreciation of natural beauty we are aware of the suitability of appearances for inclusion in a rational system, albeit in a way that is subject to important limitations in comparison with (...) scientific cognition. In the second section of the paper, I will use this reading of Kant’s theory of taste to throw new light on Kant’s account of genius later in the “Critique of Aesthetic Judgment.”. (shrink)

Johann Georg Hamann's "Metakritik über den Purismum der Vernunft" begins with an allusion to Hume's endorsement of Berkeley's rejection of abstract ideas. On the basis of a close examination of the text of the Metakritik, I show that Hamann's overall point is that Kant cannot, or anyway does not, justify the relation of his own linguistic framework to natural language. Thus the Critique cannot meet its own standard for critical self-examination.

The coherence of independent reports provides a strong reason to believe that the reports are true. This plausible claim has come under attack from recent work in Bayesian epistemology. This work shows that, under certain probabilistic conditions, coherence cannot increase the probability of the target claim. These theorems are taken to demonstrate that epistemic coherentism is untenable. To date no one has investigated how these results bear on different conceptions of coherence. I investigate this situation using Thagard’s ECHO model of (...) explanatory coherence. Thagard’s ECHO model provides a natural representation of the evidential significance of multiple independent reports. (shrink)

By eliminating the need for an absolute frame of reference or ether, Einstein resolved the problem of the constancy of light-speed in all inertial frames but created a new problem in our understanding of time. The resolution of this problem requires no experimentation but only a careful analysis of special relativity, in particular the relativity of simultaneity. This concept is insufficiently relativistic insofar as Einstein failed to recognize that any given set of events privileges the frame in which the events (...) occur; relative to those events, only the privileged frame yields the correct measurement. Instead of equally valid frames occupying different times, one frame is correct and all others incorrect within a shared present moment. I conclude that (1) time is a succession of universal moments and (2) in the context of flowing time, time dilation requires absolute simultaneity, whereas relative simultaneity predicts a nonexistent phenomenon here dubbed time regression. (shrink)

Conclusion: The present results support adequate psychometric properties in terms of factorial validity, reliability, convergent validity, and measurement invariance for the PHQ-4 in young adults in Hong Kong. The PHQ-4 demonstrated a substantial mediating role in the relationship between meaning in life and SI in the distress group. These findings support clinical relevance for using the PHQ-4 as a brief and valid measure of psychological distress in the Chinese context.

By deriving the Lorentz transformation from the absolute speed of light, Einstein demonstrated the relativistic variability of space and time, enabling him to explain length contraction and time dilation without recourse to a "luminiferous ether" or preferred frame of reference. He also showed that clocks synchronized at a distance via light signals are not synchronized in a frame of reference differing from that of the clocks. However, by mislabeling the relativity of synchrony the "relativity of simultaneity," Einstein implied that this (...) effect concerns an actual difference in times from one frame to another rather than merely a failure of clock synchronization across frames. As a theory of length contraction and time dilation on the basis of relative motion in the context of the absolute speed of light, special relativity is the definitive interpretation of the Lorentz transformation and the correct explanation of relativistic phenomena. The relativity of simultaneity, as I demonstrate, plays no role in this explanation but instead provides apparent justification for a view of time in which the present moment is frame-dependent. In contrast to its legitimate application, special relativity fails as a theory of time on the basis of the relativity of simultaneity. (shrink)

Why are we conscious? What does consciousness enable us to do that cannot be done by zombies in the dark? This paper argues that introspective consciousness probably co-evolved as a "spandrel" along with our more useful ability to represent the mental states of other people. The first part of the paper defines and motivates a conception of consciousness as a kind of "double vision" – the perception of how things seem to us as well as what they are – along (...) lines recently explored by Peter Carruthers. The second part explains the basic socioepistemic function of consciousness and suggests an evolutionary pathway to this cognitive capacity that begins with predators and prey. The third part discusses the relevance of these considerations to the traditional problem of other minds. (shrink)

Suppositions can be introduced in either the indicative or subjunctive mood. The introduction of either type of supposition initiates judgments that may be either qualitative, binary judgments about whether a given proposition is acceptable or quantitative, numerical ones about how acceptable it is. As such, accounts of qualitative/quantitative judgment under indicative/subjunctive supposition have been developed in the literature. We explore these four different types of theories by systematically explicating the relationships canonical representatives of each. Our representative qualitative accounts of indicative (...) and subjunctive supposition are based on the belief change operations provided by AGM revision and KM update respectively; our representative quantitative ones are offered by conditionalization and imaging. This choice is motivated by the familiar approach of understanding supposition as `provisional belief revision' wherein one temporarily treats the supposition as true and forms judgments by making appropriate changes to their other opinions. To compare the numerical judgments recommended by the quantitative theories with the binary ones recommended by the qualitative accounts, we rely on a suitably adapted version of the Lockean thesis. Ultimately, we establish a number of new results that we interpret as vindicating the often-repeated claim that conditionalization is a probabilistic version of revision, while imaging is a probabilistic version of update. (shrink)

The problem of biological memory led Russell to propose the existence of mnemic causation, a mechanism by which past experience influences current thought directly, that is, without the need for a material intermediary in the form of a neural "memory trace." Russell appears to have been inspired by German biologist Richard Semon's concept of mnemic homophony, which conveys memory to consciousness on the basis of similarity between current and past circumstances. Semon, however, in no way denied a role for stable (...) neural structures or "engrams" in the memory process. In contrast to Russell, contemporary biologist Rupert Sheldrake provides a viable theory of memory by remaining true to Semon's original idea and expanding it beyond personal memory to the collective memory of species, encompassing not only mental but developmental memory. (shrink)

When you and I seriously argue over whether a man of seventy is old enough to count as an "old man", it seems that we are appealing neither to our own separate standards of oldness nor to a common standard that is already fixed in the language. Instead, it seems that both of us implicitly invoke an ideal, shared standard that has yet to be agreed upon: the place where we ought to draw the line. As with other normative standards, (...) it is hard to know whether such borderlines exist prior to our coming to agree on where they are. But epistemicists plausibly argue that they must exist whether we ever agree on them or not, as this provides the only logically acceptable response to the sorites paradox. This paper argues that such boundaries do typically exist as hypothetical ideals, but not as determinate features of the present actual world. There is in fact no general solution to the paradox, but attention to practice in resolving vague disagreements shows that its instances can be dealt with separately, as they arise, in many reasonable ways. (shrink)

An atom is characterized mathematically as an evolving superposition of possible values of properties and experimentally as an instantaneous phenomenon with a precise value of a measured property. Likewise, an organism is to itself a flux of experience and to an observer a tangible body in a distinct moment. Whereas the implicit atom is the stream of computation represented by the smoothly propagating wave function, the implicit organism is both the species from which the body individuates and the personal mind (...) its behavior explicates. As with the wave computation that underlies the atom, the substance of the implicit organism is not matter but information. And like projection from a superposition of potential values to a single outcome in a precise and fleeting moment, the organism actualizes only one of the many possible behaviors calculated in the ongoing presence we know as consciousness. (shrink)

Because an unmeasured quantum system consists of information — neither tangible existence nor its complete absence — no property can be assigned a definite value, only a range of likely values should it be measured. The instantaneous transition from information to matter upon measurement establishes a gradient between being and not-being. A quantum system enters a determinate state in a particular moment until this moment is past, at which point the system resumes its default state as an evolving superposition of (...) potential values of properties, neither strictly being nor not-being. Like a “self-organized” chemical system that derives energy from breaking down environmental gradients, a quantum system derives information from breaking down the ontological gradient. An organism is a body in the context of energy and a mind in the context of information. (shrink)

The foundation of irreversible, probabilistic time -- the classical time of conscious observation -- is the reversible and deterministic time of the quantum wave function. The tendency in physics is to regard time in the abstract, a mere parameter devoid of inherent direction, implying that a concept of real time begins with irreversibility. In reality time has no need for irreversibility, and every invocation of time implies becoming or flow. Neither symmetry under time reversal, of which Newton was well aware, (...) nor the absence of an absolute parameter, as in relativity, negates temporal passage. Far from encapsulating time, irreversibility is a secondary property dependent on the emergence of distinct moments from the ceaseless presence charted by the wave function. (shrink)

Alex Worsnip's recent book, Fitting Things Together: Coherence and the Demands of Structural Rationality, provides a sustained, wide-ranging defence of dualism.

Though Einstein explained time dilation without recourse to a universal frame of reference, he erred by abolishing universal present moments. Relative simultaneity is insufficiently relativistic insofar as it depends on the absolute equality of reference frames in the measurement of the timing of events. Yet any given set of events privileges the frame in which the events take place. Relative to those events, the privileged frame yields the correct measurement of their timing while all other frames yield an incorrect measurement. (...) Instead of multiple frames occupying multiple times, one frame is correct and all others incorrect within a shared present moment. With the collapse of relative simultaneity, we may regard time as a succession of universal moments. Absolute simultaneity, in turn, explains why an accelerated inertial frame dilates in time rather than regressing to a prior moment relative to non-accelerated frames. In the context of flowing time, absolute simultaneity predicts time dilation while relative simultaneity predicts time regression. Einstein's explanation of time dilation is therefore incomplete. (shrink)

Bradford Hill (1965) highlighted nine aspects of the complex evidential situation a medical researcher faces when determining whether a causal relation exists between a disease and various conditions associated with it. These aspects are widely cited in the literature on epidemiological inference as justifying an inference to a causal claim, but the epistemological basis of the Hill aspects is not understood. We offer an explanatory coherentist interpretation, explicated by Thagard's ECHO model of explanatory coherence. The ECHO model captures the complexity (...) of epidemiological inference and provides a tractable model for inferring disease causation. We apply this model to three cases: the inference of a causal connection between the Zika virus and birth defects, the classic inference that smoking causes cancer, and John Snow’s inference about the cause of cholera. (shrink)

AI-supported methods for identifying and combating disinformation are progressing in their development and application. However, these methods face a litany of epistemic and ethical challenges. These include (1) robustly defining disinformation, (2) reliably classifying data according to this definition, and (3) navigating ethical risks in the deployment of countermeasures, which involve a mixture of harms and benefits. This paper seeks to expose and offer preliminary analysis of these challenges.

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense.] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics and there are many new abstractions from advances in mathematics. Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

ABSTRACT: BACKGROUND: The governments and citizens of the developed nations are increasingly called upon to contribute financially to health initiatives outside their borders. Although international development assistance for health has grown rapidly over the last two decades, austerity measures related to the 2008 and 2011 global financial crises may impact negatively on aid expenditures. The competition between national priorities and foreign aid commitments raises important ethical questions for donor nations. This paper aims to foster individual reflection and public debate on (...) donor responsibilities for global health. METHODS: We undertook a critical review of contemporary accounts of justice. We selected theories that: (i) articulate important and widely held moral intuitions; (ii) have had extensive impact on debates about global justice; (iii) represent diverse approaches to moral reasoning; and (iv) present distinct stances on the normative importance of national borders. Due to space limitations we limit the discussion to four frameworks. RESULTS: Consequentialist, relational, human rights, and social contract approaches were considered. Responsibilities to provide international assistance were seen as significant by all four theories and place limits on the scope of acceptable national autonomy. Among the range of potential aid foci, interventions for health enjoyed consistent prominence. The four theories concur that there are important ethical responsibilities to support initiatives to improve the health of the worst off worldwide, but offer different rationales for intervention and suggest different implicit limits on responsibilities. CONCLUSIONS: Despite significant theoretical disagreements, four influential accounts of justice offer important reasons to support many current initiatives to promote global health. Ethical argumentation can complement pragmatic reasons to support global health interventions and provide an important foundation to strengthen collective action. (shrink)

ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, and validates the (...) epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (shrink)

Ted Poston's book Reason and Explanation: A Defense of Explanatory Coherentism is a book worthy of careful study. Poston develops and defends an explanationist theory of (epistemic) justification on which justification is a matter of explanatory coherence which in turn is a matter of conservativeness, explanatory power, and simplicity. He argues that his theory is consistent with Bayesianism. He argues, moreover, that his theory is needed as a supplement to Bayesianism. There are seven chapters. I provide a chapter-by-chapter summary along (...) with some substantive concerns. (shrink)

In this paper, we intend to promote an analysis of the use of the artificial language Heptapod B in Story of Your Life written by Ted Chiang and in its filmic adaptation, Arrival, written by Eric Heisserer and directed by Denis Villeneuve in relation to the authors’ views on the metaphysics of time. In both literary and filmic texts, the glossopoeia is used as a plot device upon which the alien race’s time perception is constructed and explicated in connexion with (...) the strong metaphor provided by Fermat’s principle of least time. Throughout the article, we discuss these hybrid interfaces of literature, cinema and science, researching the stories’ specific diegeses, the writers’ own elicitations as well as various texts on the Philosophy of time. The result consists of a comprehensive exegesis of the problematics generated by the narratives and an extensive philosophical debate on the subject. (shrink)

Ted Honderich's theory of consciousness as existence, which he here calls Radical Externalism, starts with a good phenomenological observation: that perceptual experience appears to involve external things being immediately present to us. As P.F. Strawson once observed, when asked to describe my current perceptual state, it is normally enough simply to describe the things around me (Strawson, 1979, p. 97). But in my view that does not make the whole theory plausible.

Ted Sider argues that nihilism about objects is incompatible with the metaphysical possibility of gunk and takes this point to show that nihilism is flawed. I shall describe one kind of nihilism able to answer this objection. I believe that most of the things we usually encounter do not exist. That is, I take talk of macroscopic objects and macroscopic properties to refer to sets of fundamental properties, which are invoked as a matter of linguistic convention. This view is a (...) kind of nihilism : it rules out the existence of objects; that is, from an ontological point of view, there are no objects. But unlike the moderate nihilism of Mark Heller, Peter van Inwagen and Trenton Merricks that claims that most objects do not exist, I endorse a radical nihilism according to which there are no objects in the world, but only properties instantiated in spacetime. As I will show, radical nihilism is perfectly compatible with the metaphysical possibility of gunk. It is also compatible with the epistemic possibility that we actually live in a gunk world. The objection raised by Ted Sider only applies to moderate nihilism that admits some objects in its ontology. (shrink)

Arrival offers a useful thought experiment in the philosophy of mind and language. Assessing human linguists' interpretive efforts to understand the alien heptapod form of life in both the movie and the novella from which it was adapted (Ted Chiang’s “Story of Your Life”) teach us how our understanding of selfhood shapes our conception of agency. Arrival’s reflexive commentary on the cinematic experience is also an argument for the value of learning to communicate in cinematic language.

The mereological predicate ‘is part of’ can be used to define the predicate ‘is identical with’. I argue that this entails that mereological theories can be ideologically simpler than nihilistic theories that do not use the notion of parthood—contrary to what has been argued by Ted Sider. Moreover, if one accepts an extensional mereology, there are good philosophical reasons apart from ideological simplicity to give a mereological definition of identity.

Until recently, perdurantism has been considered to be incompatible with the presentist ontology of time. However, discussions about presentist theories of perdurance are now surfacing, one of the most prominent arguments for which being Berit Brogaard’s essay: “Presentist Four-Dimensionalism”. In this paper, I examine Brogaard’s argument in contrast to Ted Sider’s arguments for (an Eternalist theory of) the “Stage View”. I then argue for another (and, I think, novel) view of presentist perdurantism, which avoids the problematic consequences that Brogaard’s view (...) faces, and which also successfully solves philosophical puzzles without the difficulties that Sider’s view faces. This view, which I call “Stage View Presentism,” thus seems to be an appealing alternative for presentists who remain impartial to both the endurantist and the worm theories of persistence. (shrink)

Book review of Earl Conee and Ted Sider's "Riddles of Existence: A Guided Tour of Metaphysics", written in Spanish. || Reseña del libro "Riddles of Existence: A Guided Tour of Metaphysics", escrito por Earl Conee y Ted Sider.

A chapter in an edited volume discussing philosophy and Ted Chiang's short stories. In this chapter, I show how philosophical debates about imaginative resistance and what can/can't be fictionally true influence our interpretation of "Division by Zero.".

In the third and final part of his A Theory of Determinism (TD) Ted Honderich addresses the fundamental question concerning “the consequences of determinism.” The critical question he aims to answer is what follows if determinism is true? This question is, of course, intimately bound up with the problem of free will and, in particular, with the question of whether or not the truth of determinism is compatible or incompatible with the sort of freedom required for moral responsibility. It is (...) Honderich’s aim to provide a solution to “the problem of the consequences of determinism” and a key element of this is his articulation and defence of an alternative response to the implications of determinism that collapses the familiar Compatibilist/Incompatibilist dichotomy. Honderich offers us a third way – the response of “Affirmation” (HFY 125-6). Although his account of Affirmation has application and relevance to issues and features beyond freedom and responsibility, my primary concern in this essay will be to examine Honderich’s theory of “Affirmation” as it concerns the free will problem. (shrink)

Ted Sider’s Proportionality of Justice condition requires that any two moral agents instantiating nearly the same moral state be treated in nearly the same way. I provide a countermodel in supervaluation semantics to the proportionality of justice condition. It is possible that moral agents S and S' are in nearly the same moral state, S' is beyond all redemption and S is not. It is consistent with perfect justice then that moral agents that are not beyond redemption go determinately to (...) heaven and moral agents that are beyond all redemption go determinately to hell. I conclude that moral agents that are in nearly the same moral state may be treated in very unequal ways. (shrink)

This paper presents a mutual confrontation of the oeuvres of Pierre Teilhard de Chardin (1881–1955) and Jacques Lacan (1901–1980), highlighting their relevance for the planetary challenges we are facing today. I will present their views on technoscience, environmental pollution and religious faith, focussing on human genomics as a case study. Both authors claim that technoscience reflects a tendency towards symbolisation: incorporating the biosphere (liv- ing nature) into the “symbolic order’ (Lacan) or ‘noosphere’ (Teilhard). On various occasions, Lacan refers to Teilhard’s (...) concept of the hominization of the planet and their dialogue culminates in a ‘final conversation’ between Teilhard and Lacan in 1954, during a reception organised by the journal Psyché. I will conclude that the Teilhard-Lacan dialogue is highly relevant for current debates concerning the Anthropocene, as a moment of global awakening and global crisis. Processes of hominization allowed humans to become literate beings, littering the planet as well: humans as literate litterers. Whereas Teilhard argues that technoscience and self-direc- ted evolution are about to culminate in what he refers to as point Omega, Lacan rather stresses the hazards involved in this optimistic desire towards all-encompassing synthesis, unification and fulfilment. (shrink)

I here argue that Ted Sider's indeterminacy argument against vagueness in quantifiers fails. Sider claims that vagueness entails precisifications, but holds that precisifications of quantifiers cannot be coherently described: they will either deliver the wrong logical form to quantified sentences, or involve a presupposition that contradicts the claim that the quantifier is vague. Assuming (as does Sider) that the “connectedness” of objects can be precisely defined, I present a counter-example to Sider's contention, consisting of a partial, implicit definition of the (...) existential quantifier that in effect sets a given degree of connectedness among the putative parts of an object as a condition upon there being something (in the sense in question) with those parts. I then argue that such an implicit definition, taken together with an “auxiliary logic” (e.g., introduction and elimination rules), proves to function as a precisification in just the same way as paradigmatic precisifications of, e.g., “red”. I also argue that with a quantifier that is stipulated as maximally tolerant as to what mereological sums there are, precisifications can be given in the form of truth-conditions of quantified sentences, rather than by implicit definition. (shrink)

Alessandro Torza argues that Ted Sider’s Lewisian argument against vague existence is insufficient to rule out the possibility of what he calls ‘super-vague existence’, that is the idea that existence is higher-order vague, for all orders. In this chapter it is argued that the possibility of super-vague existence is ineffective against the conclusion of Sider’s argument since super-vague existence cannot be consistently claimed to be a kind of linguistic vagueness. Torza’s idea of super-vague existence seems to be better suited to (...) model vague existence under the assumption that vague existence is instead a form of ontic indeterminacy, contra what Ted Sider and David Lewis assume. (shrink)

I raise a problem about the possibility of metaphysics originally raised by Kant: what explains the fact that the terms in our metaphysical theories (e.g. “property”) refer to entities and structures (e.g. properties) in the world? I distinguish a meta-metaphysical view that can easily answer such questions (“deflationism”) from a meta-metaphysical view for which this explanatory task is more difficult (which I call the “substantive” view of metaphysics). I then canvass responses that the substantive metaphysician can give to this Kantian (...) demand for an explanation of reference in metaphysics. I argue that these responses are either inadequate, or depend, implicitly or explicitly, on the idea of “joint carving”: carving at the joints is part of the explanation of reference-facts quite generally and our metaphysical terms in particular refer because they carve at the joints. I examine Ted Sider’s recent work on joint carving and structure and argue that it cannot fill the explanatory gap. I conclude that this is reason ceterus paribus to reject the substantive view of metaphysics. Kant’s critique, far from being obsolete, applies to the most cutting-edge of contemporary meta-metaphysical views. (shrink)

I propose a view that I call "Ersatz Metaphysical Vagueness" according to which the term "perfectly natural" can be semantically vague. As its name suggests, the view mimics traditional metaphysical vagueness without the radical metaphysical underpinnings. In particular, the ersatzer avoids a widely accepted argument schema (advanced by JRG Williams, Ted Sider, Cian Dorr, John Hawthorne and others) according to which, if there is no metaphysical vagueness, F-ness cannot be both perfectly natural and vague.

Bob Solomon enjoyed humor, a good laugh. He was not a teller and collector of jokes or of humorous stories, as Ted Cohen and Noël Carroll are. He did not cultivate clever witticisms. Rather, his interest was in viewing life’s contingency and absurdity for the humor that can be found there, and the target of this humor was as likely to be himself or his friends as it was to be strangers. Bob also displayed philosophical courage. He once argued before (...) an incredulous audience of philosophers that the Three Stooges are funny, and admitted unashamedly to being a life-long devotee. In the published version of that talk he observes: “few adults in their chosen professions would dare attempt a Stooges gesture at risk of being terminally dismissed, but most men carry the secret knowledge around with them, and, in a wild fit of catharsis, display a tell-tale Stooges gesture when the door closes and the boss is out of view. I only hesitate to suggest that it is one of the most basic bonds between men, and perhaps the fact that it mystifies and sometimes horrifies women is far more elemental than the mere phrase ‘a sense of humor’ could ever suggest”. (shrink)

In the Phaedrus, Socreates sympathetically describes the ability “to cut up each kind according to its species along its natural joints, and to try not to splinter any part, as a bad butcher might do.” (265e) In contemporary philosophy, Ted Sider (2009, 2011) defends the same idea. As I shall put it, Plato and Sider’s idea is that limning structure is an epistemic goal. My aim in this paper is to articulate and defend this idea. First, I’ll articulate the notion (...) of a structural proposition (§1), and the notion of an epistemic goal (§2), where I’ll assume that epistemic goals are species of accuracy. Then (§3), I’ll argue against some proposals for understanding the idea that limning structure is an epistemic goal: limning structure is neither an aim of belief (§3.1), nor of inquiry (§3.2), nor of concept possession (§3.3). Importantly, non-structural belief is not thereby inaccurate; belief does not “aim” at being structural. Next (§4), I’ll propose a framework for understanding the idea that limning structure is an epistemic goal, and defend that idea. What is required, to defend the view that limning structure is an epistemic goal, is the notion of (what I call) theorizing – a propositional attitude that, unlike belief, does “aim” at being structural (§4.1). I’ll argue that structural truths constitute a species of “important” truths (§4.2), and that apt theorizing is a species of understanding (§4.3). Finally (§5), I’ll discuss the possibility that there is no structure. (shrink)

Suppose we get a chance to ask an angel a question of our choice. What should we ask to make the most of our unique opportunity? Ned Markosian has shown that the task is trickier than it might seem. Ted Sider has suggested playing safe and asking: What is the true proposition (or one of the true propositions) that would be most beneficial for us to be told? Let's see whether we can do any better than that.

● Un emplazamiento cualquiera (v. gr. sol en Tauro; Marte en Capricornio; Mercurio en la tercera casa) es necesariamente común a decenas de miles de personas. Saturno hospedado en la novena casa, por ejemplo, no se comportará de la misma manera o no producirá los mismos efectos en las veinte o cien cartas en que allí lo encontremos, sino en concordancia con el resto de la composición astrográfica (como hospedarnos en el mismo hotel en diferentes épocas o diferentes personas haber (...) contraído la misma enfermedad; nuestra estadía será diferente cada vez, según la época, y no todos los enfermos presentarán los mismos síntomas, según su metabolismo; por no mencionar que cada astrografía, como cada código o secuencia genética, es irrepetible). Ciertamente, “ningún planeta puede, por sí solo, producir lo que solamente la acción mancomunada o conjunta de todos puede” (BUSTAMANTE, 2023, revista SPICA, págs. 93-111). He aquí la naturaleza o condición sinérgica del ejercicio interpretativo (i.e., el todo es poco más que la suma de todas sus partes). ● El componente fundamental de la expresión matemática del ejercicio interpretativo lo constituye la triangulación astrológica, denominación funcional de lo que conocemos como síntesis (WEISS, 1946; LEO, 1983; HAND, 1981). ● Con el fin de demostrar su utilidad, así como la conveniencia de su expresión matemática, hemos escogido dos individuos (JEFFREY DAHMER, STEVEN SPIELBERG) cuyas astrografías no explican, según la comunidad, sus vidas. El resto de las astrografías corresponden a las de los asesinos en serie JOHN WAYNE GACY, DAVID CARPENTER y TED BUNDY. ● A través de notaciones algebraicas, explicamos la síntesis y los valores funcionales que la componen. ● Tomamos la luna y Neptuno como planetas relevantes a propósito del diagnóstico o el estudio de asuntos endocrinos o neurohormonales y a Marte, Plutón y Saturno como planetas relevantes a los fines de inferir violencia o comportamiento siniestro, según el caso, y las cuadraturas u oposiciones —y conjunciones— entre Venus y la luna, la luna y Neptuno o entre el sol o Venus y Neptuno o Urano como indicadores de desórdenes neurohormonales y/o de desviación sexual (definición APA) . ● Consideramos las cuadraturas u oposiciones —y conjunciones— entre: Mercurio o la luna y Saturno, o entre Marte o la luna y Saturno, Urano, Neptuno y/o Plutón como poderosos indicios de violencia o de desequilibrio, según el caso. ● También hemos considerado a Sagitario como un signo tan expansivo y abundante como su regente, Júpiter, según la mejor de sus caracterizaciones (o excepcionalmente raudo y salvaje, según otras), y a la quinta región de un mapa natal como una estrechamente relacionada con la fortuna en sentido amplio (material e inmaterial). ● Debido a que defendemos la idea según la cual los orbes deben predicarse del planeta (tamaño, velocidad), no del aspecto, a los gigantes gaseosos (Júpiter, Saturno, Urano y Neptuno) y al sol les hemos concedido hasta 10º de orbe (o 12º, en el caso de la influencia amplia ). ● Entendemos las relaciones aspectuales como relaciones angulares sostenidas entre dos o más cuerpos celestes emplazados en signos con al menos una propiedad en común (según nuestra teoría molecular de la eclíptica, compatible con la teoría óptica de los aspectos de la tradición helenística). (shrink)