Robert Rosen has proposed several characteristics to distinguish “simple” physical systems (or “mechanisms”) from “complex” systems, such as living systems, which he calls “organisms”. The Memory Evolutive Systems (MES) introduced by the authors in preceding papers are shown to provide a mathematical model, based on category theory, which satisfies his characteristics of organisms, in particular the merger of the Aristotelian causes. Moreover they identify the condition for the emergence of objects and systems of increasing complexity. As an application, the cognitive (...) system of an animal is modeled by the “MES of cat-neurons” obtained by successive complexifications of his neural system, in which the emergence of higher order cognitive processes gives support to Mario Bunge’s “emergentist monism.”. (shrink)

We comment on the preceding reviews of our book “ Memory Evolutive Systems ”, discussing the improvements proposed by some of the reviewers and answering to critics of others, in particular on the use of category theory for modeling living systems.

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)

Perhaps the most distinct question in science throughout the ages has been the one of perceivable reality, treated both in physics and philosophy. Reality is acting upon us, and we, and life in general, are acting upon reality. Potentiality, found both in quantum reality and in the activity of life, plays a key role. In quantum reality observation turns potentiality into reality. Again, life computes possibilities in various ways based on past actions, and acts on the basis of these computations. (...) This book is about a new approach to biology. Its subtitle suggests a perpetual movement and interplay between two elusive aspects of modern science — reality/matter and potentiality/mind, between physics and biology — both captured and triggered by mathematics — to understand and explain emergence, development and life all the way up to consciousness. But what is the real/potential difference between living and non-living matter? How does time in potentiality differ from time in reality? What we need to understand these differences is an integrative approach. This book contemplates how to encircle life to obtain a formal system, equivalent to the ones in physics. Integral Biomathics attempts to explore the interplay between reality and potentiality. (shrink)

Open peer commentary on the article “Info-computational Constructivism and Cognition” by Gordana Dodig-Crnkovic. Upshot: I propose a mathematical approach to the framework developed in Dodig-Crnkovic’s target article. It points to an important property of natural computation, called the multiplicity principle (MP), which allows the development of increasingly complex cognitive processes and knowledge. While local dynamics are classically computable, a consequence of the MP is that the global dynamics is not, thus raising the problem of developing more elaborate computations, perhaps with (...) the help of Turing oracles. (shrink)

Category theory has been proposed as the ultimate algebraic model for biology. We review the Ehresmann–Vanbremeersch theory in the context of other mathematical approaches.

This paper is just a comment to the impressive work by A. C. Ehresmann and J.-P. Vanbremeersch on the theory of Memory Evolutive Systems (MES). MES are truly higher order systems. Hyperstructures represent a new concept which I introduced in order to capture the essence of what a higher order structure is—encompassing hierarchies and emergence. Hyperstructures are motivated by cobordism theory in topology and higher category theory. The morphism concept is replaced by the concept of a bond. In the (...) paper I briefly introduce hyperstructures motivated geometrically and suggest further developments of the MESs along these lines, which could widen up new areas of applications. (shrink)

RésuméCette étude essaie de réunir quelques éléments en vue d'une interprétation plus complète du programme épistémologique contenu de façon extrêmement elliptique dans l'ouvrage post‐hume de Jean Cavaillès, publié en 1947 par G. Canguilhem et C. Ehresmann sous le titre Sur la logique et la théorie de la science . Afin d'arriver, plus particulière‐texte, où la «nécessité génératrice» d'une dialectique conceptuelle est évoquée, il faudra rappeler quelques aspects connus ainsi que quelques aspects moins connus du cheminement philosophique de Cavaillès.Cette reconstruction (...) est mise en œuvre de façon détaillée dans un travail de commentaire textuel qui devait permettre de dégager le sens des formules denses et souvent allusives de Cavaillés dans son dernier ouvrage1. Il n'est pas possible de résumer ici en quelques lignes le contenu d'un tel travail. Toutefois on peut indiquer quelques conclusions qui s'en dégagent pour l'interprétation globale de l'ouvrage en question. En premier lieu il faut reconnaître la nature même du problème traité ici par Cavaillès. En second lieu on caractérise le type de position prise envers ce problème ainsi défini et en tant qu'on peut le restreindre dans un premier moment à la philosophie des mathématiques. En troisième lieu on montre que se problème subit un changement d'éclairage par le fait que cette restriction doit être levée en prenant en considération le rapport entre expérience mathématique et expiérience physique. que nous serons obligés d'entrer un peu plus, et à titre d'exemple, dam le détail de l'exégèse). Finalement on peut essayer de préciser le programme d'une dialectique conceptuelle en quelques thèses ou titres schématiques qui concement les questions majeures de la théorie de la science selon Cavaillès2. (shrink)

