Formal methods in the foundations of science

The intent of this study is to provide formal apparatus which facilitates the investigation of problems in the methodology of science. The introduction contains several examples of such problems and motivates the subsequent formalism.

A general definition of a formal language is presented, and this definition is used to characterize an individual’s view of the world around him. A notion of empirical observation is developed which is independent of language. The interplay of formal language and observation is taken as the central theme. The process of science is conceived as the finding of that formal language that best expresses the available experimental evidence.

To characterize the manner in which a formal language imposes structure on its universe of discourse, the fundamental concepts of elements and states of a formal language are introduced. Using these, the notion of a basis for a formal language is developed as a collection of minimal states distinguishable within the language. The relation of these concepts to those of model theory is discussed.

An a priori probability defined on sets of observations is postulated as a reflection of an individual’s ontology. This probability, in conjunction with a formal language and a basis for that language, induces a subjective probability describing an individual’s conceptual view of admissible configurations of the universe. As a function of this subjective probability, and consequently of language, a measure of the informativeness of empirical observations is introduced and is shown to be intuitively plausible – particularly in the case of scientific experimentation.

The developed formalism is then systematically applied to the general problems presented in the introduction. The relationship of scientific theories to empirical observations is discussed and the need for certain tacit, unstatable knowledge is shown to be necessary to fully comprehend the meaning of realistic theories. The idea that many common concepts can be specified only by drawing on knowledge obtained from an infinite number of observations is presented, and the problems of reductionism are examined in this context.

A definition of when one formal language can be considered to be more expressive than another is presented, and the change in the informativeness of an observation as language changes is investigated. In this regard it is shown that the information inherent in an observation may decrease for a more expressive language.

The general problem of induction and its relation to the scientific method are discussed. Two hypotheses concerning an individual’s selection of an optimal language for a particular domain of discourse are presented and specific examples from the introduction are examined.

LDLR and PCSK9 Are Associated with the Presence of Antiphospholipid Antibodies and the Development of Thrombosis in aPLA Carriers

Introduction The identification of the genetic risk factors that could discriminate non-thrombotic from thrombotic antiphospholipid antibodies (aPLA) carriers will improve prognosis of these patients. Several human studies have shown the presence of aPLAs associated with atherosclerotic plaque, which is a known risk factor for thrombosis. Hence, in order to determine the implication of atherosclerosis in the risk of developing thrombosis in aPLA positive patients, we performed a genetic association study with 3 candidate genes, APOH, LDLR and PCSK9. Material & Methods For genetic association study we analyzed 190 aPLA carriers -100 with non-thrombotic events and 90 with thrombotic events-and 557 healthy controls. Analyses were performed by chi(2) test and were corrected by false discovery rate. To evaluate the functional implication of the newly established susceptibility loci, we performed expression analyses in 86 aPLA carrier individuals (43 with thrombotic manifestations and 43 without it) and in 45 healthy controls. Results Our results revealed significant associations after correction in SNPs located in LDLR gene with aPLA carriers and thrombotic aPLA carriers, when compared with healthy controls. The most significant association in LDLR gene was found between SNP rs129083082 and aPLA carriers in recessive model (adjusted P-value = 2.55 x 10(-3); OR = 2.18; 95% CI = 1.49-3.21). Furthermore, our work detected significant allelic association after correction between thrombotic aPLA carriers and healthy controls in SNP rs562556 located in PCSK9 gene (adjusted P-value = 1.03 x 10(-2); OR = 1.60; 95% CI = 1.24-2.06). Expression level study showed significantly decreased expression level of LDLR gene in aPLA carriers (P-value < 0.0001; 95% CI 0.16-2.10; SE 0.38-1.27) in comparison to the control group. Discussion Our work has identified LDLR gene as a new susceptibility gene associated with the development of thrombosis in aPLA carriers, describing for the first time the deregulation of LDLR expression in individuals with aPLAs. Besides, thrombotic aPLA carriers also showed significant association with PCSK9 gene, a regulator of LDLR plasma levels. These results highlight the importance of atherosclerotic processes in the development of thrombosis in patients with aPLA.

Fishes of Ceylon: a catalogue, key and bibliography

