The analytic/synthetic distinction can be conceived from two points of view: from within or from without; from the perspective of one's own language or from the perspective of the language of others. From without, the central question is which sentences of a foreign language are to be classified as analytic. From within, by contrast, the question concerning the synthetic and the analytic acquires a normative dimension: which sentences am I not permitted to reject—if I want to (...) avoid talking nonsense? Both perspectives on analytic sentences do not mutually exclude but supplement and illuminate each other. In "Two Dogmas", Quine's criticism of the analytic/synthetic distinction comes from within, whereas in Word and Object, Quine repeats his earlier criticism from without. His criticism is directed against Carnap's views on our understanding of theoretical terms. I challenge Quine's criticism in both of its versions and provide two definitions for analyticity that are immune to Quine's arguments. Using the first of these definitions (the one from without) I try to show how it is possible to distinguish (genuine) belief revision from linguistic change—even in case of a scientific revolution. (shrink)

Two of Quine's most familiar doctrines are: that there is a distinction between underdetermination and indeterminacy; and that there is no distinction between analytic and synthetic truths. An argument is given that these two doctrines are incompatible. In terms wholly acceptable to Quine and based on the underdetermination/indeterminacy distinction, an exhaustive and exclusive distinction is drawn between two kinds of true sentences, which, it is argued, corresponds to the traditional analytic/synthetic distinction. An appendix is used to develop (...) one aspect of the underdetermination/indeterminacy distinction, as construed here, and to discuss, in passing, some of Quine’s more general views on truth. (shrink)

This article reconstructs Kant's view on the existential import of categorical sentences. Kant is widely taken to have held that affirmative sentences (the A and I sentences of the traditional square of opposition) have existential import, whereas negative sentences (E and O) lack existential import. The article challenges this standard interpretation. It is argued that Kant ascribes existential import only to some affirmative synthetic sentences. However, the reasons for this do not fall within the (...) remit of Kant's formal logic. Unlike traditional logic and modern standard quantification theory, Kant's formal logic is free from existential commitments. (shrink)

Most of Kant's examples for synthetic sentences known apriori have been repudiated by modern physics. Is there a way to modify Kantian anti-empiricist epistemology so that it no longer contradicts the results of modern science? Michael Friedman proposes to relativize Kant's notion of the apriori and thus to explain away the apparent contradiction. But how do we have to understand the relative apriori? I define a sentence to be known apriori relative to a given theory if the sentence (...) makes it possible to test objective knowledge claims that belong within the frame of that theory. Are there sentences that can be known apriori relative to every possible theory, i.e., are there any examples for absolute aprioricity? My answer is to the positive. By weakening Kant's original examples (e.g., the principle of causality) we arrive at sentences that must be true if objective empirical knowledge is to be possible at all. The sentence "Not every change is due to pure chance" is an absolute example for synthetic apriori knowledge. (shrink)

In Popper's Logik der Forschung, a theoretical system is a set of sentences that describe a particular sub-area of science, in particular of empirical science. The goal of axiomatizing a theoretical system is to specify a small number of "axioms" describing all presuppositions of the sub-area under consideration, so that all other sentences of this system can be derived from them by means of logical or mathematical transformations. The paper discusses two philosophical interpretations of these proper axioms. First, (...) proper axioms stipulate the use of the signs for the basic concepts of the system. Consequently, the proper axioms turn out to be analytic relative to a class of interpretations of the underlying logic. Hence, they cannot be falsified by refuting their logical consequences because these consequences are analytic as well. Secondly, proper axioms are synthetic, falsifiable and uncertain sentences. Hence, they are not immunized against falsification by refuting their logical consequences. (shrink)

