Fichte argues that the conclusion of Kant’s transcendental deduction of the categories is correct yet lacks a crucial premise, given Kant’s admission that the metaphysical deduction locates an arbitrary origin for the categories. Fichte provides the missing premise by employing a new method: a genetic deduction of the categories from a first principle. Since Fichte claims to articulate the same view as Kant in a different, it is crucial to grasp genetic deduction in relation (...) to the sorts of deduction that Kant offers. I propose to interpret genetic deduction as the simultaneous fulfillment of two tasks: answering the question quid facti by deriving the categories from the I and answering the question quid juris by establishing our entitlement to the categories as conditions of experience. While the second task represents Fichte’s agreement with Kant’s transcendental deduction, the first reflects his correction of Kant’s metaphysical deduction. (shrink)

The concept of facticity denotes conditions of experience whose necessity is not logical yet whose contingency is not empirical. Although often associated with Heidegger, Fichte coins ‘facticity’ in his Berlin period to refer to the conclusion of Kant’s metaphysical deduction of the categories, which he argues leaves it a contingent matter that we have the conditions of experience that we do. Such rhapsodic or factical conditions, he argues, must follow necessarily, independent of empirical givenness, from the I through a (...) process of ‘genesis.’ I reconstruct Fichte’s argument by tracing the origin of his neologism, presenting his Jena critique of Kant’s rhapsodic appeal to the forms of judgment, and illustrating the Jena period’s continuity with the Berlin period’s genetic method, while noting a methodological shift whereby Fichte directs his critique against his own doctrine of intellectual intuition in order to eliminate its ‘factical terms.’. (shrink)

In this work Husserl makes the distinction between expressions and indications that Derrida will later plant the bomb of Husserl's own Phenomenology of Internal Time Consciousness underneath it in order to undermine the dream for presence and inaugurate Deconstruction. Logic, as Husserl sees it, is concerned in the first place with meanings (propositions, concepts) and with associated meaning-instantiating acts. Most importantly, it is concerned with that sort of deductively closed collection of meanings which constitutes a scientific theory. For Husserl, as (...) for Bolzano, logic is a theory of science. Only where we have an appropriate unity and organization also on the side of the objects (states of affairs, properties) to which the relevant acts refer, however, will we have a scientific theory, so that the unity which is characteristic of the latter must involve both (1) an interconnection of truths (or of propositional meanings in general), and (2) an interconnection of the things to which these truths (and the associated cognitive acts) are directed. Where formal logic relates in the first place to meaning categories such as proposition, concept, subject and predicate, its sister discipline of formal ontology relates to object categories such as object and property, relation and relatum, manifold, part, whole, state of affairs, existence and so on. Logic in a broader sense therefore seeks to delimit the concepts which belong to the idea of a unity of theory in relation to both meanings and objects, and the truths of logic are all the necessary truths relating to those categories of constituents, on the side of both meanings and objects, from out of which science as such is necessarily constituted (including what we might think of as bridge-categories such as identity and truth which span the division between meanings and objects). The best way to deal with Husserl's theory of formal ontology, therefore, is to explicate both the connections between the formal and material, and those between the ontological and the logical. In introducing his distinction between formal and material ontology, Husserl asserts that the former is descriptive and involves analytic a priori judgements, and that the latter involves synthetic a priori judgements. In its most general sense formal ontology concerns itself with characterizing the simple 'something'. The sphere of material ontology in this sense are the laws of non-independence (2) which delimit the ontological regions. For the genetic interpretation, material ontology precedes formal ontology; for the descriptive interpretation it is the other way round (1913, art. 10). Here emerges 'the fundamental distinction between formal and material ontology': namely, the distinction between analytic a priori and synthetic a priori (Introduction to Formale und transzendentale Logik, 1929). (shrink)

Peer Review Book Description - Maria Seykora (female, published age 28) -/- -/- Classical Logic will attempt to give a comprehensive and rigorous introduction and more advanced overview of the area of logic widely known as “classical logic,” as distinguished from modern-day “non-classical logic,” for undergraduate students in general. It will cover the topics of Informal Logic (including logical fallacies, deduction, induction, and abductive reasoning) and Formal Logic. (Because it aims to cover these two topics, the title may change (...) to Informal and Classical Logic for the first edition.) Within the category of Formal Logic, it will cover Syllogistic or Categorical Logic and Symbolic Logic. Furthermore, within Symbolic Logic, it will cover Propositional Logic, Predicate Logic, and Modal Logic. The Formal Logic component is currently unfinished, and the Informal Logic component is somewhat unfinished. The unique selling proposition is “the first comprehensive Classical Logic textbook.” It seems that many textbooks for college students today, including Patrick J. Hurley’s, are loosely organized around Classical Logic and other various areas of logic, yet there is not a clear-cut, comprehensive summation of Classical Logic in textbook form. For instance, Hurley’s textbook does not have a section on Modal Logic, and does not address some fallacies such as Hypothesis Contrary to Fact, the Genetic Fallacy, Appeal to Nature, No True Scotsman Fallacy, Emotionally Loaded Language fallacies, etc. Stan Baronett’s Logic textbook also does not include discussions of Modal Logic or these additional fallacies and others like them, and Siu-Fan Lee’s textbook does not include Modal Logic either. Additionally, abductive reasoning, which involves making an inference to the best explanation, is important in real life, yet it seems absent from most logic textbooks. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions (...) of the connectives in question. (shrink)

