This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical (...) sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement. (shrink)

t. 1. Dialog s V. V. Davydovym -- t. 2. Nereshennye problemy razvivai︠u︡shchego obrazovanii︠a︡.

Standard models of adolescent risk taking posit that the cognitive abilities of adolescents and adults are equivalent, and that increases in risk taking that occur during adolescence are the result of socio emotional differences in impulsivity, sensation seeking, and lack of self-control. Fuzzy-trace theory incorporates these socio emotional differences. However, it predicts that there are also cognitive differences between adolescents and adults, specifically that there are developmental increases in gist-based intuition that reflects understanding. Gist understanding, as opposed to verbatim-based analysis, (...) generally has been hypothesized to have a protective effect on risk taking in adolescence. Gist understanding is also an essential element of informed consent regarding risks in medical decision- making. Evidence thus supports the argument that adolescents’ status as mature minors should be treated as an exception rather than a presumption, because accuracy in verbatim analysis is not mature gist understanding. Use of the exception should be accompanied by medical experts’ input on the bottom-line gist of risks involved in treatment. (shrink)

The purpose. Critical social philosophy of education strives to provide a radical critique of existing models of education in the so-called Western models of democracy, creating progressive alternative models. In this context, the proposed integrative metatheory, which is based on classical and modern sources, concepts, aims for a comprehensive understanding and reconstruction of the phenomenon of education. One of the main tasks in the sphere of education’s democratization today, therefore, is to bring to education the results of restructuring and democratization (...) of the society, to reflect changes in conditions of life and thinking, experience and transformation of subjectivity in the context of the technological revolution and globalization. Methodology. The critical social theory, which developed in the framework of contemporary neo-Marxism, indicates the need for a thorough analysis of society, however, unlike other theoretical concepts and research programs in order to analyze not a fixation and a statement of the existing social givens. On the contrary, critical analysis of society involves the identification of existing antagonistic, alienating factors that distort public communication.The subject of social analysis is the whole sphere of human and non-human nature, which interacts a person depend on it, the whole system of relations between society and nature, society and man, which is covered by the historical practice of conscious – "praxis". The representative of "pure science" isn't the learning, research subject. He is a public a person, which is the totality of all social definitions included in society and its constituent individuals. For such a "total subject" Object of interest is not something external; on the contrary, the latter appears as a product of his own activity. The scientific novelty examines trends in educational institutions and models of globalizing society in the context of our particular relationship of education and society, man and the state, and processes. The research and systematic analysis of neoliberal reforms at the level of society in general and education in particular are conducted. It examines substantive, structural and functional characteristics of the concept of «critical social philosophy of education» in the context of institutional tendencies of social life, as well as forms and possibilities of its methodological application. It consider a model of «critical social philosophy of education», as embodied in the programs of social development and learning, which are primarily designed to teach people how to lead an independent and original research themselves, society and knowledge systems. However, it is proved that the models and programs should not be cut off from any individual and the collective system of moral and social values, theoretical and applied training, nor from further use of the acquired values, norms and skills in everyday life, science, or in production, sphere of all social institutions. Conclusions. Critical philosophical, educational, pedagogical-psychological surprisingly theory, its models and concepts seek to redefine public and private and the public mind. Based on these grounds, in the future, it allows philosophy of education to develop a more inclusive philosophical vision of education, to apply directly to the problems of democratization and changes in social relations in the direction of equality and social justice in the field of education. The point of view of socio-philosophical and philosophical-еducational, pedagogical-psychological, normative understanding and social critics also requires the use of active efforts in the reconstruuction of education and society, the social vision of what education and human life can be and what their specific limitations in existing societies. (shrink)

