Given the rich diversity of research fields usually ascribed to chemistry in a broad sense, the present paper tries to dig our characteristic parts of chemistry that can be conceptually distinguished from interdisciplinary, applied, and specialized subfields of chemistry, and that may be called chemistry in a very narrow sense, or 'the chemical core of chemistry'. Unlike historical, ontological, and 'anti-reductive' approaches, I use a conceptual approach together with some methodological implications that allow to develop step by step a (...) kind of cognitive architecture for chemistry, which basically contains: (1) systematic chemical knowledge on the experimental level; (2) clarification of chemical species; (3) chemical classification systems; (4) theoretical foundation through the chemical theory of structural formulas. In a succeeding paper the results will be checked for resisting physicalistic reduction. (shrink)

Late nineteenth‐century opponents of atomism questioned whether the evidence required any notion of an atom. In this spirit, Duhem developed an account of the import of chemical formulas that is clearly neutral on the atomic question rather than antiatomistic. The argument is supplemented with specific inadequacies of atomic theories of chemical combination and considerably strengthened by the theory of chemical combination provided by thermodynamics. Despite possible counterevidence available at the time, which should have tempered some of (...) Duhem's concluding remarks, there was no atomic theory of chemical combination, which is wholly a product of the twentieth century. †To contact the author, please write to: Department of Philosophy, University of Stockholm, SE‐106 91 Stockholm, Sweden; e‐mail: [email protected]. (shrink)

Similarities in properties among pairs of metallic elements and their compounds in the lower-right quadrant of the Periodic Table have been named the ‘Knight’s Move’ relationship. Here, we have undertaken a systematic study of the only two ‘double-pairs’ of ‘Knight’s Move’ elements within this region: copper-indium/indium-bismuth and zinc-tin/tin-polonium, focussing on: metal melting points; formulas and properties of compounds; and melting points of halides and chalcogenides. On the basis of these comparisons, we conclude that the systematic evidence for ‘Knight’s Move’ (...) relationships derives from similarities in formulas and properties of matching pairs of compounds in the same oxidation state. Physical properties, such as melting points, do not provide consistent patterns and trends and hence should not be considered as a common characteristic of this relationship. (shrink)

An exposition of Pierre Duhem’s formulation of the structure of chemical substances as expressed by their formulas is given, presenting it as a development of his essentially Aristotelian view of mixtures. Duhem’s masterly development of the subject displays an eye for logical clarity familiar from his work in thermodynamics but applied here to the extraction of what he regarded as true from the history of chemistry. Though no longer defensible, the account has a conceptual interest in its own (...) right and illuminates a less frequently discussed side of Duhem’s views. (shrink)

This article was first published as “Notation atomique et hypothèses atomistiques”, Revue des questions scientifiques, 31 (1892), 391– 457. It is the second of a series of articles Duhem was to publish in the Catholic journal Revue des questions scientifiques, in which he presents his understanding of what can justifiably be said about the structure of chemical substances as captured by chemical formulas. The argument unfolds following a broadly historical development of events throughout the course of the (...) century which was coming to a close as he wrote. He later reflected in his classic The Aim and Structure of Physical Theories – based in large part on articles which had appeared in the Revue – that “To give the history of a physical principle is at the same time to make a logical analysis of it” (p. 269). Logical analysis clearly dominates in the present article. The historical context was elaborated considerably in a later work, Le mixte et la combinaison chimique: Essai sur l’évolution d’une idée, which did not lead him to retract any aspect of his earlier position but provided a broader setting in which it could be elaborated. In particular, the Aristotelian influence, which is only hinted at here in some of the formulations (see especially the beginning of section VII) without mentioning Aristotle by name, is explicit in the later work, making Duhem’s own ontological conception a little clearer. A discussion of stereoisomerism, conspicuously absent in the present article, is also integrated into the later book. The same holds for Avogadro’s hypothesis. (shrink)

Chemical structures are among the trademarks of our profession, as surely chemical as flasks, beakers and distillation columns. When someone sees one of us busily scribbling formulas or structures, he or she has no trouble identifying a chemist. Yet these familiar objects, which accompany our work from start to end, from the initial doodlings (Fig. I) to the final polished artwork in a publication (Fig. II), are deceptively simple. They raise interesting and difficult questions about representation. It (...) is the intent of this article to reflect upon molecular graphics. (shrink)

