The grounding of computational psychoanalysis: A comparative history of culture overview of Matte Blanco bilogic
---
paper_title: Spontaneous Symmetry Breaking in Quantum Systems. A review for Scholarpedia

paper_content:

The mechanism of spontaneous symmetry breaking in quantum systems is briefly reviewed, rectifying part of the standard wisdom on logical and mathematical grounds. The crucial role of the localization properties of the time evolution for the conclusion of the Goldstone theorem is emphasized.
---
paper_title: Symmetry and its formalisms: Mathematical aspects

paper_content:

This article explores the relation between the concept of symmetry and its formalisms. The standard view among philosophers and physicists is that symmetry is completely formalized by mathematical groups. For some mathematicians however, the groupoid is a competing and more general formalism. An analysis of symmetry that justifies this extension has not been adequately spelled out. After a brief explication of how groups, equivalence, and symmetries classes are related, we show that, while it’s true in some instances that groups are too restrictive, there are other instances for which the standard extension to groupoids is too unrestrictive. The connection between groups and equivalence classes, when generalized to groupoids, suggests a middle ground between the two.
---
paper_title: Nonlinear dynamics of networks: the groupoid formalism

paper_content:

A formal theory of symmetries of networks of coupled dynamical ::: systems, stated in terms of the group of permutations of the nodes that preserve ::: the network topology, has existed for some time. Global network symmetries ::: impose strong constraints on the corresponding dynamical systems, ::: which affect equilibria, periodic states, heteroclinic cycles, and even chaotic ::: states. In particular, the symmetries of the network can lead to synchrony, ::: phase relations, resonances, and synchronous or cycling chaos. ::: Symmetry is a rather restrictive assumption, and a general theory of networks ::: should be more flexible. A recent generalization of the group-theoretic ::: notion of symmetry replaces global symmetries by bijections between certain ::: subsets of the directed edges of the network, the ‘input sets’. Now the symmetry ::: group becomes a groupoid, which is an algebraic structure that resembles ::: a group, except that the product of two elements may not be defined. The ::: groupoid formalism makes it possible to extend group-theoretic methods to ::: more general networks, and in particular it leads to a complete classification ::: of ‘robust’ patterns of synchrony in terms of the combinatorial structure of the ::: network. ::: Many phenomena that would be nongeneric in an arbitrary dynamical ::: system can become generic when constrained by a particular network topology. ::: A network of dynamical systems is not just a dynamical system with ::: a high-dimensional phase space. It is also equipped with a canonical set of ::: observables—the states of the individual nodes of the network. Moreover, the ::: form of the underlying ODE is constrained by the network topology—which ::: variables occur in which component equations, and how those equations relate ::: to each other. The result is a rich and new range of phenomena, only a few of ::: which are yet properly understood.
---
paper_title: Groupoids: unifying internal and external symmetry

paper_content:

The aim of this paper is to explain, mostly through examples, what groupoids are and how they describe symmetry. We will begin with elementary examples, with discrete symmetry, and end with examples in the differentiable setting which involve Lie groupoids and their corresponding infinitesimal objects, Lie algebroids.
---
paper_title: From groups to groupoids: a brief survey

paper_content:

A groupoid should be thought of as a group with many objects, or with many identities. A precise definition is given below. A groupoid with one object is essentially just a group. So the notion of groupoid is an extension of that of groups. It gives an additional convenience, flexibility and range of applications, so that even for purely group-theoretical work, it can be useful to take a path through the world of groupoids. A succinct definition is that a groupoid G is a small category in which every morphism is an isomorphism. Thus G has a set of morphisms, which we shall call just elements of G, a set Ob(G) of objects or vertices, together with functions s, t : G→ Ob(G), i : Ob(G) → G such that si = ti = 1. The functions s, t are sometimes called the source and target maps respectively. If a,b ∈ G and ta = sb, then a product or composite ab exists such that s(ab) = sa, t(ab) = tb. Further, this product is associative; the elements ix, x ∈ Ob(J), act as identities; and each element a has an inverse a with s(a) = ta, t(a) = sa,aa = isa,aaa = ita. An element a is often written as an arrow a : sa→ ta.
---
paper_title: Spontaneous Symmetry Breaking in Quantum Systems. A review for Scholarpedia

