Constructive Logic with Strong Negation is a Substructural Logic. I

The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL _ew of the substructural logic FL _ew . In this paper, it is shown that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of NFL _ew (namely, a certain variety of FL _ew -algebras) are term equivalent. This answers a longstanding question of Nelson [30]. Extensive use is made of the automated theorem-prover Prover9 in order to establish the result. The main result of this paper is exploited in Part II of this series [40] to show that the deductive systems N and NFL _ew are definitionally equivalent, and hence that constructive logic with strong negation is a substructural logic over FL _ew . Presented by Heinrich Wansing     

Common barriers to healthcare for transgender people in the U.S. Southeast

Abstract

Background: Transgender and non-binary people are more likely to face barriers to healthcare than their cisgender counterparts. The majority of work in this area centers on the experiences of transgender people in northern cities and urban enclaves, yet over 500,000 transgender people live in the U.S. Southeast.

Aims: The purpose of this study is to explore barriers to healthcare among transgender people in the U.S. Southeast.

Methods: The research team conducted four 120-minute focus groups (eligibility criteria: 18?years or older, self-identify as transgender, live in the U.S. Southeast). Participants completed a demographic questionnaire prior to the start of the focus group. Each focus group explored access to and experiences of receiving basic healthcare as a transgender person in the U.S. Southeast. Established qualitative methods were used to conduct the focus groups and data analysis.

Results: Participants (n?=?48) ranged in age from 19 to 65, with the majority identifying as trans women (43.8%) and non-binary (33.3%). The sample was racially diverse: White (50%), Black (37.5%), and Latinx or Multiracial (12.5%). Multiple barriers to care were identified: (1) fear and mistrust of providers; (2) inconsistency in access to healthcare; (3) disrespect from providers; and, (4) mistreatment due to intersecting experiences of gender, race, class, and location.

Discussion: Transgender Southerners face barriers to care at the structural, cultural, and interpersonal levels. The study results have implications for researchers, as well as providers, practices, and health care systems throughout the region.     

Constructive Logic with Strong Negation is a Substructural Logic. II

The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL _ew of the substructural logic FL _ew . The main result of Part I of this series [41] shows that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of NFL _ew (namely, a certain variety of FL _ew -algebras) are term equivalent. In this paper, the term equivalence result of Part I [41] is lifted to the setting of deductive systems to establish the definitional equivalence of the logics N and NFL _ew . It follows from the definitional equivalence of these systems that constructive logic with strong negation is a substructural logic. Presented by Heinrich Wansing     

Graded modalities. I

We study a modal system ¯T, that extends the classical (prepositional) modal system T and whose language is provided with modal operators M inn (nN) to be interpreted, in the usual kripkean semantics, as there are more than n accessible worlds such that.... We find reasonable axioms for ¯T and we prove for it completeness, compactness and decidability theorems.The authors are very indebted to the referee for Ms consideration and appreciation of their work.     

Qualifications for Membership in the A.G.P.A.

A model of the development of group therapists is presented. It is proposed that student group therapists proceed through a sequence of stages, each of which is marked by characteristic therapist behavior. During the initial Group shock phase, the student reacts to the novelty of group therapy stimuli with individual therapy or content-oriented approaches. Reappraisal is a period of some therapist inhibition, frustration, or self-doubt. One step behind is a phase characterized by a gradual recognition of the process level of analysis, despite difficulty supplying the interventions autonomously. Using the here-and-now is a period of active intervention about interpersonal phenomena among group members. The techniques for highlighting this material are refined in the Polishing skills phase. The usefulness of models in training is discussed.     

Neurodevelopmental Disorders Across the Lifespan: A Neuroconstructivist Approach.

Objectives. To investigate neuropsychological and neurobehavioral outcome in children with arterial ischemic stroke (AIS).

Background. Childhood stroke can have consequences on motor, cognitive, and behavioral development. We present a cross-sectional study of neuropsychological and neurobehavioral outcome at least one year poststroke in a uniquely homogeneous sample of children who had experienced AIS.

Method. Forty-nine children with AIS aged 6 to 18 years were recruited from a specialist clinic. Neuropsychological measures of intelligence, reading comprehension, attention, and executive function were administered. A triangulation of data collection included questionnaires completed by the children, their parents, and teachers, rating behavior, executive functions, and emotions.

Key Findings. Focal neuropsychological vulnerabilities in attention (response inhibition and dual attention) and executive function were found, beyond general intellectual functioning, irrespective of hemispheric side of stroke. Difficulties with emotional and behavioral regulation were also found. Consistent with an “early plasticity” hypothesis, earlier age of stroke was associated with better performance on measures of executive function.

Conclusions. A significant proportion of children poststroke are at long-term risk of difficulties with emotional regulation, executive function, and attention. Data also suggest that executive functions are represented in widespread networks in the developing brain and are vulnerable to unilateral injury.     

