On the logic of event-causation Jaśkowski-style systems of causal logic

Causality is a concept which is sometimes claimed to be easy to illustrate, but hard to explain. It is not quite clear whether the former part of this claim is as obvious as the latter one. I will not present any specific theory of causation. Our aim is much less ambitious; to investigate the formal counterparts of causal relations between events, i.e. to propose a formal framework which enables us to construct metamathematical counterparts of causal relations between singular events. This should be a good starting point to define formal counterparts for concepts like causal law, causal explanation and so on.Children in their simplicity keep asking why. The person of understanding has given this up; every why, he has long found out, is merely the end of a thread that vanishes into the thick snare of infinity, which no one can truly unravel, let him tug and worry at it as much as he likes.W. Busch,The Butterfly, translated by W. ArndtThe work on this paper was supported by grants from the Humboldt-Foundation, the Center for Philosophy of Science at the University of Pittsburgh and from the Fulbright-Foundation.This paper concerns a larger project on causal logic, Uwe Scheffler from Humboldt-University and I have been working on for several months. This collaboration explains the usage of plural forms wherever they occur in section 1 and 6. However, all results of this paper, if not stated explicitely otherwise, are due to its (single) author.Presented byJan Zygmunt;     

Nonlinear synthesis and co‐evolution of complex systems

Today a change is imperative in approaching global problems: what is needed is not arm‐twisting and power politics, but searching for ways of co‐evolution in the complex social and geopolitical systems of the world. The modern theory of self‐organization of complex systems provides us with an understanding of the possible forms of coexistence of heterogeneous social and geopolitical structures at different stages of development regarding the different paths of their sustainable co‐evolutionary development. The theory argues that the evolutionary channel to the observed increasing complexity is extremely narrow and only certain discrete spectra of relatively stable self‐maintained structures are feasible in complex systems. There exists a restricted set of ways of assembling a complex evolutionary whole from diverse parts. The law of nonlinear synthesis of complex structures reads: the integration of structures in more complex ones occurs due to the establishment of a common tempo of their evolution. On the basis of the theory, we can see not only desirable but also attainable futures.     

Are there multiple memory systems? Tests of models of implicit and explicit memory

This article reviews recent work aimed at developing a new framework, based on signal detection theory, for understanding the relationship between explicit (e.g., recognition) and implicit (e.g., priming) memory. Within this framework, different assumptions about sources of memorial evidence can be framed. Application to experimental results provides robust evidence for a single-system model in preference to multiple-systems models. This evidence comes from several sources including studies of the effects of amnesia and ageing on explicit and implicit memory. The framework allows a range of concepts in current memory research, such as familiarity, recollection, fluency, and source memory, to be linked to implicit memory. More generally, this work emphasizes the value of modern computational modelling techniques in the study of learning and memory.     

Are there multiple memory systems? Tests of models of implicit and explicit memory

[Formula: see text] This article reviews recent work aimed at developing a new framework, based on signal detection theory, for understanding the relationship between explicit (e.g., recognition) and implicit (e.g., priming) memory. Within this framework, different assumptions about sources of memorial evidence can be framed. Application to experimental results provides robust evidence for a single-system model in preference to multiple-systems models. This evidence comes from several sources including studies of the effects of amnesia and ageing on explicit and implicit memory. The framework allows a range of concepts in current memory research, such as familiarity, recollection, fluency, and source memory, to be linked to implicit memory. More generally, this work emphasizes the value of modern computational modelling techniques in the study of learning and memory.     

Intentionality in non-equilibrium systems? The functional aspects of self-organized pattern formation

Psychology is frequently confronted with mind-body issues—is there a way by which mentalist and physical approaches to cognition can be integrated? Can the intentional attributes of mind be understood in scientific terms? The authors propose that synergetics, the theory of non-linear complex systems, offers steps towards a possible solution to this conundrum. In particular, we maintain that an essential property of self-organized pattern formation lies within its functionality, this being the ability to optimize, respond and adapt ‘meaningfully’ to environmental constraints. Patterns become functional because they consume in a most efficient manner the gradients which cause their evolution, thereby making synergetic pattern formation appear ‘intentional’. We therefore posit that self-organization phenomena may afford basic explanations for the adaptive, intentional and purposive behavior of many complex systems, in particular of cognitive systems. This present approach elaborates on the second law of thermodynamics.     

