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)

Human persons can act with libertarian freedom in heaven according to one prominent view, because they have freely acquired perfect virtue in their pre-heavenly lives such that acting rightly in heaven is volitionally necessary. But since the character of human persons is not perfect at death, how is their character perfected? On the unilateral model, God alone completes the perfection of their character, and, on the cooperative model, God continues to work with them in purgatory to perfect their own character. (...) I argue that although both models can make sense of all human persons enjoying free will in heaven on various assumptions, the cooperative model allows all human persons in heaven to enjoy a greater degree of freedom. This consideration about the degree of heavenly freedom provides a reason for God to implement the cooperative model. (shrink)

Robert John Ackermann deals decisively with the problem of relativism that has plagued post-empiricist philosophy of science. Recognizing that theory and data are mediated by data domains (bordered data sets produced by scientific instruments), he argues that the use of instruments breaks the dependency of observation on theory and thus creates a reasoned basis for scientific objectivity. Originally published in 1985. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished (...) backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

Laws of nature have various roles in scientific practice. It is widely agreed that an adequate theory of lawhood ought to align with the roles that scientists assign to the laws. But philosophers disagree over whether Humean laws or non-Humean laws are better at filling these roles. In this paper, I provide an argument for settling this dispute. I consider possible situations in which scientists receive conclusive evidence that—according to the non-Humean—falsifies their beliefs about the laws, but which—according to the (...) Humean—does not falsify their beliefs about the laws. I argue that, in these possible scenarios, all law-related aspects of scientific practice would remain unchanged. In other words, scientists would treat the regularities “preferred” by the Humean as the laws of nature. On this basis, I conclude that non-Humean laws fail to align with scientific practice. (shrink)

We present a theory of cooperative-competitive intelligence (CCI), its measures, research program, and applications that stem from it. Within the framework of this theory, satisficing sub-optimal behavior is any behavior that does not promote a decrease in the prospective control of the functional action diversity/unpredictability (D/U) potential of the agent or team. This potential is defined as the entropy measure in multiple, context-dependent dimensions. We define the satisficing interval of behaviors as CCI. In order to manifest itself at individual or (...) team level, this capacity harnesses properties such as degeneracy, pleiotropy (pluri-potentiality), synergies, and metastability. Intelligence is embodied because intelligent behavior is deeply dependent on body functionalities, defined as entropy measures. We base our theory on three principles: (a) relativity of functional entropy/ information in agent (team)-environment systems, (b) tendency toward the satisficing level of D/U potential, and (c) tendency toward the non-decreasing D/U potential. The conjunction of these three principles provides existence of sub-optimal behaviors associated with CCI. First, we deal with the problem of how to reduce multidimensional behavior to a concept that accounts for the vast set of scenarios in which CCI is manifested. Secondly, we define and discuss the three interacting principles that underpin CCI behavior as well as providing an outline for a future CCI research program supported by agent￾based modeling and empirical research. Finally, we provide some preliminary practical issues that stem from the theory. (shrink)

In their Introduction to Logic, Copi and Cohen suggest that students construct a formal proof by "working backwards from the conclusion by looking for some statement or statements from which it can be deduced and then trying to deduce those intermediate statements from the premises. What follows is an elaboration of this suggestion. I describe an almost mechanical procedure for determining from which statement(s) the conclusion can be deduced and the rules by which the required inferences can be made. This (...) method is designed to forestall the quandary in which many beginners find themselves: not knowing how to get started. (shrink)

Things strike me in a variety ways. F and F# sound slightly different, ripe and unripe tomatoes neither look nor taste nor smell the same, and silk feels smoother than corduroy. In each case, I distinguish an experience of something on the basis of what it is like to be its subject. That is to say, in philosophical parlance, if not quite the vernacular, its “quale,” leads me to categorize it and, thus, respond appropriately to its stimulus. The function of (...) a quale being established, we must define it along with its subject and, as Sartre maintained, their relation. How should we understand the subject and predicate terms and the copula in sentences such as ‘He is listening to Chopin’ or ‘She is seeing the sights of Paris’? Elaborating upon adverbialism, I shall argue that the subject of experiencing is a hylomorphic compound that is temporarily identical to the 'accidental compound' that it forms along with a qualified passion. I begin by explicating the adverbialist’s treatment of qualitative consciousness and defending it against the charge of circularity. (shrink)

