Acts 2,5-6 talks of the crowd that gathered in Jerusalem for the annual Pentecost feast. It describes them as ‘devout men from nations under heaven’. This description could be an exaggeration, but it is a literary way of telling the readers that uncountable number of people went for the feast. The presentation posits species from every continent as present. They did not visit Jerusalem to listen to Peter’s preaching about the resurrected Christ. Their visit was an annual pilgrimage for Jewish (...) agricultural feast called ‘Pentecost’. Undoubtedly, they were not interested in stories about Christ who as at the period was regarded as an insurrectionist, a brigand and a robber who died infamously. Truly, perception of an unusual sound necessitated their gathering together but staying on to listen to Peter talk about an infamous man and the historical conversion of about three thousand (3000) men (Acts 2,41) invites a sober reflection on the method used by Peter to pass on his message. If the early Christians were able to move the world at a time when Information Technology and pedagogical methods were not so much in vogue, then the method they adopted is worth being studied. The contemporary era is witnessing the decadence of mainline Churches – Catholicism, Anglicanism, Methodist, Presbyterianism, Lutheranism etc. On the other hand, Pentecostalism and Easter Transcendental Meditation have attractions on a geometrical increase. Evidently therefore, the problem is not with man’s incredulity or nonacceptance of Christocentric method. The submission of this paper is that the problem lies with our method of presentation. Therefore, this work confines itself in the main to an examination of what used to be the case, a look into the present and a suggestion on the way forward. (shrink)

This work-in-progress paper consists of four points which relate to the foundations and physical realization of quantum computing. The first point is that the qubit cannot be taken as the basic unit for quantum computing, because not every superposition of bit-strings of length n can be factored into a string of n-qubits. The second point is that the “No-cloning” theorem does not apply to the copying of one quantum register into another register, because the mathematical representation of this copying is (...) the identity operator, which is manifestly linear. The third point is that quantum parallelism is not destroyed only by environmental decoherence. There are two other forms of decoherence, which we call measurement decoherence and internal decoherence, that can also destroy quantum parallelism. The fourth point is that processing the contents of a quantum register “one qubit at a time” destroys entanglement. (shrink)

While we agree in broad strokes with the characterisation of rationalization as a “useful fiction,” we think that Fiery Cushman's claim remains ambiguous in two crucial respects: the reality of beliefs and desires, that is, the fictional status of folk-psychological entities and the degree to which they should be understood as useful. Our aim is to clarify both points and explicate the rationale of rationalization.

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)

c;inical medicine and language: Peircean and Austin's approach.

In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...) the direct and the indirect deductions constructed with the three traditional rules. IL3 is a hybrid of IL1 and IL2: its deductions are all direct as in IL1 but it deals with identities and inidentities as in IL2. IL1 and IL2 have a high degree of naturalness. Although the hybrid system IL3 was constructed as an artifact useful in the mathematical study of IL1 and IL2, it nevertheless has some intrinsically interesting aspects. The main motivation for describing and studying such simple systems is pedagogical. In teaching beginning logic one would like to present a system of logic which has the following properties. First, it exemplifies the main ideas of logic: implication, deduction, non-implication, counterargument(or countermodel), logical truth, self-contradiction, consistency,satisfiability, etc. Second, it exemplifies the usual general metaprinciples of logic: contraposition and transitivity of implication, cut laws, completeness,soundness, etc. Third, it is simple enough to be thoroughly grasped by beginners. Fourth, it is obvious enough so that its rules do not appear to be arbitrary or purely conventional. Fifth, it does not invite confusions which must be unlearned later. Sixth, it involves a minimum of presuppositions which are no longer accepted in mainstream contemporary logic. (shrink)

RAAAF [Rietveld Architecture-Art-Affordances] is an interdisciplinary studio that operates at the crossroads of visual art, experimental architecture and philosophy. RAAAF makes location- and context-specific artworks, an approach that derives from the respective backgrounds of the founding partners: Prix de Rome laureate Ronald Rietveld and Socrates Professor in Philosophy Erik Rietveld.