A knowledge of the specific composition of Ceylon fish fauna is essential to any programme of development of commercial fisheries, or the study of Ceylon's ichthyology and the need for cataloguing it has been keenly felt for many years. The need for cataloguing the whole of Ceylon's flora and fauna was stressed by the Natural Science Section of the Ceylon Association for the Advancement of Science during its 1952 annual sessions and it was then that the writer agreed to help satisfy this need by compiling an up-to-date check list of species of two families of fishes, the Clupeidae and the Carangidae, which are important in the beach seine fishery which he was studying at that time. In the course of this work it was decided to expand the check-list to make it comprehensive of all species of fish that have been recorded from Ceylon to date and to supply keys for their identification. This has involved a screening of the pioneer works of Bennet (1834) and Day (1878-1889) and the many subsequent references to Ceylon fish scattered through various scientific journals and other publications, some of them long out and now almost unobtainable.

The effect of chain flexibility and chain mobility on radiation crosslinking of polymers

Radiation crosslinking of polymers mainly depends on the structure of polymer chain. The flexibility and mobility of chain directly influence the possibility of the reactive radicals recombination. Flexible chain is easier to crosslink than rigid-chain polymer. The latter must be crosslinked at high temperature, as most polymers can only crosslink above their melting point. Structural effect also influences the mechanism of radiation crosslinking of polymers. We find from the results in literature and in our laboratory that, the flexibility chain polymer mainly crosslinked with H type, but the rigid chain polymer mainly crosslinked with Y type. (C) 2001 Published by Elsevier Science Ltd.

Revising Justice: Punitory Thought and Action in the Work of Atwood, Jordan, and Oates

*Designated as an exemplary master's project for 2015-16*

Engineering passive bioreactive barriers: risk-managing the legacy of industrial soil and groundwater pollution

Permeable reactive barriers are a technology that is one decade old, with most full-scale applications based on abiotic mechanisms. Though there is extensive literature on engineered bioreactors, natural biodegradation potential, and in situ remediation, it is only recently that engineered passive bioreactive barrier technology is being considered at the commercial scale to manage contaminated soil and groundwater risks. Recent full-scale studies are providing the scientific confidence in our understanding of coupled microbial (and genetic), hydrogeologic, and geochemical processes in this approach and have highlighted the need to further integrate engineering and science tools.

The spatial turn: geographical approaches in the history of science

Over the past decade or so a number of historians of science and historical geographers, alert to the situated nature of scientific knowledge production and reception and to the migratory patterns of science on the move, have called for more explicit treatment of the geographies of past scientific knowledge. Closely linked to work in the sociology of scientific knowledge and science studies and connected with a heightened interest in spatiality evident across the humanities and social sciences this ‹spatial turn’ has informed a wide-ranging body of work on the history of science. This discussion essay revisits some of the theoretical props supporting this turn to space and provides a number of worked examples from the history of the life sciences that demonstrate the different ways in which the spaces of science have been comprehended.

Feeding association between the nucleus of the solitary tract and the ventral tegmental area

Male Sprague-Dawley rats were fitted with two cannulae in the VTA and one cannula in the NTS for co-administration of the mu-opioid receptoragonist DAMGO in one site and the opioid antagonist naltrexone in the other. Injection of DAMGO into the VTA or the NTS stimulated feeding. The increase in food intake after DAMGO injection into the VTA was decreased following injection of naltrexone into the NTS. Furthermore, the increase in food intake after DAMGO injection into the NTS was decreased following injection of naltrexone into the VTA. These results suggest an opioid-mediated feeding association between the VTA and NTS. (C) 2009 Elsevier Ltd. All rights reserved.

The costs of bearing arms and armour in the hermit crab Pagurus bernhardus

Hermit crabs use empty gastropod shells as protective armour and enlarged chelipeds as signals and weapons. However, carrying armour and arms may impose energy costs that result in increased lactate and hence potential fatigue and there may be consequent effects on general activity. We investigated whether variation in shell and cheliped size influences lactate levels in hermit crabs. Lactate was positively related to residual cheliped size for both sexes and was higher in males than females; when we controlled for body size, the former had larger chelipeds. Shell weight unexpectedly had no effect on lactate but crabs in small shells had high lactate, possibly because of reduced ability to maintain a respiratory current. The size of natural shells had no effect on activity but the addition of food odour increased locomotion. However, activity was not related to lactate. We conclude that possession of larger chelipeds than expected for body size imposes significant costs and may limit development of sexual dimorphism. (C) 2010 The Association for the Study of Animal Behaviour. Published by Elsevier Ltd. All rights reserved.