I demonstrate here that St. Anselm”s understanding of free will fits neatly into an Aristotelian conceptual framework. Aristotle”s four causes are first aligned with Anselm”s four senses of “will”. The volitional hierarchy Anselm”s definition of free will entails is then detailed, culminating in its reconciliation with Eudaimonism. The summum bonum turns out to be the apex of that series of actualizations or perfections. I conclude by explicating Anselm’s teleological understanding of sin by reference to his analog of Aristotle’s essence-accident distinction.

This dissertation is a discussion of Wittgenstein's later philosophy. In it, Wittgenstein's answer to the "going on problem" will be presented: I will give his reply to the skeptic who denies that rule-following is possible. Chapter One will describe this problem. Chapter Two will give Wittgenstein's answer to it. Chapter Three will show how Wittgenstein used this answer to give the standards of mathematics. Chapter Four will compare Wittgenstein's answer to the going on problem to Plato's. Chapter Five will describe (...) Kant's influence on Wittgenstein's later philosophy. The leitmotif of these chapters will be that the way human beings typically apply a rule is the source of justification for an individual's usage thereof. (shrink)

Problem of epistemic activity and their relationship with language is very well known in philosophy. Undertaking this challenge in this article we shall present some logical constructions apparent in these issues. More precisely we want to describe some difficulties of formal reconstruction of the notion of belief and utterance and try to find broader perspective appointed by notion of trust. To realize this goals article shows how non-formal assumption about doxa affects on its formal construction. Then, logic of utterances—mainly based (...) on Conversational Implicatures theory—and its relation to doxastic systems is discussed and, finally, article shows that more accurate description of these two notions needs broader perspective created by BIT system proposed by Ch-J. Liau. (shrink)

A renowned scholar investigates the "human crisis" that Albert Camus confronted in his world and in ours, producing a brilliant study of Camus's life and influence for those readers who, in Camus's words, "cannot live without dialogue and friendship. As France--and all of the world--was emerging from the depths of World War II, Camus summed up what he saw as 'the human crisis'. 'We gasp for air among people who believe they are absolutely right, whether it be in their machines (...) or their ideas. And for all who cannot live without dialogue and the friendship of other human beings, this silence is the end of the world.' In the years after he wrote these words, until his death fourteen years later, Camus labored to address this crisis, arguing for dialogue, understanding, clarity, and truth. When he sailed to New York, in March 1946--for his first and only visit to the United States--he found an ebullient nation celebrating victory. Camus warned against the common postwar complacency that took false comfort in the fact that Hitler was dead and the Third Reich had fallen. Yes, the serpentine beast was dead, but "we know perfectly well," he argued, "that the venom is not gone, that each of us carries it in our own hearts." All around him in the postwar world, Camus saw disheartening evidence of a global community revealing a heightened indifference to a number of societal ills. It is the same indifference to human suffering that we see all around, and within ourselves, today. (shrink)

Many segments of society have systems of values arising from collective beliefs and motivations. For agriculture, and our food system, increasing production to feed the growing human population clearly is a core value. However, a survey we conducted, together with a previously reported survey, showed that the curricula of most U.S. colleges of agriculture do not offer ethics courses that examine the basis of this core value or include discussion of agriculture’s ethical dilemmas such as misuse of pesticides, not progressing (...) rapidly enough toward sustainability goals, relative lack of involvement in addressing diet-related health issues, and lack of commitment to reducing agriculture’s role as a contributor to global climate change. These surveys provide strong evidence that few students have an opportunity to learn ethical concepts and apply them to issues of importance to the agriculture/food system. We suggest that such issues are both growing societal concerns and serious ethical problems that demand attention if our agricultural/food system is not see its relationship with the public further imperiled. Further, we suggest that there is a need for, indeed an obligation of, the faculty of colleges of agriculture to embrace a thorough analysis and discussion of agriculture’s values and their ethical foundation. We offer our thoughts on why curricula of colleges of agriculture do not provide such opportunities and on the importance of agricultural faculties providing leadership in ethical analysis and discussion. (shrink)