A discussion of a number of ways that information can be present in a computer program without being explicitly represented.

The principle of energy conservation is widely taken to be a se- rious difficulty for interactionist dualism (whether property or sub- stance). Interactionists often have therefore tried to make it satisfy energy conservation. This paper examines several such attempts, especially including E. J. Lowe’s varying constants proposal, show- ing how they all miss their goal due to lack of engagement with the physico-mathematical roots of energy conservation physics: the first Noether theorem (that symmetries imply conservation laws), its converse (that conservation (...) laws imply symmetries), and the locality of continuum/field physics. Thus the “conditionality re- sponse”, which sees conservation as (bi)conditional upon symme- tries and simply accepts energy non-conservation as an aspect of interactionist dualism, is seen to be, perhaps surprisingly, the one most in accord with contemporary physics (apart from quantum mechanics) by not conflicting with mathematical theorems basic to physics. A decent objection to interactionism should be a posteri- ori, based on empirically studying the brain. (shrink)

We discuss at some length evidence from the cognitive science suggesting that the representations of objects based on spatiotemporal information and featural information retrieved bottomup from a visual scene precede representations of objects that include conceptual information. We argue that a distinction can be drawn between representations with conceptual and nonconceptual content. The distinction is based on perceptual mechanisms that retrieve information in conceptually unmediated ways. The representational contents of the states induced by these mechanisms that are available to a (...) type of awareness called phenomenal awareness constitute the phenomenal content of experience. The phenomenal content of perception contains the existence of objects as separate things that persist in time and time, spatiotemporal information, and information regarding relative spatial relations, motion, surface properties, shape, size, orientation, color, and their functional properties. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

These essays draw on work in the history and philosophy of science, the philosophy of mind and language, the development of concepts in children, conceptual..

Among the many common criticisms of the Turing test, a valid criticism concerns its scope. Intelligence is a complex and multi-dimensional phenomenon that will require testing using as many different formats as possible. The Turing test continues to be valuable as a source of evidence to support the inductive inference that a machine possesses a certain kind of intelligence and when interpreted as providing a behavioural test for a certain kind of intelligence. This paper raises the novel criticism that the (...) Turing test represents an example of Goodhart’s Law operating in the field of artificial intelligence. As one measure towards the goal of creating genuinely intelligent machines, the Turing test must not be confused with the goal itself. Moreover, the Turing test ought to be augmented such that through its use additional evidence could be secured to support the strong inference that a machine, were it to pass the Turing Test, could think like a human. (shrink)

What is the phenomenology of hope? A common view is that hope has a generally positive and pleasant affective tone. This rosy depiction, however, has recently been challenged. Certain hopes, it has been objected, are such that they are either entirely negative in valence or neutral in tone. In this paper, I argue that this challenge has only limited success. In particular, I show that it only applies to one sense of hope but leaves another sense—one that is implicitly but (...) widely employed in the hope literature—untouched. Moreover, I argue that hope construed in this latter sense is inherently positively valenced. The paper concludes by discussing some of the implications of this defense of hope's positive phenomenology, including the ontological question of whether hope is an emotion. (shrink)

This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of (...) the image of intelligent agents as central representation processors. If this paradigm shift is achieved, Brooks’ proposal for cognition without representation appears promising for full-blown intelligent agents—Though not for conscious agents. (shrink)

In this article I argue that the value of epistemic justification cannot be adequately explained as being instrumental to truth. I intend to show that false belief, which is no means to truth, can nevertheless still be of epistemic value. This in turn will make a good prima facie case that justification is valuable for its own sake. If this is right, we will have also found reason to think that truth value monism is false: assuming that true belief does (...) have value, there is more of final epistemic value than mere true belief. (shrink)

The standard treatment of conditional probability leaves conditional probability undefined when the conditioning proposition has zero probability. Nonetheless, some find the option of extending the scope of conditional probability to include zero-probability conditions attractive or even compelling. This article reviews some of the pitfalls associated with this move, and concludes that, for the most part, probabilities conditional on zero-probability propositions are more trouble than they are worth.

