In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

Funding organizations around the world are adopting open science policies, resulting in a pressing need for open science programs. In response to the 2011 decadal survey, NASA sought to expand and accelerate omics research, releasing its GeneLab Strategic Plan in 2014. GeneLab is an open science data repository and analysis portal for spaceflight and space-relevant omics data. GeneLab’s output has been outstanding, but its full potential as a way to transform space biology has not yet been achieved. NASA should pursue (...) the development of GeneLab as an open science platorm in earnest. (shrink)

Breaking new ground in the debate about the relation of mind and body, David Armstrong's classic text - first published in 1968 - remains the most compelling and comprehensive statement of the view that the mind is material or physical. In the preface to this new edition, the author reflects on the book's impact and considers it in the light of subsequent developments. He also provides a bibliography of all the key writings to have appeared in the materialist debate.

A wide-ranging study of the central concepts in epistemology - belief, truth and knowledge. Professor Armstrong offers a dispositional account of general beliefs and of knowledge of general propositions. Belief about particular matters of fact are described as structures in the mind of the believer which represent or 'map' reality, while general beliefs are dispositions to extend the 'map' or introduce casual relations between portions of the map according to general rules. 'Knowledge' denotes the reliability of such beliefs as representations (...) of reality. Within this framework Professor Armstrong offers a distinctive account of many of the main questions in general epistemology - the relations between beliefs and language, the notions of proposition, concept and idea, the analysis of truth, the varieties of knowledge, and the way in which beleifs and knowledge are supported by reasons. The book as a whole if offered as a contribution to a naturalistic account of man. (shrink)

Donation after circulatory determination of death (DCDD) is an accepted practice in the United States, but heart procurement under these circumstances has been debated. Although the practice is experiencing a resurgence due to the recently completed trials using ex vivo perfusion systems, interest in thoracoabdominal normothermic regional perfusion (TA-NRP), wherein the organs are reanimated in situ prior to procurement, has raised many ethical questions. We outline practical, ethical, and equity considerations to ensure transplant programs make well-informed decisions about TA-NRP. We (...) present a multidisciplinary analysis of the relevant ethical issues arising from DCDD-NRP heart procurement, including application of the Dead Donor Rule and the Uniform Definition of Death Act, and provide recommendations to facilitate ethical analysis and input from all interested parties. We also recommend informed consent, as distinct from typical “authorization,” for cadaveric organ donation using TA-NRP. (shrink)

Considered one of the most important works of modern philosophy, Critique of Pure Reason offers a profound exploration of the nature of knowledge and perception. In this English-language translation by JMD Meiklejohn, Immanuel Kant's seminal work is made accessible to a wider audience. Illuminating and challenging, this book is an essential resource for anyone interested in the history of philosophy and the nature of human thought. This work has been selected by scholars as being culturally important, and is part of (...) the knowledge base of civilization as we know it. This work is in the "public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

_The purpose_ of the article is to comprehend the Husserlian model of constituting temporal modes through the ability of intentional "retentional-protentional" consciousness, as well as to clarify the possibility of interpreting its positions in the reconstruction of the concept of anthropic time. _Theoretical basis._ The theoretical framework of the research includes: 1) the interpretation of the phenomenological reflection of "time-consciousness" by E. Husserl in the context of solving the problem of phased-differentiation of this form of temporality; 2) the concept of (...) anthropic time (V. Khanzhy). _Originality._ For the first time in research literature, the possibilities of applying the ideas of Husserl to the reconstruction of the concept of anthropic time are considered through the interpretation of the phenomenological solution to the problem of temporality, proposed and specified in Husserl’s "time-consciousness" concept. _Conclusions._ The comprehension of the Husserlian model of intentionality of consciousness through the "grasping-from-now" and the constitution of phases of phenomenological time through the component of "exiting-from-now" showed that solving the problem of phased-differentiation of phenomenological time leads to the observation of the impossibility of isolating the modes of past, present, and future as self-sufficient and unconditional. More accurate indications, based on the constitutive intentionality of consciousness on the "grasping-from-now" phases of time (as conventional), are as follows: a) the abilities of retention and recollection are the foundation for the constitution of the past and its connections to the present; b) the perception establishes the basis for the phase of the present itself; c) the possibilities of protention and anticipation (as forms of imagination) constitute the future and its connections to the present. By the concept of retention, Husserl fixes a certain primary memory (the present "now" of a past interval), which enables retaining the past in the present. The category of recollection or secondary memory is used by the philosopher to refer to the self-sufficient reproduction of past experiences (without being joined to present perception). The fundamental difference between recollection and retention is that the former _re-_presents a temporal interval, grasping its content and reproducing it as it was in the past, while in the latter, the perceived duration is presented as a fragment of time that has just passed. According to the German philosopher, the "grasping" of the present phase is performed by perception. Through the constitutive intentionality of consciousness, perception synthesizes the results of primary-actual activity and retentional holding of duration. The second part of the article will present solutions to the following research tasks: 1) analysis of the possibilities of protention and anticipation in constituting the future and its connections with the present; 2) understanding the possibility of using interpreted forms of Husser’s ideas in reconstructing the concept of anthropic time. (shrink)