paper_content:

The mechanism of spontaneous symmetry breaking in quantum systems is briefly reviewed, rectifying part of the standard wisdom on logical and mathematical grounds. The crucial role of the localization properties of the time evolution for the conclusion of the Goldstone theorem is emphasized.
---
paper_title: Groupoids: unifying internal and external symmetry

paper_content:

The aim of this paper is to explain, mostly through examples, what groupoids are and how they describe symmetry. We will begin with elementary examples, with discrete symmetry, and end with examples in the differentiable setting which involve Lie groupoids and their corresponding infinitesimal objects, Lie algebroids.
---
paper_title: From groups to groupoids: a brief survey

paper_content:

A groupoid should be thought of as a group with many objects, or with many identities. A precise definition is given below. A groupoid with one object is essentially just a group. So the notion of groupoid is an extension of that of groups. It gives an additional convenience, flexibility and range of applications, so that even for purely group-theoretical work, it can be useful to take a path through the world of groupoids. A succinct definition is that a groupoid G is a small category in which every morphism is an isomorphism. Thus G has a set of morphisms, which we shall call just elements of G, a set Ob(G) of objects or vertices, together with functions s, t : G→ Ob(G), i : Ob(G) → G such that si = ti = 1. The functions s, t are sometimes called the source and target maps respectively. If a,b ∈ G and ta = sb, then a product or composite ab exists such that s(ab) = sa, t(ab) = tb. Further, this product is associative; the elements ix, x ∈ Ob(J), act as identities; and each element a has an inverse a with s(a) = ta, t(a) = sa,aa = isa,aaa = ita. An element a is often written as an arrow a : sa→ ta.
---
paper_title: Symmetry and its formalisms: Mathematical aspects

paper_content:

This article explores the relation between the concept of symmetry and its formalisms. The standard view among philosophers and physicists is that symmetry is completely formalized by mathematical groups. For some mathematicians however, the groupoid is a competing and more general formalism. An analysis of symmetry that justifies this extension has not been adequately spelled out. After a brief explication of how groups, equivalence, and symmetries classes are related, we show that, while it’s true in some instances that groups are too restrictive, there are other instances for which the standard extension to groupoids is too unrestrictive. The connection between groups and equivalence classes, when generalized to groupoids, suggests a middle ground between the two.
---
paper_title: Mathematical thought in the light of Matte Blanco's work

paper_content:

Taking into account some basic epistemological considerations on psychoanalysis by Ignacio Matte Blanco, it is possible to deduce some first simple remarks on certain logical aspects of schizophrenic reasoning. Further remarks on mathematical thought are also made in the light of what has been established, taking into account the comparison with schizophrenia pattern.
---
paper_title: Setoids in type theory

paper_content:

Formalising mathematics in dependent type theory often requires to represent sets as setoids, i.e. types with an explicit equality relation. This paper surveys some possible definitions of setoids and assesses their suitability as a basis for developing mathematics. According to whether the equality relation is required to be reflexive or not we have total or partial setoid, respectively. There is only one definition of total setoid, but four different definitions of partial setoid, depending on four different notions of setoid function. We prove that one approach to partial setoids in unsuitable, and that the other approaches can be divided in two classes of equivalence. One class contains definitions of partial setoids that are equivalent to total setoids; the other class contains an inherently different definition, that has been useful in the modeling of type systems. We also provide some elements of discussion on the merits of each approach from the viewpoint of formalizing mathematics. In particular, we exhibit a difficulty with the common definition of subsetoids in the partial setoid approach.
---
paper_title: Kinship networks and discrete structure theory : applications and implications

paper_content:

Abstract Confusions between substantive and relational concepts of kinship as a social network have led to a number of problems that are clarified by a temporally ordered relational theory of network structure. The ordered-network approach gives rise to a novel means of graphing the social field of kinship relations, while allowing kinship to be locally defined in culturally relative terms. Its utility is exemplified in applications to kinships among US Presidents, Old Testament Canaanites, and native Australians of Groote Eylandt. The formal concepts treated in the mapping of kinship networks are: kinship axioms, parental graph structure, core, circuits of consanguineally and affinally linked kin, sides and divides, homeomorphic mappings, homomorphisms as potentially simplifying mappings of kinship, elementary structure, and order-structure. Representational theorems are proven about homeomorphisms, cores and circuits, and the ambiguity of elementary structures. The last set of theorems leads to clarifying and redefining some of the basic concepts of elementary, semi-complex and complex structures of kinship in terms of properties of generationally ordered networks. The conclusions of the formal argument are ‘post-structural’ in the narrow sense of demonstrating the need for specifying contingent historical processes in the structural analysis of kinship as a social field. The open-ended approach to change, one that is implied by the study of ordered structures that unfold in a temporal succession, connects to issues of population variability, selection, and evolutionary processes. The kinship structures that are mapped in this approach are not intended as any sort of complete representations of kinship ‘systems’, but merely as scaffoldings that help to bring into view kinship as a social field, providing a baseline for other mappings (which may be superimposed) of social processes such as communicative fields, exchange processes, transmission of learned behaviors, social rights and inheritance, political and religious succession, and the like.
---
paper_title: Nonlinear dynamics of networks: the groupoid formalism

paper_content:

A formal theory of symmetries of networks of coupled dynamical ::: systems, stated in terms of the group of permutations of the nodes that preserve ::: the network topology, has existed for some time. Global network symmetries ::: impose strong constraints on the corresponding dynamical systems, ::: which affect equilibria, periodic states, heteroclinic cycles, and even chaotic ::: states. In particular, the symmetries of the network can lead to synchrony, ::: phase relations, resonances, and synchronous or cycling chaos. ::: Symmetry is a rather restrictive assumption, and a general theory of networks ::: should be more flexible. A recent generalization of the group-theoretic ::: notion of symmetry replaces global symmetries by bijections between certain ::: subsets of the directed edges of the network, the ‘input sets’. Now the symmetry ::: group becomes a groupoid, which is an algebraic structure that resembles ::: a group, except that the product of two elements may not be defined. The ::: groupoid formalism makes it possible to extend group-theoretic methods to ::: more general networks, and in particular it leads to a complete classification ::: of ‘robust’ patterns of synchrony in terms of the combinatorial structure of the ::: network. ::: Many phenomena that would be nongeneric in an arbitrary dynamical ::: system can become generic when constrained by a particular network topology. ::: A network of dynamical systems is not just a dynamical system with ::: a high-dimensional phase space. It is also equipped with a canonical set of ::: observables—the states of the individual nodes of the network. Moreover, the ::: form of the underlying ODE is constrained by the network topology—which ::: variables occur in which component equations, and how those equations relate ::: to each other. The result is a rich and new range of phenomena, only a few of ::: which are yet properly understood.
---
paper_title: Groupoids in combinatorics -- applications of a theory of local symmetries

paper_content:

An objective of the theory of combinatorial groupoids is to introduce concepts like "holonomy", "parallel transport", "bundles", "combinatorial curvature" etc. in the context of simplicial (polyhedral) complexes, posets, graphs, polytopes, arrangements and other combinatorial objects. In this paper we give an exposition of some of the currently most active research themes in this area, offer a unified point of view, and provide a list of prospective applications in other fields together with a collection of related open problems.
---
paper_title: The graph expansion of an ordered groupoid

paper_content:

We generalise the Margolis-Meakin graph expansion of a group to a construction for ordered groupoids, and show that the graph expansion of an ordered groupoid enjoys structural properties analogous to those for graph expansions of groups. We also use the Cayley graph of an ordered groupoid to prove a version of McAlister's P-theorem for incompressible ordered groupoids.
---
paper_title: Pragmatics of Human Communication: A Study of Interactional Patterns, Pathologies, and Paradoxes.

paper_content:

This book, which carries the imprint of the Mental Research Institute of Palo Alto, Calif, deals with human communication as an interaction process. The volume is divided into seven chapters and an epilogue, covering in succession the frame of reference, axioms of communication, pathological communication, general systems principles, analysis of the play "Who's Afraid of Virginia Woolf?" double-bind theory, therapeutic paradoxes, and existentialism and the theory of communication. In terms of language and structure the volume is not addressed to the lay public, but to the professionals working in the field. In the midst of a publishing explosion, the first question one might ask about any book is "What is its function?" Is it a research report, a teaching manual, a review, or the formulation of a new approach? From the authors' statement in the introduction that this book "... does not claim to be more than an attempt at model
---
paper_title: Steps To An Ecology Of Mind Collected Essays In Anthropology Psychiatry Evolution And Epistemology