Darwinian evolutionary theory has two key terms, variations and biological selection, which finally lead to survival of the fittest variant. With the rise of molecular genetics, variations were explained as results of error replications out of the genetic master templates. For more than half a century, it has been accepted that new genetic information is mostly derived from random error-based events. But the error replication narrative has problems explaining the sudden emergence of new species, new phenotypic traits, and (...) genome innovations as a sudden single event. Meanwhile, it is recognized that errors cannot explain the evolution of genetic information, genetic novelty, and complexity. Now, empirical evidence establishes the crucial role of non-random genetic content editors, such as viruses, diversity generating retroelements, and other RNA networks, to produce new genetic information, complex regulatory control, inheritance vectors, genetic identity, immunity, new sequence space, evolution of complex organisms, and evolutionary transitions. (shrink)

It is often assumed that Fichte's aim in Part I of the System of Ethics is to provide a deduction of the moral law, the very thing that Kant – after years of unsuccessful attempts – deemed impossible. On this familiar reading, what Kant eventually viewed as an underivable 'fact' (Factum), the authority of the moral law, is what Fichte traces to its highest ground in what he calls the principle of the 'I'. However, scholars have largely overlooked a (...) passage in the System of Ethics where Fichte explicitly invokes Kant's doctrine of the fact of reason with approval, claiming that consciousness of the moral law grounds our belief in freedom (GA I/5:65). On the reading I defend, Fichte's invocation of the Factum is consistent with the structure of Part I when we distinguish (a) the feeling of moral compulsion from (b) the moral law itself. (shrink)

In this paper, I consider a family of three-valued regular logics: the well-known strong and weak S.C. Kleene’s logics and two intermedi- ate logics, where one was discovered by M. Fitting and the other one by E. Komendantskaya. All these systems were originally presented in the semantical way and based on the theory of recursion. However, the proof theory of them still is not fully developed. Thus, natural deduction sys- tems are built only for strong Kleene’s logic both with (...) one (A. Urquhart, G. Priest, A. Tamminga) and two designated values (G. Priest, B. Kooi, A. Tamminga). The purpose of this paper is to provide natural deduction systems for weak and intermediate regular logics both with one and two designated values. (shrink)

Deductive Cogency holds that the set of propositions towards which one has, or is prepared to have, a given type of propositional attitude should be consistent and closed under logical consequence. While there are many propositional attitudes that are not subject to this requirement, e.g. hoping and imagining, it is at least prima facie plausible that Deductive Cogency applies to the doxastic attitude involved in propositional knowledge, viz. belief. However, this thought is undermined by the well-known preface paradox, leading a (...) number of philosophers to conclude that Deductive Cogency has at best a very limited role to play in our epistemic lives. I argue here that Deductive Cogency is still an important epistemic requirement, albeit not as a requirement on belief. Instead, building on a distinction between belief and acceptance introduced by Jonathan Cohen and recent developments in the epistemology of understanding, I propose that Deductive Cogency applies to the attitude of treating propositions as given in the context of attempting to understand a given phenomenon. I then argue that this simultaneously accounts for the plausibility of the considerations in favor of Deductive Cogency and avoids the problematic consequences of the preface paradox. (shrink)

Duncan Pritchard recently proposed a Wittgensteinian solution to closure-based skepticism. According to Wittgenstein, all epistemic systems assume certain truths. The notions that we are not disembodied brains, that the Earth has existed for a long time and that one’s name is such-and-such all function as “hinge commitments.” Pritchard views a hinge commitment as a positive propositional attitude that is not a belief. Because closure principles concern only knowledge-apt beliefs, they do not apply to hinge commitments. Thus, from the fact that (...) a subject knows that he is sitting in a room, and the fact that the subject’s sitting in a room entails his bodily existence, it does not follow that the subject also knows that he is not an envatted brain. This paper rejects Pritchard’s non-belief reading of hinge commitments. I start by showing that the non-belief reading fails to solve the skeptical paradox because the reasons that Pritchard uses to support the non-belief reading do not exempt hinge propositions from closure principles. I then proceed to argue that the non-belief reading is false as it claims that hinge commitments, unlike ordinary beliefs, are rationally unresponsive—with the help of a scenario in which a subject’s experience is internally chaotic, we can safely conclude that the hinge commitment that one is not systematically mistaken about the world is equally responsive to one’s evidential situations. (shrink)

In this paper I present an argument in favour of a parental duty to use preimplantation genetic diagnosis (PGD). I argue that if embryos created in vitro were able to decide for themselves in a rational manner, they would sometimes choose PGD as a method of selection. Couples, therefore, should respect their hypothetical choices on a principle similar to that of patient autonomy. My thesis shows that no matter which moral doctrine couples subscribe to, they ought to conduct the (...) PGD procedure in the situations when it is impossible to implant all of the created embryos and if there is a significant risk for giving birth to a child with a serious condition. (shrink)

