Emergent Design

Explorations in Systems Phenomenology in Relation to Ontology, Hermeneutics and the Meta-dialectics of Design SYNOPSIS A Phenomenological Analysis of Emergent Design is performed based on the foundations of General Schemas Theory. The concept of Sign Engineering is explored in terms of Hermeneutics, Dialectics, and Ontology in order to define Emergent Systems and Metasystems Engineering based on the concept of Meta-dialectics. ABSTRACT Phenomenology, Ontology, Hermeneutics, and Dialectics will dominate our inquiry into the nature of the Emergent Design of the System and its inverse dual, the Meta-system. This is an speculative dissertation that attempts to produce a philosophical, mathematical, and theoretical view of the nature of Systems Engineering Design. Emergent System Design, i.e., the design of yet unheard of and/or hitherto non-existent Systems and Metasystems is the focus. This study is a frontal assault on the hard problem of explaining how Engineering produces new things, rather than a repetition or reordering of concepts that already exist. In this work the philosophies of E. Husserl, A. Gurwitsch, M. Heidegger, J. Derrida, G. Deleuze, A. Badiou, G. Hegel, I. Kant and other Continental Philosophers are brought to bear on different aspects of how new technological systems come into existence through the midwifery of Systems Engineering. Sign Engineering is singled out as the most important aspect of Systems Engineering. We will build on the work of Pieter Wisse and extend his theory of Sign Engineering to define Meta-dialectics in the form of Quadralectics and then Pentalectics. Along the way the various ontological levels of Being are explored in conjunction with the discovery that the Quadralectic is related to the possibility of design primarily at the Third Meta-level of Being, called Hyper Being. Design Process is dependent upon the emergent possibilities that appear in Hyper Being. Hyper Being, termed by Heidegger as Being (Being crossed-out) and termed by Derrida as Differance, also appears as the widest space within the Design Field at the third meta-level of Being and therefore provides the most leverage that is needed to produce emergent effects. Hyper Being is where possibilities appear within our worldview. Possibility is necessary for emergent events to occur. Hyper Being possibilities are extended by Wild Being propensities to allow the embodiment of new things. We discuss how this philosophical background relates to meta-methods such as the Gurevich Abstract State Machine and the Wisse Metapattern methods, as well as real-time architectural design methods as described in the Integral Software Engineering Methodology. One aim of this research is to find the foundation for extending the ISEM methodology to become a general purpose Systems Design Methodology. Our purpose is also to bring these philosophical considerations into the practical realm by examining P. Bourdieu’s ideas on the relationship between theoretical and practical reason and M. de Certeau’s ideas on practice. The relationship between design and implementation is seen in terms of the Set/Mass conceptual opposition. General Schemas Theory is used as a way of critiquing the dependence of Set based mathematics as a basis for Design. The dissertation delineates a new foundation for Systems Engineering as Emergent Engineering based on General Schemas Theory, and provides an advanced theory of Design based on the understanding of the meta-levels of Being, particularly focusing upon the relationship between Hyper Being and Wild Being in the context of Pure and Process Being

The methodology of the neo-Austrian research programme

Since the 1970s the Austrian school of economics has experienced a modest revival. lts main ideas, notably on the dispersion of knowledge and the social-evolutionary theory of institutions, have given it (at least on these topics) a possible way back into the spotlights of economics. However, there are some aspects of 'Austrianism ' which seem to clash with mainstream views. In particular, these ideas concern methodological and philosophical (more specifically, epistemo-logical) issues. As White (1984) has shown, differences of opinion with regard to methodology and particularly epistemology belong very much to the tradition of the Austrian School. Austrians have based their methodological views on very divergent epistemological foundations. Even the older Austrians did not agree on this point.2 Nevertheless, despite these differences, one may maintain that Austrians adhere to more or less the same methodology. It has been depicted as idiosyncratic and mistaken. Some (even famous) historians of economie thought think that the apriorism on which it is based, is "... a throwback to the Neanderthal 'essentialism ' of yesterday" (Blaug (1980b, p. 273)). More recently, other philosophers and methodologists have relaxed this harsh judgment. The main purpose of this survey will be to give an account of Neo-Austria

Formal methods and digital systems validation for airborne systems

