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.

A generalized Hausdorff dimension for functions and sets

Let E be a compact subset of the n-dimensional unit cube, 1_n, and let C be a collection of convex bodies, all of positive n-dimensional Lebesgue measure, such that C contains bodies with arbitrarily small measure. The dimension of E with respect to the covering class C is defined to be the number

d_C(E) = sup(β:H_{β, C}(E) > 0),

where H_{β, C} is the outer measure

inf(Ʃm(C_i)^β:UC_i Ↄ E, C_i ϵ C) .

Only the one and two-dimensional cases are studied. Moreover, the covering classes considered are those consisting of intervals and rectangles, parallel to the coordinate axes, and those closed under translations. A covering class is identified with a set of points in the left-open portion, 1’_n, of 1_n, whose closure intersects 1_n - 1’_n. For n = 2, the outer measure H_{β, C} is adopted in place of the usual:

Inf(Ʃ(diam. (C_i))^β: UC_i Ↄ E, C_i ϵ C),

for the purpose of studying the influence of the shape of the covering sets on the dimension d_C(E).

If E is a closed set in 1₁, let M(E) be the class of all non-decreasing functions μ(x), supported on E with μ(x) = 0, x ≤ 0 and μ(x) = 1, x ≥ 1. Define for each μ ϵ M(E),

d_C(μ) = lim/c → inf/0 log ∆μ(c)/log c , (c ϵ C)

where ∆μ(c) = v/x (μ(x+c) – μ(x)). It is shown that

d_C(E) = sup (d_C(μ):μ ϵ M(E)).

This notion of dimension is extended to a certain class Ӻ of sub-additive functions, and the problem of studying the behavior of d_C(E) as a function of the covering class C is reduced to the study of d_C(f) where f ϵ Ӻ. Specifically, the set of points in 1₁,

(*) {d_B(F), d_C(f)): f ϵ Ӻ}

is characterized by a comparison of the relative positions of the points of B and C. A region of the form (*) is always closed and doubly-starred with respect to the points (0, 0) and (1, 1). Conversely, given any closed region in 1₂, doubly-starred with respect to (0, 0) and (1, 1), there are covering classes B and C such that (*) is exactly that region. All of the results are shown to apply to the dimension of closed sets E. Similar results can be obtained when a finite number of covering classes are considered.

In two dimensions, the notion of dimension is extended to the class M, of functions f(x, y), non-decreasing in x and y, supported on 1₂ with f(x, y) = 0 for x · y = 0 and f(1, 1) = 1, by the formula

d_C(f) = lim/s · t → inf/0 log ∆f(s, t)/log s · t , (s, t) ϵ C

where

∆f(s, t) = V/x, y (f(x+s, y+t) – f(x+s, y) – f(x, y+t) + f(x, t)).

A characterization of the equivalence d_C1(f) = d_C2(f) for all f ϵ M, is given by comparison of the gaps in the sets of products s · t and quotients s/t, (s, t) ϵ C_i (I = 1, 2).

Should EFL Teachers Present Vocabulary in Semantically Related Sets?

[EN] Teaching vocabulary in semantically related sets is common practice among EFL teachers. The present study tests the effectiveness of this method by comparing it to the alternative technique: presenting vocabulary in an unrelated way. In the study two intact classes of Spanish learners of English in high-school were presented with a set of unrelated and related words and were then asked to complete a post-test to measure the impact of both techniques on learning. The results indicate that, while both techniques successfully help the learners to acquire new words, presenting words in unrelated sets seems to be more effective.

Results on proximal and generalized weak proximal contractions including the case of iteration-dependent range sets

This paper presents some further results on proximal and asymptotic proximal contractions and on a class of generalized weak proximal contractions in metric spaces. The generalizations are stated for non-self-mappings of the forms for and , or , subject to and , such that converges uniformly to T, and the distances are iteration-dependent, where , , and are non-empty subsets of X, for , where is a metric space, provided that the set-theoretic limit of the sequences of closed sets and exist as and that the countable infinite unions of the closed sets are closed. The convergence of the sequences in the domain and the image sets of the non-self-mapping, as well as the existence and uniqueness of the best proximity points, are also investigated if the metric space is complete. Two application examples are also given, being concerned, respectively, with the solutions through pseudo-inverses of both compatible and incompatible linear algebraic systems and with the parametrical