Marie-Andrée Charbonneau a fait ses études de médecine et de philosophie et c’est tant mieux. Ces deux disciplines lui ont permis de s’intéresser aux premiers travaux scientifiques de Jacques Lacan puis aux textes ultérieurs où les références philosophiques sont omniprésentes. En fait, Charbonneau s’intéresse tout particulièrement à la pensée du premier Lacan qui va de 1926 à 1953 et qu’elle divise en trois périodes. La première, de 1926 à 1932, couvre les premières publications médicales de l’auteur de même que (...) sa thèse de doctorat. La deuxième débute en 1933 avec les textes publiés dans Le Minotaure et se termine par celui de 1938 sur la famille. La guerre sépare la deuxième et la troisième période, laquelle prend fin avec le tournant de 1953. C’est une démarche essentiellement chronologique que nous offre Charbonneau dans son livre, reprenant dans les détails, les textes publiés durant ces trois périodes. Pour l’auteure, Lacan apparaît comme un homme bien de son temps et dont l’œuvre reflète à merveille le milieu intellectuel dans lequel elle s’inscrit. Et c’est à travers ces multiples influences que Lacan tentera d’établir le statut de cette nouvelle science qu’est la psychanalyse. (shrink)

Bazzocchi disposes the text of the Tractatus in a user-friendly manner, exactly as Wittgenstein's decimals advise. This discloses the logical form of the book by distinct reading units, linked into a fashioned hierarchical tree. The text becomes much clearer and every reader can enjoy, finally, its formal and literary qualities.

This reconsideration of Hume’s classic essay “Of Miracles” via the lens of American pragmatist ways of thinking about history and power shifts our attention from Hume’s epistemic concerns about the legitimacy of witnesses and testimony to his distaste for sacred history, his critical stance regarding the social force of revelation, and his disdain for religious authority. To view Hume’s essay both as an articulation of a critical philosophy of history and as an exercise in moral dynamism (social power or, authority, (...) is a result of epistemic transactions), is to intervene in both Hume studies and Contemporary Pragmatism. (shrink)

This paper investigates the emotional import of literary devices deployed in fiction. Reflecting on the often-favored approach in the analytic tradition that locates fictional characters, events, and narratives as sources of readers’ emotions, I attempt to broaden the scope of analysis by accounting for how literary devices trigger non-cognitive emotions. I argue that giving more expansive consideration to literary devices by which authors present content facilitates a better understanding of how fiction engages emotion. In doing so, I also explore the (...) somatic dimension of reading fiction. (shrink)

What is post-truth? -- Science denial as a road map for understanding post-truth -- The roots of cognitive bias -- The decline of traditional media -- The rise of social media and the problem of fake news -- Did post-modernism lead to post-truth? -- Fighting post-truth.

The authors present a case study involving truth telling responsibilities in the setting of nonepileptic seizures. Specifically, over the course of several suspected nonepileptic seizures, a patient’s seizures stopped after he received a saline flush meant to precede the administration of anti-seizure medication. The patient and his surrogate believed he had received the medication each time, and the team wondered whether they should disclose the truth. Some worried that disclosure would reinforce the suspected psychogenic behavior, exacerbating the patient’s condition. In (...) this way, the case study presents a twist on the traditional truth telling archetype. While most truth telling cases center on navigating cultural differences or worries about emotional harm, this case presented concerns about medical harm in the form of exacerbating the patient’s condition. The authors describe the complex patient-family-team dynamic that preceded this ethical dilemma, describe the case, analyze the ethical issue, and describe the outcome. (shrink)