This is a thesis in support of the conceptual yoking of analytic truth to a priori knowledge. My approach is a semantic one; the primary subject matter throughout the thesis is linguistic objects, such as propositions or sentences. I evaluate arguments, and also forward my own, about how such linguistic objects’ truth is determined, how their meaning is fixed and how we, respectively, know the conditions under which their truth and meaning are obtained. The strategy is to make explicit (...) what is distinctive about analytic truths. The objective is to show that truths, known a priori, are trivial in a highly circumscribed way. My arguments are premised on a language-relative account of analytic truth. The language relative account which underwrites much of what I do has two central tenets: 1. Conventionalism about truth and, 2. Non-factualism about meaning. I argue that one decisive way of establishing conventionalism and non-factualism is to prioritise epistemological questions. Once it is established that some truths are not known empirically an account of truth must follow which precludes factual truths being known non-empirically. The function of Part 1 is, chiefly, to render Carnap’s language-relative account of analytic truth. I do not offer arguments in support of Carnap at this stage, but throughout Parts 2 and 3, by looking at more current literature on a priori knowledge and analytic truth, it becomes quickly evident that I take Carnap to be correct, and why. In order to illustrate the extent to which Carnap’s account is conventionalist and non-factualist I pose his arguments against those of his predecessors, Kant and Frege. Part 1 is a lightly retrospective background to the concepts of ‘analytic’ and ‘a priori’. The strategy therein is more mercenary than exegetical: I select the parts from Kant and Frege most relevant to Carnap’s eventual reaction to them. Hereby I give the reasons why Carnap foregoes a factual and objective basis for logical truth. The upshot of this is an account of analytic truth (i.e. logical truth, to him) which ensures its trivial nature. In opposition to accounts of a priori knowledge, which describe it as knowledge gained from rational apprehension, I argue that it is either knowledge from logical deduction or knowledge of stipulations. I therefore reject, in Part 2, three epistemologies for knowing linguistic conventions (e.g. implicit definitions): 1. intuition, 2. inferential a priori knowledge and, 3. a posteriori knowledge. At base, all three epistemologies are rejected because they are incompatible with conventionalism and non-factualism. I argue this point by signalling that such accounts of knowledge yield unsubstantiated second-order claims and/or they render the relevant linguistic conventions epistemically arrogant. For a convention to be arrogant it must be stipulated to be true. The stipulation is then considered arrogant when its meaning cannot be fixed, and its truth cannot be determined without empirical ‘work’. Once a working explication of ‘a priori’ has been given, partially in Part 1 (as inferential) and then in Part 2 (as non-inferential) I look, in Part 3, at an apriorist account of analytic truth, which, I argue, renders analytic truth non-trivial. The particular subject matter here is the implicit definitions of logical terms. The opposition’s argument holds that logical truths are known a priori (this is part of their identification criteria) and that their meaning is factually based. From here it follows that analytic truth, being determined by factually based meaning, is also factual. I oppose these arguments by exposing the internal inconsistencies; that implicit definition is premised on the arbitrary stipulation of truth which is inconsistent with saying that there are facts which determine the same truth. In doing so, I endorse the standard irrealist position about implicit definition and analytic truth (along with the “early friends of implicit definition” such as Wittgenstein and Carnap). What is it that I am trying to get at by doing all of the abovementioned? Here is a very abstracted explanation. The unmitigated realism of the rationalists of old, e.g. Plato, Descartes, Kant, have stoically borne the brunt of the allegation of yielding ‘synthetic a priori’ claims. The anti-rationalist phase of this accusation I am most interested in is that forwarded by the semantically driven empiricism of the early 20th century. It is here that the charge of the ‘synthetic a priori’ really takes hold. Since then new methods and accusatory terms are employed by, chiefly, non-realist positions. I plan to give these proper attention in due course. However, it seems to me that the reframing of the debate in these new terms has also created the illusion that current philosophical realism, whether naturalistic realism, realism in science, realism in logic and mathematics, is somehow not guilty of the same epistemological and semantic charges levelled against Plato, Descartes and Kant. It is of interest to me that in, particularly, current analytic philosophy (given its rationale) realism in many areas seems to escape the accusation of yielding synthetic priori claims. Yet yielding synthetic a priori claims is something which realism so easily falls prey to. Perhaps this is a function of the fact that the phrase, ‘synthetic a priori’, used as an allegation, is now outmoded. This thesis is nothing other than an indictment of metaphysics, or speculative philosophy (this being the crime), brought against a specific selection of realist arguments. I, therefore, ask of my reader to see my explicit, and perhaps outmoded, charge of the ‘synthetic a priori’ levelled against respective theorists as an attempt to draw a direct comparison with the speculative metaphysics so many analytic philosophers now love to hate. I think the phrase ‘synthetic a priori’ still does a lot of work in this regard, precisely because so many current theorists wrongly think they are immune to this charge. Consequently, I shall say much about what is not permitted. Such is, I suppose, the nature of arguing ‘against’ something. I’ll argue that it is not permitted to be a factualist about logical principles and say that they are known a priori. I’ll argue that it is not permitted to say linguistic conventions are a posteriori, when there is a complete failure in locating such a posteriori conventions. Both such philosophical claims are candidates for the synthetic a priori, for unmitigated rationalism. But on the positive side, we now have these two assets: Firstly, I do not ask us to abandon any of the linguistic practises discussed; merely to adopt the correct attitude towards them. For instance, where we use the laws of logic, let us remember that there are no known/knowable facts about logic. These laws are therefore, to the best of our knowledge, conventions not dissimilar to the rules of a game. And, secondly, once we pass sentence on knowing, a priori, anything but trivial truths we shall have at our disposal the sharpest of philosophical tools. A tool which can only proffer a better brand of empiricism. (shrink)

Evidential holism begins with something like the claim that “it is only jointly as a theory that scientific statements imply their observable consequences.” This is the holistic claim that Elliott Sober tells us is an “unexceptional observation”. But variations on this “unexceptional” claim feature as a premise in a series of controversial arguments for radical conclusions, such as that there is no analytic or synthetic distinction that the meaning of a sentence cannot be understood without understanding the whole language (...) of which it is a part and that all knowledge is empirical knowledge. This paper is a survey of what evidential holism is, how plausible it is, and what consequences it has. Section 1 will distinguish a range of different holistic claims, Sections 2 and 3 explore how well motivated they are and how they relate to one another, and Section 4 returns to the arguments listed above and uses the distinctions from the previous sections to identify holism's role in each case. (shrink)

The paper puts forward that the basic principle of Wittgenstein’s Tractatus (4.0312) transforms the supreme principle of all synthetic judgments a priori in Kant’s Critique of Pure Reason (A158/B197) from a level of reason to the level of language. Both philosophers, Kant and Wittgenstein, put forward a transcendental principle and both hold a formal identity true, Kant an identity between the form of experience and the form of the object of experience, Wittgenstein an identity between the form of a (...) sentence and the form of a fact. (shrink)

This article introduces morphological typology, exploring the patterns and structures underlying word formation and grammatical encoding across languages. A systematic literature review examines fundamental concepts, including distinctions between analytic and synthetic languages, features of agglutinating, fusional, and inflectional morphologies, and phenomena like suppletion and polysynthetic structures. Readers gain insights into language classification based on morphological characteristics, challenging strict categorical distinctions and emphasizing the continuum across types. The study highlights the diversity and complexity of morphological systems. Suppletion, where stems are (...) irregularly replaced in inflectional patterns, and polysynthetic languages, encoding entire sentences within single complex words, are explored in depth. This work offers a concise overview of morphological typology by synthesizing reputable sources, including books, journals, and online resources. It is an accessible resource for language learners, linguists, and anyone interested in understanding the intricate morphological underpinnings of human language. (shrink)

