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.

Information science and the scientist. A look at information requirements and the technologies available to scientists in the pursuit of information

A review article looking at the type of information requirements commonly shared by scientists and their use of traditional information services. Areas covered include primary requirements of IFE (Institute of Freshwater Ecology) staff, pure versus applied research, informal and personal sources of information, and traditional library and information services. It goes on to describe how research into information systems and technology may improve the wider accessibility and use of information to the scientific community. Technologies covered include online databases, telecommunications, gateways, expert systems, optical technology and applications of CDROM.

The Science Café Movement on the Mississippi Gulf Coast

Science Cafes present a casual meeting place where people who may have little or no science background can learn about a current scientific topic in an informal and friendly environment. The coffee shop setting is designed to be inviting and informal so that students, faculty, and community members can feel comfortable and engage in lively and meaningful conversations. The café is organized around an interesting scientific topic with a brief presentation by a scientist and may include a short video clip. A Science Café can (1) provide an opportunity and venue for increasing science literacy, (2) publicize local scientific endeavors, and (3) identify the library as an epicenter of informal education on the campus and in the community. This presentation will describe the development of the Science Café at the University of Southern Mississippi Gulf Coast campus Library in Long Beach and plans for future cafes on the Mississippi coast.

The Marine Science Library, Resource Center : poster presentation

The first concept of a new library was introduced in 2001 by a faculty member at the University of Texas Marine Science Institute. The suggestion for the construction of a new library was based on two specific reasons: existing library is located in one of the most vulnerable buildings to hurricane damage and the library has outgrown its current space. This presentation provides a general overview of the current status and changing needs of the Marine Science Library and how the idea of a new library finally became a reality

Published work on freshwater science from the FBA, IFE and CEH, 1929-2006

A new listing of published scientific contributions from the Freshwater Biological Association (FBA) and its later Research Council associates – the Institute of Freshwater Ecology (1989–2000) and the Centre for Ecology and Hydrology (2000+) is provided. The period 1929–2006 is covered. The compilation extends an earlier list assembled by in 1979.

Origin of Chinese ancient glasses;study on the earliest Chinese ancient glasses

The earliest Chinese ancient glasses before the West Han Dynasty (200 BC) from different regions are studied. The glass samples were unearthed from Hunan, Hubei, Yunnan, Sichuan, Guizhou, Guangdong and Xinjiang of China. The chemical composition of these glasses samples is analyzed by proton induced X-ray emission (PIXE) technique, energy dispersive X-ray fluorescence (EDXRF) method and inductively coupled plasma atomic emission spectrometry (ICP-AES). It is shown that the glass chemical compositions belong to barium-lead silicate BaO-PbO-SiO2, potash soda lime silicate K2O (Na2O)-CaO-SiO2 (K2O/Na2O > 1), soda potash lime silicate Na2O (K2O)-CaO-SiO2 (K2O/Na2O < 1) and potash silicate K2O-SiO2 glass systems, respectively. The origins of the earliest Chinese ancient glasses are discussed from the archaeological and historical points of view. These four types of Chinese ancient glasses were all made in Chinese territory using local raw materials. The glass preparation technology was related to the Chinese ancient bronze metallurgy and proto-porcelain glaze technology. The glass technology relationship between the East and the West is analyzed at the same time.

Treewidth: theory and applications to computer science

This report is an introduction to the concept of treewidth, a property of graphs that has important implications in algorithms. Some basic concepts of graph theory are presented in the first chapter for those readers that are not familiar with the notation. In Chapter 2, the definition of treewidth and some different ways of characterizing it are explained. The last two chapters focus on the algorithmic implications of treewidth, which are very relevant in Computer Science. An algorithm to compute the treewidth of a graph is presented and its result can be later applied to many other problems in graph theory, like those introduced in the last chapter.

Ativismo judicial no Brasil : o Supremo Tribunal Federal como arena de deliberação politica

Questão de grande relevância, nos dias atuais, no âmbito da Ciência Política, diz respeito às decisões políticas tomadas pelo Supremo Tribunal Federal, o que se denomina ativismo judicial. O termo ativismo judicial indica que a Corte está deixando de se restringir à atividade interpretativa, para estabelecer novas condutas, criando direito novo. A tendência tem sido a de levar as questões políticas para serem debatidas no âmbito judicial, de forma que assuntos políticos passam a ser exteriorizados como jurídicos. Em todos esses temas, devemos ter em conta que o balizamento tanto da atividade política como da atuação jurídica é a Constituição. Todavia, o que se tem observado é que Supremo passou a adotar uma nova postura interpretativa, de modo a permitir que, por via hermenêutica, torne-se possível corrigir a lei, modificá-la ou mesmo criar direito novo onde a lei nada especifica, além de permitir a criação de normas de caráter constitucional por decisão judicial. Três casos importantes ilustram bem esse cenário: a verticalização das coligações, a instalação obrigatória de comissões parlamentares de inquérito e a perda de mandato decorrente da troca de partido. Por serem temas de cunho eminentemente político, as decisões judiciais proferidas nessas matérias enquadram-se bem no campo do ativismo judicial, daí por que foram escolhidos como estudos de caso. O objetivo desta tese é identificar as causas dessa nova postura do Supremo Tribunal Federal, tendo em vista que ela rompe com o entendimento adotado na jurisprudência anterior, em que essas mesmas matérias eram consideradas estritamente políticas e, portanto, fora da competência decisória da Corte

Creating a collection development model for a marine science library

The purpose of this article is to update and build on the approximate 10,000 item collection of the Harbor Branch Oceanographic Institute Library. This article will present a history of Harbor Branch and its library, and a literature review, outlining the collection development methods of other marine science libraries and academic libraries. The article will relate brief histories of three marine science libraries. A comparative table is constructed to compare Harbor Branch Library with three marine science libraries. The methodology, or how the table was created, is explained. The comparative table will be shown and analyzed, and the results of the table discussed. Finally, some recommendations for improvement of the Harbor Branch Library will be presented.