The present article illustrates a conflict between the claim that rational belief sets are closed under deductive consequences, and a very inclusive claim about the factors that are sufficient to determine whether it is rational to believe respective propositions. Inasmuch as it is implausible to hold that the factors listed here are insufficient to determine whether it is rational to believe respective propositions, we have good reason to deny that rational belief sets are closed under deductive consequences.

How we ought to diagnose, categorise and respond to spectrum disabilities such as autism and Attention Deficit/Hyperactivity Disorder (ADHD) is a topic of lively debate. The heterogeneity associated with ADHD and autism is described as falling on various continua of behavioural, neural, and genetic difference. These continua are varyingly described either as extending into the general population, or as being continua within a given disorder demarcation. Moreover, the interrelationships of these continua are likewise often vague and subject to diverse (...) interpretations. -/- In this paper, I explore geneticists' and self-advocates’ perspectives concerning autism and ADHD as continua. These diagnoses are overwhelmingly analysed as falling on a continuum or continua of underlying traits, which supports the notion of “the neurodiversity spectrum”, i.e., a broader swath of human neural and behavioural diversity on which some concentrations of different functioning are diagnosed. I offer a taxonomy of conceptions of the genetic, phenotypic, and endophenotypic dimensionality within and beyond these diagnostic categories, and suggest that the spectrum of neurodiversity is characteristically endophenotypic. (shrink)

Genetically engineered (GE) insects, such as the GE OX513A Aedes aegypti mosquitoes, have been designed to suppress their wild-type populations so as to reduce the transmission of vector-borne diseases in humans. Apart from the ecological and epidemiological uncertainties associated with this approach, such biotechnological approaches may be used by individual governments or the global community of nations to avoid addressing the underlying structural, systemic causes of those infections... We discuss here key ethical questions raised by the use of GE mosquitoes, (...) with the aim of fostering discussion between the public, researchers, policy makers, healthcare organizations, and regulatory agencies at the local, national, and international levels. We affect that goal by outlining a procedural approach to decision-making about the use of the “biotechnology” that goes beyond “community engagement.” The protocol we advocate for entails informed deliberations and decision-making at the community level. It is designed to ensure that the voices of the marginalized and vulnerable groups that would be disproportionately affected by the decision are heard during the community-wide discussions. Moreover, we make the case that the values embedded in the risk assessment should be identified so that the community can make an informed decision about the use of GE insects. In addition, we advocate for the involvement of a variety of actors whose responsibility would be to ensure that the community has the opportunity to make an informed decision based on deliberations about the use of the “biotechnology.”. (shrink)

The definitions of ‘deduction’ found in virtually every introductory logic textbook would encourage us to believe that the inductive/deductive distinction is a distinction among kinds of arguments and that the extension of ‘deduction’ is a determinate class of arguments. In this paper, we argue that that this approach is mistaken. Specifically, we defend the claim that typical definitions of ‘deduction’ operative in attempts to get at the induction/deduction distinction are either too narrow or insufficiently precise. We (...) conclude by presenting a deflationary understanding of the inductive/deductive distinction; in our view, its content is nothing over and above the answers to two fundamental sorts of questions central to critical thinking. (shrink)

The article proposes to further develop the ideas of the Extended Evolutionary Synthesis by including into evolutionary research an analysis of phenomena that occur above the organismal level. We demonstrate that the current Extended Synthesis is focused more on individual traits (genetically or non-genetically inherited) and less on community system traits (synergetic/organizational traits) that characterize transgenerational biological, ecological, social, and cultural systems. In this regard, we will consider various communities that are made up of interacting populations, and for which the (...) individual members can belong to the same or to different species. Examples of communities include biofilms, ant colonies, symbiotic associations resulting in holobiont formation, and human societies. The proposed model of evolution at the level of communities revises classic theorizing on the major transitions in evolution by analyzing the interplay between community/social traits and individual traits, and how this brings forth ideas of top-down regulations of bottom-up evolutionary processes (collaboration of downward and upward causation). The work demonstrates that such interplay also includes reticulate interactions and reticulate causation. In this regard, we exemplify how community systems provide various non-genetic ‘scaffoldings’, ‘constraints’, and ‘affordances’ for individual and sociocultural evolutionary development. Such research complements prevailing models that focus on the vertical transmission of heritable information, from parent to offspring, with research that instead focusses on horizontal, oblique and even reverse information transmission, going from offspring to parent. We call this reversed information transfer the ‘offspring effect’ to contrast it from the ‘parental effect’. We argue that the proposed approach to inheritance is effective for modelling cumulative and distributed developmental process and for explaining the biological origins and evolution of language. (shrink)