Systems evolution,structures of long‐waves,and systems management

By classifying the evolution of systems into inter‐level evolution and intra‐level evolution and dividing the intra‐level evolution into four stages which are interrelated but quite different from each other, we discuss structures of several typical systems long‐waves, and strategies of systems management.     

The reach of systems theory: A clinician's retrospective, 1984–1993

One of the early family therapists provides a review and analysis of his work in the recent decade (1984–1993), providing also a structure and perspective that connects it with his earliest work in the early 1960s. His work describing the blaming process as a common source of pathogenic relating resulted in a key article in 1984, from which two streams of work and one tributary emerged. A 1984–1989 stream defined a conflict cycle by which therapists might sort out the countless conflicts heard in family interviews, thus aiding diagnosis and treatment. A 1989–1992 stream defined another form of pathogenic relating, learning to be possessed, a learned means of skillfully avoiding blame for wrongdoing which is roughly but usefully defined as The Devil made me do it. The writer concluded that if one became very good at it, learning to be possessed was excellent training for the development of delusional thinking in adolescence and afterwards. Piaget's work suggested that a case could be made for a good match between adult delusional and the problem-solving difficulties of six-to-eight year-old children. During 1992–1993, the author returned to a topic he believes he was the first to introduce and seriously address in family therapy: The problem of defining phases of family therapy (which he wrote about in the early 1970s). Rejecting the traditional beginning-middle-ending model in psychotherapy, he substituted a series of four-interview units, beginning with the engagement series and ending with termination. The early work concentrated on engagement, the recent on termination.Three decades ago family therapy hardly existed, but today it is firmly established among the major psychotherapies. There are tens of thousands of mental health workers familiar with the basic concepts and techniques of the field; and of these, there are several thousand highly skilled practitioners. The field has been both blessed and cursed by the absence of a single father. The blessing has been a rich diversity of viewpoints powerfully enunciated by quite gifted individuals and their disciples. The curse has been factionalism that at times has reached an unusual level of personal vindictiveness, and has encouraged ideologues intent on subordinating the originality and creativeness of the field.Exponents of major viewpoints in the field have, it seems to me, an obligation to continue to enunciate them clearly, to add depth and breadth to those viewpoints whenever possible. As one of the early family therapists, I believe I have such an obligation. In this article I propose to summarize, review, and analyze my work of the past decade, 1984–1993; to add a perspective whenever that may be possible; to relate the work of the recent decade to the work of past decades, whenever possible; to propose a structure for the work of the past decade, and whenever possible to relate that structure to those of previous decades. I am not a writer of books in the ordinary sense, but a writer of articles enunciating particular ideas; and often it has taken several articles to enunciate an idea to my satisfaction. In this article I will attempt to enunciate two streams which flowed from a common source, and also a tributary. It incorporates seven previously published articles.During the preparation of this article I learned of the death in October 1992 of Ernest A. Haggard, who was my chief mentor while I was a graduate student many decades ago at the University of Chicago. Thoughts about Ernie do not seem to leave me. I would like to dedicate this article to his memory.     

“Active faith” in Christian marriage: The challenge of family systems

The purpose of this paper is to examine the possibilities for creating an environment which nurtures active faith in marriage. I intend to do this by examining historical tradition on Christian marriage, and exploring behavioral science for its contribution to the subject. In particular, I will suggest some ways that family systems theory, with its understanding of healthy marriage and family life, can be a transforming element for the study of marriage today.Presented at The Future of the American Church Conference, Washington, D.C., September 22, 1991.     

The evolution of consciousness as a self‐organizing information system in the society of other such systems

The evolution of consciousness is seen in the context of energy driven evolution in general in which energy and information, or the in‐forming of complex structure, are seen as two sides of the same coin. From this perspective consciousness is viewed as an ecological system in which streams of cognitive, perceptual, and emotional information form a rich complex of interactions, analogous to the interactive metabolism of a living cell. The result is an organic, self‐generating, or autopoietic, system, continuously in the act of creating itself. Evidence suggests that this process is chaotic, or at least chaotic‐like, and capable of assuming a number of distinct states best understood as chaotic attractors. Such systems do not exist in isolation, but function most normally in hypercomplex attractor patterns termed societies.     

Is state-trace analysis an appropriate tool for assessing the number of cognitive systems?

