Computational empiricism

I argue here for a number of ways that modern computational science requires a change in the way we represent the relationship between theory and applications. It requires a switch away from logical reconstruction of theories in order to take surface mathematical syntax seriously. In addition, syntactically different versions of the same theory have important differences for applications, and this shows that the semantic account of theories is inappropriate for some purposes. I also argue against formalist approaches in the philosophy of science and for a greater role for perceptual knowledge rather than propositional knowledge in scientific empiricism.The term computational empiricism was suggested to me in conversation at a philosophy conference in Venice, Italy in June 1991 by someone whose name I have unfortunately forgotten. It seemed to capture perfectly the set of techniques I had described in my talk there, and I have since adopted it. I thank the originator of this term, whoever he is.     

Crossing paths: interactions between the cell death machinery and growth factor survival signals

Cytokines and growth factors play a crucial role in the maintenance of haematopoietic homeostasis. They transduce signals that regulate the competing commitments of haematopoietic stem cells, quiescence or proliferation, retention of stem cell pluripotency or differentiation, and survival or demise. When the balance between these commitments and the requirements of the organisms is disturbed, particularly when it favours survival and proliferation, cancer may result. Cell death provoked by loss of growth factor signalling is regulated by the Bcl-2 family of apoptosis regulators, and thus survival messages transduced by growth factors must regulate the activity of these proteins. Many aspects of direct interactions between cytokine signalling and regulation of apoptosis remain elusive. In this review, we explore the mechanisms by which cytokines, in particular Interleukin-3 and granulocyte–macrophage colony-stimulating factor, promote cell survival and suppress apoptosis as models of how cytokine signalling and apoptotic pathways intersect.     

Between Viète and Descartes: Adriaan van Roomen and the <Emphasis Type="Italic">Mathesis Universalis</Emphasis>

Adriaan van Roomen published an outline of what he called a Mathesis Universalis in 1597. This earned him a well-deserved place in the history of early modern ideas about a universal mathematics which was intended to encompass both geometry and arithmetic and to provide general rules valid for operations involving numbers, geometrical magnitudes, and all other quantities amenable to measurement and calculation. ‘Mathesis Universalis’ (MU) became the most common (though not the only) term for mathematical theories developed with that aim. At some time around 1600 van Roomen composed a new version of his MU, considerably different from the earlier one. This second version was never effectively published and it has not been discussed in detail in the secondary literature before. The text has, however, survived and the two versions are presented and compared in the present article. Sections 1–6 are about the first version of van Roomen’s MU the occasion of its publication (a controversy about Archimedes’ treatise on the circle, Sect. 2), its conceptual context (Sect. 3), its structure (with an overview of its definitions, axioms, and theorems) and its dependence on Clavius’ use of numbers in dealing with both rational and irrational ratios (Sect. 4), the geometrical interpretation of arithmetical operations multiplication and division (Sect. 5), and an analysis of its content in modern terms. In his second version of a MU van Roomen took algebra into account, inspired by Viète’s early treatises; he planned to publish it as part of a new edition of Al-Khwarizmi’s treatise on algebra (Sect. 7). Section 8 describes the conceptual background and the difficulties involved in the merging of algebra and geometry; Sect. 9 summarizes and analyzes the definitions, axioms and theorems of the second version, noting the differences with the first version and tracing the influence of Viète. Section 10 deals with the influence of van Roomen on later discussions of MU, and briefly sketches Descartes’ ideas about MU as expressed in the latter’s Regulae.     

佯谬消失

什么东西都不能从黑洞里逃脱。可是斯蒂芬·霍金出色地证明：黑洞并非真正是黑的，相反，它们因热而发光。那末这种热能怎么可能从那条单向通道里往外流源呢？答案全然同它所解释的现象一样奇特：黑洞辐射的热量不是用从黑洞流出来的通常能量来偿付，而是由流入黑洞的负能量来补偿。这难道是个数学花招？不对。负能量是确实存在的。问题在于：相当大的负能量的生成和利用会损害一些最神圣的自然法则，比如说热力学第二定律。梦想制造众动机或作逆时间旅行这些反常的非自然情景是容易的。对于物理学家来说，这些都是吓人的观念。但是大自然似…     

Einfache Aufzuchtmethode vonRana-temporaria-Larven mit Brennesselpulver(Herba Urticae)

Ohne Zusammenfassung     

Hans Reichenbach's and C.I. Lewis's Kantian philosophies of science

Recent work in the history of philosophy of science details the Kantianism of philosophers often thought opposed to one another, e.g., Hans Reichenbach, C.I. Lewis, Rudolf Carnap, and Thomas Kuhn. Historians of philosophy of science in the last two decades have been particularly interested in the Kantianism of Reichenbach, Carnap, and Kuhn, and more recently, of Lewis. While recent historical work focuses on recovering the threatened-to-be-forgotten Kantian themes of early twentieth-century philosophy of science, we should not elide the differences between the Kantian strands running throughout this work. In this paper, I disentangle a few of these strands in the work of Reichenbach and Lewis focusing especially on their theories of relativized, constitutive a priori principles in empirical knowledge. In particular, I highlight three related differences between Reichenbach and Lewis concerning their motivations in analyzing scientific knowledge and scientific practice, their differing conceptions of constitutivity, and their relativization of constitutive a priori principles. In light of these differences, I argue Lewis's Kantianism is more similar to Kuhn's Kantianism than Reichenbach's, and so might be of more contemporary relevance to social and practice-based approaches to the philosophy of science.     

Microstructure-based multiphysics modeling for semiconductor integration and packaging

Semiconductor technology and packaging is advancing rapidly toward system integration where the packaging is co-designed and co-manufactured along with the wafer fabrication. However, materials issues, in par- ticular the mesoscale microstructure, have to date been excluded from the integrated product design cycle of electronic packaging due to the myriad of materials used and the complex nature of the material phenomena that require a multiphysics approach to describe. In the context of the materials genome initiative, we present an overview of a series of studies that aim to establish the linkages between the material microstructure and its responses by considering the multiple perspectives of the various mul- tiphysics fields. The microstructure was predicted using thermodynamic calculations, sharp interface kinetic models, phase field, and phase field crystal modeling techniques. Based on the predicted mesoscale microstruc- ture, linear elastic mechanical analyses and electromigra- tion simulations on the ultrafine interconnects were performed. The microstructural index extracted by a method based on singular value decomposition exhibits a monotonous decrease with an increase in the interconnect size. An artificial neural network-based fitting revealed a nonlinear relationship between the microstructure index and the average yon Mises stress in the ultrafine interconnects. Future work to address the randomness of microstructure and the resulting scatter in the reliability is discussed in this study.