A 2-categorial Generalization of the Concept of Institution

After defining, for each many-sorted signature Σ = (S, Σ), the category Ter(Σ), of generalized terms for Σ (which is the dual of the Kleisli category for \mathbb T_S{\mathbb {T}_{\bf \Sigma}}, the monad in Set ^S determined by the adjunction T_S \dashv G_S{{\bf T}_{\bf \Sigma} \dashv {\rm G}_{\bf \Sigma}} from Set ^S to Alg(Σ), the category of Σ-algebras), we assign, to a signature morphism d from Σ to Λ, the functor d_à{{\bf d}_\diamond} from Ter(Σ) to Ter(Λ). Once defined the mappings that assign, respectively, to a many-sorted signature the corresponding category of generalized terms and to a signature morphism the functor between the associated categories of generalized terms, we state that both mappings are actually the components of a pseudo-functor Ter from Sig to the 2-category Cat. Next we prove that there is a functor Tr^Σ, of realization of generalized terms as term operations, from Alg(Σ) × Ter(Σ) to Set, that simultaneously formalizes the procedure of realization of generalized terms and its naturalness (by taking into account the variation of the algebras through the homomorphisms between them). We remark that from this fact we will get the invariance of the relation of satisfaction under signature change. Moreover, we prove that, for each signature morphism d from Σ to Λ, there exists a natural isomorphism θ ^d from the functor Tr^L °(Id ×d_à){{{\rm Tr}^{\bf {\bf \Lambda}} \circ ({\rm Id} \times {\bf d}_\diamond)}} to the functor Tr^S °(d^* ×Id){{\rm Tr}^{\bf \Sigma} \circ ({\bf d}^* \times {\rm Id})}, both from the category Alg(Λ) × Ter(Σ) to the category Set, where d* is the value at d of the arrow mapping of a contravariant functor Alg from Sig to Cat, that shows the invariant character of the procedure of realization of generalized terms under signature change. Finally, we construct the many-sorted term institution by combining adequately the above components (and, in a derived way, the many-sorted specification institution), but for a strict generalization of the standard notion of institution.     

An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency

In this paper, I present the modal adaptive logic AJ ^r (based on S5) as well as the discussive logic D ^r ₂ that is defined from it. D ^r ₂ is a (non-monotonic) alternative for Jaśkowski’s paraconsistent system D ₂ . Like D ₂ , D ^r ₂ validates all single-premise rules of Classical Logic. However, for formulas that behave consistently, D ^r ₂ moreover validates all multiple-premise rules of Classical Logic. Importantly, and unlike in the case of D ₂ , this does not require the introduction of discussive connectives. It is argued that this has clear advantages with respect to one of the main application contexts of discussive logics, namely the interpretation of discussions.*Research for this paper was indirectly supported by the Flemish Minister responsible for Science and Technology (contract BIL1/8). The author is indebted to Leon Horsten, Jo?o Marcos, Jerzy Perzanowski, Liza Verhoeven, and especially to the referee and to Diderik Batens for comments and suggestions.     

Activities of the member societies

Abstract

The impact and legacy of Karen Horney 1885-1952

The William Alanson White Institute of Psychiatry, Psychoanalysis and Psychology White Institute Elects New Editor

News from the Association for the Advancement of Psychoanalysis, New York, USA

News from Brazil:

Conferences

The Karen Horney Psychoanalytic Institute and Center

The William Alanson White Institute

The VII Scientific Conference of IFPS was held in Munich, August 26-29th 1992. Theme: Psychoanalysis between conformity and opposition.

The V Nordic Conference for members from IFPS Societies in Finland, Norway and Sweden will be held near Stockholm, January 23-24, 1993.     

The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F,S4R,S4M and G

The aim of this paper is to present the method of Socratic proofs for seven modal propositional logics: K5, S4.2, S4.3, S4M, S4F, S4R and G. This work is an extension of [10] where the method was presented for the most common modal propositional logics: K, D, T, KB, K4, S4 and S5. Presented by Jacek Malinowski     

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.     

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     

Varieties of Three-Valued Heyting Algebras with a Quantifier

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q ₃ of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q ₃ and we construct the lattice of subvarieties (Q ₃ ) of the variety Q ₃ .     

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     

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.     

A Negationless Interpretation of Intuitionistic Theories. I

The present work contains an axiomatic treatment of some parts of the restricted version of intuitionistic mathematics advocated by G. F. C. Griss, also known as negationless intuitionistic mathematics. Formal systems NPC, NA, and FIM ^N for negationless predicate logic, arithmetic, and analysis are proposed. Our Theorem 4 in Section 2 asserts the translatability of Heyting's arithmetic HAinto NA. The result can in fact be extended to a large class of intuitionistic theories based on HAand their negationless counterparts. For instance, in Section 3 this is shown for Kleene's system of intuitionistic analysis FIMand our FIM ^N . This revised version was published online in June 2006 with corrections to the Cover Date.     

A Rule-Extension of the Non-Associative Lambek Calculus