From the second half of the last century, there has been a widespread view in the Anglophone world that Kant’s transcendental deduction (aka TD) aims to vindicate our common-sense view of the world as composed of public and objective particulars against some unqualified forms of skepticism. This widespread assumption has raised serious doubt not only about the success of TD but also about the very nature of its argument in both editions of the Critique. Yet, if there is a (...) connection between TD and global skepticism, the intriguing question is: Who is this skeptic? According to Strawson, “the skeptic” is a hypothesis of a purely sense-datum experience. In contrast, the fact that TD turns on the key notion of self-consciousness has induced several other scholars to assume that the skeptic is no none but a Cartesian external-world skeptic. None of those readings find textual support or are compatible with the very structure of the first Critique. The question is: Does this mean that TD aims only to undermine empiricism, as Guyer suggests? I do not believe so. I am pretty convinced that TD addresses a peculiar form of global skepticism, namely “Hume’s challenge to reason.” Assuming that we cognize (erkennen) and experience (erfahren) appearances as objects as a requirement of Newtonian physics, TD aims to provide a justification of the principle that nature is uniform that is superior to Hume’s justification. (shrink)

Deductive reasoning is the kind of reasoning in which, roughly, the truth of the input propositions (the premises) logically guarantees the truth of the output proposition (the conclusion), provided that no mistake has been made in the reasoning. The premises may be propositions that the reasoner believes or assumptions that the reasoner is exploring. Deductive reasoning contrasts with inductive reasoning, the kind of reasoning in which the truth of the premises need not guarantee the truth of the conclusion.

In this paper I argue that the extent to which a human trait is genetically caused can causally depend upon whether the trait is categorized within human genetics as genetically caused. This makes the kind genetically caused trait an interactive kind. I demonstrate that this thesis is both conceptually coherent and empirically plausible. I outline the core rationale of this thesis and demonstrate its conceptual coherence by drawing upon Waters’ (2007) analysis of genetic causation. I add empirical plausibility to (...) the thesis by describing a hypothetical but empirically plausible mechanism by which the fact that obesity is categorized as genetically caused within human genetics increases the extent to which obesity is in fact genetically caused. (shrink)

The cumulative impact of enhancement technologies may alter the human species in the very long-term future. In this article, I will start showing how radical genetic enhancements may accelerate the conversion into a novel species. I will also clarify the concepts of ‘biological species’, ‘transhuman’ and ‘posthuman’. Then, I will summarize some ethical arguments for creating a transhuman or posthuman species with a substantially higher level of well-being than the human one. In particular, I will present what I shall (...) call the Principle of the Best Interests of Posthumanity, which states that the enhancement of the human and transhuman species must be directed towards the creation of a posthuman existence that is substantially more valuable than its predecessors. I suggest that human extinction may be considered, within that principle, as one of the best interests of posthumanity. Finally, I will develop three objections that make that principle unattractive and that show that pursuing a full-blown programme of posthuman evolution is ethically flawed. (shrink)

We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some (...) point on the diagonal. Thus, they are just like the epistemic operators for apriority and its dual. We take this extension of Fitch’s familiar derivation system to be a very natural one, since the new rules and labeled lines hereby introduced preserve the structure of Fitch’s own rules for the modal case. (shrink)

In section 1, I develop epistemic communism, my view of the function of epistemically evaluative terms such as ‘rational’. The function is to support the coordination of our belief-forming rules, which in turn supports the reliable acquisition of beliefs through testimony. This view is motivated by the existence of valid inferences that we hesitate to call rational. I defend the view against the worry that it fails to account for a function of evaluations within first-personal deliberation. In the rest of (...) the paper, I then argue, on the basis of epistemic communism, for a view about rationality itself. I set up the argument in section 2 by saying what a theory of rational deduction is supposed to do. I claim that such a theory would provide a necessary, sufficient, and explanatorily unifying condition for being a rational rule for inferring deductive consequences. I argue in section 3 that, given epistemic communism and the conventionality that it entails, there is no such theory. Nothing explains why certain rules for deductive reasoning are rational. (shrink)

With the recent report of a live birth after use of Mitochondrial replacement therapy, sometimes called ‘Three-parent IVF’, the clinical application of the technique is fast becoming a reality. While the United Kingdom allows the procedure under regulatory scrutiny, it remains effectively outlawed in many other countries. We argue that such prohibitions may violate individuals’ procreative rights, grounded in individuals’ interest in genetic affinity. The interest in genetic affinity was recently endorsed by Singapore’s highest court, reflecting an emphasis (...) on the importance of biological ties found across the globe. We apply that reasoning to make the case for a right to ‘Three-parent IVF’. (shrink)

This article illustrates in which sense genetic determinism is still part of the contemporary interactionist consensus in medicine. Three dimensions of this consensus are discussed: kinds of causes, a continuum of traits ranging from monogenetic diseases to car accidents, and different kinds of determination due to different norms of reaction. On this basis, this article explicates in which sense the interactionist consensus presupposes the innate?acquired distinction. After a descriptive Part 1, Part 2 reviews why the innate?acquired distinction is under (...) attack in contemporary philosophy of biology. Three arguments are then presented to provide a limited and pragmatic defense of the distinction: an epistemic, a conceptual, and a historical argument. If interpreted in a certain manner, and if the pragmatic goals of prevention and treatment are taken into account, then the innate?acquired distinction can be a useful epistemic tool. It can help, first, to understand that genetic determination does not mean fatalism, and, second, to maintain a system of checks and balances in the continuing nature?nurture debates. (shrink)