I argue and demonstrate in this essay that interconnected systems of science and technology, or technoscience, existed long before the late nineteenth century, and that eighteenth-century chemistry was such an early form of technoscience. Based on recent historical research on the early development of carbon chemistry from the late 1820s until the 1840s—which revealed that early carbon chemistry was an experimental expert culture that was largely detached from the mundane industrial world—I further examine the question of the internal preconditions within (...) the expert culture of carbon chemistry that contributed to its convergence with the synthetic-dye industry in the late 1850s. I argue that the introduction of new types and techniques of organic-chemical reactions and organic substances in this experimental expert culture, along with the application of chemical formulae as paper tools for modeling reactions as well as the chemical constitution and structure of substances, enabled academic chemists to make specific, novel contributions to chemical technology and industry in the second half of the nineteenth century. (shrink)

: I argue and demonstrate in this essay that interconnected systems of science and technology, or technoscience, existed long before the late nineteenth century, and that eighteenth-century chemistry was such an early form of technoscience. Based on recent historical research on the early development of carbon chemistry from the late 1820s until the 1840s—which revealed that early carbon chemistry was an experimental expert culture that was largely detached from the mundane industrial world—I further examine the question of the internal preconditions (...) within the expert culture of carbon chemistry that contributed to its convergence with the synthetic-dye industry in the late 1850s. I argue that the introduction of new types and techniques of organic-chemical reactions and organic substances in this experimental expert culture, along with the application of chemical formulae as paper tools for modeling reactions as well as the chemical constitution and structure of substances, enabled academic chemists to make specific, novel contributions to chemical technology and industry in the second half of the nineteenth century. (shrink)

This paper suggests that the cases made for atoms and the aether in nineteenth-century physical science were analogous, with the implication that the case for the atom was less than compelling, since there is no aether. It is argued that atoms did not play a productive role in nineteenth-century chemistry any more than the aether did in physics. Atoms and molecules did eventually find an indispensable home in chemistry but by the time that they did so they were different kinds (...) of entities to those figuring in the speculations of those natural philosophers who were atomists. Advances in nineteenth-century chemistry were a precondition for rather than the result of the productive introduction of atoms into chemistry. (shrink)

There is a persisting debate about what chemical bonds are and whether they exist. I argue that chemical bonds are real patterns of interactions between subatomic particles. This proposal resolves the problems raised in the context of existing understandings of the chemical bond and provides a novel way to defend the reality of chemical bonds.

In this paper I investigate the relationship between vernacular kind terms and specialist scientific vocabularies. Elsewhere I have developed a defence of realism about the chemical elements as natural kinds. This defence depends on identifying the epistemic interests and theoretical conception of the elements that have suffused chemistry since the mid-eighteenth century. Because of this dependence, it is a discipline-specific defence, and would seem to entail important concessions to pluralism about natural kinds. I argue that making this kind of (...) concession does not imply that vernacular kind terms have independent application conditions. Nor does it preclude us saying that chemists, with their particular epistemic interests, have discovered the underlying nature of water, the stuff that is named and thought about in accordance with the practical interests of everyday life. There are limits to pluralism. (shrink)

Related Works: Part I: Michael Zakharyaschev. Canonical Formulas for $K4$. Part I: Basic Results. J. Symbolic Logic, Volume 57, Issue 4 , 1377--1402. Project Euclid: euclid.jsl/1183744119 Part III: Michael Zakharyaschev. Canonical Formulas for K4. Part III: The Finite Model Property. J. Symbolic Logic, Volume 62, Issue 3 , 950--975. Project Euclid: euclid.jsl/1183745306.