John Foster’s book, The Nature of Perception, is written to defend his Idealist, or Berkeleyan, theory of perception. One view that he is concerned to reject is what he usefully calls the ‘Cognitivist’ theory of perception. I am named as one of its defenders. His critique of the theory serves me as a good starting point and as a stimulus for a new defense of the theory.

Although antiadaptationist authors encourage us to consider alternatives to adaptationist positions, the alternatives offered do not necessarily relieve us of the burdens of adaptationist explanations. Even if something is an exaptation, it may be derived from an adaptation. If it is a byproduct, it is a byproduct of an adaptation. Even the ELM, the hypothetical exapted learning mechanism, is an evolved learning mechanism, though used outside its natural domain.

Humans are, by design, imperfect experimentalists. The cost of testing each step of a process exceeds the benefit of knowing which steps can be eliminated. To an outsider who knows which steps are superfluous, the actors appear superstitious, even ridiculous. Nonetheless, the exact duplication of all steps is rational for the imperfect experimentalist. The case of ritual in autism illustrates this point. (Published Online February 8 2007).

In this paper we discuss an interpretation of intuitionistic type theory in many-sorted arithmetic with so-called conditional application. Via the formulas-as-types correspondence the arithmetical system in turn can be embedded in ML, resulting in a characterization of strong Σ-elimination by an axiom of conditional choice.

This is a study, in two volumes, of one of the longest-standing philosophical problems: the problem of universals. In volume I David Armstrong surveys and criticizes the main approaches and solutions to the problems that have been canvassed, rejecting the various forms of nominalism and 'Platonic' realism. In volume II he develops an important theory of his own, an objective theory of universals based not on linguistic conventions, but on the actual and potential findings of natural science. He thus reconciles (...) a realism about qualities and relations with an empiricist epistemology. The theory allows, too, for a convincing explanation of natural laws as relations between these universals. (shrink)

Upshot: In our target article we claimed that, at least since Weber and Varela, enactivism has incorporated a theoretical commitment to one important aspect of Jonas’s philosophical biology, namely its anthropomorphism, which is at odds with the methodological commitments of modern science. In this general reply we want to clarify what we mean by anthropomorphism, and explain why we think it is incompatible with science. We do this by spelling out what we call the “Jonasian inference,” i.e., the idea that (...) we are entitled, based on our first-person experience of teleology, to take the appearance of teleology in other living beings at face value. (shrink)

This study is concerned with processes for discovering new theories in science. It considers a computational approach to scientific discovery, as applied to the discovery of theories in cognitive science. The approach combines two ideas. First, a process-based scientific theory can be represented as a computer program. Second, an evolutionary computational method, genetic programming, allows computer programs to be improved through a process of computational trialand-error. Putting these two ideas together leads to a system that can automatically generate and improve (...) scientific theories. The application of this method to the discovery of theories in cognitive science is examined. Theories are built up from primitive operators. These are contained in a theory language that defines the space of possible theories. An example of a theory generated by this method is described. These results support the idea that scientific discovery can be achieved through a heuristic search process, even for theories involving a sequence of steps. However, this computational approach to scientific discovery does not eliminate the need for human input. Human judgment is needed to make reasonable prior assumptions about the characteristics of operators used in the theory generation process, and to interpret and provide context for the computationally generated theories. (shrink)

