Let be a relational system whereby D is a nonempty set and P1 is an m1-ary relation on D. With we associate the (weak) monadic second-order theory consisting of the first-order predicate calculus with individual variables ranging over D; monadic predicate variables ranging over (finite) subsets of D; monadic predicate quantifiers; and constants corresponding to P1, P2, …. We will often use ambiguously to mean also the set of true sentences of.

Büchi, J. R. The monadic second order theory of [omega symbol]₁.--Büchi, J. R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]₁.

Living out of silence, out of a fully functioning, lovingly attentive mind, and not just out of thought, out of a partially functioning mind, is requisite for depth or profundity in living or relating. A fully attentive, truly silent or meditative mind sees that there is real dualism of time and the timeless and that time and the timeless each has its own unique value. The timeless, or real silence, that which alone can make for depth in one's living and (...) relating, can be there only when, in one's awareness, time and all that is related to time, have come to an end. An examination of a wide variety of statements made by writers, both past and present, shows that these understandings are seldom there in contemporary writings, just as they were not there in writings that have come down to us from the past. 'Living beyond the One and the Many' invites readers to consider the possibility that what is presented in it can bring deep meaning to one's way of living in the world"--Publisher's description, back cover. (shrink)

By its alternative depiction of God's non-violent creative power at the start of the biblical canon, Gen 1 signals the Creator's original intent for shalom and blessing at the outset of human history, prior to the rise of human (or divine) violence. Gen 1 constitutes a normative framework by which we may judge all the violence that pervades the rest of the Bible.

This book presents a broad-ranging and fascinating examination of attitudes: how we form them; how we organize them towards others; and whether they are inherently human or could also be developed by computers. Professor Eiser suggests there are fundamental objections to the idea of a computer having a sense of self or a set of attitutdes.

Rose erroneously believes that the sciences of human behavior are being swept with a wave of genetic determinism. Actually, sociologists and psychologists remain predominantly hostile to any genetic influence on behavior. They will love Rose. The few behavior geneticists and sociobiologists in these disciplines are marginalized and looking for a little respect. Rose impugns their motives and ridicules their science.

Are risk behaviours in adolescence differentiated according to same-sex vs opposite-sex interest? For all respondents a five-point scale of interest in each sex used information from both of the first two in-home waves of the National Longitudinal Study of Adolescent Health (Add Health). Logistic regression predicted the probability of experiencing each risk behaviour from the same-sex and opposite-sex interest scores. Same-sex interests have more effect on emotional risk, and opposite-sex interests have more effect on substance use. Nevertheless, all risk variables (...) except boys’ depression are responsive to both same-sex and opposite-sex interest. The same-sex interest component of risk is attributed to the emotional strain of living with an anomalous sex interest in a heterosexual society. (shrink)