In attempt to provide an answer to the question of origin of deductive proofs, I argue that Aristotle’s philosophy of math is more accurate opposed to a Platonic philosophy of math, given the evidence of how mathematics began. Aristotle says that mathematical knowledge is a posteriori, known through induction; but once knowledge has become unqualified it can grow into deduction. Two pieces of recent scholarship on Greek mathematics propose new ways of thinking about how mathematics began in the Greek (...) culture. Both claimed there was a close relationship between the culture and mathematicians; mathematics was understood through imaginative processes, experiencing the proofs in tangible ways, and establishing a consistent unified form of argumentation. These pieces of evidence provide the context in which Aristotle worked and their contributions lend support to the argument that mathematical premises as inductively available is a better way of understanding the origins of deductive practices, opposed to the Platonic tradition. (shrink)

The idea that development is the expression of information accumulated during evolution and that heredity is the transmission of this information is surprisingly hard to cash out in strict, scientific terms. This paper seeks to do so using the sense of information introduced by Francis Crick in his sequence hypothesis and central dogma of molecular biology. It focuses on Crick's idea of precise determination. This is analysed using an information-theoretic measure of causal specificity. This allows us to reconstruct some of (...) Crick's claims about information in transcription and translation. Crick's approach to information has natural extensions to non-coding regions of DNA, to epigenetic marks, and to the genetic or environmental upstream causes of those epigenetic marks. Epigenetic information cannot be reduced to genetic information. The existence of biological information in epigenetic and exogenetic factors is relevant to evolution as well as to development. (shrink)

Genetic engineering technologies are a subclass of the biotechnology family, and are concerned with the use of laboratory-based technologies to intervene with a given organism at the genetic level, i.e., the level of its DNA. This class of technologies could feasibly be used to treat diseases and disabilities, create disease-resistant crops, or even be used to enhance humans to make them more resistant to certain environmental conditions. However, both therapeutic and enhancement applications of genetic engineering raise serious (...) ethical concerns. This paper examines various objections to genetic engineering (as applied to humans) which have been raised in the literature, and presents a new way to frame these issues, and to look for solutions. Specifically, this paper frames genetic engineering technologies within the ‘design turn in applied ethics’ lens and thus situates these technologies as covarying with societal forces. The value sensitive design (VSD) approach to technology design is then appropriated as the conceptual framework in which genetic engineering technologies can be considered so that they can be designed for important human values. By doing so, this paper brings further nuance to the scholarship on genetic engineering technologies by discussing the sociotechnicity of genetic engineering systems rather than framing them as value-neutral tools that either support or constrain values based on how they are used. (shrink)

This article illustrates in which sense genetic determinism is still part of the contemporary interactionist consensus in medicine. Three dimensions of this consensus are discussed: kinds of causes, a continuum of traits ranging from monogenetic diseases to car accidents, and different kinds of determination due to different norms of reaction. On this basis, this article explicates in which sense the interactionist consensus presupposes the innate?acquired distinction. After a descriptive Part 1, Part 2 reviews why the innate?acquired distinction is under (...) attack in contemporary philosophy of biology. Three arguments are then presented to provide a limited and pragmatic defense of the distinction: an epistemic, a conceptual, and a historical argument. If interpreted in a certain manner, and if the pragmatic goals of prevention and treatment (ideally specifying what medicine and health care is all about) are taken into account, then the innate?acquired distinction can be a useful epistemic tool. It can help, first, to understand that genetic determination does not mean fatalism, and, second, to maintain a system of checks and balances in the continuing nature?nurture debates. (shrink)

This paper outlines a critique of the use of the genetic variance–covariance matrix (G), one of the central concepts in the modern study of natural selection and evolution. Specifically, I argue that for both conceptual and empirical reasons, studies of G cannot be used to elucidate so-called constraints on natural selection, nor can they be employed to detect or to measure past selection in natural populations – contrary to what assumed by most practicing biologists. I suggest that the search (...) for a general solution to the difficult problem of identifying causal structures given observed correlation’s has led evolutionary quantitative geneticists to substitute statistical modeling for the more difficult, but much more valuable, job of teasing apart the many possible causes underlying the action of natural selection. Hence, the entire evolutionary quantitative genetics research program may be in need of a fundamental reconsideration of its goals and how they correspond to the array of mathematical and experimental techniques normally employed by its practitioners. (shrink)

In recent years, humans’ ability to selectively modify genes has increased dramatically as a result of the development of new, more efficient, and easier genetic modification technology. In this paper, we argue in favor of using this technology to improve the welfare of agricultural animals. We first argue that using animals genetically modified for improved welfare is preferable to the current status quo. Nevertheless, the strongest argument against pursuing gene editing for welfare is that there are alternative approaches to (...) addressing some of the challenges of modern agriculture that may offer ethical advantages over genetic modification; namely, a dramatic shift towards plant-based diets or the development of in vitro meat. Nevertheless, we provide reasons for thinking that despite these possible comparative disadvantages there are important reasons for continuing the pursuit of welfare improvements via genetic modification. (shrink)