Long-term adherence to a physical activity intervention: The role of telephone-assisted vs. self-administered coping plans and strategy use

Objective: This study investigated the role of coping plans and the use of selection, optimisation and compensation (SOC) strategies within an experimental evaluation of a 26-week physical exercise intervention.

Methods: Older women (N?=?86, M _age?=?73.7 years) were randomly assigned to a telephone-assisted or a self-administered coping planning intervention after 6 weeks’ participation in an exercise programme. The number of different coping plans formulated, exercise-specific SOC strategy use and their interaction were used to predict objectively measured long-term adherence to the intervention.

Results: The number of coping plans formulated (β?=?0.28) and goal-pursuit strategies reported (sum score of optimisation and compensation strategies, β?=?0.39) predicted adherence to the exercise programme over 20 weeks. The predictive strength of coping plans increased with decreasing numbers of goal-pursuit strategies (β?=??0.21). Women supported via telephone reported significantly more coping plans than did women in the self-administered coping planning group, F(1,80)?=?9.47, p?=?0.003.

Conclusion: Coping plans have a buffering effect on adherence levels when use of SOC strategies is low. Older women's adherence to physical activities may be improved if they are given direct support in generating coping plans involving strategies of selection, optimisation and compensation.     

Social-class indicators differentially predict engagement in prevention vs. detection behaviours

Objective: Few systematic studies have examined the contexts in which social-class variables will predict engagement in health-relevant behaviours. The current research examined whether the impact of social-class on health behaviours depends upon how social-class is assessed and the category of health behaviour under consideration.

Method: Our sample was drawn from the Health Information National Trends Survey in 2012 (N = 3959). Participants reported their income and education as well as their engagement in a variety of prevention and detection behaviours.

Results: Consistent with our hypothesised framework, we found that income predicted engagement in a variety of detection behaviours above and beyond education, whereas education predicted engagement in a variety of prevention behaviours above and beyond income.

Conclusions: Our findings suggest that income and education operate on health behaviours via different pathways and have implications for public health policy and intervention.     

Michael J. Dodds,O.P. Unlocking Divine Action: Contemporary Science & Thomas Aquinas

Abstract

Philosopher and theologian William Lane Craig has argued for the past-finitude of the world, employing contemporary cosmology in support of the Kalam cosmological argument for the existence of a First Cause. However, his argument has gained little traction in the world of interdisciplinary theology. In what follows, we present Craig's argument and entertain potential objections from the perspective of interdisciplinarians. Finally, we argue that, in spite of the potential objections raised by contemporary theologians, Craig's argument remains theologically pertinent—provided his conclusion is framed within the more modest methodology of a best explanation.     

Some Characteristics of the Written Speech of Stutterers: I.

Abstract

(Bühler, Charlotte. The Child and his Family. Translated by Henry Beaumont. New York: Harper, 1939. Pp. 187.) Reviewed by Walter L. Wilkins     

Identifying the Insecure Child: III. The Use of Children's Drawings

Abstract

(Terman, L. M., &; Oden, M. H. The Gifted Child Grows Up. Stanford: Stanford Univ. Press, 1947. Pp. 448.) Reviewed by Nathan Israeli

(Cameron, N. The Psychology of Behavior Disorders. Boston: Houghton Mifflin, 1947. Pp. 622.) Reviewed By P. E. Lichtenstein     

Andrew Robinson. God and the World of Signs: Trinity,Evolution and the Metaphysical Semiotics of C.S. Peirce

ABSTRACT

Christian theologians have considered the significance of life elsewhere in the cosmos since the fifteenth century, but the brevity of these discussions calls for greater theological precision: the notion of multiple incarnations, for example, is often explored without reference to the detail of Christological formulations. Attention to the logical mode in which such work is set out is also fruitful, where the scholastic category of suitability or fittingness holds particular promise. As suitable, God’s actions are free and yet congruent, being consistent with the divine nature, with creaturely natures, and with the ends of God’s dealings with creatures.     

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.     

On Intermediate Predicate Logics of some Finite Kripke Frames,I. Levelwise Uniform Trees

An intermediate predicate logic L is called finite iff it is characterized by a finite partially ordered set M, i.e., iff L is the logic of the class of all predicate Kripke frames based on M. In this paper we study axiomatizability of logics of this kind. Namely, we consider logics characterized by finite trees M of a certain type (levelwise uniform trees) and establish the finite axiomatizability criterion for this case.     

Development and Evaluation of a Decision Aid About Prenatal Testing for Women of Advanced Maternal Age