An extension L ⁺ of the non-associative Lambek calculus Lis defined. In L ⁺ the restriction to formula-conclusion sequents is given up, and additional left introduction rules for the directional implications are introduced. The system L ⁺ is sound and complete with respect to a modification of the ternary frame semantics for L.     

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.     

Statement of Removal

The Journal, Publisher and Author have agreed to remove this article having received expressions of concern regarding the representation of certain clinical data.

For more information, please contact the Publisher or Editor of this Journal.

Article title: Thinking Developmentally: A Contemporary Psychoanalytic Perspective

Authors: Sally Bloom-Feshbach

Journal: Journal of Infant, Child, and Adolescent Psychotherapy

Citation information: Volume 17, Number 2, pages 91–95

Version of Record Published Online: 31 May 2018

DOI: http://dx.doi.org/10.1080/15289168.2018.1456122     

Stillness into Storm

Edward Edinger's Seminars: Transformation of Libido, 1994, C.G. Jung Institute of Los Angeles

Mystery of the Coniunctio, 1994, Inner City Books

The Mysterium Lectures, 1995, Inner City Books

The Eternal Drama: The Inner Meaning of Greek Mythology. 1994. By Edward F. Edinger. Edited by Deborah Wesley. Boston and London: Shambala.

Melville's Moby-Dick: An American Nekyia. 1995. By Edward F. Edinger. Toronto: Inner City Books.

Under Saturn's Shadow: The Wounding and Healing of Men. By James Hollis. Toronto: Inner City Books, 1994.

Dreaming the End of the World: Apocalypse as Rite of Passage. By Michael Ortiz Hill. Dallas: Spring Publications, 1994.

Incest Fastasies and Self-Destructive Acts: Jungian and Post-Jungian Psychotherapy in Adolescence. 1995. Edited by Mara Sidoli and Gustav Bovensiepen. New Brunswick, MD: Transaction Publishers.

If Someone Speaks It Gets Lighter. Year. By Lynda Share. New Jersey: The Analytic Press, Inc., 1994.     

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.     

Solitaire

Dancing In the Flames: The Dark Goddess in the Transformation of Consciousness. 1996. By Marion Woodman and Elinor Dickson. Boston: Shambala.

Urgings of the Heart: A Spirituality of Integration. 1995. By Wilkie Au and Noreen Cannon Mahwah, NJ: Paulist Press

Cast the First Stone: Ethics in Analytic Practice 1995. By Lena B. Ross and Manisha Roy Wilmette, IL: Chiron

Transforming Sexuality: The Archetypal World of Anima and Animus 1994. By Ann and Barry Ulanov Boston: Shambala

Fate, Love, and Ecstasy: Wisdom from the Lesser-Known Goddesses of the Greeks 1995. By John A. Sanford Wilmette, IL: Chiron

Jungian Perspectives on Clinical Supervision 1995. Edited by Paul Kugler Switzerland: Daimon

Synchronicity, Science and Soul-Making: Understanding Jungian Synchronicity through Physics, Buddhism, and Philosophy 1995. By Victor Mansfield Chicago: Open Court     

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     

On the Representation of N4-Lattices

N4-lattices provide algebraic semantics for the logic N4, the paraconsistent variant of Nelson's logic with strong negation. We obtain the representation of N4-lattices showing that the structure of an arbitrary N4-lattice is completely determined by a suitable implicative lattice with distinguished filter and ideal. We introduce also special filters on N4-lattices and prove that special filters are exactly kernels of homomorphisms. Criteria of embeddability and to be a homomorphic image are obtained for N4-lattices in terms of the above mentioned representation. Finally, subdirectly irreducible N4-lattices are described.     

Setting the record straight

Translate This Darkness: The Life of Christiana Morgan. By Claire Douglas. New York: Simon &; Schuster, 1993.

A Most Dangerous Method: The Story of Freud, Jung, and Sabina Spielrein. By John Kerr. New York: Knopf, 1993.

Gods in Our Midst Mythological Images of the Masculine: A Woman's View. By Christine Dawning. New York: Crossroad, 1993.

The Fisher King and the Handless Maiden. By Robert A. Johnson. San Francisco: Harper, 1993.

Listening To Prozac. By Peter D. Kramer. New York: Viking, 1993. Gathering the Light: A Psychology of Meditation. By V. Walter Odajnyk. Boston and London: Shambhala, 1993.

Gathering to Light A Psychology of Meditation

The Pornographer's Grief and Other Tales of Human Sexuality. By Josqjh Glenmullen. New York: HarperCollins, 1993. Love and the Soul: Psychological Interpretations of the Eros and Psyche Myth. By James Gollnick. Ontario: Wilfrid Laurier University Press, 1992.

Healing and Transformation in Sandplay. By Ruth Amman. Peru, IL: Open Court, 1991.

Hildegard of Bingen and Her Vision of the Feminine. By Nancy Fierro. Los Angeles: Carondelet Productions, 1994