Logic of primary-conditionals and secondary-conditionals

Firstly, the authors analyzed the properties of primary-onditionals and secondary-conditionals, establish the minimum system C2L _m of primary-conditionals and secondary-conditionals, and then prove some of the formal theorems of the system which have important intuitive meanings. Secondly, the authors constructed the neighborhood semantics, prove the soundness of C2L _m, introduce a general concept of canonical model by the neighborhood semantics, and then prove the completeness of C2L _m by the canonical model. Finally, according to the technical results of the minimum system C2L _m, the authors discuss some of the important problems concerning primary-conditionals and secondary-onditionals. __________ Translated from Luoji Yu Renzhi 逻辑与认知 (Logic and Cognition) (online journal), 2004 (3)     

Size invariance in visual number discrimination

Summary This study deals with the observer's ability to discriminate the numerosity of two random dot-patterns irrespective of their relative size. One of these two patterns was a reference one that was always composed of 32 dots randomly distributed within aK ×K invisible square window (K = 1.92°). The second one was the test pattern with one of the five magnifications (K = 0.64°, 1.28°, 1.92°, 2.56°, 3.20°) and the relative number of dots varied on 11 levels (N = –15, –12, –9, –6, –3, 0, 3, 6, 9, 12, or 15 dots). The observer's task was to indicate which of the two patterns contained more dots. The results show that the stimulus size, as an irrelevant stimulus attribute, can be ignored in the judgements about relative numerosity. This means that the perceived numerosity is size invariant, at least for a 1.6-times magnification and a 3-times reduction of the test pattern. The size invariance observed constrains the range of potential models, since the perceived numerosity can be identified only by means of a feature of the stimulus that will remain invariant after any change in the absolute stimulus size.     

Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas

For each intermediate propositional logicJ, J _* denotes the least predicate extension ofJ. By the method of canonical models, the strongly Kripke completeness ofJ _*+D(=x(p(x)q)xp(x)q) is shown in some cases including:

Investigating the Performance of Alternate Regression Weights by Studying All Possible Criteria in Regression Models with a Fixed Set of Predictors

We describe methods for assessing all possible criteria (i.e., dependent variables) and subsets of criteria for regression models with a fixed set of predictors, x (where x is an n×1 vector of independent variables). Our methods build upon the geometry of regression coefficients (hereafter called regression weights) in n-dimensional space. For a full-rank predictor correlation matrix, R _xx, of order n, and for regression models with constant R ² (coefficient of determination), the OLS weight vectors for all possible criteria terminate on the surface of an n-dimensional ellipsoid. The population performance of alternate regression weights—such as equal weights, correlation weights, or rounded weights—can be modeled as a function of the Cartesian coordinates of the ellipsoid. These geometrical notions can be easily extended to assess the sampling performance of alternate regression weights in models with either fixed or random predictors and for models with any value of R ². To illustrate these ideas, we describe algorithms and R (R Development Core Team, 2009) code for: (1) generating points that are uniformly distributed on the surface of an n-dimensional ellipsoid, (2) populating the set of regression (weight) vectors that define an elliptical arc in ℝ ⁿ , and (3) populating the set of regression vectors that have constant cosine with a target vector in ℝ ⁿ . Each algorithm is illustrated with real data. The examples demonstrate the usefulness of studying all possible criteria when evaluating alternate regression weights in regression models with a fixed set of predictors.     

On the Closure Properties of the Class of Full G-models of a Deductive System

In this paper we consider the structure of the class FGModS of full generalized models of a deductive system S from a universal-algebraic point of view, and the structure of the set of all the full generalized models of S on a fixed algebra A from the lattice-theoretical point of view; this set is represented by the lattice FACS_s A of all algebraic closed-set systems C on A such that (A, C) ε FGModS. We relate some properties of these structures with tipically logical properties of the sentential logic S. The main algebraic properties we consider are the closure of FGModS under substructures and under reduced products, and the property that for any A the lattice FACS_s A is a complete sublattice of the lattice of all algebraic closed-set systems over A. The logical properties are the existence of a fully adequate Gentzen system for S, the Local Deduction Theorem and the Deduction Theorem for S. Some of the results are established for arbitrary deductive systems, while some are found to hold only for deductive systems in more restricted classes like the protoalgebraic or the weakly algebraizable ones. The paper ends with a section on examples and counterexamples. Dedicated to the memory of Willem Johannes Blok     