In this paper we investigate AGM belief contraction operators by using the tools of algebraic logic. We generalize the notion of contraction to arbitrary finitary propositional logics, and we show how to switch from a syntactic-based approach to a semantic one. This allows to build a solid bridge between the validity of AGM postulates in a propositional logic and specific algebraic properties of its intended algebraic counterpart. Such a connection deserves particular attention when we deal with maxichoice contractions, as studied (...) in the final part of the paper. (shrink)

In this paper two models for movement of respiratory gases in the insect trachea are presented. One model considers the tracheal system as a single flexible compartment while the other model considers the trachea as a single flexible compartment with gas exchange. This work represents an extension of Ben-Tal’s work on compartmental gas exchange in human lungs and is applied to the insect tracheal system. The purpose of the work is to study nonlinear phenomena seen in the insect respiratory system. (...) It is assumed that the flow inside the trachea is laminar, and that the air inside the chamber behaves as an ideal gas. Further, with the isothermal assumption, the expressions for the tracheal partial pressures of oxygen and carbon dioxide, rate of volume change, and the rates of change of oxygen concentration and carbon dioxide concentration are derived. The effects of some flow parameters such as diffusion capacities, reaction rates and air concentrations on net flow are studied. Numerical simulations of the tracheal flow characteristics are performed. The models developed provide a mathematical framework to further investigate gas exchange in insects. (shrink)

This is a study, in two volumes, of one of the longest-standing philosophical problems: the problem of universals. In volume I David Armstrong surveys and criticizes the main approaches and solutions to the problems that have been canvassed, rejecting the various forms of nominalism and 'Platonic' realism. In volume II he develops an important theory of his own, an objective theory of universals based not on linguistic conventions, but on the actual and potential findings of natural science. He thus reconciles (...) a realism about qualities and relations with an empiricist epistemology. The theory allows, too, for a convincing explanation of natural laws as relations between these universals. (shrink)

In this paper, we discuss our approach to developing engaging course content linked to distinct learning outcomes on the topic of academic authorship. Academic authorship is a critical element of research culture and responsible conduct of research (RCR) courses. Drawing on instructional design methods, our online course aims to stimulate critical thinking about ethical authorship practices and to help students develop skills for resolving authorship-related conflicts. The course is scaffolded to facilitate engagement by tying video and podcast-style media, a choice-based (...) interactive simulation, and traditional case study activities, to specific learning objectives. We describe how each instructional technique enhances student engagement and learning for the paired objective, and the benefits of the holistic course design. Finally, we illustrate how RCR instructors can incorporate our materials in full or in part into their own course curricula and encourage others to use our course development approach when designing their own courses. (shrink)

Via the formulas-as-types embedding certain extensions of Heyting Arithmetic can be represented in intuitionistic type theories. In this paper we discuss the embedding of ω-sorted Heyting Arithmetic HA ω into a type theory WL, that can be described as Troelstra's system ML 1 0 with so-called weak Σ-elimination rules. By syntactical means it is proved that a formula is derivable in HA ω if and only if its corresponding type in WL is inhabited. Analogous results are proved for Diller's so-called (...) restricted system and for a type theory based on predicate logic instead of arithmetic. (shrink)

LIFE offers various amusements, and anyone these days who can choose among them will come late to the study of hiatus in Greek prose. Germany in the 1880s, so it seems, was less fortunate, and few greater excitements were known to young or old than the hunt for hiatus; but now that we no longer strait-waistcoat our classical authors and the austerity of those times is discredited, few collectors of hiatus are to be found, and there are people even in (...) Germany who have never identified a single specimen. Yet there is nothing to be said for underrating an author' stylistic pretensions, still less for encouraging others to do the same; and the textual critic, whose path is slippery enough at the best of times, can ill afford to dispense with footholds. There has been no broad study of hiatus in Greek prose since 1841, when Benseler in a long and original book De hiatu in oratoribus et historicis Graecis went through the text of 27 authors and attempted to determine their practice. (shrink)