This paper couples the variation and selection analogy utilized in evolutionary epistemology with the hermeneutical insight that novel data and theoretical texts are obscure in meaning. Dissensus must be valued as a distancing mechanism of variation on the space of possible meanings while argumentation attacks the initial obscurity. The objection that evolutionary accounts can only describe practice is countered by indicating how dissensus has normative purchase wherever science is producing novel text.

For each natural number n we study the modal logic determined by the class of transitive Kripke frames in which there are no cycles of length greater than n and no strictly ascending chains. The case n=0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n=0$$\end{document} is the Gödel-Löb provability logic. Each logic is axiomatised by adding a single axiom to K4, and is shown to have the finite model property and be decidable. We then consider a number of extensions (...) of these logics, including restricting to reflexive frames to obtain a corresponding sequence of extensions of S4. When n=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n=1$$\end{document}, this gives the famous logic of Grzegorczyk, known as S4Grz, which is the strongest modal companion to intuitionistic propositional logic. A topological semantic analysis shows that the n-th member of the sequence of extensions of S4 is the logic of hereditarily n+1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n+1$$\end{document}-irresolvable spaces when the modality ◊\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Diamond $$\end{document} is interpreted as the topological closure operation. We also study the definability of this class of spaces under the interpretation of ◊\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Diamond $$\end{document} as the derived set operation. The variety of modal algebras validating the n-th logic is shown to be generated by the powerset algebras of the finite frames with cycle length bounded by n. Moreover each algebra in the variety is a model of the universal theory of the finite ones, and so is embeddable into an ultraproduct of them. (shrink)

Nowhere do things flourish which are not a combination of inert elements, and nowhere can we perceive matter as other than that constant nourishment which thought directs, regulates, and controls, but on which it is dependent. In the autumn of 1798, Immanuel Kant published what was his final work, The Conflict of the Faculties. The latter comprises three essays, which ostensibly address the conflicts between the lower faculty of philosophy and the higher faculties of, respectively, theology, law, and medicine. Each (...) of the three essays was written for a different purpose and at a different time :2 the first, completed in 1794, deals with the relationship between.. (shrink)

In Michel Tournier’s 1967 novel Vendredi ou les Limbes du Pacifique—published in English under the abbreviated title Friday—the protagonist, stranded on an isla.

We analyze the effects of uncertainty on WTA, WTP and the WTA–WTP gap. Extending the approach of Weber (Econom Lett 80:311–315, 2003) to the case of lotteries, we develop an exact expression for the WTA–WTP gap that allows identification of its magnitude under different utility specifications. Reinterpreting and extending results by Gabillon(Econom Lett 116:157–160, 2012), we also identify generally the relationship between an agent’s utility of income and the gap’s algebraic sign, as well as the effects of risk increases on (...) WTA and WTP. Finally, we derive the limit behavior of the gap as income or risk increase. (shrink)

In 1914, James Leuba, a psychologist at Bryn Mawr, conducted several surveys of scientists and college students regarding their religious beliefs, publishing his findings in a 1916 book titled The Belief in God and Immortality. Among scientists generally, 41.8 percent indicated they were believers in a personal God (defined as a being to whom one could pray, expecting a response), whereas 41.5 percent expressed disbelief in such a God and 16.7 percent declared themselves to be agnostic. Among elite scientists (those (...) with an asterisk by their names in James McKean Cattell's American Men of Science), the percentage of believers was lower, at 31.6 percent. Among elite biologists, the subset who believed in God was even smaller—16.9 percent. In 1996 and 1998, Edward Larson and Larry Witham replicated Leuba's study, publishing their findings in the April 23, 1997, and July 23, 1998, issues of Nature. Their surveys revealed that of all scientists questioned, 39.3 percent professed belief in a personal God, about the same as in the 1914 study. However, among elite scientists—now defined as members of the National Academy of Sciences—the proportion who were believers had plummeted to 7 percent, with biologists showing the least religious conviction at 5.5 percent. In the general population of the United States, some 86 percent profess belief in the existence of a personal God, according to a 1999 Gallup poll. These figures dramatically indicate the great no-mans land separating the religious convictions of ordinary citizens from those of the scientific community, especially its leading members. This dissensus has fueled many of the bitter battles recently fought over evolution and stem cells and has ignited explosive devices laid along several political byways. (shrink)

The author presents a discussion of existentialistic themes as they are found in sartrean literature and scholarly writings. (staff).