Are There Algorithms That Discover Causal Structure?

There have been many efforts to infer causation from association byusing statistical models. Algorithms for automating this processare a more recent innovation. In Humphreys and Freedman[(1996) British Journal for the Philosophy of Science 47, 113–123] we showed that one such approach, by Spirtes et al., was fatally flawed. Here we put our arguments in a broader context and reply to Korb and Wallace [(1997) British Journal for thePhilosophy of Science 48, 543–553] and to Spirtes et al.[(1997) British Journal for the Philosophy of Science 48, 555–568]. Their arguments leave our position unchanged: claims to have developed a rigorous engine for inferring causation from association are premature at best, the theorems have no implications for samples of any realistic size, and the examples used to illustrate the algorithms are indicative of failure rather than success. The gap between association and causation has yet to be bridged.     

A modal sequent calculus for a fragment of arithmetic

Global properties of canonical derivability predicates (the standard example is Pr() in Peano Arithmetic) are studied here by means of a suitable propositional modal logic GL. A whole book [1] has appeared on GL and we refer to it for more information and a bibliography on GL. Here we propose a sequent calculus for GL and, by exhibiting a good proof procedure, prove that such calculus admits the elimination of cuts. Most of standard results on GL are then easy consequences: completeness, decidability, finite model property, interpolation and the fixed point theorem.The second author holds a grant from the Consiglio Nazionale delle Ricerche, gruppo G.N.S.A.G.A.     

A note on the equivalence of the graded response model and the sequential model

This paper concerns items that consist of several item steps to be responded to sequentially. The item scoreX is defined as the number of correct responses until the first failure. Samejima's graded response model states that each steph=1,...,m is characterized by a parameterb _h , and, for a subject with ability, Pr(Xh; )=F(–b _h ). Tutz's general sequential model associates with each step a parameterdh, and it states that Pr(Xh;)= _r ^=1h G(–d _r ). Tutz's (1991, 1997) conjectures that the models are equivalent if and only ifF(x)=G(x) is an extreme value distribution. This paper presents a proof for this conjecture.     

Structural phase transitions in epitaxial SrRuO3 thin films

The microstructural evolution of epitaxial SrRuO₃ thin films from ambient temperature (about 293K) to about 900K has been studied by in-situ transmission electron microscopy. Upon heating from the ambient temperature, the intensities of h, k, 2n+1 and h, -h+2n+1, 0 reflections in selected-area electron diffraction patterns decrease with increasing temperature. Two structural phase transitions were observed at about 673and about 783K, revealed by the vanishing of the h, k, 2n+1 and h,-h+2n+1, 0 reflections respectively. The examination of electron diffraction patterns along several different zone axes, taking into account the possible tilting configurations of RuO₆ octahedra, indicates that, upon heating, the orthorhombic structure of SrRuO₃ transforms into a tetragonal structure at about 673K, and further transforms into a cubic structure at about 783K. Possible structural models for the high-temperature phases are considered.     

On the size of refutation Kripke models for some linear modal and tense logics

LetL be any modal or tense logic with the finite model property. For eachm, definer _L (m) to be the smallest numberr such that for any formulaA withm modal operators,A is provable inL if and only ifA is valid in everyL-model with at mostr worlds. Thus, the functionr _L determines the size of refutation Kripke models forL. In this paper, we will give an estimation ofr _L (m) for some linear modal and tense logicsL.     

An interview with emily and john visher

Abstract