Harold Hodes in [1] introduces an extension of first-order modal logic featuring a backtracking operator, and provides a possible worlds semantics, according to which the operator is a kind of device for ‘world travel’; he does not provide a proof theory. In this paper, I provide a natural deduction system for modal logic featuring this operator, and argue that the system can be motivated in terms of a reading of the backtracking operator whereby it serves to indicate modal scope. (...) I prove soundness and completeness theorems with respect to Hodes’ semantics, as well as semantics with fewer restrictions on the accessibility relation. (shrink)

The traditional No-Miracles Argument (TNMA) asserts that the novel predictive success of science would be a miracle, and thus too implausible to believe, if successful theories were not at least approximately true. The TNMA has come under fire in multiple ways, challenging each of its premises and its general argumentative structure. While the TNMA relies on explaining novel predictive success via the truth of the theories, we put forth a deductive version of the No-Miracles argument (DNMA) that avoids inference to (...) the best explanation entirely. Instead, a relatively simple empirical framework and a probabilistic analysis can accomplish the ambitious goals of the TNMA while entirely sidestepping its problems. This close-but-distinct argument has many independent strengths and comparatively few weaknesses. Indeed, objections tailored specifically to the DNMA reveal surprising insights into how exactly NMAs are neither circular nor question-begging, as has been widely speculated. (shrink)

The idea of genetic assimilation, that environmentally induced phenotypes may become genetically fixed and no longer require the original environmental stimulus, has had varied success through time in evolutionary biology research. Proposed by Waddington in the 1940s, it became an area of active empirical research mostly thanks to the efforts of its inventor and his collaborators. It was then attacked as of minor importance during the ‘‘hardening’’ of the neo-Darwinian synthesis and was relegated to a secondary role for decades. (...) Recently, several papers have appeared, mostly independently of each other, to explore the likelihood of genetic assimilation as a biological phenomenon and its potential importance to our understanding of evolution. In this article we briefly trace the history of the concept and then discuss theoretical models that have newly employed genetic assimilation in a variety of contexts. We propose a typical scenario of evolution of genetic assimilation via an intermediate stage of phenotypic plasticity and present potential examples of the same. We also discuss a conceptual map of current and future lines of research aimed at exploring the actual relevance of genetic assimilation for evolutionary biology. (shrink)

In mathematics, the deductive method reigns. Without proof, a claim remains unsolved, a mere conjecture, not something that can be simply assumed; when a proof is found, the problem is solved, it turns into a “result,” something that can be relied on. So mathematicians think. But is there more to mathematical justification than proof? -/- The answer is an emphatic yes, as I explain in this article. I argue that non-deductive justification is in fact pervasive in mathematics, and that it (...) is in good epistemic standing. (shrink)

Imagine a world where everyone is healthy, intelligent, long living and happy. Intuitively this seems wonderful albeit unrealistic. However, recent scienti c breakthroughs in genetic engineering, namely CRISPR/Cas bring the question into public discourse, how the genetic enhancement of humans should be evaluated morally. In 2001, when preimplantation genetic diagnosis (PGD) and in vitro fertilisation (IVF), enabled parents to select between multiple embryos, Julian Savulescu introduced the principle of procreative bene cence (PPB), stating that parents have the (...) obligations to choose the child that is expected to have the best life. In this paper I argue that accepting the PPB and the consequentialist principle (CP) that two acts with the same consequences are morally on par, commits one to accepting the parental obligation of genetically enhancing one's children. (shrink)

It is commonly held that Kant ventured to derive morality from freedom in Groundwork III. It is also believed that he reversed this strategy in the second Critique, attempting to derive freedom from morality instead. In this paper, I set out to challenge these familiar assumptions: Kant’s argument in Groundwork III rests on a moral conception of the intelligible world, one that plays a similar role as the ‘fact of reason’ in the second Critique. Accordingly, I argue, there is no (...) reversal in the proof-structure of Kant’s two works. (shrink)

James Van Cleve has argued that Kant’s Transcendental Deduction of the categories shows, at most, that we must apply the categories to experience. And this falls short of Kant’s aim, which is to show that they must so apply. In this discussion I argue that once we have noted the differences between the first and second editions of the Deduction, this objection is less telling. But Van Cleve’s objection can help illuminate the structure of the B Deduction, (...) and it suggests an interesting reason why the rewriting might have been thought necessary. (shrink)

I use a contrastive theory of causal explanation to analyze the notion of a genetic trait. The resulting definition is relational, an implication of which is that no trait is genetic always and everywhere. Rather, every trait may be either genetic or non-genetic, depending on explanatory context. I also outline some other advantages of connecting the debate to the wider causation literature, including how that yields us an account of the distinction between genetic traits and (...) genetic dispositions. (shrink)