There is now much evidence that humans have multiple memory systems, and evidence is also building that other cognitive processes are mediated by multiple systems. Even so, several recent articles have questioned the existence of multiple cognitive systems, and a number of these have based their arguments on results from state-trace analysis. State-trace analysis was not developed for this purpose but, rather, to identify data sets that are consistent with variation in a single parameter. All previous applications have assumed that state-trace plots in which the data fall on separate curves rule out any model in which only a single parameter varies across the two tasks under study. Unfortunately, this assumption is incorrect. Models in which only one parameter varies can generate any type of state-trace plot, as can models in which two or more parameters vary. In addition, it is straightforward to show that both single-system and multiple-systems models can generate state-trace plots that are considered in the literature to be consistent with either one or multiple cognitive systems. Thus, without additional information, there is no empirical state-trace plot that supports any inferences about the number of underlying parameters or systems.     

An empirical validation of a dynamic systems model of interaction: do children of different sociometric statuses differ in their dyadic play?

Studying short-term dynamic processes and change mechanisms in interaction yields important knowledge that contributes to understanding long-term social development of children. In order to get a grip on this short-term dynamics of interaction processes, the authors made a dynamic systems model of dyadic interaction of children during one play session. The control parameters of the model relate to children's goal-directedness, concerns, emotional appraisals, social power, and social competence. Three groups of dyads of different sociometric statuses are represented by specific control parameter values. The model's order parameters consist of children's emotional expressions and other- versus self-directed actions. This article describes the empirical validation of the model and the methods needed for such validation. It focuses on the model's predictions of averages and distributions of the major variables, of the occurrence of attractors and power law distributions, and on the model's sensitivity. Overall, the model fits the empirical data well. In the discussion, we reflect on the developmental and methodological implications for explaining social interaction on the short-term as well as on the long-term time scale. In addition, implications for intervention and assessment are presented, in particular relating to the problem of rejection.     

Motivational systems of social behavior in male rats and monkeys: Are they homologous?

A comparison is presented between the behaviors of male rats and male stumptail macaques that occur when two unfamiliar males are paired for 10 min. Results which have been presented in detail in separate papers elsewhere are compared and discussed here in terms of the hypothetical organization of motivational systems. The following motivational mechanisms appear to be homologous in the rat and monkey: offense, defense, submission, male sex, self grooming, and allogrooming. Two motivational mechanisms are analogous but not homologous: patrol/marking in the rat and display in the monkey. There is a shift in sensory modality of motivating stimuli from olfaction in the rat to complex visual and auditory stimuli in the monkey. There is also a shift in the modalities of motor patterns from predominant use of the mouth by the rat to use of the hands by the monkey. Both shifts affect most or all motivational systems of social behavior. It is hypothesized that the outer parts of motivational systems, their sensory and motor interfaces with the environment, change more rapidly and incrementally during the course of mammalian evolution than does the inner part, the integrational portion that consists of the motivational mechanisms.     

Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics

This paper presents Automath encodings (which are also valid in LF/λP) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to find out which foundation is the simplest.

The systems analyzed in this way are two kinds of set theory (ZFC and NF), two systems based on Church's higher order logic (Isabelle/Pure and HOL), three kinds of type theory (the calculus of constructions, Luo's extended calculus of constructions, and Martin-Löf's predicative type theory) and one foundation based on category theory.

The conclusions of this paper are that the simplest system is type theory (the calculus of constructions), but that type theories that know about serious mathematics are not simple at all. In that case the set theories are the simplest. If one looks at the number of concepts needed to explain such a system, then higher order logic is the simplest, with twenty-five concepts. On the other side of the scale, category theory is relatively complex, as is Martin-Löf's type theory.