Making an Issue of Child Abuse: Political Agenda Setting for Social Problems, by Barbara J. Nelson. Chicago: University of Chicago Press, 1984, 269 pages, $27.50.

Child Abuse: A Community Concern, edited by Kim Oates. New York: Brunner/Mazel, 1984, 336 pages, $25.00.

Death and Grief in the Family, edited by Thomas T. Frantz. Rockville, MD: Aspen Systems Corporation, 1984, 122 pages, $18.00.

A Child Dies: A Portrait of Family Grief, by loan Hagan Arnold &; Penelope Buschman Gernuna. Rockville, MD: Aspen Systems Corporation, 1983, 162 pages (price unknown).

The Single Child Family, edited by Toni Falbo. New York: Guilford Press, 1984, 304 pages, $27.50.

Adolescent Crises: Family Counseling Approaches, by Eva Leveton. New York: Springer Publishing, 1984, 285 pages, $24.95.

The Narcissistic and Borderline Disorders: An Integrated Developmental Approach, by J. F. Masterson. New York: Brunner/Mazel, 1982, 256 pages, $20.00.

The Battered Woman Syndrome, by Lenore E. Walker. New York: Springer, 1984, 272 pages, $21.95.

Human Sexuality: Contemporary Controversies, edited by Harold Feldman 6 Andrea Parrot. Beverly Hills, CA: Sage Publications, 1984, 333 pages.

Family Relationships in Later Life, edited by Timothy Brubaker. Beverly Hills, CA: Sage Publications, 1983, 272 pages, $25.00, paperback $12.50.

Overcrowding in the Household, An Analysis of Determinants and Effects, by Walter R. Gove &; Michael Hughes. New York: Academic Press, 1983, 326 pages, $39.00.

Origins and Evolution of Behavior Disorders, by Stella Chess &; Alexander Thomas. New York: Brunner/Mazel, 1984, 320 pages, $30.00.

Psychotherapy with Psychotherapists, edited by Florence W. Kaslow. New York: Haworth Press, 1984, 202 pages, $22.95.

Innovations in Clinical Practice: A Source Book, Volume 3, edited by Peter A. Keller &; Lawrence G. Ritt. Sarasota, FL: Professional Resource Exchange, 1984, 482 pages, hardbound $39.95; looseleaf binder, $44.95.

Guiding the Family: Practical Counseling Techniques, by B. B. Grunwald &; H. V. McAbee. Muncie, IN: Accelerated Development, 1985, 346 pages, $17.95.

Applying Family Therapy: A Practical Guide for Social Workers, by Helen C. Masson &; Patrick O'Byrne. Oxford, England: Pergamon Press, 1984, 148 pages, hardbound $20.00; paperback $13.00.

Parent Training, edited by Richard F. Dungel &; Richard A. Polster. New York: Guilford, 1984, 576 pages, $35.00.

New Developments in Behavior Therapy, edited by Cyril M. Franks. New York: The Hawthorne Press, 1984, 589 pages, $45.00 hardbound, $24.95 softbound.

Symptom Reduction Through Clinical Biofeedback, by Ivan Wentworth-Rohr, New York: Human Sciences Press, 1984, 273 pages.

American Family Law in Transition, by Walter O. Weyrauch &; Sandord N. Katz. Washington, DC: The Bureau of National Affairs, 1983, 629 pages, $35.00.

The Denial of Stress, edited by Sholomo Breznitz. New York: International Universities Press, 1983, 316 pages, $25.00.

Stress Reduction and Prevention, edited by Donald Meichenbaum 6 Matt Jaremko. New York: Plenum, 1983, 512 pages, $32.50.

Life-Span Developmental Psychology: Nonnormative Life Events, edited by Edward J. Callahan &; Kathleen A. McCluskey. New York: Academic Press, 1983, 314 pages, $29.50.     

Understanding spirit possession in the Philippines: a social representations approach

ABSTRACT