This paper describes a cubic water tank equipped with a movable partition receiving various amounts of liquid used to represent joint probability distributions. This device is applied to the investigation of deductive inferences under uncertainty. The analogy is exploited to determine by qualitative reasoning the limits in probability of the conclusion of twenty basic deductive arguments (such as Modus Ponens, And-introduction, Contraposition, etc.) often used as benchmark problems by the various theoretical approaches to reasoning under uncertainty. The probability bounds imposed (...) by the premises on the conclusion are derived on the basis of a few trivial principles such as "a part of the tank cannot contain more liquid than its capacity allows", or "if a part is empty, the other part contains all the liquid". This stems from the equivalence between the physical constraints imposed by the capacity of the tank and its subdivisions on the volumes of liquid, and the axioms and rules of probability. The device materializes de Finetti's coherence approach to probability. It also suggests a physical counterpart of Dutch book arguments to assess individuals' rationality in probability judgments in the sense that individuals whose degrees of belief in a conclusion are out of the bounds of coherence intervals would commit themselves to executing physically impossible tasks. (shrink)

In a recent publication Tom Douglas and Katrien Devolder have proposed a new account of genetic parenthood, building on the work of Heidi Mertes. Douglas and Devolder’s account aims to solve, among other things, the question of who are the genetic parents of an individual created through somatic cell nuclear transfer (i.e. cloning): (a) the nuclear DNA provider or (b) the progenitors of the nuclear DNA provider. Such a question cannot be answered by simply appealing to the folk (...) account of genetic parenthood, according to which the genetic parents of an individual are those individuals who produced the egg and sperm, respectively, which fused to create the embryo. It cannot be so as in cloning there is no fertilization as such. In this article I critically examine Douglas and Devolder’s new account of genetic parenthood and demonstrate that it is vulnerable to counterexamples that exploit the lack of a condition specifying that genetic parents should cause a child’s coming into existence. (shrink)

Two families of mathematical methods lie at the heart of investigating the hierarchical structure of genetic variation in Homo sapiens: /diversity partitioning/, which assesses genetic variation within and among pre-determined groups, and /clustering analysis/, which simultaneously produces clusters and assigns individuals to these “unsupervised” cluster classifications. While mathematically consistent, these two methodologies are understood by many to ground diametrically opposed claims about the reality of human races. Moreover, modeling results are sensitive to assumptions such as preexisting theoretical commitments (...) to certain linguistic, anthropological, and geographic human groups. Thus, models can be perniciously reified. That is, they can be conflated and confused with the world. This fact belies standard realist and antirealist interpretations of “race,” and supports a pluralist conventionalist interpretation. (shrink)

A puzzle arises when we consider that, for Kant, the categories are 'original acquisitions' of our understanding to which we must nevertheless prove our entitlement via 'deduction', on pain of dogmatism. I resolve this puzzle by articulating skepticism’s role in the transcendental deduction, drawing on Kant’s construal of the skeptical 'question quid juris' in the juridical terms of entitlement to property. I then situate skepticism’s transformative potential within what Kant regards as reason’s 'maturation' from dogmatism toward self-knowledge. Finally, (...) I contrast Hegel’s account of spirit’s progress toward 'absolute knowledge', which shifts both the mode of skepticism and the prospect of maturation. (shrink)

For deductive reasoning to be justified, it must be guaranteed to preserve truth from premises to conclusion; and for it to be useful to us, it must be capable of informing us of something. How can we capture this notion of information content, whilst respecting the fact that the content of the premises, if true, already secures the truth of the conclusion? This is the problem I address here. I begin by considering and rejecting several accounts of informational content. I (...) then develop an account on which informational contents are indeterminate in their membership. This allows there to be cases in which it is indeterminate whether a given deduction is informative. Nevertheless, on the picture I present, there are determinate cases of informative (and determinate cases of uninformative) inferences. I argue that the model I offer is the best way for an account of content to respect the meaning of the logical constants and the inference rules associated with them without collapsing into a classical picture of content, unable to account for informative deductive inferences. (shrink)

The paper discusses the origin of dark matter and dark energy from the concepts of time and the totality in the final analysis. Though both seem to be rather philosophical, nonetheless they are postulated axiomatically and interpreted physically, and the corresponding philosophical transcendentalism serves heuristically. The exposition of the article means to outline the “forest for the trees”, however, in an absolutely rigorous mathematical way, which to be explicated in detail in a future paper. The “two deductions” are two successive (...) stage of a single conclusion mentioned above. The concept of “transcendental invariance” meaning ontologically and physically interpreting the mathematical equivalence of the axiom of choice and the well-ordering “theorem” is utilized again. Then, time arrow is a corollary from that transcendental invariance, and in turn, it implies quantum information conservation as the Noether correlate of the linear “increase of time” after time arrow. Quantum information conservation implies a few fundamental corollaries such as the “conservation of energy conservation” in quantum mechanics from reasons quite different from those in classical mechanics and physics as well as the “absence of hidden variables” (versus Einstein’s conjecture) in it. However, the paper is concentrated only into the inference of another corollary from quantum information conservation, namely, dark matter and dark energy being due to entanglement, and thus and in the final analysis, to the conservation of quantum information, however observed experimentally only on the “cognitive screen” of “Mach’s principle” in Einstein’s general relativity. therefore excluding any other source of gravitational field than mass and gravity. Then, if quantum information by itself would generate a certain nonzero gravitational field, it will be depicted on the same screen as certain masses and energies distributed in space-time, and most presumably, observable as those dark energy and dark matter predominating in the universe as about 96% of its energy and matter quite unexpectedly for physics and the scientific worldview nowadays. Besides on the cognitive screen of general relativity, entanglement is available necessarily on still one “cognitive screen” (namely, that of quantum mechanics), being furthermore “flat”. Most probably, that projection is confinement, a mysterious and ad hoc added interaction along with the fundamental tree ones of the Standard model being even inconsistent to them conceptually, as far as it need differ the local space from the global space being definable only as a relation between them (similar to entanglement). So, entanglement is able to link the gravity of general relativity to the confinement of the Standard model as its projections of the “cognitive screens” of those two fundamental physical theories. (shrink)