Does Carnap’s treatment of philosophical questions about existence, such as “Are there numbers?” and “Are there physical objects?”, depend on his analytic–synthetic distinction? If so, in what way? I answer these questions by clarifying, defending, and developing the reading of Carnap’s paper “Empiricism, Semantics, and Ontology” that W. V. Quine proposes, with little justification or explanation, in his paper “On Carnap’s Views on Ontology”. The primary methodological value of studying Quine’s reading of “Empiricism, Semantics, and Ontology” is that it (...) prompts us to look for, and helps us to see the significance of, passages by Carnap that reveal the logical foundations of his views on ontology. Guided in this way by Quine’s reading, I show that (1) in “Empiricism, Semantics, and Ontology” Carnap’s preferred treatment of philosophical questions relies on paraphrasing them so that their answers are immediately obvious elementary logical truths, and are therefore, by his standards, trivially analytic; and (2) in its most general form, Carnap’s treatment of philosophical questions about existence depends on his controversial view that the analytic truths of a language L may include sentences that are not elementary logical truths, but that are nevertheless, by Carnap’s standards, analytic-in-L simply because we have stipulated that they are to be among the “meaning postulates” of L. (shrink)

Even after Willard Quine’s critique of the analytic-synthetic distinction in “Two Dogmas of Empiricism,” Wilfrid Sellars maintained some forms of analyticity or truth in virtue of meaning. In this article, I aim to reconstruct (a) his neglected account of the analytic-synthetic distinction and the revisability of analytic sentences, (b) its connection to his inferentialist account of meaning, and (c) his response to Quine. While Sellars’s account of the revisability of analytic sentences bears certain similarities to Carnap’s (...) and Grice and Strawson’s accounts, it is still striking in that it is part of his broader picture of how our language develops dynamically in our ongoing inquiry. I aim to show how it relates to his account of how the diachronic continuity in meaning, language, or conceptual framework can be preserved through a revision of analytic sentences and to his evolutionary account of the development of our language or conceptual framework. (shrink)

The main aim of this thesis is to defend moral realism. In chapter 1, I argue that moral realism is best understood as the view that moral sentences have truth-value, there are moral properties that make some moral sentences true, and moral properties are not reducible to non- moral properties. Realism is contrasted with non-cognitivism, error-theory and reductionism, which, in brief, deny, and, respectively. In the introductory chapter, it is also argued that there are some prima facie reasons (...) to assume that non-cognitivism and error-theory are erroneous. In chapters 2 and 3, I suggest that the two main forms of reductionism, analytic and synthetic reductionism, are mistaken. In chapter 4, I argue that the considerations in the previous chapters in relation to non-cognitivism, error-theory and reductionism provide support to moral realism. It is also suggested that these considerations make it plausible to hypothesise that moral properties depend on non- moral properties in a way I refer to as ‘the realist formula’. The realist formula confirms moral realism since it implies that moral properties are not reducible to non- moral properties. In chapters 5, 6 and 7, I argue that moral realism, much owing to the realist formula, is able to explain significant meta-ethical issues regarding moral disagreement, moral reason and moral motivation. Among other things, externalism concerning moral motivation is defended. The explanatory value of moral realism in relation to these meta-ethical issues is taken to suggest that this view is preferable to non-cognitivism, error-theory and reductionism. Some of the meta-ethical issues discussed in these chapters, particularly moral disagreement and motivation, have been thought to provide support to non-cognitivism and error-theory. I maintain that since realism, unlike reductionism, is able to counter these arguments, it justifies us in upholding the view that moral sentences have truth-value and the view that there are moral properties. In chapter 8, various objections against realism with regard to the dependence of moral properties on non- moral properties are responded to. In chapter 9, I consider an influential argument to the effect that moral properties are not involved in causal explanations. I maintain that this argument fails and that it therefore is reasonable to assume that moral properties are natural properties. However, the discussions in chapters 8 and 9 also suggest that moral realism might face problems that cannot be thoroughly discussed in this thesis. (shrink)

The starting point of this paper is the idea that linguistic representation is the result of a global process: a process of interaction of a community of cognitive-linguistic agents, with one another and with the environment. I maintain that the study of truth, meaning and related notions should be addressed without losing perspective of this process, and I oppose the ‘static’ or ‘analytic’ approach, which is fundamentally based on our own knowledge of the conventional meaning of words and sentences, (...) and the ability of using them that we have as competent speakers. I argue that the analytic perspective is responsible for five recurring difficulties in truthmaker theory: (1) the lack of attention to the difference of explanatory role between the distinct notions proposed as primary truthbearer; (2) the adscription of purely extra-linguistic truthmakers to ‘synthetic truths’, ignoring the contribution of the linguistic factor; (3) the adscription of purely linguistic truthmakers to ‘logical’ and ‘analytic truths’, ignoring the contribution of the worldly factor; (4) the difficulties in the search for minimal truthmakers; (5) the problems in the treatment of ‘negative facts’ and of other ‘logically complex facts’. I do not provide an account of how to solve these difficulties, but I do show how the ‘process model’ helps to clear up confusion regarding them. (shrink)

Resolution of Frege's Puzzle by denying that synonym substitution in logical truths preserves sentence sense and explaining how logical form has semantic import. Intensional context substitutions needn't preserve truth, because intercepting doesn't preserve sentence meaning. Intercepting is nonuniformly substituting a pivotal term in syntactically secured truth. Logical sentences and their synonym interceptions share factual content. Semantic content is factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate entails interception nonsynonymy. Syntax and vocabulary explain (...) only the factual content of synthetic predications; extrasentential reality explains their truth. Construction of logical factual content explains logical necessity. Terms retain objectual reference, but logical syntax preempts their function in explaining truth. Grasping the facts GG/gg assert entails understanding this. Understanding what GH states requires some recognition that GH must be true just because GmH, and GmH state an empirical fact. GH is standardly used to express that fact. Church's Test exposes puzzles. QMi sentences, and QTi sentences are metalogical necessities, true by syntax. Intercepting QMi creates empirical QM contingencies. Synonymy turns semantic contingencies into metalogical and lexical necessities. That transformation is syntactic, via the syntactic duality of definite descriptions. GmH is a contingent copredication, and a lexically necessary referential identity with rigidly codesignating indexicals. Metalogical sentences may be about expressional matter or what it expresses. GG has GG's semantic content, but the referent expression switches. Metalogical syntax secures truth by self-referential quotational indexing. Metalogically, referents are identified with intrasentential replica. Extrasentential identifications are metalogically irrelevant. (shrink)