Where there are diverse professionals and curers dealing with possession, differences in representations exist. This study uses social representations theory as a frame to examine both the representational overlaps and differences in possession among various Filipino health professionals and the lay distinctly socialised in Western biomedical and psychological lenses and in local religious and traditional folk beliefs. Themes were extracted from 12 individual interviews. Results showed five representational themes, namely: possession as sinakluban, as a vulnerability, as a disease, as kulam, and as being chosen. Findings were discussed in relation to the interface among religion, indigenous beliefs, psychopathological frame, and the Western biomedical model.     

Models for stronger normal intuitionistic modal logics

This paper, a sequel to Models for normal intuitionistic modal logics by M. Boi and the author, which dealt with intuitionistic analogues of the modal system K, deals similarly with intuitionistic analogues of systems stronger than K, and, in particular, analogues of S4 and S5. For these prepositional logics Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given, and soundness and completeness are proved with respect to these models. It is shown how the holding of formulae characteristic for particular logics is equivalent to conditions for the relations of the models. Modalities in these logics are also investigated.This paper presents results of an investigation of intuitionistic modal logic conducted in collaboration with Dr Milan Boi.     

Book reviews

Preparing for the Twenty‐First Century, Paul Kennedy, Random House, New York, 1993

The Spirit of Community: Rights, Responsibilities, and the Communitarian Agenda, Amitai Etzione, Crown Publishers, New York, 1993

The Collapse of Chaos, Jack Cohen and Ian Stewart, New York: Viking, 1994.

Quantum Implications: Essays in Honour of David Bohm, B. J. Hiley and David Peat London: Rouledge, 1987.

The Undivided Universe, D. Bohm and B. J. Hiley London: Rouledge, 1993.     

VARIATIONS IN THE CONTEMPLATION OF THE REPULSIVENESS OF FOOD, ĀHĀREPATIKŪLASAÑÑĀ: CANONICAL,THERAVĀDA,SARVĀSTIVĀDA AND MAHĀYĀNA FORMS

ABSTRACT

This article explores the changing treatment of a meditation practice, the contemplation of the repulsiveness of food, āhārepa?ikūlasaññā, from its presence in lists of saññā in canonical texts to its detailed explanation in post-canonical texts of the first millennium CE. We observe two main developments: the limitation in the benefits attributed to the practice within commentarial-period Theravada, and two entirely divergent branches in the way the practice is treated. In the Visuddhimagga of Theravada Buddhism, we see a somewhat practical approach that identifies the unpleasant aspects of the monk’s experience of seeking, eating, digesting and excreting food, and takes them as the focus of a 10-stage meditation practice. In the Sarvāstivāda texts, we see a conceptual aversion created by the association of specific food items with other items treated as impure within meditation practice. This articles explores all these divergences, drawing conclusions about what this says in terms of the understanding of food in these two branches.     

Democratic presumptions

At the Leading Edge: New Visions of Science, Spirituality, and Society. Michael Toms, 4936 State Route 414, Burdett, New York: Larson Publications, 1991. Softcover, 386 pp. U.S. $14.95.

A Dream Deferred: America's Discontent and the Search for a New Democratic Ideal, Philip Slater, Beacon, Boston, $19.95, 1991, ISBN 0–8070–4304–4

The American Replacement of Nature, William Irwin Thompson, Doubleday, New York, $20, 1991, ISBN 0,385–42025–0

Reimagination of the World, A Critique of the New Age, Science, and Popular Culture, David Spangler and William Irwin Thompson, Bear and Company, Santa Fe, New Mexico, $12.95, 1991, ISBN 0–939680–92–0

The New Evolutionary Paradigm, Ervin Laszlo, (Ed.), Gordon &; Breach, New York, $60 (libraries) $36 (individuals), 1991, ISBN 2–88124–375–4

The Evolutionary Approach for Social Scientists, Ignazio Masulli, Gordon &; Breach, New York, $50 (libraries) $30 (individuals), 1991, ISBN 2–88124–376–2

The Fifth Discipline. The Art and Practice of the Learning Organization, Peter M. Senge, Doubleday, New York, $19.95, 1990, ISBN 0–385–26094–6