Current debate and policy surrounding the use of genetic editing in humans often relies on a binary distinction between therapy and human enhancement. In this paper, we argue that this dichotomy fails to take into account perhaps the most significant potential uses of CRISPR-Cas9 gene editing in humans. We argue that genetic treatment of sporadic Alzheimer’s disease, breast- and ovarian-cancer causing BRCA1/2 mutations and the introduction of HIV resistance in humans should be considered within a new category of (...) genetic protection treatments. We find that if this category is not introduced, life-altering research might be unnecessarily limited by current or future policy. Otherwise ad hoc decisions might be made, which introduce a risk of unforeseen moral costs, and might overlook or fail to address some important opportunities. (shrink)

In this paper, I analyze the ethical implications of genetic enhancement within the specific framework of the “child’s right to an open future” argument (CROF). Whilst there is a broad ethical consensus that genetic modifications for eradicating diseases or disabilities are in line with – or do not violate – CROF, there is huge disagreement about how to ethically understand genetic enhancement. Here, I analyze this disagreement and I provide a revised formulation of the argument in the (...) specific field of genetic enhancement. First, I argue that CROF is not in contrast with every kind of enhancement. I subsequently discuss whether CROF requires some moral obligations to enhance progeny. My argument is that parents do not have the moral obligation to open as many options as possible for their children. Rather, they should provide them with a reasonable range of opportunities. Finally, I contend that the moral obligations required by CROF are directly dependent on what Allen Buchanan calls the ‘dominant cooperative framework’ in a given society. I conclude by claiming that, at present, parents are not morally obliged to genetically enhance their children since a non-enhanced person already might have access to a reasonable range of opportunities. However, the moral obligation to enhance progeny might arise if a structural modification of the dominant cooperative framework occurs. (shrink)

Bioconservative commentators argue that parents should not take steps to modify the genetics of their children even in the name of enhancement because of the damage they predict for values, identities and relationships. Some commentators have even said that adults should not modify themselves through genetic interventions. One commentator worries that genetic modifications chosen by adults for themselves will undermine moral agency, lead to less valuable experiences and fracture people's sense of self. These worries are not justified, however, (...) since the effects of modification will not undo moral agency as such. Adults can still have valuable experiences, even if some prior choices no longer seem meaningful. Changes at the genetic level will not always, either, alienate people from their own sense of self. On the contrary, genetic modifications can help amplify choice, enrich lives and consolidate identities. Ultimately, there is no moral requirement that people value their contingent genetic endowment to the exclusion of changes important to them in their future genetic identities. Through weighing risks and benefits, adults also have the power to consent to—and assume the risks of—genetic modifications for themselves in a way not possible in prenatal genetic interventions. (shrink)

This presentation of Aristotle's natural deduction system supplements earlier presentations and gives more historical evidence. Some fine-tunings resulted from conversations with Timothy Smiley, Charles Kahn, Josiah Gould, John Kearns,John Glanvillle, and William Parry.The criticism of Aristotle's theory of propositions found at the end of this 1974 presentation was retracted in Corcoran's 2009 HPL article "Aristotle's demonstrative logic".

It is tempting to think that multi premise closure creates a special class of paradoxes having to do with the accumulation of risks, and that these paradoxes could be escaped by rejecting the principle, while still retaining single premise closure. I argue that single premise deduction is also susceptible to risks. I show that what I take to be the strongest argument for rejecting multi premise closure is also an argument for rejecting single premise closure. Because of the symmetry (...) between the principles, they come as a package: either both will have to be rejected or both will have to be revised. (shrink)

Several authors have used the notion of causal specificity in order to defend non-parity about genetic causes (Waters 2007, Woodward 2010, Weber 2017, forthcoming). Non-parity in this context is the idea that DNA and some other biomolecules that are often described as information-bearers by biologists play a unique role in life processes, an idea that has been challenged by Developmental Systems Theory (e.g., Oyama 2000). Indeed, it has proven to be quite difficult to state clearly what the alleged special (...) role of genetic causes consists in. In this paper, I show that the set of biomolecules that are normally considered to be information-bearers (DNA, mRNA) can be shown to be the most specific causes of protein primary structure, provided that causal specificity is measured over a relevant space of biological possibilities, disregarding physical as well as logically possible states of the causal variables. (shrink)