Objective: To develop and evaluate a decision aid designed to prepare patients of advanced maternal age for counseling about prenatal diagnostic testing. Setting: A regional genetics center. Design: A before/after study. Interventions: Participants used an audioguided workbook to learn about options and outcomes and to clarify personal risks, values, questions, and predispositions. Subjects: 21 women of advanced maternal age and 17 spouses. Main outcome measures: Knowledge of prenatal testing alternatives, decisional conflict, level of anxiety, and acceptability of the decision aid. Results: After using the decision aid, participants had significantly reduced decisional conflict (uncertainty) and a significant increase in knowledge. There was no effect on state or trait anxiety. More than three-quarters of participants were satisfied with the length, clarity, balance, and acceptability of the decision aid. Conclusions: The decision aid shows promise as a useful aid for preparing couples for counseling.     

Proof theory and mathematical meaning of paraconsistent C-systems

A proof-theoretic analysis and new arithmetical semantics are proposed for some paraconsistent C-systems, which are a relevant sub-class of Logics of Formal Inconsistency (LFIs) introduced by W.A. Carnielli et al. (2002, 2005) [8] and [9]. The sequent versions BC, CI, CIL of the systems bC, Ci, Cil presented in Carnielli et al. (2002, 2005) [8] and [9] are introduced and examined. BC, CI, CIL admit the cut-elimination property and, in general, a weakened sub-formula property. Moreover, a formal notion of constructive paraconsistent system is given, and the constructivity of CI is proven. Further possible developments of proof theory and provability logic of CI-based arithmetical systems are sketched, and a possible weakened Hilbert?s program is discussed. As to the semantical aspects, arithmetical semantics interprets C-system formulas into Provability Logic sentences of classical Arithmetic PA (Artemov and Beklemishev (2004) [2], Japaridze and de Jongh (1998) [19], Gentilini (1999) [15], Smorynski (1991) [22]): thus, it links the notion of truth to the notion of provability inside a classical environment. It makes true infinitely many contradictions B∧¬B and falsifies many arbitrarily complex instances of non-contradiction principle ¬(A∧¬A). Moreover, arithmetical models falsify both classical logic LK and intuitionistic logic LJ, so that a kind of metalogical completeness property of LFI-paraconsistent logic w.r.t. arithmetical semantics is proven. As a work in progress, the possibility to interpret CI-based paraconsistent Arithmetic PACI into Provability Logic of classical Arithmetic PA is discussed, showing the role that PACIarithmetical models could have in establishing new meta-mathematical properties, e.g. in breaking classical equivalences between consistency statements and reflection principles.     

Intermediate logics with the same disjunctionless fragment as intuitionistic logic

Given an intermediate prepositional logic L, denote by L ^–d its disjuctionless fragment. We introduce an infinite sequence {J _n}_n1 of propositional formulas, and prove:(1)For any L: L ^–d =I ^–d (I=intuitionistic logic) if and only if J _n L for every n 1.Since it turns out that L{J _{n} n}1 = Ø for any L having the disjunction property, we obtain as a corollary that L ^–d = I ^–d for every L with d.p. (cf. open problem 7.19 of [5]). Algebraic semantic is used in the proof of the if part of (1). In the last section of the paper we provide a characterization in Kripke's semantic for the logics J _n =I+ +J _n (n 1).     

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     

A weak intuitionistic propositional logic with purely constructive implication

We introduce subsystems WLJ and SI of the intuitionistic propositional logic LJ, by weakening the intuitionistic implication. These systems are justifiable by purely constructive semantics. Then the intuitionistic implication with full strength is definable in the second order versions of these systems. We give a relationship between SI and a weak modal system WM. In Appendix the Kripke-type model theory for WM is given.This work was partially supported by NSF Grant DCR85-13417     

Audience with a Healer

Up From Scapegoating: Awakening Consciousness in Groups. 1995. By Arthur D. Colman Wilmette, IL: Chiron.

The Wounded Jung. (1996). By Robert C. Smith Evanston, IL: Northwestern University Press.

The Body: An Encyclopedia for Research in Archetypal Symbolism. 1996. By George R. Elder Boston: Shambhala.

Gifts of Suffering. 1996. By Polly Young-Eisendrath New York; Addison-Wesley Co.

The Religious Function of die Psyche. 1996. By Lionel Corbett London &; New York: Routledge.

Buddhism and the Art of Psychotherapy. 1996. By Hayao Kawai College Station, TX: Texas A &; M University Press.

The Soul's Code: In Search of Character and Calling. 1996. By James Hillman New York: Random House.

Kinds of Power A Guide to Its Intelligent Uses. 1995. By James Hillman New York: Doubleday.

Psychotherapy as a Mutual Process. 1996. By J. Marvin Spiegelman Tempe, AZ: New Falcon Publications.

Soul Cards. By Deborah Koff-Chapin 1995. Langley, WA: The Center for Touch Drawing.