Symbiosis as a Source of Evolutionary Innovation: Speciation and Innovation, Lynn Margulis and Rene Fester (Eds.), MIT Press, Cambridge, MA, $37.50, 454, Includes Index

One Earth, One Future: Our Changing Global Environment, Cheryl Simon Silver (with Ruth S. Defries for the National Academy of Sciences), National Academy Press, Washington, D.C., $14.95, 196, Includes Index

Toward a Transpersonal Ecology: Developing New Foundations for Environmentalism, Warwick Fox, Shambhala, Boston, MA, $16.95, 380, Includes Index

Gaia, A Way of Knowing: Political Implications of the New Biology, William Irwin Thompson (Ed.), The Lindisfarne Press, Great Barrington, MA, $10.95, 216

Gaia 2: Emergence, The New Science of Becoming, William Erwin Thompson, The Lindisfarne Press, Hudson, NY, $14.95, 272

A Replicative Perspective On Evolutionary Dynamics: The Organizing Process of the US Economy Elaborated Through Biological Metaphor, Mika Pantzar, Labour Institute for Economic Research, Helsinki, Finland, 274

Societal Systems: Planning, Policy and Complexity &; A Science of Generic Design: Managing Complexity through Systems Design, Vol I and II, John N. Warfield, Intersystems Publications, Salinas, CA, 1989 and 1990     

Scripts we live by: on inheriting canonical texts

ABSTRACT

In this article, I theorize the interpretation of harmful canonical texts with special reference to John Calvin's Institutes of the Christian Religion. As a result of the actions and rhetoric of some of its North American evangelical readers, the Institutes has come to function as an intellectual foundation for certain expressions of modern homophobia. In conversation with Jacques Derrida on inheritance and Eve Kosofsky Sedgwick on reparativity, I thus consider how queer evangelicals (especially those who wish to continue identifying themselves as such) ought to engage both Calvin’s text, particularly, as well as, more generally, those other canonical texts that are sources of trauma. In so doing, I proffer a capacious view of interpretation as not only what one says but also how one lives.     

A Review of “Gender Identity Disorder and Psychosexual Problems in Children and Adolescents”

Abstract

The New Hypnosis in Family Therapy, by Daniel L. Araoz&;Esther Negley-Parker. New York: Brunner/Mazel, 1988, 304 pages, $30.00

The Family Interpreted, by Deborah Anne Leupnitz. New York: Basic Books, 352 pages, $22.95.

Family Evaluation, by Michael Kerr&;Murray Bowen. New York: W. W. Norton, 416 pages, $29.95

Family Therapy Techniques for Problem Behaviors of Children and Teenagers, by Charles E. Schaefer, James M. Briesmeister&;Maureen E. Fitton. San Francisco: Jossey-Bass, 482 pages, $28.95

Family of Origin Therapy, edited by Alan J. Hovestadt&;Marshal Fine. Rockville, MD: Aspen Publications, 1987, 106 pages, $29.67

Siblings in Therapy: Life Span and Clinical Issues, edited by Michael D. Kahn&;Karen Gail Lewis. New York: W. W Norton, 1988, 469 pages, $34.95

A Secure Base: Parent-Child Attachment and Healthy Human Development, by John Bowlby. New York: Basic Books, 1988, 205 pages, $16.95

Developing Ericksonian Therapy: State of the Art, edited by Jeffrey K. Zeig&;Stephen R. Lankton. New York: Brunner/Mazel, 1988, 523 pages, $50.00

Journey with Grandpa: Our Family's Struggle with Alzheimer's Disease, by Rosalie Walsh Honel. Maryland: The John Hopkins University Press, 243 pages, $16.95

The Divorce Decision: What It Can Mean for Your Children, Your Finances, Your Emotions, Your Relationships, Your Future, by Gary Richmond. Waco, TX: Word Book Publishers, 1988, 215 pages, $8.99