I argue that the conjunction of perdurantism (the view that objects are temporally extended) and universalism (the thesis that any old class of things has a mereological fusion) gives rise to undesired complications when combined with certain plausible assumptions concerning the semantics of tensed statements.

Various prominent theories of pain assume that it is pain’s biological function to inform organisms about damage to their bodies. I argue that this is a mistake. First, there is no biological evidence to support the notion that pain was originally selected for its informative capacities, nor that it currently contributes to the fitness of organisms in this specific capacity. Second, neurological evidence indicates that modulating mechanisms in the nociceptive system systematically prevent pain from serving a primarily informative role. These (...) considerations threaten to undermine standard perceptual and representational accounts of pain. (shrink)

The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (shrink)

Much of the intuitive appeal of evidentialism results from conflating two importantly different conceptions of evidence. This is most clear in the case of perceptual justification, where experience is able to provide evidence in one sense of the term, although not in the sense that the evidentialist requires. I argue this, in part, by relying on a reading of the Sellarsian dilemma that differs from the version standardly encountered in contemporary epistemology, one that is aimed initially at the epistemology of (...) introspection but which generalizes to theories of perceptual justification as well. (shrink)

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

Literature in epistemology tends to suppose that there are three main types of understanding – propositional, atomistic, and objectual. By showing that all apparent instances of propositional understanding can be more plausibly explained as featuring one of several other epistemic states, this paper argues that talk of propositional understanding is unhelpful and misleading. The upshot is that epistemologists can do without the notion of propositional understanding.

That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson has put forward a novel diagnosis of the problem, along with a corresponding solution. The diagnosis is on the right track, I argue, but the solution is misleading. And once the pieces are properly put together, we end up with a reinforcement of the standard defense of transitivity on behalf of classical mereology.

To what extent are cognitive capacities, especially perceptual capacities, informationally encapsulated and to what extent are they cognitively penetrable? And why does this matter? Two reasons we care about encapsulation/penetrability are: (a) encapsulation is sometimes held to be definitional of modularity, and (b) penetrability has epistemological implications independent of modularity. I argue that modularity does not require encapsulation; that modularity may have epistemological implications independently of encapsulation; and that the epistemological implications of the cognitive penetrability of perception are messier than (...) is sometimes thought. (shrink)

Human cognitive acts are directed towards objects extended in space of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. The theory of spatially extended objects should make room not only for the objects of physics but also for objects at higher levels, including the objects of geography and of related disciplines. It should leave room for different types of boundaries, including both the bona fide boundaries which we find in (...) the physical world and the fiat (or human-demarcation-induced) boundaries with which much of geography has to deal. Two distinct axiomatic theories of boundaries are accordingly presented, and the need for both is examined in some detail. The resultant dual framework is shown to have application above all for our understanding of issues involving contact, division, and separation, issues which have posed serious difficulties for the ontological theories of boundaries that have been proposed hitherto. (shrink)

Epistemic internalism, by stressing the indispensability of the subject’s perspective, strikes many as plausible at first blush. However, many people have tended to reject the position because certain kinds of beliefs have been thought to pose special problems for epistemic internalism. For example, internalists tend to hold that so long as a justifier is available to the subject either immediately or upon introspection, it can serve to justify beliefs. Many have thought it obvious that no such view can be correct, (...) as it has been alleged that internalism cannot account for the possibility of the justification of beliefs stored in memory. -/- My aim in this paper is to offer a response that explains how memory justification is possible in a way that is consistent with epistemic internalism and an awareness condition on justification. Specifically, I will explore the plausibility of various options open to internalists, including both foundationalist and non-foundationalist approaches to the structure of justification. I intend to show that despite other difficult challenges that epistemic internalism might face, memory belief poses no special problems that the resources of internalism cannot adequately address. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