The purpose. Critical social philosophy of education strives to provide a radical critique of existing models of education in the so-called Western models of democracy, creating progressive alternative models. In this context, the proposed integrative metatheory, which is based on classical and modern sources, concepts, aims for a comprehensive understanding and reconstruction of the phenomenon of education. One of the main tasks in the sphere of education’s democratization today, therefore, is to bring to education the results of restructuring and democratization (...) of the society, to reflect changes in conditions of life and thinking, experience and transformation of subjectivity in the context of the technological revolution and globalization. Methodology. The critical social theory, which developed in the framework of contemporary neo-Marxism, indicates the need for a thorough analysis of society, however, unlike other theoretical concepts and research programs in order to analyze not a fixation and a statement of the existing social givens. On the contrary, critical analysis of society involves the identification of existing antagonistic, alienating factors that distort public communication.The subject of social analysis is the whole sphere of human and non-human nature, which interacts a person depend on it, the whole system of relations between society and nature, society and man, which is covered by the historical practice of conscious – "praxis". The representative of "pure science" isn't the learning, research subject. He is a public a person, which is the totality of all social definitions included in society and its constituent individuals. For such a "total subject" Object of interest is not something external; on the contrary, the latter appears as a product of his own activity. The scientific novelty examines trends in educational institutions and models of globalizing society in the context of our particular relationship of education and society, man and the state, and processes. The research and systematic analysis of neoliberal reforms at the level of society in general and education in particular are conducted. It examines substantive, structural and functional characteristics of the concept of «critical social philosophy of education» in the context of institutional tendencies of social life, as well as forms and possibilities of its methodological application. It consider a model of «critical social philosophy of education», as embodied in the programs of social development and learning, which are primarily designed to teach people how to lead an independent and original research themselves, society and knowledge systems. However, it is proved that the models and programs should not be cut off from any individual and the collective system of moral and social values, theoretical and applied training, nor from further use of the acquired values, norms and skills in everyday life, science, or in production, sphere of all social institutions. Conclusions. Critical philosophical, educational, pedagogical-psychological surprisingly theory, its models and concepts seek to redefine public and private and the public mind. Based on these grounds, in the future, it allows philosophy of education to develop a more inclusive philosophical vision of education, to apply directly to the problems of democratization and changes in social relations in the direction of equality and social justice in the field of education. The point of view of socio-philosophical and philosophical-еducational, pedagogical-psychological, normative understanding and social critics also requires the use of active efforts in the reconstruuction of education and society, the social vision of what education and human life can be and what their specific limitations in existing societies. (shrink)

Abstract In this chapter, we challenge the presupposed concept of innovation in the responsible innovation literature. As a first step, we raise several questions with regard to the possibility of ‘responsible’ innovation and point at several difficulties which undermine the supposedly responsible character of innovation processes, based on an analysis of the input, throughput and output of innovation processes. It becomes clear that the practical applicability of the concept of responsible innovation is highly problematic and that a more thorough inquiry (...) of the concept is required. As a second step, we analyze the concept of innovation which is self-evidently presupposed in current literature on responsible innovation. It becomes clear that innovation is self-evidently seen as (1) technological innovation, (2) is primarily perceived from an economic perspective, (3) is inherently good and (4) presupposes a symmetry between moral agents and moral addressees. By challenging this narrow and uncritical concept of innovation, we contribute to a second round of theorizing about the concept and provide a research agenda for future research in order to enhance a less naïve concept of responsible innovation. (shrink)

"This book is an augmented and updated translation by the author of Theorie des Subjekts: Subjectiviteat und Identiteat zwischen Moderne und Postmoderne, Teubingen, Francke-UTB, 2010 (3rd ed.)"--Title page verso.

Moral philosophers have often felt the need of a concept which would cover all those cases where we are prevented from achieving our ends through no fault of our own: a criterion for saying when failure is not blameworthy. The deontologists thought we were not to blame for actions done in genuine ignorance of the facts. Kant declared in a famous passage that we were not morally responsible for failures due to the “niggardliness of stepmother nature.” In this article I (...) want to introduce into moral philosophy a new concept for clarifying the failures for which we are not to blame: the notion of scarcity, taken from economic theory. (shrink)

The importance of communities in strengthening the ethics of international collaborative research is increasingly highlighted, but there has been much debate about the meaning of the term ‘community’ and its specific normative contribution. We argue that ‘community’ is a contingent concept that plays an important normative role in research through the existence of morally significant interplay between notions of community and individuality. We draw on experience of community engagement in rural Kenya to illustrate two aspects of this interplay: (i) that (...) taking individual informed consent seriously involves understanding and addressing the influence of communities in which individuals’ lives are embedded; (ii) that individual participation can generate risks and benefits for communities as part of the wider implications of research. We further argue that the contingent nature of a community means that defining boundaries is generally a normative process itself, with ethical implications. Community engagement supports the enactment of normative roles; building mutual understanding and trust between researchers and community members have been important goals in Kilifi, requiring a broad range of approaches. Ethical dilemmas are continuously generated as part of these engagement activities, including the risks of perverse outcomes related to existing social relations in communities and conditions of ‘half knowing’ intrinsic to processes of developing new understandings. (shrink)

George V. Walsh examines the differences and similarities between Immanuel Kant and Ayn Rand in the area of metaphysics. He presents Kant's premises and conclusions on the major issues and provides a detailed discussion of Rand's criticisms of Kant. Walsh argues that Rand has seriously misread Kant on several points. Her interpretation—that Kant saw our sensory grasp of the world as "delusion," rather than knowledge—resembles that of Arthur Schopenhauer, except that the latter declares Kant's doctrine worthy of praise instead of (...) condemnation. (shrink)

We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.