Quine claims that holism (i.e., the Quine-Duhem thesis) prevents us from defining synonymy and analyticity (section 2). In Word and Object, he dismisses a notion of synonymy which works well even if holism is true. The notion goes back to a proposal from Grice and Strawson and runs thus: R and S are synonymous iff for all sentences T we have that the logical conjunction of R and T is stimulus-synonymous to that of S and T. Whereas Grice and (...) Strawson did not attempt to defend this definition, I try to show that it indeed gives us a satisfactory account of synonymy. Contrary to Quine, the notion is tighter than stimulus-synonymy – particularly when applied to sentences with less than critical semantic mass (section 3). Now according to Quine, analyticity could be defined in terms of synonymy, if synonymy were to make sense: A sentence is analytic iff synonymous to self-conditionals. This leads us to the following notion of analyticity: S is analytic iff, for all sentences T, the logical conjunction of S and T is stimulus-synonymous to T; an analytic sentence does not change the semantic mass of any theory to which it may be conjoined (section 4). This notion is tighter than Quine's stimulus-analyticity; unlike stimulus-analyticity, it does not apply to those sentences from the very center of our theories which can be assented to come what may, even though they are not synthetic in the intuitive sense (section 5). Conclusion: We can have well-defined notions of synonymy and analyticity even if we embrace Quine's holism, naturalism, behaviorism, and radical translation. Quine's meaning skepticism is to be repudiated on Quinean grounds. (shrink)

Quine claims that holism (i.e., the Quine-Duhem thesis) prevents us from defining synonymy and analyticity (section 2). In "Word and Object," he dismisses a notion of synonymy which works well even if holism is true. The notion goes back to a proposal from Grice and Strawson and runs thus: R and S are synonymous iff for all sentences T we have that the logical conjunction of R and T is stimulus-synonymous to that of S and T. Whereas Grice and (...) Strawson did not attempt to defend this definition, I try to show that it indeed gives us a satisfactory account of synonymy. Contrary to Quine, the notion is tighter than stimulus-synonymy -- particularly when applied to sentences with less than critical semantic mass (section 3). Now according to Quine, analyticity could be defined in terms of synonymy, if synonymy were to make sense: A sentence is analytic iff synonymous to self-conditionals. This leads us to the following notion of analyticity: S is analytic iff, for all sentences T, the logical conjunction of S and T is stimulus-synonymous to T; an analytic sentence does not change the semantic mass of any theory to which it may be conjoined (section 4). This notion is tighter than Quine's stimulus-analyticity; unlike stimulus-analyticity, it does not apply to those sentences from the very center of our theories which can be assented to come what may, even though they are not synthetic in the intuitive sense (section 5). (shrink)

This paper discusses an "expressive constraint" on accounts of thought and language which requires that when a speaker expresses a belief by sincerely uttering a sentence, the utterance and the belief have the same content. It will be argued that this constraint should be viewed as expressing a conceptual connection between thought and language rather than a mere empirical generalization about the two. However, the most obvious accounts of the relation between thought and language compatible with the constraint (giving an (...) independent account of one of either linguistic meaning or thought content and understanding the other in terms of it) both face serious difficulties. Because of this, the following will suggest an alternative picture of the relation between thought and language that remains compatible with the constraint. (shrink)

The recent publications reported in 2022 reveal the possibility of obtaining mouse embryos without the need for egg or sperm. These ‘artificial embryos’ can recapitulate some stages of development ex utero – from neurulation to organogenesis – without implantation. Synthetic mouse embryos might serve as a valuable model to gain further insights into early developmental stages. Indeed, it is expected for these models to be replicated by employing human cells. This promising research raises ethical issues and expands the horizon (...) of ethics in regard to the development of the human embryo. From this point of view, we state some of the new open venues for bioethical research. (shrink)

The guiding thread of the paper is the diagnosis that the advanced division of cognitive labor (that is, intellectual specialization) engenders a set of perennial, political and epistemic challenges (Millgram 2015) that, simultaneously, also generate opportunities for philosophy. In this paper, I re-characterize the nature of synthetic philosophy as a means to advance and institutionalize philosophy. For my definition of synthetic philosophy see section 2. In section 1, I treat Plato’s Republic as offering two models to represent philosophy's (...) relationship to the other sciences within the advanced division of labor. I highlight that for Plato intellectual specialization is central not just to economic, but also to political life. And, yet, that the very dispersion of scientific expertise, and its esoteric nature, also generates non-trivial challenges to the recognition and political utilization of knowledge. From Plato we can infer that in imperfect circumstances, philosophy’s self-constitution is, in part, a response to these challenges in political epistemology. However, how philosophy is institutionalized differs through time. In section 2, I re-introduce my conceptualization of synthetic philosophy and restate it. This makes visible that synthetic philosophy is already widely practiced in the profession as philosophy of the special sciences, PPE, formal modelling, public philosophy, etc. I use recent work by Dorst (2023) to illustrate synthetic philosophy and to identify some of the processes that give rise to the need for it. In sections 2-3, I contrast my account with the evolving ways that Philip Kitcher has conceptualized synthetic philosophy in order to make more precise the version promoted here. I do so not just because Kitcher and I use the same term, ‘synthetic philosophy,’ but because the temptations inherent in Kitcher’s approach should be resisted. -/- . (shrink)

This is a review article based on William Franke's book, A Philosophy of the Unsayable. After contrasting standard "analytic" logic with its paradoxical alternative, "synthetic" logic, this article introduces three basic laws of synthetic logic that can help to clarify how it is possible to talk about the so-called "unsayable". Keeping these laws in mind as one reads a book such as Franke's enables one to understand the range of strategies one can employ in the attempt to use (...) words to evoke an experience of the unsayable. This article together with several others responding to Franke's book, and Franke's replies to the whole set of articles. (shrink)