Many advocate practices of ‘local food’ or ‘locavorism’ as a partial solution to the injustices and unsustainability of contemporary food systems. I think that there is much to be said in favor of local food movements, but these virtues are insufficient to immunize locavorism from criticism. In particular, three duties of international ethics—beneficence, repair and fairness—may provide reasons for constraining the developed world’s permissible pursuit of local food. A complete account of why (and how) the fulfillment of these duties constrains (...) locavorism will require extensive empirical evidence about the relationship between agricultural demand-led industrialization, international trade (rules), and local food practices. In this paper I can only gesture at some of this evidence and, for that reason, my policy prescriptions are merely provisional. Instead, the upshot of this paper is that advocates of locavorism ought to be attentive to the empirical-dependence of the moral permissibility of their projects. As local food ‘scales up’—and comes to be embraced as a goal of political communities—these concerns should receive even greater attention. (shrink)

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

Many assume that whenever government is entitled to make a law, it is entitled to enforce that law coercively. I argue that the justification of legal authority and the justification of governmental coercion come apart. Both in ideal theory and in actual human societies, governments are sometimes entitled to make laws that they are not entitled to enforce coercively.

This paper is a companion piece to my earlier paper “Fallibilism and Concessive Knowledge Attributions”. There are two intuitive charges against fallibilism. One is that it countenances the truth (and presumably acceptability) of utterances of sentences such as “I know that Bush is a Republican, though it might be that he is not a Republican”. The second is that it countenances the truth (and presumably acceptability) of utterances of sentences such as “I know that Bush is a Republican, even though (...) I’m not certain that he is”, or “I know that Bush it a Republican, even though it isn’t certain that he is.” In “Fallibilism and Concessive Knowledge Attributions”, I argue that fallibilism in epistemology does not countenance the truth of utterances of sentences such as “I know that Bush is a Republican, though it might be that he is not a Republican”. In this paper, I argue that there are independent reasons for thinking that utterances of sentences such as “I know that Bush is a Republican, though I’m not certain that he is” and “I know that Bush is a Republican, though it’s not certain that he is” are unassertible. More specifically, I argue that these are simply instances of Moore’s Paradox, such as “Dogs bark, but I don’t know that they do.” The right account of Moore’s Paradox does not involve the falsehood of the semantic content of the relevant utterances, but rather their pragmatic unacceptability. So the anti-fallibilist intuitions turn out to have pragmatic, rather than semantic import, and therefore do not tell against the truth of fallibilism. Fallibilism in epistemology is often thought to be theoretically desirable, but intuitively problematic. My purpose with these two papers is to show that fallibilism is not intuitively problematic. (shrink)

1 Context The idea for the current issue of _Philosophia Scientiæ_ emerged from discussions which took place in the Manchester Ethnomethodology Reading Group. This reading group has its origins in Wes Sharrock’s weekly discussion groups, which have taken place in Manchester (UK) since the early 1970s. As the global Covid-19 pandemic hit in early 2020, the reading group moved online, facilitated by Phil Hutchinson and Alex Holder. Being an online reading group opened up participation to people beyond Northwest UK and (...) within weeks the group became global, with the membership including participants logging on from Canada, Czech Republic, Finland, France, Germany, Greece, Hong Kong, Japan, Macau, New Zealand, Spain, Sweden, and the USA. While the name of the group might indicate an exclusive focus on ethnomethodology, following the naming conventions for academic discussion groups, the name really fails to indicate both the heterogeneity of the group’s reading materials, the interests of t... (shrink)

This chapter analyzes the concept of an event and of event representation as an umbrella notion. It provides an overview of different ways events have been dealt with in philosophy, linguistics, and cognitive science. This variety of positions has been construed in part as the result of different descriptive and explanatory projects. It is argued that various types of notions — common-sense, theoretically revised, scientific, and internalist psychological — be kept apart.

Ordinary reasoning about space—we argue—is first and foremost reasoning about things or events located in space. Accordingly, any theory concerned with the construction of a general model of our spatial competence must be grounded on a general account of the sort of entities that may enter into the scope of the theory. Moreover, on the methodological side the emphasis on spatial entities (as opposed to purely geometrical items such as points or regions) calls for a reexamination of the conceptual categories (...) required for this task. Building on material presented in an earlier paper, in this work we offer some examples of what this amounts to, of the difficulties involved, and of the main directions along which spatial theories should be developed so as to combine formal sophistication with some affinity with common sense. (shrink)