(The full Automath sources of the contexts described in this paper are one the web at http://www.cs.ru.nl/~freek/zfc-etc/.)     

Detecting “cracks” in mental health service systems: Application of network analytic techniques

This paper argued that problems of coordination and integration of community mental health systems are best approached from a network perspective in which all linkages between agencies are considered simultaneously. Structural coordination and integration can be assessed through the analysis of these linkages. The utility of this approach was demonstrated by deriving a typology of system "cracks" from network analytic constructs. A network analysis of a community mental health service network was then generated to illustrate how these cracks can be empirically identified. It is suggested that mental health planners will find both the network analytic approach and the typology of cracks useful for addressing problems of coordination and integration.     

New systems: new behaviour?

Traditional methods of speed reduction such as traffic calming and enforcement tend to have only local effects. A global speed reducing measure, Intelligent Speed Adaptation (ISA) which restricts drivers to the posted speed limit is being considered as an alternative. This paper reports a driving simulator study that evaluated the effects of such a system on driver behaviour. Measures of safety were taken when drivers drove with and without an ISA system, in addition to subjective measures of workload and acceptability. A number of changes in behaviour were noted, whereby drivers were more inclined to engage in riskier behaviour when the ISA system was operational. These changes were accompanied by reductions in maximum speeds, particularly in low speed limit areas and at speed limit transition points. It is suggested that the combinatory effects of these changes in behaviour have to be considered within the context of total network safety.     

Why do parallel cortical systems exist for the perception of static form and moving form?

This article analyzes computational properties that clarify why the parallel cortical systems V1----V2, V1----MT, and V1----V2----MT exist for the perceptual processing of static visual forms and moving visual forms. The article describes a symmetry principle, called FM symmetry, that is predicted to govern the development of these parallel cortical systems by computing all possible ways of symmetrically gating sustained cells with transient cells and organizing these sustained-transient cells into opponent pairs of on-cells and off-cells whose output signals are insensitive to direction of contrast. This symmetric organization explains how the static form system (static BCS) generates emergent boundary segmentations whose outputs are insensitive to direction of contrast and insensitive to direction of motion, whereas the motion form system (motion BCS) generates emergent boundary segmentations whose outputs are insensitive to direction of contrast but sensitive to direction of motion. FM symmetry clarifies why the geometries of static and motion form perception differ--for example, why the opposite orientation of vertical is horizontal (90 degrees), but the opposite direction of up is down (180 degrees). Opposite orientations and directions are embedded in gated dipole opponent processes that are capable of antagonistic rebound. Negative afterimages, such as the MacKay and waterfall illusions, are hereby explained as are aftereffects of long-range apparent motion. These antagonistic rebounds help to control a dynamic balance between complementary perceptual states of resonance and reset. Resonance cooperatively links features into emergent boundary segmentations via positive feedback in a CC loop, and reset terminates a resonance when the image changes, thereby preventing massive smearing of percepts. These complementary preattentive states of resonance and reset are related to analogous states that govern attentive feature integration, learning, and memory search in adaptive resonance theory. The mechanism used in the V1----MT system to generate a wave of apparent motion between discrete flashes may also be used in other cortical systems to generate spatial shifts of attention. The theory suggests how the V1----V2----MT cortical stream helps to compute moving form in depth and how long-range apparent motion of illusory contours occurs. These results collectively argue against vision theories that espouse independent processing modules. Instead, specialized subsystems interact to overcome computational uncertainties and complementary deficiencies, to cooperatively bind features into context-sensitive resonances, and to realize symmetry principles that are predicted to govern the development of the visual cortex.     

Can driving condition prompt systems improve passenger comfort of intelligent vehicles? A driving simulator study

The main trend in the development of intelligent vehicles has been on ensuring comfort, safety, efficiency, and environmental sustainability. However, current research focuses primarily on the safety and energy saving of intelligent vehicles, and a comfortable driving experience through a human–machine interaction system has not been sufficiently investigated. This study used a high-fidelity 6-degree-of-freedom driving simulator to evaluate the impact of an independently-designed vehicle driving condition prompt (DCP) systems on subjective passenger comfort and motion sickness. The experiment showed that when future driving information is obtained through the vehicle DCP systems, the passengers' subjective comfort is improved, motion sickness is alleviated, and the degree of passenger posture instability is reduced. These conclusions contribute toward improving the comfort of autonomous vehicles and providing a reference for the future design of human–machine interaction systems for intelligent vehicles.     

To link or not to link? Empirical guidance for the design of nonlinear text systems

We compared the effectiveness of two versions of the NetBook data model for nonlinear text—one with links and one without. Users who accessed information through specifications based on properties and values alone performed better than users who employed such specifications as well as hypertext links. Protocol analysis revealed that hypertext links were useful when a subject’s specifications were unspecific but correct. However, hypertext could rarely compensate for inaccurate specifications. Design recommendations are included.