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)

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)

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)

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.

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)

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.

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)

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)

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.

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)

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)

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)

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.

Kant conceives of chemical dissolutions as involving the infinite division and subsequent blending of solvent and solute. In the resulting continuous solution, every subvolume contains a uniform proportion of each reactant. Erich Adickes argues that this account stands in tension with other aspects of Kant’s Critical philosophy and his views on infinity. I argue that although careful analysis of Kant’s conception of dissolution addresses Adickes’ objections, the infinite division inherent to the process is beyond our human cognition, for Kant. (...) Nevertheless, such infinite division may be considered as an idea of reason to make comprehensible chemical reactions, revealing reason to play a pivotal role in the foundations of chemistry. (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.

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)

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)

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)

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)

The philosophical problem of the utility andmeaning of essences for chemistry cannot beresolved by Wittgenstein's principle thatessence cannot explain use, because use isdisplayed in a field of family resemblances.The transition of chemical taxonomy fromvernacular and mystical based terms to theorybased terms stabilized as a unified descriptivetaxonomy, removes chemical discourse from itsconnection with the vernacular. The transitioncan be tracked using the Lockean concepts ofreal and nominal essences, and the changingpriorities between them. Analyzing propertiesdispositionally, initiating a search forgroundings strengthens the (...) case for a logicalasymmetry between descriptive and explanatorydiscourses. Taxonomy is now driven byexplanatory concepts, but not including thosefrom quantum chemistry. (shrink)

The practice of medicine frequently involves the unconsented restriction of liberty. The reasons for unilateral liberty restrictions are typically that being confined, strapped down, or sedated are necessary to prevent the person from harming themselves or others. In this paper, we target the ethics of chemical restraints, which are medications that are used to intentionally restrict the mental states associated with the unwanted behaviors, and are typically not specifically indicated for the condition for which the patient is being treated. (...) Specifically, we aim to identify the conditions under which chemical restraints are ethically permissible. It is wrong to assume that what is morally true of physical restraints is also true of chemical restraints. Our aim is thus to identify the conditions under which chemical restraints are permissible while distinguishing these conditions from those of the application of physical restraints. (shrink)

The strategic use of disease and poison in warfare has been subject to a longstanding and cross-cultural taboo that condemns the hostile exploitation of poisons and disease as the act of a pariah. In short, biological and chemical weapons are simply not fair game. The normative opprobrium is, however, not fixed, but context dependent and, as a social phenomenon, remains subject to erosion by social (or more specifically, antisocial) actors. The cross cultural understanding that fighting with poisons and disease (...) is reprehensible, that they are taboo, is codified through a web of interconnected measures, principal amongst these are the 1925 Geneva Protocol; the Biological Weapons Convention; and the Chemical Weapons Convention. Whilst these treaties have weathered the storm of international events reasonably well, their continued health is premised on their being ‘tended to’ in the face of contextual changes, particularly facing changes in science and technology, as well as the changed nature and character of conflict. This article looks at the potential for normative erosion of the norm against chemical and biological weapons in the face of these contextual changes and the creeping legitimization of chemical and biological weapons. (shrink)

This chapter contains sections titled: Toxic Chemicals in the Arctic Stratospheric Ozone Loss and Global Warming References and Further Reading.

Jacques Monod (1971) argued that certain molecular processes rely critically on the property of chemical arbitrariness, which he claimed allows those processes to “transcend the laws of chemistry”. It seems natural, as some philosophers have done, to interpret this in modal terms: a biological relationship is chemically arbitrary if it is possible, within the constraints of chemical “law”, for that relationship to have been otherwise than it is. But while modality is certainly important for understanding chemical arbitrariness, (...) understanding its biological role also requires an account of the concrete causal-functional features that distinguish arbitrary from non-arbitrary phenomena. In this paper I elaborate on this under-emphasised aspect by offering a general account of these features: arbitrary relations are instantiated by mechanisms that involve molecular adapters, which causally couple two properties or processes which would otherwise be uncorrelated. Additionally, adapters work by acting as intermediate rather than cooperating causes. (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.

The ArgumentThe overall portrayal of early modern experimentation as a new method of securing assent within a philosophical discourse sketched in many of the recent studies on the historical origin of experimentation is questioned by the analysis of the experimental practice of chemistry at the Paris Academy. Chemical experimentation at the Paris Academy in the late seventeenth and early eighteenth century originated in a different tradition than the philosophical. It continued and developed the material culture of the chemical (...) work shops of the sixteenth and seventeenth centuries, and explored epistemic objects which had rather loose connections to philosophy. On the other hand, I argue against the classical dichotomy between the work of the mind that of the hand, and for an epistemology of experimentation that acknowledges that experimental manipulation goes hand in hand with reflexion. In particuler, I argue against the view that chemists at the Paris Academy were “pragmatists” who merely gathered experimental facts and classified substances and operations without perplexing themselves over general conceptions. I claim that the chemists at the Paris Academy constructed a general conception framework which shaped the significance of their experiments. This conception that I call conception of the chemical combination, compound and reaction was rather quickly reified into an experimental fact. Despite its generality it was a genuine chemical conception rather independent of philosophy. (shrink)

SummaryThe convening of the first three Solvay Chemistry Conferences in Brussels from 1922–1928 marked an important turning point for the discipline of chemistry. Whereas much of nineteenth-century chemical endeavour had focused on compositional and functional analysis of chemical compounds, many leaders in chemistry were turning to questions of molecular dynamics by the early twentieth century. Two competing schools of chemical dynamics, which were represented at the Solvay Conferences, were a predominantly English group (Lowry, Lapworth, Robinson, Ingold) who (...) worked out electron and ionic interpretations of organic reaction mechanisms, and a French group (Perrin, Job) who developed a generalized radiation hypothesis of reaction activation. While differences in conceptual and stylistic approach separated the two schools, they agreed on the need to apply contemporary physical theory to old chemical problems, and to develop a theoretical chemistry complementary to theoretical physics. (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 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)

Here, we provide a detailed description of the mutual relation of formulas with finite propositional variables p1, …, pm in modal logic S4. Our description contains more information on S4 than those given in Shehtman (1978) and Moss (2007); however, Shehtman (1978) also treated Grzegorczyk logic and Moss (2007) treated many other normal modal logics. Specifically, we construct normal forms, which behave like the principal conjunctive normal forms in the classical propositional logic. The results include finite and effective methods (...) to find a normal form equivalent to a given formula A by clarifying the behavior of connectives and giving a finite method to list all exact models. (shrink)

We characterize the modal logics of elementary classes of Kripke frames as precisely those modal logics that are axiomatized by modal axioms synthesized in a certain effective way from "quasi-positive" sentences of hybrid logic. These are pure positive hybrid sentences with arbitrary existential and relativized universal quantification over nominals. The proof has three steps. The first step is to use the known result that the modal logic of any elementary class of Kripke frames is also the modal logic of the (...) closure of this class under disjoint unions, generated subframes, bounded morphic images, and ultraroots. This latter class can be defined by the first-order sentences of a special syntactic form (called pseudo-equations by Goldblatt) that are valid in the former class. The second step is to translate these pseudo-equations into equivalent quasi-positive hybrid sentences. In the third and main step, we show that any quasi-positive sentence S generates an infinite set of modal formulas called "approximants," which together axiomatize a canonical modal logic that is sound and complete for the class of frames validating S. The proof is analogous to standard proofs of Sahlqvist's theorem. It generalizes to sets of quasi-positive sentences. The main result now follows. (shrink)