This report has been prepared to supplement a forthcoming chapter on formal methods in the FAA Digital Systems Validation Handbook. Its purpose is as follows: to outline the technical basis for formal methods in computer science; to explain the use of formal methods in the specification and verification of software and hardware requirements, designs, and implementations; to identify the benefits, weaknesses, and difficulties in applying these methods to digital systems used on board aircraft; and to suggest factors for consideration when formal methods are offered in support of certification. These latter factors assume the context for software development and assurance described in RTCA document DO-178B, 'Software Considerations in Airborne Systems and Equipment Certification,' Dec. 1992

Fourth NASA Langley Formal Methods Workshop

This publication consists of papers presented at NASA Langley Research Center's fourth workshop on the application of formal methods to the design and verification of life-critical systems. Topic considered include: Proving properties of accident; modeling and validating SAFER in VDM-SL; requirement analysis of real-time control systems using PVS; a tabular language for system design; automated deductive verification of parallel systems. Also included is a fundamental hardware design in PVS

Fascist di-visions of enjoyment and the perverse remainder: A psychoanalytic study

This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.Under the shade of escalating violence and fundamentalism, our epoch's diffused aura of liberalism supposedly tolerates difference, by exorcising the evil phantasms of totalitarianism, in favour of a liberal and humane post-modem order. Consequently, behind contemporary versions of evil, one demonises modem 'fascists', 'totalitarian threats', and 'Hitlers'. As if not obscure enough, fascist evil has been equivocally linked with perversion. Considering this link a tenebrous enigma, my thesis suggests that psychoanalysis can successfully elucidate its problematic and feeble basis, by reappraising previous narratives from a number of different discourses that inscribe the liaison between fascism and perversion in their representational stage. In a first approach, the present study dissects texts as heterogeneous, as film, social theory, political philosophy, and psychoanalysis. This is to show that, despite the divergent speculative angle that each discourse espouses, perversion is a common exegetic thread, intertextually sewing their narratives. The objective of my criticism that goes through psychoanalysis, without, however, exempting it from this criticism, is to reveal that both fascism and perversion implicate the non-symbolisable kernel in politics, which becomes the source of their mystification. My thesis argues that the fascist does not take the same discursive position, as the pervert does, regarding this symbolic gap. The first is interested in domination, drawn from the superiority of his ideology's master signifier, whereas the latter is interested in excavating the emptiness of any master signifier and in constantly provoking prefabricated knowledge, similarly to the hysteric. Apart from the level of discourse, on the ethical level, I disengage the view that sees Sade and the Nazi officer, as emblematic figures of a Kantian ethical gesture. Considering the imaginary hypostasis of their ethical performance, I argue that personal interests, fantasies and desires, determine the austerity of their ethical duty. Yet, the fantasies of Sade and Nazism are incongruent, insomuch as they are organised by antithetical ideals. Finally, I develop a new rhetoric, de-pathologised and de-ideologised, regarding the structure of the so-called pervert, introducing new vocabularies and directions for psychoanalytic research that further distance the pervert, or whom I call the extra-ordinary subject, from fascist politics and, instead, expose his diachronic "fascist" isolation from the social edifice. This reveals the fruitful alternatives that can stem from a 'return to Freud cum Lacan, which supports a flexible on-going reformulation of psychoanalytic knowledge

Popularization of mathematics as intercultural communication : an exploratory study

Popularization of mathematics seems to have gained importance in the past decades. Besides the increasing number of popular books and lectures, there are national and international initiatives, usually supported by mathematical societies, to popularize mathematics. Despite this apparent attention towards it, studying popularization has not become an object of research; little is known about how popularizers choose the mathematical content of popularization, what means they use to communicate it, and how their audiences interpret popularized mathematics. This thesis presents a framework for studying popularization of mathematics and intends to investigate various questions related to the phenomenon, such as: - What are the institutional characteristics of popularization? - What are the characteristics of the mathematical content chosen to be popularized? - What are the means used by popularizers to communicate mathematical ideas? - Who are the popularizers and what do they think about popularization? - Who are the audience members of a popularization event? - How do audience members interpret popularization? The thesis presents methodological challenges of studying popularization and suggests some ideas on the methods that might be appropriate for further studies. Thus it intends to offer a first step for developing suitable means for studying popularization of mathematics

Proceedings of the Seventh Congress of the European Society for Research in Mathematics Education

International audienceThis volume contains the Proceedings of the Seventh Congress of the European Society for Research in Mathematics Education (ERME), which took place 9-13 February 2011, at Rzeszñw in Poland