In ancient China, a revered Taoist sage named Zhuangzi told many parables. In Existential Psychology and the Way of the Tao, a selection of these parables will be featured. Following each parable, an eminent existential psychologist will share a personal and scholarly reflection on the meaning and relevance of the parable for psychotherapy and contemporary life. The major tenets of Zhuangzi's philosophy are featured. Taoist concepts of emptiness, stillness, Wu Wei (i.e. intentional non-intentionality), epistemology, dreams and the nature of reality, (...) character building in the midst of pain, meaning and the centrality of relationships, authenticity, self-care, the freedom that can come from one's willingness to confront death, spiritual freedom, and gradations of therapeutic care are topics highlighted in this book. (shrink)

The widespread use of stimulants among healthy individuals to improve cognition has received growing attention; however, public attitudes toward this practice are not well understood. We determined the effect of framing metaphors and context of use on public opinion toward cognitive enhancement. We recruited 3,727 participants from the United States to complete three surveys using Amazon’s Mechanical Turk between April and July 2017. Participants read vignettes describing an individual using cognitive enhancement, varying framing metaphors (fuel versus steroid), and context of (...) use (athletes versus students versus employees). The main outcome measure was the difference in respondent-assigned level of acceptability of the use of cognitive enhancement by others and by themselves between the contrasting vignettes. Participants were more likely to support the use of cognitive enhancement by others than by themselves and more when the use of enhancement by others was framed with a fuel metaphor than with a steroid metaphor. Metaphoric framing did not affect participants’ attitudes toward their own use. Participants supported the use of enhancement by employees more than by students or athletes. These results are discussed in relation to existing ethical and policy literature. (shrink)

This volume brings together Nussbaum's published papers on the relationship between literature and philosophy, especially moral philosophy. The papers, many of them previously inaccessible to non-specialist readers, deal with such fundamental issues as the relationship between style and content in the exploration of ethical issues; the nature of ethical attention and ethical knowledge and their relationship to written forms and styles; and the role of the emotions in deliberation and self-knowledge. Nussbaum investigates and defends a conception of ethical understanding which (...) involves emotional as well as intellectual activity, and which gives a certain type of priority to the perception of particular people and situations rather than to abstract rules. She argues that this ethical conception cannot be completely and appropriately stated without turning to forms of writing usually considered literary rather than philosophical. It is consequently necessary to broaden our conception of moral philosophy in order to include these forms. Featuring two new essays and revised versions of several previously published essays, this collection attempts to articulate the relationship, within such a broader ethical inquiry, between literary and more abstractly theoretical elements. (shrink)

This book critically assesses arguments for the existence of the God of classical theism, develops an innovative account of objects’ persistence, and defends new arguments against classical theism. The authors engage the following classical theistic proofs: Aquinas’s First Way, Aquinas’s De Ente argument, and Feser’s Aristotelian, Neo-Platonic, Augustinian, Thomistic, and Rationalist proofs. The authors also provide the first systematic treatment of the ‘existential inertia thesis’. By connecting the thesis to relativity theory and recent developments in the philosophy of physics, and (...) by developing a variety of novel existential-inertia-friendly explanations of persistence, they mount a formidable new case against classical theistic proofs. Finally, they defend new arguments against classical theism based on abstract objects and changing divine knowledge. The text appeals to students, researchers, and others interested in classical theistic proofs, the existence and nature of God, and the ultimate explanations of persistence, change, and contingency. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

Ivancovsky et al. propose a novelty-seeking model linking curiosity to creativity. This commentary suggests integrating their work with a stage-based creativity model for additional insights. It also encourages readers to address knowledge gaps identified by the authors, including factors that trigger the pursuit of creative solutions. We aim to refine theory and direct future research to clarify the complex curiosity–creativity relationship.