Following Kripke and Putnam, the received view of chemical kinds has been a microstructuralist one. To be a microstructuralist about chemical kinds is to think that membership in said kinds is conferred by microstructural properties. Recently, the received microstructuralist view has been elaborated and defended, but it has also been attacked on the basis of complexities, both chemical and ontological. Here, I look at which complexities really challenge the microstructuralist view; at how the view itself might be (...) made more complicated in order to accommodate such challenges; and finally, at what this increasingly complicated picture implies for our standard assessment of chemical kindhood—primarily, for the widespread assumption that chemical kinds in general are more neat and tidy than those messy biological ones. _1_ The Received View _2_ A Taxonomy of Chemical Kinds _3_ Atomic Number _4_ H2O, H3O+, OH−, and More _5_ Complicating the Microstructuralist Picture _6_ Concrete and Other Mixtures _7_ Macromolecules, Especially Proteins _8_ Abandoning Sameness of Elemental Composition _9_ Not So Different after All. (shrink)

This Element defends a reading of Kant's formulas of the moral law in Groundwork of the Metaphysics of Morals. It disputes a long tradition concerning what the first formula attempts to do. The Element also expounds the Formulas of Humanity, Autonomy and the Realm of Ends, arguing that it is only the Formula of Humanity from which Kant derives general duties, and that it is only the third formula that represents a complete and definitive statement of the moral (...) principle as Kant derives it in the Groundwork. The Element also disputes the claim that the various formulas are 'equivalent', arguing that this claim is either false or else nonsensical because it is grounded on a false premise about what Kant thinks a moral principle is for. (shrink)

This book examines the way in which Robert Boyle seeks to accommodate his complex chemical philosophy within the framework of a mechanistic theory of matter. More specifically, the book proposes that Boyle regards chemical qualities as properties that emerged from the mechanistic structure of chymical atoms. Within Boyle’s chemical ontology, chymical atoms are structured concretions of particles that Boyle regards as chemically elementary entities, that is, as chemical wholes that resist experimental analysis. Although this interpretation of (...) Boyle’s chemical philosophy has already been suggested by other Boyle scholars, the present book provides a sustained philosophical argument to demonstrate that, for Boyle, chemical properties are dispositional, relational, emergent, and supervenient properties. This argument is strengthened by a detailed mereological analysis of Boylean chymical atoms that establishes the kind of theory of wholes and parts that is most consistent with an emergentist conception of chemical properties. The emergentist position that is being attributed to Boyle supports his view that chemical reactions resist direct explanation in terms of the mechanistic properties of fundamental particles, as well as his position regarding the scientific autonomy of chymistry from mechanics and physics. (shrink)

Long-standing neglect of the chemical senses in the philosophy of perception is due, mostly, to their being regarded as ‘lower’ senses. Smell, taste, and chemically irritated touch are thought to produce mere bodily sensations. However, empirically informed theories of perception can show how these senses lead to perception of objective properties, and why they cannot be treated as special cases of perception modelled on vision. The senses of taste, touch, and smell also combine to create unified perceptions of flavour. (...) The nature of these multimodal experiences and the character of our awareness of them puts pressure on the traditional idea that each episode of perception goes one or other of the five senses. Thus, the chemical senses, far from being peripheral to the concerns of the philosophy of perception, may hold important clues to the multisensory nature of perception in general. (shrink)

We have synthesized a 582,970-base pair Mycoplasma genitalium genome. This synthetic genome, named M. genitalium JCVI-1.0, contains all the genes of wild-type M. genitalium G37 except MG408, which was disrupted by an antibiotic marker to block pathogenicity and to allow for selection. To identify the genome as synthetic, we inserted "watermarks" at intergenic sites known to tolerate transposon insertions. Overlapping "cassettes" of 5 to 7 kilobases (kb), assembled from chemically synthesized oligonucleotides, were joined by in vitro recombination to produce intermediate (...) assemblies of approximately 24 kb, 72 kb ("1/8 genome"), and 144 kb ("1/4 genome"), which were all cloned as bacterial artificial chromosomes in Escherichia coli. Most of these intermediate clones were sequenced, and clones of all four 1/4 genomes with the correct sequence were identified. The complete synthetic genome was assembled by transformation-associated recombination cloning in the yeast Saccharomyces cerevisiae, then isolated and sequenced. A clone with the correct sequence was identified. The methods described here will be generally useful for constructing large DNA molecules from chemically synthesized pieces and also from combinations of natural and synthetic DNA segments. 10.1126/science.1151721. (shrink)