Biologists are nearing the creation of the first fully synthetic eukaryotic genome. Does this mean that we still soon be able to create genomes that are parts of an existing genetic lineage? If so, it might be possible to bring back extinct species. But do genomes that are synthetically assembled, no matter how similar they are to native genomes, really belong to the genetic lineage on which they were modelled? This article will argue that they are situated within the (...) same genetic lineage. To see why requires closely examining whether material overlap between parents and offspring is a necessary feature of biological reproduction. The processes used to create synthetic genomes shows that these processes are a form of scaffolded reproduction because they use external machinery and take ownership of the material parts used to create synthetic genomes. Closely examining these processes also reveals, surprisingly, that ‘synthetic reproduction’ can take place between entities that don’t participate in the same biological lineages. 1Introduction2The Argument for Lineage-less Genomes3Synthetic Eukaryotic Chromosomes and Material Overlap4Biological Reproduction, Material, and Information5Synthetic Reproductive Processes and Their Implications. (shrink)

Synthetic biologists aim to generate biological organisms according to rational design principles. Their work may have many beneficial applications, but it also raises potentially serious ethical concerns. In this article, we consider what attention the discipline demands from bioethicists. We argue that the most important issue for ethicists to examine is the risk that knowledge from synthetic biology will be misused, for example, in biological terrorism or warfare. To adequately address this concern, bioethics will need to broaden its (...) scope, contemplating not just the means by which scientific knowledge is produced, but also what kinds of knowledge should be sought and disseminated. (shrink)

If humans eventually attain the ability to create new life forms, how will it affect the value of life? This is one of several questions that can be sources of concern when discussing synthetic life, but is the concern justified? In an attempt to answer this question, I have analyzed some possible reasons why an ability to create synthetic life would threaten the value of life in general (that is, not just of the synthetic creations), to see (...) if they really give us reason to worry. The main conclusion is that it is unlikely that a future human ability to create life will really have a great negative impact on these characteristics of life. It therefore seems unlikely that the value of life will be negatively affected by the ability to create synthetic life, though it is possible that the properties in question will be less salient in the synthetic life and thus that the value of the synthetic life will be lower than that of existing life, which in turn can lead to a disturbing difference in value between different kinds of life. (shrink)

This text answers the question, posed by the editor, on the philosophical and social issues resulting from the synthetic assembly of a modified bacterial genome that was introduced in an existing bacterial species (M.mycoides)and so it was claimed to represent the first ever kind of synthetic life produced by human manipulation.

Synthetic biology is a field of research that concentrates on the design, construction, and modification of new biomolecular parts and metabolic pathways using engineering techniques and computational models. By employing knowledge of operational pathways from engineering and mathematics such as circuits, oscillators, and digital logic gates, it uses these to understand, model, rewire, and reprogram biological networks and modules. Standard biological parts with known functions are catalogued in a number of registries (e.g. Massachusetts Institute of Technology Registry of Standard (...) Biological Parts). Biological parts can then be selected from the catalogue and assembled in a variety of combinations to construct a system or pathway in a microbe. Through the innovative re-engineering of biological circuits and the optimization of certain metabolic pathways, biological modules can be designed to reprogram organisms to produce products or behaviors. Synthetic biology is what is known as a “platform technology”. That is, it generates highly transferrable theoretical models, engineering principles, and know-how that can be applied to create potential products in a wide variety of industries. Proponents suggest that applications of synthetic biology may be able to provide scientific and engineered solutions to a multitude of worldwide problems from health to energy. Synthetic biology research has already been successful in constructing microbial products which promise to offer cheaper pharmaceuticals such as the antimalarial synthetic drug artemisinin, engineered microbes capable of cleaning up oil spills, and the engineering of biosensors that can detect the presence of high concentrations of arsenic in drinking water. One of the potential benefits of synthetic biology research is in its application to biofuel production. It is this application which is the focus of this entry. The term “biofuel” has referred generally to all liquid fuels that are sourced from plant or plant byproducts and are used for energy necessary for transportation vehicles (Thompson 2012). Biofuels that are produced using synthetic biological techniques re-engineer microbes into biofuel factories are a subset of these. (shrink)

Probably the most distinctive feature of synthetic biology is its being “synthetic” in some sense or another. For some, synthesis plays a unique role in the production of knowledge that is most distinct from that played by analysis: it is claimed to deliver knowledge that would otherwise not be attained. In this contribution, my aim is to explore how synthetic biology delivers knowledge via synthesis, and to assess the extent to which this knowledge is distinctly synthetic. (...) On the basis of distinctions between knowledge-how and knowledge-why, and between syntheses that succeed and syntheses that fail, I argue that the contribution of synthesis to knowledge is best understood when syntheses are construed as experimental interventions that aim at probing causal relationships between properties of the entities that are combined through these syntheses and properties of their target products. The distinctiveness of synthetic biology in its quest for knowledge through synthesis stems from its ability to sample at will a space of empirical possibilities that is not only huge but also that has been so scarcely sampled by nature. (shrink)

Researchers and practitioners are increasingly using machine‐generated synthetic data as a tool for advancing health science and practice, by expanding access to health data while—potentially—mitigating privacy and related ethical concerns around data sharing. While using synthetic data in this way holds promise, we argue that it also raises significant ethical, legal, and policy concerns, including persistent privacy and security problems, accuracy and reliability issues, worries about fairness and bias, and new regulatory challenges. The virtue of synthetic data (...) is often understood to be its detachment from the data subjects whose measurement data is used to generate it. However, we argue that addressing the ethical issues synthetic data raises might require bringing data subjects back into the picture, finding ways that researchers and data subjects can be more meaningfully engaged in the construction and evaluation of datasets and in the creation of institutional safeguards that promote responsible use. (shrink)