Duration of unassisted swimming activity for spotted dolphin (Stenella attenuata) calves: implications for mother-calf separation during tuna purse-seine sets

Size-related differences in power production and swim speed duration may contribute to the observed deficit of nursing calves in relation to lactating females killed in sets by tuna purse-seiners in the eastern tropical Pacific Ocean (ETP). Power production and swim-speed duration were estimated for northeastern spotted dolphins (Stenella attenuata), the species (neonate through adult) most often captured by the fishery. Power required by neonates to swim unassisted was 3.6 times that required of an adult to swim the same speed. Estimated unassisted burst speed for neonates is only about 3 m/s compared to about 6 m/s for adults. Estimated long-term sustainable speed is about 1 m/s for neonates compared to about 2.5 m/s for adults. Weight-specific power requirements decrease as dolphin calves increase in size, but power estimates for 2-year-old spotted dolphin calves are still about 40% higher than power estimates for adults, to maintain the same speed. These estimated differences between calves and adults are conservative because the calculations do not include accommodation for reduced aerobic capacity in dolphin calves compared to adults. Discrepancies in power production are probably ameliorated under normal circumstances by calves drafting next to their mothers, and by employing burst-coast or leap-burst-coast swimming, but the relatively high speeds associated with evasion behaviors during and after tuna sets likely diminish use of these energy-saving strategies by calves.

Length-weight relationships of fishes from tributaries of the Volta River, Ghana Part 1: Analysis of pooled data sets

The parameters a and b of length-weight relationships of the form W = a L super(b) were estimated for 45 fish species sampled in the Oti, Pru and Black Volta rivers, Ghana. Also, the slope and intercepts of regressional enabling standard to total length conversions were estimated for each of these same species. The estimates of b, which ranged from 2.35 to 3.27 have a mean of 2.98, with a s.e. of 0.036. These results are complemented with a brief discussion of the need for data summaries such as presented in this article.

Differences in Dolphin Mortality Rates in Night and Day Sets for the U.S. Eastern Tropical Pacific Tuna Purse Seine Fishery

Because dolphins sometimes travel with yellowfin tuna, Thunnus albacares, in the eastern tropical Pacific (ETP), purse seiners use the dolphins to locate and capture tuna schools. During the process of setting the purse seine nets, dolphins often become entangled and drown before they can be released. Data for the U.S. purse seine fleet in the ETP during 1979-88 show that dolphin mortality rates in sets made during the night are higher than mortality rates in sets made during the day. Even with efforts to reduce nightset mortality rates through the use of high intensity floodlights, night set mortality rates remain higher. The data are also used to simulate a regulation on the fishery aimed at eliminating night sets and show that dolphin mortality rates would decrease.

On-line learning of mutually orthogonal subspaces for face recognition by image sets.

We address the problem of face recognition by matching image sets. Each set of face images is represented by a subspace (or linear manifold) and recognition is carried out by subspace-to-subspace matching. In this paper, 1) a new discriminative method that maximises orthogonality between subspaces is proposed. The method improves the discrimination power of the subspace angle based face recognition method by maximizing the angles between different classes. 2) We propose a method for on-line updating the discriminative subspaces as a mechanism for continuously improving recognition accuracy. 3) A further enhancement called locally orthogonal subspace method is presented to maximise the orthogonality between competing classes. Experiments using 700 face image sets have shown that the proposed method outperforms relevant prior art and effectively boosts its accuracy by online learning. It is shown that the method for online learning delivers the same solution as the batch computation at far lower computational cost and the locally orthogonal method exhibits improved accuracy. We also demonstrate the merit of the proposed face recognition method on portal scenarios of multiple biometric grand challenge.