Just as humans can draw conclusions responsibly or irresponsibly, so too can computers. Machine learning systems that have been trained on data sets that include irresponsible judgments are likely to yield irresponsible predictions as outputs. In this paper I focus on a particular kind of inference a computer system might make: identification of the intentions with which a person acted on the basis of photographic evidence. Such inferences are liable to be morally objectionable, because of a way in which they (...) are presumptuous. After elaborating this moral concern, I explore the possibility that carefully procuring the training data for image recognition systems could ensure that the systems avoid the problem. The lesson of this paper extends beyond just the particular case of image recognition systems and the challenge of responsibly identifying a person’s intentions. Reflection on this particular case demonstrates the importance (as well as the difficulty) of evaluating machine learning systems and their training data from the standpoint of moral considerations that are not encompassed by ordinary assessments of predictive accuracy. (shrink)

Under what circumstances if ever ought we to grant that Artificial Intelligences (AI) are persons? The question of whether AI could have the high degree of moral status that is attributed to human persons has received little attention. What little work there is employs western conceptions of personhood, while non-western approaches are neglected. In this article, I discuss African conceptions of personhood and their implications for the possibility of AI persons. I focus on an African account of personhood that is (...) prima facie inimical to the idea that AI could ever be ‘persons’ in the sense typically attributed to humans. I argue that despite its apparent anthropocentrism, this African account could admit AI as persons. (shrink)

What proper role should considerations of risk, particularly to research subjects, play when it comes to conducting research on human enhancement in the military context? We introduce the currently visible military enhancement techniques (1) and the standard discussion of risk for these (2), in particular what we refer to as the ‘Assumption’, which states that the demands for risk-avoidance are higher for enhancement than for therapy. We challenge the Assumption through the introduction of three categories of enhancements (3): therapeutic, preventive, (...) and pure enhancements. This demands a revision of the Assumption (4), alongside which we propose some further general principles bearing on how to balance risks and benefits in the context of military enhancement research. We identify a particular type of therapeutic enhancements as providing a more responsible path to human trials of the relevant interventions than pure enhancement applications. Finally, we discuss some possible objections to our line of thought (5). While acknowledging their potential insights, we ultimately find them to be unpersuasive, at least provided that our proposal is understood as fully non-coercive towards the candidates for such therapeutic enhancement trials. (shrink)

Aristotle's treatise De Interpretatione is one of his central works; it continues to be the focus of much attention and debate. C. W. A. Whitaker presents the first systematic study of this work, and offers a radical new view of its aims, its structure, and its place in Aristotle's system, basing this view upon a detailed chapter-by-chapter analysis.By treating the work systematically, rather than concentrating on certain selected passages, Whitaker is able to show that, contrary to traditional opinion, it forms (...) an organized and coherent whole. He argues that the De Interpretatione is intended to provide the underpinning for dialectic, the system of argument by question and answer set out in Aristotle's Topics; and he rejects the traditional view that the De Interpretatione concerns the assertion and is oriented towards the formal logic of the Prior Analytics. In doing so, he sheds valuable new light on some of Aristotle's most famous texts. (shrink)

It is my conviction that much of the criticism of John Rawls’A Theory of Justicemisses its mark precisely because of a failure to appreciate the distinctive methodological structure of this work. I have three types of criticisms specifically in mind. First, the critic whose ultimate weapon is the counterexample. Secondly, the critic who focuses on one aspect of Rawls’ project without taking into account the whole theory. And thirdly, the critic who attempts to assess the theory absolutely rather than as (...) one member of a set of welldefined alternatives. In this paper I hope to exhibit why these kinds of criticisms miss the mark, and I propose to do this indirectly by focusing on Rawls’ conception of philosophical method. Once this is exhibited, the relevance and irrelevance of certain kinds of criticisms becomes obvious. In my attempt to explicate Rawls’ conception of method, I will begin with his early methodological papers as providing the context within which the methodological structure ofA Theory of justiceshould be viewed. (shrink)

Neuroscientists are searching for the engram within the conceptual framework established by John Locke's theory of mind. This framework was elaborated before the development of information theory, before the development of information processing machines and the science of computation, before the discovery that molecules carry hereditary information, before the discovery of the codon code and the molecular machinery for editing the messages written in this code and translating it into transcription factors that mark abstract features of organic structure such as (...) anterior and distal. The search for the engram needs to abandon Locke's conceptual framework and work within a framework informed by these developments. The engram is the medium by which information extracted from past experience is transmitted to the computations that inform future behavior. The information-conveying symbols in the engram are rapidly generated in the course of computations, which implies that they are molecules. (shrink)