In the last forty years Dummett, Hanks, Künne, and Bobzien have claimed that when Frege wrote ‘Über Sinn und Bedeutung’, he thought that the sense of a sentence-question [Satzfrage] was not a thought [Gedanke] ((Dummett 1981: 307–308); (Hanks 2007: 142–143); (Künne 2010: 427–429); (Bobzien 2021: 163–164)). Recently, Textor has claimed that when Frege wrote ‘Über Sinn und Bedeutung’, he thought that the sense of a sentence-question was not a question [Frage] (Textor 2021: 227 fn.2). I think it is possible that (...) when Frege wrote ‘Über Sinn und Bedeutung’, he thought that the sense of a sentence-question was a question and a thought. To show that this possibility should not be overlooked, I have written a dialogue in which Frege responds to Dummett, Hanks, Künne, Bobzien, and Textor. -/- Bobzien seems to think that when Frege wrote ‘Die Verneinung’, he thought that the sense of a sentence-question was not a question (Bobzien 2021: 163–165). I think it is possible that when Frege wrote ‘Die Verneinung’, he thought that the sense of a sentence-question was a question and a thought. Hence, I have also written the dialogue to show that this possibility should not be overlooked either. (shrink)

It is a most commonly accepted hypothesis that life originated from inanimate matter, somehow being a synthetic product of organic aggregates, and as such, a result of some sort of prebiotic synthetic biology. In the past decades, the newly formed scientific discipline of synthetic biology has set ambitious goals by pursuing the complete design and production of genetic circuits, entire genomes or even whole organisms. In this paper, I argue that synthetic biology might also shed some (...) novel and interesting perspectives on the question of the origin of life, and that, in addition, it might challenge our most commonly accepted definitions of life, thereby changing the ways we might think about life and its origin. (shrink)

Deepfakes and other forms of synthetic media are widely regarded as serious threats to our knowledge of the world. Various technological responses to these threats have been proposed. The reactive approach proposes to use artificial intelligence to identify synthetic media. The proactive approach proposes to use blockchain and related technologies to create immutable records of verified media content. I argue that both approaches, but especially the reactive approach, are vulnerable to a problem analogous to the ancient problem of (...) the criterion—a line of argument with skeptical implications. I argue that, while the proactive approach is relatively resistant to this objection, it faces its own serious challenges. In short, the proactive approach would place a heavy burden on users to verify their own content, a burden that is exacerbated by and is likely to exacerbate existing inequalities. (shrink)

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...) is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

Here we will see that contrary to the party line, Hume’s notion of a relation should be understood, in all cases, as a peculiar non-necessary synthetic relation; unique, but similar in a certain constructive sense to what I characterize as a mathematical notion of synthesis. And, most controversially, I argue that this non-necessary synthetic notion of a relation includes Hume’s arithmetical relations, which have typically been interpreted as either “analytic,” necessary, or both. In this general respect, Hume anticipates (...) Quine’s attack on the analytic/synthetic distinction. (shrink)

The scientific study of living organisms is permeated by machine and design metaphors. Genes are thought of as the ‘‘blueprint’’ of an organism, organisms are ‘‘reverse engineered’’ to discover their functionality, and living cells are compared to biochemical factories, complete with assembly lines, transport systems, messenger circuits, etc. Although the notion of design is indispensable to think about adaptations, and engineering analogies have considerable heuristic value (e.g., optimality assumptions), we argue they are limited in several important respects. In particular, the (...) analogy with human-made machines falters when we move down to the level of molecular biology and genetics. Living organisms are far more messy and less transparent than human-made machines. Notoriously, evolution is an opportunistic tinkerer, blindly stumbling on ‘‘designs’’ that no sensible engineer would come up with. Despite impressive technological innovation, the prospect of artificially designing new life forms from scratch has proven more difficult than the superficial analogy with ‘‘programming’’ the right ‘‘software’’ would suggest. The idea of applying straightforward engineering approaches to living systems and their genomes— isolating functional components, designing new parts from scratch, recombining and assembling them into novel life forms—pushes the analogy with human artifacts beyond its limits. In the absence of a one-to-one correspondence between genotype and phenotype, there is no straightforward way to implement novel biological functions and design new life forms. Both the developmental complexity of gene expression and the multifarious interactions of genes and environments are serious obstacles for ‘‘engineering’’ a particular phenotype. The problem of reverse-engineering a desired phenotype to its genetic ‘‘instructions’’ is probably intractable for any but the most simple phenotypes. Recent developments in the field of bio-engineering and synthetic biology reflect these limitations. Instead of genetically engineering a desired trait from scratch, as the machine/engineering metaphor promises, researchers are making greater strides by co-opting natural selection to ‘‘search’’ for a suitable genotype, or by borrowing and recombining genetic material from extant life forms. (shrink)

Training artificial intelligence (AI) systems requires vast quantities of data, and AI developers face a variety of barriers to accessing the information they need. Synthetic data has captured researchers’ and industry’s imagination as a potential solution to this problem. While some of the enthusiasm for synthetic data may be warranted, in this short paper we offer critical counterweight to simplistic narratives that position synthetic data as a cost-free solution to every data-access challenge—provocations highlighting ethical, political, and governance (...) issues the use of synthetic data can create. We question the idea that synthetic data, by its nature, is exempt from privacy and related ethical concerns. We caution that framing synthetic data in binary opposition to “real” measurement data could subtly shift the normative standards to which data collectors and processors are held. And we argue that by promising to divorce data from its constituents—the people it represents and impacts—synthetic data could create new obstacles to democratic data governance. (shrink)

The recent discussion of fictional models has focused on imagination, implicitly considering fictions as something nonconcrete. We present two cases from synthetic biology that can be viewed as concrete fictions. Both minimal cells and alternative genetic systems are modal in nature: they, as well as their abstract cousins, can be used to study unactualized possibilia. We approach these synthetic constructs through Vaihinger’s notion of a semi-fiction and Goodman’s notion of semifactuality. Our study highlights the relative existence of such (...) concrete fictions. Before their realizations neither minimal cells nor alternative genetic systems were any well-defined objects, and the subsequent experimental work has given more content to these originally schematic imaginings. But it is as yet unclear whether individual members of these heterogeneous groups of somewhat functional synthetic constructs will eventually turn out to be fully realizable, remain only partially realizable, or prove outright impossible. (shrink)