We propose a generalization of Sahlqvist formulas to polyadic modal languages by representing such languages in a combinatorial PDL style and thus, in particular, developing what we believe to be the right syntactic approach to Sahlqvist formulas at all. The class of polyadic Sahlqvist formulas PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.

What is it that turns a new observation into a true scientific discovery? And who may claim the credit? Theoreticians of science, the foremost thinkers of their times among them, have tried to answer these fundamental questions about the nature of scientific progress and discovery. With clear insight and the chemical as well as philosophical wisdom gained from over fifty years as a practising chemist, Jerome Berson puts their theories to the test. The development of chemistry into a "modern" (...) science during the last two centuries provides him with ample cases to illustrate the way scientific progress really happens. Kekul?'s struggle to arrive at a structure for benzene, the paradigm change that was necessary to accept the reality of molecular rearrangements, and other episodes are retold here from the philosopher's as well as from the practitioner's perspective, shedding light on the way scientists think and act. Berson's account of the rather unphilosophical way in which scientific discoveries are made includes the realization that even a false hypothesis, such as Woodward's ideas about the biosynthesis of strychnine, may help rather than hinder scientific progress. Scientists of all ages, as well as many non-scientists, will find this a highly readable and unusual book. (shrink)

We give alternative characterizations of exact, extendible and projective formulas in intuitionistic propositional calculus IPC in terms of n -universal models. From these characterizations we derive a new syntactic description of all extendible formulas of IPC in two variables. For the formulas in two variables we also give an alternative proof of Ghilardi’s theorem that every extendible formula is projective.

In 1995 Visser, van Benthem, de Jongh, and Renardel de Lavalette introduced NNIL-formulas, showing that these are exactly the formulas preserved under taking submodels of Kripke models. In this article we show that NNIL-formulas are up to frame equivalence the formulas preserved under taking subframes of frames, that NNIL-formulas are subframe formulas, and that subframe logics can be axiomatized by NNIL-formulas. We also define a new syntactic class of ONNILLI-formulas. We show that (...) these are the formulas preserved in monotonic images of frames and that ONNILLI-formulas are stable formulas as introduced by Bezhanishvili and Bezhanishvili in 2013. Thus, ONNILLI is a syntactically defined set of formulas axiomatizing all stable logics. This resolves a problem left open in 2013. (shrink)

Second-order logic and modal logic are both, separately, major topics of philosophical discussion. Although both have been criticized by Quine and others, increasingly many philosophers find their strictures uncompelling, and regard both branches of logic as valuable resources for the articulation and investigation of significant issues in logical metaphysics and elsewhere. One might therefore expect some combination of the two sorts of logic to constitute a natural and more comprehensive background logic for metaphysics. So it is somewhat surprising to find (...) that philosophical discussion of secondorder modal logic is almost totally absent, despite the pioneering contribution of Barcan. (shrink)

Quine, taking the molecular constitution of matter as a paradigmatic example, offers an account of the relation between theory confirmation and ontology. Elsewhere, he deploys a similar ontological methodology to argue for the existence of mathematical objects. Penelope Maddy considers the atomic/molecular theory in more historical detail. She argues that the actual ontological practices of science display a positivistic demand for “direct observation,” and that fulfillment of this demand allows us to distinguish molecules and other physical objects from mathematical abstracta. (...) However, the confirmation of the atomic/molecular theory and the development of scientists’ ontological attitudes towards atoms was more complicated and subtle than even Maddy supposes. The present paper argues that the history of the theory in fact supports neither Quine’s and Maddy’s accounts of scientific ontology. There was no general demand from scientists to “see” atoms before they were reckoned to be real; but neither did the indispensable appearance of atoms in the best theory of chemical combination suffice to convince scientists of their reality. (shrink)