If, relative to a context, what a sentence says is necessarily true, then what it says must be so. If, relative to a context, what a sentence says is possible, then what it says could be true. Following natural philosophical usage, it would thus seem clear that in assessing an occurrence of a sentence for possibility or necessity, one is assessing what is said by that occurrence. In this paper, I argue that natural philosophical usage misleads here. In assessing an (...) occurrence of a sentence for possibility or necessity, one is not assessing the modal status of the proposition expressed by that occurrence of the sentence. (shrink)

Fictionalist approaches to ontology have been an accepted part of philosophical methodology for some time now. On a fictionalist view, engaging in discourse that involves apparent reference to a realm of problematic entities is best viewed as engaging in a pretense. Although in reality, the problematic entities do not exist, according to the pretense we engage in when using the discourse, they do exist. In the vocabulary of Burgess and Rosen (1997, p. 6), a nominalist construal of a given discourse (...) is revolutionary just in case it involves a “reconstruction or revision” of the original discourse. Revolutionary approaches are therefore prescriptive. In contrast, a nominalist construal of a given discourse is hermeneutic just in case it is a nominalist construal of a discourse that is put forth as a hypothesis about how the discourse is in fact used; that is, hermeneutic approaches are descriptive. I will adopt Burgess and Rosen’s terminology to describe the two different spirits in which a fictionalist hypothesis in ontology might be advanced. Revolutionary fictionalism would involve admitting that while the problematic discourse does in fact involve literal reference to nonexistent entities, we ought to use the discourse in such a way that the reference is simply within the pretense. The hermeneutic fictionalist, in contrast, reads fictionalism into our actual use of the problematic discourse. According to her, normal use of the problematic discourse involves a pretense. According to the pretense, and only according to the pretense, there exist the objects to which the discourse would commit its users, were no pretense involved. My purpose in this paper is to argue that hermeneutic fictionalism is not a viable strategy in ontology. My argument proceeds in two steps. First, I discuss in detail several problematic consequences of any interesting application of hermeneutic fictionalism. Of course, if there is good evidence that hermeneutic fictionalism is correct in some cases, then some of these drastic consequences would have to be accepted.. (shrink)

In this essay, I argue that the Incarnation of the Son of God, understood in a traditionally orthodox way, is incompatible with an atemporalist concept of God. First, I explain what I mean by atemporalism, namely the idea that God exists outside time. I also show the main corollaries of that doctrine, most notably that all of God’s life occurs eternally simultaneously. Second, based on New Testament teaching and widely accepted creeds, I spell out philosophically what I mean by the (...) Incarnation. In short, I take it to be the doctrine that the Second Person of the Trinity at some point in time took on a human body as part of a fully human nature. I then proceed to my central argument, which derives a contradiction from the definitions of the Incarnation and of atemporalism, respectively. In the last section, I shall treat some possible objections to my argument and show that they do not solve the problem satisfactorily. (shrink)

One of the most serious challenges (if not the most serious challenge) for interactive psycho-physical dualism (henceforth interactive dualism or ID) is the so-called ‘interaction problem’. It has two facets, one of which this article focuses on, namely the apparent tension between interactions of non-physical minds in the physical world and physical laws of nature. One family of approaches to alleviate or even dissolve this tension is based on a collapse solution (‘consciousness collapse/CC) of the measurement problem in quantum mechanics (...) (QM). The idea is that the mind brings about the collapse of a superposed wave function onto one of its eigenstates. Thus, it is claimed, can the mind change the course of things without violating any law figuring in physical theory. I will first show that this hope is premature because energy and momentum are probably not conserved in collapse processes, and that even if this can be dealt with, the violations are either severe or produce further ontological problems. Second, I point out several conceptual difficulties for interactionist CC. I will also present solutions for those problems, but it will become clear that those solutions come at a high cost. Third, I shall briefly list some empirical problems which make life even harder for interactionist CC. I conclude with remarks about why no- collapse interpretations of QM don’t help either and what the present study has shown is the real issue for ID: namely to find a plausible integrative view of dualistic mental causation and laws of nature. (shrink)