In this paper, we discuss the ethical concerns that may arise from the synthesis of human DNA. To date, only small stretches of DNA have been constructed, but the prospect of generating human genomes is becoming feasible. At the same time, the significance of genes for identity, health and reproduction is coming under increased scrutiny. We examine the implications of DNA synthesis and its impact on debates over the relationship with our DNA and the ownership of our genes, its potential (...) to disrupt common understandings of reproduction and privacy, and the way in which synthetic DNA challenges traditional associations between genes and identity. We explore the degree to which synthetic DNA may further undermine overgeneticised accounts of identity, health, reproduction, parenthood and privacy that are prevalent in the public domain and in some areas of policy-making. While avoiding making normative claims of our own, we conclude that there is a need for reflection on the ethical implications of these developing technologies before they are on us. (shrink)

Metaphors allow us to come to terms with abstract and complex information, by comparing it to something which is structured, familiar and concrete. Although modern science is “iconoclastic”, as Gaston Bachelard phrases it, scientists are at the same time prolific producers of metaphoric images themselves. Synthetic biology is an outstanding example of a technoscientific discourse replete with metaphors, including textual metaphors such as the “Morse code” of life, the “barcode” of life and the “book” of life. This paper focuses (...) on a different type of metaphor, however, namely on the archetypal metaphor of the mandala as a symbol of restored unity and wholeness. Notably, mandala images emerge in textual materials related to one of the new “frontiers” of contemporary technoscience, namely the building of a synthetic cell: a laboratory artefact that functions like a cell and is even able to replicate itself. The mandala symbol suggests that, after living systems have been successfully reduced to the elementary building blocks and barcodes of life, the time has now come to put these fragments together again. We can only claim to understand life, synthetic cell experts argue, if we are able to technically reproduce a fully functioning cell. This holistic turn towards the cell as a meaningful whole also requires convergence at the “subject pole”: the building of a synthetic cell as a practice of the self, representing a turn towards integration, of multiple perspectives and various forms of expertise. (shrink)

Recently, Bechtel and Abrahamsen have argued that mathematical models study the dynamics of mechanisms by recomposing the components and their operations into an appropriately organized system. We will study this claim through the practice of combinational modeling in circadian clock research. In combinational modeling, experiments on model organisms and mathematical/computational models are combined with a new type of model—a synthetic model. We argue that the strategy of recomposition is more complicated than what Bechtel and Abrahamsen indicate. Moreover, synthetic (...) modeling as a kind of material recomposition strategy also points beyond the mechanistic paradigm. (shrink)

The concept of truth has many aims but only one source. The article describes the primary concept of truth, here called the synthetic concept of truth, according to which truth is the objective result of the synthesis of us and nature in the process of rational cognition. It is shown how various aspects of the concept of truth -- logical, scientific, and mathematical aspect -- arise from the synthetic concept of truth. Also, it is shown how the paradoxes (...) of truth arise. (shrink)

The purpose of this paper is to analyze the theoretical commitments of autopoietic enactivism in relation to Errol E Harris’s dialectical holism in the interest of establishing a common metaphysical ground. This will be undertaken in three stages. First, it is argued that Harris’s reasoning provides a means of developing enactivist ontology beyond discussions limited to cognitive science and into domains of metaphysics that have traditionally been avoided by phenomenologists. Here, I maintain enactivist commitments are consistent with Harris’s reasoning from (...) certain synthetic a priori first principles, to his derivation of a teleological anthropic principle, which asserts the necessity of consciousness within the cosmos. Second, it is proposed that Steven Rosen’s long-standing proposal for a topology of phenomenology may provide a common logical foundation for both Harris and enactivists regarding anthropic reasoning. Third, it is argued that a pragmatic approach to process ontology is the most rigorous way of responding to the realism/anti-realism concerns that inevitably follow. If successful, this work will update Harris’s arguments with contemporary scientific and philosophical terminology and extend enactivism from philosophy of mind, into a general phenomenological ontology. (shrink)

Synthetic biology aims to synthesize novel biological systems or redesign existing ones. The field has raised numerous philosophical questions, but most especially what is novel to this field. In this article I argue for a novel take, since the dominant ways to understand synthetic biology’s specificity each face problems. Inspired by the examination of the work of a number of chemists, I argue that synthetic biology differentiates itself by a new regime of articulation, i.e. a new way (...) of articulating the questions and phenomena it wants to address. Instead of describing actual existing biological systems, the field aims to describe biological possibilities. In the second part I corroborate this hypothesis through a comparison between early research in the field of the origins of life and contemporary synthetic biologists, who are not so much interested in the historical origin of life on Earth, but rather in a universal biology of the possible origins of any life whatsoever. (shrink)

In a recent article in this journal [Phil. Math., II, v.4 (1989), n.2, pp.?- ?] J. Fang argues that we must not be fooled by A.J. Ayer (God rest his soul!) and his cohorts into believing that mathematical knowledge has an analytic a priori status. Even computers, he reminds us, take some amount of time to perform their calculations. The simplicity of Kant's infamous example of a mathematical proposition (7+5=12) is "partly to blame" for "mislead[ing] scholars in the direction of (...) neglecting the temporal element"; yet a brief instant of time is required to grasp even this simple truth. If Kant were alive today, "and if he had had a little more mathematical savvy", Fang explains, he could have used the latest example of the largest prime number (391,581 x 2 216,193 - 1) as a better example of the "synthetic a priori" character of mathematics. The reason Fang is so intent upon emphasizing the temporal character of mathematics is that he wishes to avoid "the uncritical mixing of ... a theology and a philosophy of mathematics." For "in the light of the Computer Age today: finitism is king!" Although Kant's aim was explicitly "to study the 'human' ... faculty", Fang claims that even he did not adequatley emphasize "the clearly and concretely distinguishable line of demarcation between the human and divine faculties.". (shrink)