paper_content:

Thank you very much for downloading steps to an ecology of mind collected essays in anthropology psychiatry evolution and epistemology. Maybe you have knowledge that, people have search hundreds times for their chosen readings like this steps to an ecology of mind collected essays in anthropology psychiatry evolution and epistemology, but end up in malicious downloads. Rather than enjoying a good book with a cup of tea in the afternoon, instead they juggled with some infectious bugs inside their desktop computer.
---
paper_title: Lie Groups for Physicists

paper_content:

A method and apparatus for transferring energy from a first fluid flow to a second fluid flow via vortex generating means. Various embodiments and various support means for elements of the apparatus are also disclosed.
---
paper_title: Hilgard's introduction to psychology

paper_content:

Part I: Psychology as a Scientific and Human Endeavor: The Nature of Psychology. Part II: Biological and Developmental Processes: Biological Foundations of Psychology. Part III: Consciousness and Perception: Sensory Processes. Perception. Consciousness. Part IV: Learning, Remembering, and Thinking: Learning and Conditioning. Memory. Language and Thought. Part V: Motivation and Emotion: Basic Motives. Emotion. Part VI: Personality and Individuality: Individual Differences. Personality. Part VII: Stress, Psychopathology, and Therapy: Stress, Health, and Coping. Abnormal Psychology. Methods of Therapy. Part VIII: Social Behavior Social Cognition and Affect. Social Interaction and Influence. Appendix: Statistical Methods and Measurements.
---
paper_title: Spontaneous Symmetry Breaking Origin for the Difference Between Time and Space

paper_content:

We suggest that the difference between time and space is due to spontaneous symmetry breaking. In a theory with spinors the signature of the metric is related to the signature of the Lorentz-group. We discuss a higher symmetry that contains pseudo-orthogonal groups with arbitrary signature as subgroups. The fundamental asymmetry between time and space arises then as a property of the ground state rather than being put into the formulation of the theory a priori. We show how the complex structure of quantum field theory as well as gravitational field equations arise from spinor gravity - a fundamental spinor theory without a metric.
---
paper_title: Groupoids: unifying internal and external symmetry

paper_content:

The aim of this paper is to explain, mostly through examples, what groupoids are and how they describe symmetry. We will begin with elementary examples, with discrete symmetry, and end with examples in the differentiable setting which involve Lie groupoids and their corresponding infinitesimal objects, Lie algebroids.
---
paper_title: Setoids in type theory

paper_content:

Formalising mathematics in dependent type theory often requires to represent sets as setoids, i.e. types with an explicit equality relation. This paper surveys some possible definitions of setoids and assesses their suitability as a basis for developing mathematics. According to whether the equality relation is required to be reflexive or not we have total or partial setoid, respectively. There is only one definition of total setoid, but four different definitions of partial setoid, depending on four different notions of setoid function. We prove that one approach to partial setoids in unsuitable, and that the other approaches can be divided in two classes of equivalence. One class contains definitions of partial setoids that are equivalent to total setoids; the other class contains an inherently different definition, that has been useful in the modeling of type systems. We also provide some elements of discussion on the merits of each approach from the viewpoint of formalizing mathematics. In particular, we exhibit a difficulty with the common definition of subsetoids in the partial setoid approach.
---
paper_title: The Origin of Space-Time as W Symmetry Breaking in String Theory

paper_content:

Abstract Physics in the neighbourhood of a space-time metric singularity is described by a world-sheet topological gauge field theory which can be represented as a twisted N = 2 super-conformal Wess-Zumino model with a W 1+∞ ⊗W 1+∞ bosonic symmetry. The measurable W-hair associated with the singularity is associated with Wilson loop integrals around gauge defects. The breaking of W 1+∞ ⊗W 1+∞ →W 1+∞ is associated with expectation values for open Wilson lines that make the metric non-singular away from the singularity. This symmetry breaking is accompanied by massless discrete “tachyon” states that appear as leg poles in S -matrix elements. The triviality of the S -matrix in the high-energy limit of the c = 1 string model, after renormalization by the leg pole factors, is due to the restoration of double W-symmetry at the singularity.
---
paper_title: Symmetry Breaking in Graphs