Recent work by Peijnenburg, Atkinson, and Herzberg suggests that infinitists who accept a probabilistic construal of justification can overcome significant challenges to their position by attending to mathematical treatments of infinite probabilistic regresses. In this essay, it is argued that care must be taken when assessing the significance of these formal results. Though valuable lessons can be drawn from these mathematical exercises (many of which are not disputed here), the essay argues that it is entirely unclear that the form of (...) infinitism that results meets a basic requirement: namely, providing an account of infinite chains of propositions qua reasons made available to agents. (shrink)

ABSTRACT This essay focuses on two underlying presumptions that impinge on the effort of UNESCO to engender universal agreement on a set of bioethical norms: the conception of universality that pervades much of the document, and its disregard of structural inequalities that significantly impact health. Drawing on other UN system documents and recent feminist bioethics scholarship, we argue that the formulation of universal principles should not rely solely on shared ethical values, as the draft document affirms, but also on differences (...) in ethical values that obtain across cultures. UNESCO's earlier work on gender mainstreaming illustrates the necessity of thinking from multiple perspectives in generating universal norms. The declaration asserts the ‘fundamental equality of all human beings in dignity and rights’1 and insists that ‘the highest attainable standard of health is one of the fundamental rights of every human being without distinction of race, religion, political belief, economic or social condition’2 yet it does not explicitly recognize disparities of power and wealth that deny equal dignity and rights to many. Without attention to structural (as opposed to merely accidental) inequities, UNESCO's invocation of rights is so abstract as to be incompatible with its avowed intention. (shrink)

A defense of the value of studying what Aristotle, in the Politics, refers to as useless things, and thereby a defense of the 'uselessness' of the study of the liberal arts.

The following argument is widely assumed to be invalid: there is a pain in my finger; my finger is in my mouth; therefore, there is a pain in my mouth. The apparent invalidity of this argument has recently been used to motivate the conclusion that pains are not spatial entities. We argue that this is a mistake. We do so by drawing attention to the metaphysics of pains and holes and provide a framework for their location which both vindicates the (...) argument's validity and explains why it appears invalid. To this end, we show that previously proposed explanations for the apparent invalidity of the argument fail. Moreover, we show that our account accommodates and explains seemingly opposing linguistic data. We conclude that the ‘pain-in-mouth argument’ does not undermine the view that pains are spatial entities. (shrink)

Many philosophers still countenance senses or meanings in the broadly Fregean vein. However, it is difficult to posit the existence of senses without positing quite a lot of them, including at least one presenting every entity in existence. I discuss a number of Cantorian paradoxes that seem to result from an overly large metaphysics of senses, and various possible solutions. Certain more deflationary and nontraditional understanding of senses, and to what extent they fare better in solving the problems, are also (...) discussed. In the end, it is concluded that one must divide senses into various ramified-orders in order to avoid antinomy, but that the philosophical justification of such orders is, as yet, still somewhat problematic. (shrink)

The idea that we may continue to exist in a bodiless condition after our death has long played an important role in beliefs about immortality, ultimate rewards and punishments, the transmigration of souls, and the like. There has also been long and heated disagreement about whether the idea of disembodied existence even makes sense, let alone whether anybody can or does survive dissolution of his material form. It may seem doubtful that anything new could be added to the debate at (...) this late date, but I hope to show that this is not so. I will explore the problem of disembodiment from a somewhat different direction than has been tried before, one that leads to what seem to me more interesting and more definite conclusions about its unintelligibility. Furthermore, the approach I will be taking puts both the traditional mind-body problem and the competing claims of dualism and physicalism in a fresh light that can help us to understand better the nature of our embodied existence. (shrink)