Organic chemists have been able to develop a robust, theoretical understanding of the phenomena they study; however, the primary theoretical devices employed in this field are not mathematical equations or laws, as is the case in most other physical sciences. Instead it is diagrams, and in particular structural formulas and potential energy diagrams, that carry the explanatory weight in the discipline. To understand how this is so, it is necessary to investigate both the nature of the diagrams employed in (...) organic chemistry and how these diagrams are used in the explanations of the discipline. I will begin this paper by characterizing some of the major ways that structural formulas used in organic chemistry. Next I will present a model of the explanations in organic chemistry and describe how both structural formulas and potential energy diagrams contribute to these explanations. This will be followed by several examples that support my abstract account of the role of diagrams in the explanations of organic chemistry. In particular, I will consider both the appeal to ‘hyperconjugation’ in the explanation of alkene stability and how the idea of ‘ring strain’ was developed to explain the relative stability of cyclic compounds. (shrink)

A chemical substance is instantiated in the material world by a number of quantities of such substance, placed in different locations. A change of location implies a change in the net of relationships entertained by the QCS with the region wherein it is found. This fact entails changes of the ontological status of the CS, as this is not fully determined by the inherent features of the CS and includes a relevant relational contribution. In order to demonstrate this thesis, (...) we have chosen to analyse the status of quantities of a same CS that are synchronically located in different spacetime regions: a synthetic lab, a lab where the QCS is turned into a material, an industrial plant, the market where the QCS gets a price and a dump waste where the QCS is discarded, respectively: Chemical substance Open image in new window material Open image in new window product Open image in new window goods Open image in new window wasteThe use of first-order predicate logic, mereology and locative logic allows carrying out a regimentation process that highlights the ontological commitments implied by the formal expressions through which each element of the aforementioned series can be described. The presence of relational properties discloses the systemic nature of the CS instantiated within a spacetime region. The implications of such an aspect are discussed. (shrink)

We provide a new proof of the following Pałasińska's theorem: Every finitely generated protoalgebraic relation distributive equality free quasivariety is finitely axiomatizable. The main tool we use are ${\mathcal{Q}}$ Q -relation formulas for a protoalgebraic equality free quasivariety ${\mathcal{Q}}$ Q . They are the counterparts of the congruence formulas used for describing the generation of congruences in algebras. Having this tool in hand, we prove a finite axiomatization theorem for ${\mathcal{Q}}$ Q when it has definable principal ${\mathcal{Q}}$ Q (...) -subrelations. This is a property obtained by carrying over the definability of principal subcongruences, invented by Baker and Wang for varieties, and which holds for finitely generated protoalgebraic relation distributive equality free quasivarieties. (shrink)

We generalize the theory of canonical formulas for K4, the logic of transitive frames, to wK4, the logic of weakly transitive frames. Our main result establishes that each logic over wK4 is axiomatizable by canonical formulas, thus generalizing Zakharyaschev’s theorem for logics over K4. The key new ingredients include the concepts of transitive and strongly cofinal subframes of weakly transitive spaces. This yields, along with the standard notions of subframe and cofinal subframe logics, the new notions of transitive (...) subframe and strongly cofinal subframe logics over wK4. We obtain axiomatizations of all four kinds of subframe logics over wK4. We conclude by giving a number of examples of different kinds of subframe logics over wK4. (shrink)

Related Works: Part I: Michael Zakharyaschev. Canonical Formulas for $K4$. Part I: Basic Results. J. Symbolic Logic, Volume 57, Issue 4 , 1377--1402. Project Euclid: euclid.jsl/1183744119 Part II: Michael Zakharyaschev. Canonical Formulas for K4. Part II: Cofinal Subframe Logics. J. Symbolic Logic, Volume 61, Issue 2 , 421--449. Project Euclid: euclid.jsl/1183745008.

Surgical castration of sex offenders has been used in several countries to prevent sexual recidivism and is still practiced in several states in the United States. In Europe, it has remained in limited use in Germany and in the Czech Republic (Douglas et al. 2013). Since the 1960s, most jurisdictions have replaced irreversible surgical castration of sex offenders with reversible chemical castration with anti-androgen drugs. In Denmark, use of surgical castration was stopped in 1970, and since the late 1980s, (...) serious sex offenders have on a trial basis been treated with anti-androgen drugs (Hansen and Lykke-Olesen 1997). In 1997, an official treatment program for sex offenders was introduced on a trial basis, and in 2011 this scheme was made permanent (Nielsen 2001).The first part of the scheme covers persons with a suspended sentence with conditions of sexological treatment. This program serves as an alternative to suspended sentences of up to one and a half years of prison for crimina. (shrink)