paper_content:

A labeling of the vertices of a graph G, ` : V (G) !f1;:::;rg, is said to be r-distinguishing provided no automorphism of the graph preserves all of the vertex labels. The distinguishing number of a graph G, denoted by D(G), is the minimum r such that G has an r-distinguishing labeling. The distinguishing number of the complete graph on t vertices is t. In contrast, we prove (i) given any group i, there is a graph G such that Aut(G) » ia ndD(G )=2 ; (ii)D(G )= O(log(jAut(G)j)); (iii) if Aut(G) is abelian, then D(G) • 2; (iv) if Aut(G) is dihedral, then D(G) • 3; and (v) If Aut(G) » S4 ,t hen either D(G )= 2 orD(G) = 4. Mathematics Subject Classiflcation 05C,20B,20F,68R
---
paper_title: Groupoids in combinatorics -- applications of a theory of local symmetries

paper_content:

An objective of the theory of combinatorial groupoids is to introduce concepts like "holonomy", "parallel transport", "bundles", "combinatorial curvature" etc. in the context of simplicial (polyhedral) complexes, posets, graphs, polytopes, arrangements and other combinatorial objects. In this paper we give an exposition of some of the currently most active research themes in this area, offer a unified point of view, and provide a list of prospective applications in other fields together with a collection of related open problems.
---
paper_title: The graph expansion of an ordered groupoid

paper_content:

We generalise the Margolis-Meakin graph expansion of a group to a construction for ordered groupoids, and show that the graph expansion of an ordered groupoid enjoys structural properties analogous to those for graph expansions of groups. We also use the Cayley graph of an ordered groupoid to prove a version of McAlister's P-theorem for incompressible ordered groupoids.
---
paper_title: Pragmatics of Human Communication: A Study of Interactional Patterns, Pathologies, and Paradoxes.

paper_content:

This book, which carries the imprint of the Mental Research Institute of Palo Alto, Calif, deals with human communication as an interaction process. The volume is divided into seven chapters and an epilogue, covering in succession the frame of reference, axioms of communication, pathological communication, general systems principles, analysis of the play "Who's Afraid of Virginia Woolf?" double-bind theory, therapeutic paradoxes, and existentialism and the theory of communication. In terms of language and structure the volume is not addressed to the lay public, but to the professionals working in the field. In the midst of a publishing explosion, the first question one might ask about any book is "What is its function?" Is it a research report, a teaching manual, a review, or the formulation of a new approach? From the authors' statement in the introduction that this book "... does not claim to be more than an attempt at model
---
paper_title: The bi-logic perception of time

paper_content:

The problem of perception and conceptualisation of time in the unconscious and the conscious is seen in terms of Matte-Blanco's theories. In a short outline of his ideas, symmetrical and asymmetrical logic and his newer concept of 'bi-logic structures' are discussed. Clinical examples from the psychoanalysis of a patient with a time problem are presented to illustrate the hypothesis that a misperception and misconception of time lead in this case to obsessive-compulsive pathology. The clinical application of Matte-Blanco's postulations not only explains the psychopathology of the patient but also allows the formulation of a treatment strategy leading to a positive solution of the problem.
---
paper_title: Are impairments of time perception in schizophrenia a neglected phenomenon ?

paper_content:

Based on clinical, phenomenological and neurobiological observations, psychiatrists often report a deficit in time estimation in patients with schizophrenia. Cognitive models of time estimation in healthy subjects have been proposed and developed for approximately 30 years. The current theory in the field of time perception, which is supported by a connectionist model, postulates that temporal judgement is based upon a pacemaker–counter device that depends mostly upon memory and attentional resources. The pacemaker emits pulses that are accumulated in a counter, and the number of pulses determines the perceived length of an interval. Patients with schizophrenia are known to display attentional and memory dysfunctions. Moreover, dopamine regulation mechanisms are involved in both the temporal perception processes and schizophrenia. Thus, it is still unclear if temporal impairments in schizophrenia are related to a specific disturbance in central temporal processes or are due to certain cognitive problems, such as attentional and memory dysfunctions, or biological abnormalities. The authors present a critical literature review on time perception in schizophrenia that covers topics from psychopathology to neuroscience. Temporal perception appears to play a key role in schizophrenia and to be partially neglected in the current literature. Future research is required to better ascertain the underlying mechanisms of time perception impairments in schizophrenia.
---
paper_title: The Unconscious as an Ultrametric Set

paper_content:

����� ��� To my Icarus (Jazz) This paper illustrates the recontextualization of a formal theory from the domain of cognitive science to psychoanalysis. Starting from an approach driven by information theory, a description of mental space in terms of a peculiar topographical structure is derived. This “ultrametric” structure can be seen to fit the constraints of primary process thinking, as presented by Matte Blanco in his essays on bi-logic. The author’s reformulation of the distinction between primary and secondary processes in topological terms leads to a speculative proposal of “quasi-symbols” as possible objects of mental life. The paper also seeks to capture some aspects of the crucial interplay between the phenomenological experience of personal change and the proposed conceptual advance in theorization.
---
paper_title: Mathematical thought in the light of Matte Blanco's work

paper_content:

Taking into account some basic epistemological considerations on psychoanalysis by Ignacio Matte Blanco, it is possible to deduce some first simple remarks on certain logical aspects of schizophrenic reasoning. Further remarks on mathematical thought are also made in the light of what has been established, taking into account the comparison with schizophrenia pattern.
---
paper_title: Kinship networks and discrete structure theory : applications and implications

paper_content:

Abstract Confusions between substantive and relational concepts of kinship as a social network have led to a number of problems that are clarified by a temporally ordered relational theory of network structure. The ordered-network approach gives rise to a novel means of graphing the social field of kinship relations, while allowing kinship to be locally defined in culturally relative terms. Its utility is exemplified in applications to kinships among US Presidents, Old Testament Canaanites, and native Australians of Groote Eylandt. The formal concepts treated in the mapping of kinship networks are: kinship axioms, parental graph structure, core, circuits of consanguineally and affinally linked kin, sides and divides, homeomorphic mappings, homomorphisms as potentially simplifying mappings of kinship, elementary structure, and order-structure. Representational theorems are proven about homeomorphisms, cores and circuits, and the ambiguity of elementary structures. The last set of theorems leads to clarifying and redefining some of the basic concepts of elementary, semi-complex and complex structures of kinship in terms of properties of generationally ordered networks. The conclusions of the formal argument are ‘post-structural’ in the narrow sense of demonstrating the need for specifying contingent historical processes in the structural analysis of kinship as a social field. The open-ended approach to change, one that is implied by the study of ordered structures that unfold in a temporal succession, connects to issues of population variability, selection, and evolutionary processes. The kinship structures that are mapped in this approach are not intended as any sort of complete representations of kinship ‘systems’, but merely as scaffoldings that help to bring into view kinship as a social field, providing a baseline for other mappings (which may be superimposed) of social processes such as communicative fields, exchange processes, transmission of learned behaviors, social rights and inheritance, political and religious succession, and the like.
---
paper_title: Toward an adequate mathematical model of mental space: conscious/unconscious dynamics on $m$-adic trees

paper_content:

We try to perform geometrization of cognitive science and psychology by representing information states of cognitive systems by points of {\it mental space} given by a hierarchic $m$-adic tree. Ass ...
---
paper_title: Ultrametric Model of Mind, I: Review

paper_content:

We mathematically model Ignacio Matte Blanco's principles of symmetric and asymmetric being through use of an ultrametric topology. We use for this the highly regarded 1975 book of this Chilean psychiatrist and pyschoanalyst (born 1908, died 1995). Such an ultrametric model corresponds to hierarchical clustering in the empirical data, e.g. text. We show how an ultrametric topology can be used as a mathematical model for the structure of the logic that reflects or expresses Matte Blanco's symmetric being, and hence of the reasoning and thought processes involved in conscious reasoning or in reasoning that is lacking, perhaps entirely, in consciousness or awareness of itself. In a companion paper we study how symmetric (in the sense of Matte Blanco's) reasoning can be demarcated in a context of symmetric and asymmetric reasoning provided by narrative text.
---
paper_title: Lie Groups for Physicists

paper_content:

A method and apparatus for transferring energy from a first fluid flow to a second fluid flow via vortex generating means. Various embodiments and various support means for elements of the apparatus are also disclosed.
---
paper_title: The bi-logic perception of time

paper_content:

The problem of perception and conceptualisation of time in the unconscious and the conscious is seen in terms of Matte-Blanco's theories. In a short outline of his ideas, symmetrical and asymmetrical logic and his newer concept of 'bi-logic structures' are discussed. Clinical examples from the psychoanalysis of a patient with a time problem are presented to illustrate the hypothesis that a misperception and misconception of time lead in this case to obsessive-compulsive pathology. The clinical application of Matte-Blanco's postulations not only explains the psychopathology of the patient but also allows the formulation of a treatment strategy leading to a positive solution of the problem.
---
paper_title: Kinship networks and discrete structure theory : applications and implications

paper_content:

Abstract Confusions between substantive and relational concepts of kinship as a social network have led to a number of problems that are clarified by a temporally ordered relational theory of network structure. The ordered-network approach gives rise to a novel means of graphing the social field of kinship relations, while allowing kinship to be locally defined in culturally relative terms. Its utility is exemplified in applications to kinships among US Presidents, Old Testament Canaanites, and native Australians of Groote Eylandt. The formal concepts treated in the mapping of kinship networks are: kinship axioms, parental graph structure, core, circuits of consanguineally and affinally linked kin, sides and divides, homeomorphic mappings, homomorphisms as potentially simplifying mappings of kinship, elementary structure, and order-structure. Representational theorems are proven about homeomorphisms, cores and circuits, and the ambiguity of elementary structures. The last set of theorems leads to clarifying and redefining some of the basic concepts of elementary, semi-complex and complex structures of kinship in terms of properties of generationally ordered networks. The conclusions of the formal argument are ‘post-structural’ in the narrow sense of demonstrating the need for specifying contingent historical processes in the structural analysis of kinship as a social field. The open-ended approach to change, one that is implied by the study of ordered structures that unfold in a temporal succession, connects to issues of population variability, selection, and evolutionary processes. The kinship structures that are mapped in this approach are not intended as any sort of complete representations of kinship ‘systems’, but merely as scaffoldings that help to bring into view kinship as a social field, providing a baseline for other mappings (which may be superimposed) of social processes such as communicative fields, exchange processes, transmission of learned behaviors, social rights and inheritance, political and religious succession, and the like.
---

Title: The Grounding of Computational Psychoanalysis: A Comparative History of Culture Overview of Matte Blanco Bi-logic

Section 1: INTRODUCTION
Description 1: Write an introductory section presenting the background and main focus of the paper, highlighting the key contributions of Ignacio Matte Blanco to psychoanalysis and the aim of the article.

Section 2: On Matte Blanco's bi-logic: a brief review
Description 2: Provide a summary of Matte Blanco's bi-logic, including the principles of symmetry and asymmetry, and discuss their relevance to psychoanalysis and computational approaches.

Section 3: From theoretical physics: on symmetry breaking
Description 3: Discuss the concept of symmetry breaking in theoretical physics and its application to the understanding of the transition from symmetric to asymmetric thinking in psychoanalysis.

Section 4: From mathematics: on groupoids
Description 4: Introduce the mathematical concept of groupoids and how it can be used to formalize asymmetric and symmetric relations in the context of computational psychoanalysis.

Section 5: Again on groupoids
Description 5: Further elaborate on groupoid structures, their properties, and their potential to formalize the unconscious as proposed by Matte Blanco.

Section 6: On the formal structure of kinship, on the Gregory Bateson double bind, and all that
Description 6: Discuss the double bind theory by Gregory Bateson, its connection to Matte Blanco's theories, and how these concepts can be formalized mathematically to understand kinship and interpersonal relationships.

Section 7: Other formal remarks
Description 7: Provide additional formal remarks, including further mathematical formalizations and their implications for psychoanalytic theory and practice.

Section 8: CONCLUSIONS
Description 8: Summarize the main points discussed in the paper, emphasizing the significance of formalizing asymmetric and symmetric thinking and acknowledging contributions from reviewers and correspondents.