With the recent renewed interest in AI, the field has made substantial advancements, particularly in generative systems. Increased computational power and the availability of very large datasets has enabled systems such as ChatGPT to effectively replicate aspects of human social interactions, such as verbal communication, thus bringing about profound changes in society. In this paper, we explain that the arrival of generative AI systems marks a shift from ‘interacting through’ to ‘interacting with’ technologies and calls for a reconceptualization of socio-technical (...) systems as we currently understand them. We dub this new generation of socio-technical systems synthetic to signal the increased interactions between human and artificial agents, and, in the footsteps of philosophers of information, we cash out agency in terms of ‘poiêsis’. We close the paper with a discussion of the potential policy implications of synthetic socio-technical system. -/- . (shrink)

Synthetic biology (SynBio) covers two main areas: application engineering, exemplified by metabolic engi- neering, and the design of life from artificial building blocks. As the general public is often reluctant to embrace synthetic approaches, preferring nature to artifice, its immediate future will depend very much on the public’s reaction to the unmet needs created by the pervasive demands of sustainability. On the other hand, this reluctance should not have a negative impact on research that will now take into (...) account the existence of the multiple transitions that cells face over time. The ages of life—birth, development, maturation, senescence and death—reflect specific key transitions and have, until now, rarely been taken into account in SynBio designs. This results in a mismatch between novelty and the very long evolutionary time that led to the existing chassis [remember that this is the common term used to describe the cellular framework as seen by synthetic biologists (de Lorenzo & Danchin, 2008)]. It also implies that, in general, transitions between growth stages will be taken into account with the appro- priate embodiment of highly specific processes. This is particularly important when adapting new models to their host, whether natural or artificial. Adaptation fol- lows two stages, short-term accommodation of new entities and long-term assimilation into the cell as a whole. This requires discrimination between classes of entities. We suggest that proteins playing the essential role of Maxwell’ demons, here named Maxwell’s dis- criminators (MxDs) to refer to their original function, will permit the assimilation and accommodation of artificial constructs. As a consequence, we can foresee that class discrimination, beyond mere recognition, will be implemented in SynBio 2.0, leading to an authentic par- adigm shift (Kuhn, 1996), based on conceptions that embody information as a genuine currency of reality. (shrink)

This paper analyses the technoscientific objective of building a synthetic cell from a Jungian perspective. After decades of fragmentation and specialisation, the synthetic cell symbolises a turn towards restored wholeness, both at the object pole and at the subject pole. From a Jungian perspective, it is no coincidence that visual representations of synthetic cells often reflect an archetypal, mandala-like structure. As a symbol of restored unity, the synthetic cell mandala compensates for technoscientific fragmentation via active imagination, (...) providing a visual aid for the technoscientific turn towards reintegration. Although the biotechnological desire to reconstruct life in vitro has been compared to alchemy before, a Jungian analysis allows us to make this comparison more specific and precise. The problem of archetypal images, however, is that alluring prospects of reintegration may underestimate and obfuscate the deficiencies and tensions at work in the current situation. As a projection of a future wholeness, it fosters optimism, but may also function as a misleading façade, covering up collisions and complexities. This can be averted by the conscious employment of the mandala as a symbolic scaffold fostering processes of individuation and working through. (shrink)

In this paper Timothy Williamson’s argument that the knowledge norm of assertion is the best explanation of the unassertability of Morrean sentences is challenged and an alternative account of the norm of assertion is defended.

This is a contribution to the idea that some proofs in first-order logic are synthetic. Syntheticity is understood here in its classical geometrical sense. Starting from Jaakko Hintikka’s original idea and Allen Hazen’s insights, this paper develops a method to define the ‘graphical form’ of formulae in monadic and dyadic fraction of first-order logic. Then a synthetic inferential step in Natural Deduction is defined. A proof is defined as synthetic if it includes at least one synthetic (...) inferential step. Finally, it will be shown that the proposed definition is not sensitive to different ways of driving the same conclusion from the same assumptions. (shrink)

The arrival of synthetic organs may mean we need to reconsider principles of ownership of such items. One possible ownership criterion is the boundary between the organ’s being outside or inside the body. What is outside of my body, even if it is a natural organ made of my cells, may belong to a company or research institution. Yet when it is placed in me, it belongs to me. In the future, we should also keep an eye on how (...) the availability of synthetic organs may change our attitudes toward our own bodies. (shrink)

Synthetic biology has a strong modal dimension that is part and parcel of its engineering agenda. In turning hypothetical biological designs into actual synthetic constructs, synthetic biologists reach towards potential biology instead of concentrating on naturally evolved organisms. We analyze synthetic biology’s goal of making biology easier to engineer through the combinatorial theory of possibility, which reduces possibility to combinations of individuals and their attributes in the actual world. While the last decades of synthetic biology (...) explorations have shown biology to be much more difficult to engineer than originally conceived, synthetic biology has not given up its combinatorial approach. (shrink)

Humans have long wondered whether they can survive the death of their physical bodies. Some people now look to technology as a means by which this might occur, using terms such 'whole brain emulation', 'mind uploading', and 'substrate independent minds' to describe a set of hypothetical procedures for transferring or emulating the functioning of a human mind on a synthetic substrate. There has been much debate about the philosophical implications of such procedures for personal survival. Most participants to that (...) debate assume that the continuation of identity is an objective fact that can be revealed by scientific enquiry or rational debate. We bring into this debate a perspective that has so far been neglected: that personal identities are in large part social constructs. Consequently, to enable a particular identity to survive the transference process, it is not sufficient to settle age-old philosophical questions about the nature of identity. It is also necessary to maintain certain networks of interaction between the synthetic person and its social environment, and sustain a collective belief in the persistence of identity. We defend this position by using the example of the Dalai Lama in Tibetan Buddhist tradition and identify technological procedures that could increase the credibility of personal continuity between biological and artificial substrates. (shrink)