A concept is traditionally defined via the necessary and sufficient conditions that clearly determine its extension. By contrast, cognitive views of concepts intend to account for empirical data that show that categorisation under a concept presents typicality effects and a certain degree of indeterminacy. We propose a formal language to compactly represent concepts by leveraging on weighted logical formulas. In this way, we can model the possible synergies among the qualities that are relevant for categorising an object under a (...) concept. We show that our proposal can account for a number of views of concepts such as the prototype theory and the exemplar theory. Moreover, we show how the proposed model can overcome some limitations of cognitive views. (shrink)

Crutchfield and Redinger (2024) argue that, ceteris paribus, it is morally worse to deploy a restraint that undermines a basic liberty than one that does not.1 This is a plausible view, and is like...

From the perspective of successive events, chemical reactions are expressed or thought about, in terms of the cause-effect category. In this work, I will firstly discuss some aspects of causation and interaction in chemistry, argue for the interaction, and propose an alternative or complementary representation scheme called “interaction diagram”, that allows representing chemical reactions through a geometric diagram. The understanding of this diagram facilitates the analysis of reactions in terms of the interaction, or reciprocal action, among the participating (...) entities. Secondly, I will describe the model and provide examples and finally, I will discuss the scope and limitations of the current development status of the model. (shrink)

Safe first-order formulas generalize the concept of a safe rule, which plays an important role in the design of answer set solvers. We show that any safe sentence is equivalent, in a certain sense, to the result of its grounding—to the variable-free sentence obtained from it by replacing all quantifiers with multiple conjunctions and disjunctions. It follows that a safe sentence and the result of its grounding have the same stable models, and that stable models of a safe sentence (...) can be characterized by a formula of a simple syntactic form. (shrink)

In several jurisdictions, sex offenders may be offered chemical castration as an alternative to further incarceration. In some, agreement to chemical castration may be made a formal condition of parole or release. In others, refusal to undergo chemical castration can increase the likelihood of further incarceration though no formal link is made between the two. Offering chemical castration as an alternative to further incarceration is often said to be partially coercive, thus rendering the offender’s consent invalid. (...) The dominant response to this objection has been to argue that any coercion present in such cases is compatible with valid consent. In this article, we take a different tack, arguing that, even if consent would not be valid, offering chemical castration will often be supported by the very considerations that underpin concerns about consent: considerations of autonomy. This is because offering chemical castration will often increase the offender’s autonomy, both at the time the offer is made and in the future. (shrink)

The chemical characterization of the substance responsible for the phenomenon of “transformation” of pneumococci was presented in the now famous 1944 paper by Avery, MacLeod, and McCarty. Reception of this work was mixed. Although interpreting their results as evidence that deoxyribonucleic acid (DNA) is the molecule responsible for genetic changes was, at the time, controversial, this paper has been retrospectively celebrated as providing such evidence. The mixed and changing assessment of the evidence presented in the paper was due to (...) the work’s interpretive flexibility – the evidence was interpreted in various ways, and such interpretations were justified given the neophytic state of molecular biology and methodological limitations of Avery’s transformation studies. I argue that the changing context in which the evidence presented by Avery’s group was interpreted partly explains the vicissitudes of the assessments of the evidence. Two less compelling explanations of the reception are a myth-making account and an appeal to the wartime historical context of its publication. (shrink)

The paper surveys the origins of chemical engineering in England in the late nineteenth and early twentieth centuries. It deals particularly with the recognition of the field as an independent discipline, its relations with chemistry and mechanical engineering, and the influence on its growth of industrial ‘demand’. The position of chemical engineering in public discourse, in the City and Guilds Central Institution, and at Imperial College of Science and Technology and University College London are discussed, together with the (...) creation of the Institution of Chemical Engineers in 1922. The idea that the discipline grew merely in response to the demands of industrial capitalists is rejected, and a variety of other interest groups is shown to have participated. (shrink)