Early Examples of Resource-Consciousness

As with the development of several logical notions, it is shown that the concept of resource-consciousness, i. e. the concern over the number of times that a given sentence is used in the proof of another sentence, has its origin in the foundations of geometry, pre-dating its appearence in logical circles as BCK-logic or affine logic.     

意见收敛定理与休谟问题

意见收敛定理是主观主义概率论的一条重要定理,它表明随着证据的增加,验前概率的主观性将被验后概率的客观性所代替。意见收敛定理被看作主观概率的动态合理性原则,因而被用来解决休谟问题,即归纳合理性问题。然而,哈金有说服力地表明,意见收敛定理证明的是条件概率Pr（h／e）的收敛,而不是验后概率Pre（h）的收敛。主观主义概率论暗中接受的一个等式是：Pre（h）=Pr（h／e）,通常称之为“条件化规则”。这样,归纳法的合理性问题变成条件化规则的合理性问题。为此,本文提出一个新的合理性原则,即“最少初始概率原则”,将它同“局部合理性”观念结合起来便可为条件化规则的合理性加以辩护。     

The Epsilon Calculus and Herbrand Complexity

Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator e _x . Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure.     

An impossibility theorem for verisimilitude

In this paper, we show that Arrow’s well-known impossibility theorem is instrumental in bringing the ongoing discussion about verisimilitude to a more general level of abstraction. After some preparatory technical steps, we show that Arrow’s requirements for voting procedures in social choice are also natural desiderata for a general verisimilitude definition that places content and likeness considerations on the same footing. Our main result states that no qualitative unifying procedure of a functional form can simultaneously satisfy the requirements of Unanimity, Independence of irrelevant alternatives and Non-dictatorship at the level of sentence variables. By giving a formal account of the incompatibility of the considerations of content and likeness, our impossibility result makes it possible to systematize the discussion about verisimilitude, and to understand it in more general terms.     

Genetic Influence Helps Explain Variation in Human Fertility: Evidence From Recent Behavioral and Molecular Genetic Studies

To search for genetic influence on human fertility differentials appears inconsistent with past empirical research and prior interpretations of Fisher's fundamental theorem of natural selection. We discuss Fisher's theorem and give reasons why genetic influences may indeed account for individual differences in human fertility. We review recent empirical studies showing genetic influence on variance in fertility outcomes and precursors to fertility. Further, some of the genetic variance underlying fertility outcomes overlaps with that underlying fertility precursors. Findings from different cultures, different times, different levels of data, and both behavioral and molecular genetic designs lead to the same conclusion: Fertility differentials are genetically influenced, and at least part of the influence derives from behavioral precursors that are under volitional control, which are themselves genetically mediated.     

The relationship between Fisher's exact test and Pearson's chi-square test: A bayesian perspective

It is demonstrated in this paper that two major tests for 2 × 2 talbes are highly related from a Bayesian perspective. Although it is well-known that Fisher's exact and Pearson's chi-square tests are asymptotically equivalent, the present analysis shows that a formal similarity also exists in small samples. The key assumption that leads to the resemblance is the presence of a continuous parameter measuring association. In particular, it is shown that Pearson's probability can be obtained by integrating a two-moment approximation to the posterior distribution of the log-odds ratio. Furthermore, Pearson's chi-square test gave an excellent approximation to the actual Bayes probability in all 2×2 tables examined, except for those with extremely disproportionate marginal frequencies.     

A New Representation Theorem for Contranegative Deontic Logic

The logic of an ought operator O is contranegative with respect to an underlying preference relation if it satisfies the property Op & (¬p)(¬q) Oq. Here the condition that is interpolative ((p (pq) q) (q (pq) p)) is shown to be necessary and sufficient for all -contranegative preference relations to satisfy the plausible deontic postulates agglomeration (Op & OqO(p&q)) and disjunctive division (O(p&q) Op Oq).     

Interval estimation for the intraclass correlation in dirichlet-multinomial data

When the underlying distribution is discrete with a limited number of categories, methods for interval estimation of the intraclass correlation which assume normality are theoretically inadequate for use. On the basis of large sample theory, this paper develops an asymptotic closed-form interval estimate of the intraclass correlation for the case where there is a natural score associated with each category. This paper employs Monte Carlo simulation to demonstrate that when the underlying intraclass correlation is large, the traditional interval estimator which assumes normality can be misleading. We find that when the number of classes is 20, the interval estimator proposed here can generally perform reasonably well in a variety of situations. This paper further notes that the proposed interval estimator is invariant with respect to a linear transformation. When the data are on a nominal scale, an extension of the proposed method to account for this case, as well as a discussion on the relationship between the intraclass correlation and a kappa-type measure defined here and on the limitation of the corresponding kappa-type estimator are given.The authors wish to thank the Editor, the Associate Editor, and the three referees for many valuable comments and suggestions to improve the clarity of this paper. The works for the first, the third, and the fourth authors were partially supported by grant #R01AR43025-01 from the National Institute of Arthritis and Musculoskeletal and Skin Diseases.