_Verificationism_ is the first comprehensive history of a concept that dominated philosophy and scientific methodology between the 1930s and the 1960s. The verificationist principle - the concept that a belief with no connection to experience is spurious - is the most sophisticated version of empiricism. More flexible ideas of verification are now being rehabilitated by a number of philosophers. C.J. Misak surveys the precursors, the main proponents and the rehabilitators. Unlike traditional studies, she follows verificationist theory beyond the demise of (...) positivism to examine its reappearance in the work of modern philosophers. Most interestingly, she argues that despite feminism's strenuous opposition to positivism, verificationist thought is at the heart of much of contemporary feminist philosophy. _Verificationism_ is an excellent assessment of a major and influential system of thought. (shrink)

"A rich collection. Since it holds a number of introductory pieces along with advanced essays and review articles, the volume will be accessible to a broad audience and will work well in philosophy of science courses....Essential."--Lawrence Sklar, University of Michigan.

Intertheoretic reduction in physics aspires to be both to be explanatory and perfectly general: it endeavors to explain why an older, simpler theory continues to be as successful as it is in terms of a newer, more sophisticated theory, and it aims to relate or otherwise account for as many features of the two theories as possible. Despite often being introduced as straightforward cases of intertheoretic reduction, candidate accounts of the reduction of general relativity to Newtonian gravitation have either been (...) insufficiently general or rigorous, or have not clearly been able to explain the empirical success of Newtonian gravitation. Building on work by Ehlers and others, I propose a different account of the reduction relation that is perfectly general and meets the explanatory demand one would make of it. In doing so, I highlight the role that a topology on the collection of all spacetimes plays in defining the relation, and how the selection of the topology corresponds with broader or narrower classes of observables that one demands be well-approximated in the limit. (shrink)

It is common for conservationists to refer to non-native species that have undesirable impacts on humans as “invasive”. We argue that the classification of any species as “invasive” constitutes wrongful discrimination. Moreover, we argue that its being wrong to categorize a species as invasive is perfectly compatible with it being morally permissible to kill animals—assuming that conservationists “kill equally”. It simply is not compatible with the double standard that conservationists tend to employ in their decisions about who lives and who (...) dies. (shrink)

In this paper I propose an interpretation of classical statistical mechanics that centers on taking seriously the idea that probability measures represent complete states of statistical mechanical systems. I show how this leads naturally to the idea that the stochasticity of statistical mechanics is associated directly with the observables of the theory rather than with the microstates (as traditional accounts would have it). The usual assumption that microstates are representationally significant in the theory is therefore dispensable, a consequence which suggests (...) interesting possibilities for developing non-equilibrium statistical mechanics and investigating inter-theoretic answers to the foundational questions of statistical mechanics. (shrink)

José Benardete developed a famous paradox involving a beginningless set of items each member of which satisfies some predicate just in case no earlier member satisfies it. The Grim Reaper version of this paradox has recently been employed in favor of various finitist metaphysical theses, ranging from temporal finitism to causal finitism to the discrete nature of time. Here, I examine a new challenge to these finitist arguments—namely, the challenge of implying that the future cannot be endless. In particular, I (...) develop future-oriented Benardete paradoxes and examine their epistemic symmetry with past-oriented paradoxes. (shrink)

A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation of the standard (...) meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)

Philosophers now treat the relationship between classical genetics and molecular biology as a paradigm of nonreduction and this example is playing an increasingly prominent role in debates about the reducibility of theories in other sciences. This paper shows that the anti-reductionist consensus about genetics will not withstand serious scrutiny. In addition to defusing the main anti-reductionist objections, this critical analysis uncovers tell-tale signs of a significant reduction in progress. It also identifies philosophical issues relevant to gaining a better understanding of (...) what is now happening in genetics and of what we might expect to happen in other sciences. (shrink)