Joan Casas-Roma

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work.

In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of imagination using formal languages, and we support our claim by showing how the framework allows to model certain imagination acts step by step. Then, we introduce the Rhombus of Imagination, which is a visual tool that can be used in conjunction with our framework to study the procedural structure of different kinds of imagination acts and identify their dynamic properties.

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work.

In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of imagination using formal languages, and we support our claim by showing how the framework allows to model certain imagination acts step by step. Then, we introduce the Rhombus of Imagination, which is a visual tool that can be used in conjunction with our framework to study the procedural structure of different kinds of imagination acts and identify their dynamic properties.

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work.

New technological advancements have always changed the way society and human relationships work. New affordances created by technological tools inevitable modify and affect the way people interact with such tools, as well as with one another, and with the world within which this technology is embedded. Technology, Users and Uses explores and discusses ethical issues around the use of technology and AI, by focusing on the way they affect individual, social and global interactions. The collection addresses topics including social networks, public opinion, fake news and information warfare; digitalisation and datafication of society and individuals; and transhumanism, super-intelligent machines and the technological singularity. Technology, Users and Uses aims to offer theoretical and practical guidelines and recommendations for regulators, developers, engineers and scientists, as well as for researchers, educators and scholars in the fields of technology and AI, philosophy and sociology.

Imagining is something we use everyday in our lives and in a wide variety of ways. In spite of the amount of works devoted to its study from both psychology and philosophy, there are only a few formal systems capable of modelling it; besides, almost all of those systems are static, in the sense that their models are initially predefined, and they fail to capture the dynamic process behind the creation of new imaginary scenarios. In this work, we review some influential theories of imagination and use their insights to distil an algorithm describing such process. Then, we use this algorithm to define a dynamic logical system built upon on a single-agent epistemic logic that provides the necessary tools to capture how the agent voluntarily creates new imaginary worlds; in other words, our system allows the model to be expanded dynamically at any time as a result of the agent performing an act of imagination. Furthermore, we provide an axiomatization and prove that the system is sound and complete.

Recent technological advancements have deeply transformed society and the way people interact with each other. Instantaneous communication platforms have allowed connections with other people, forming global communities, and creating unprecedented opportunities in many sectors, making access to online resources more ubiquitous by reducing limitations imposed by geographical distance and temporal constrains. These technological developments bear ethically relevant consequences with their deployment, and legislations often lag behind such advancements. Because the appearance and deployment of these technologies happen much faster than legislative procedures, the way these technologies affect social interactions have profound ethical effects before any legislative regulation can be built, in order to prevent and mitigate those effects. Ethics in Online AI-Based Systems: Risks and Opportunities in Current Technological Trends features a series of reflections from experts in different fields on potential ethically relevant outcomes that upcoming technological advances could bring about in our society. Creating a space to explore the ethical relevance that technologies currently still under development could have constitutes an opportunity to better understand how these technologies could or should not be used in the future in order to maximize their ethically beneficial outcomes, while avoiding potential detrimental effects. Stimulating reflection and considerations with respect to the design, deployment and use of technology will help guide current and future technological advancements from an ethically informed position in order to ensure that, tomorrow, such advancements could contribute towards solving current global and social challenges that we, as a society, have today. This will not only be useful for researchers and professional engineers, but also for educators, policy makers, and ethicists.

In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of imagination using formal languages, and we support our claim by showing how the framework allows to model certain imagination acts step by step. Then, we introduce the Rhombus of Imagination, which is a visual tool that can be used in conjunction with our framework to study the procedural structure of different kinds of imagination acts and identify their dynamic properties.

Technology has become one of the main channels through which people engage in most of their everyday activities. When working, learning, or socializing, the affordances created by technological tools determine the way in which users interact with one another and their environment, thus favoring certain actions and behaviors, while discouraging others. The ethical dimension behind the use of technology has been already studied in recent works, but the question is often formulated in a protective way that focuses on shielding the users from potential detrimental effects. Nevertheless, when considering collateral ethical benefits that the use of technology could bring about, virtue ethics and the notions of “practice” and “practical wisdom” present new opportunities to harness this potential. By understanding the combination of technology, its users and their interactions as a system, technology can be seen as the space where most of its users’ daily practice happens. Through this practice, users can get the chance to collaterally develop and enhance their ethical awareness, sensitivity and reasoning capabilities. This work is shaped as a manifesto that provides the background, motivations and directions needed to ask a complementary question about the ethics of technology that aims towards the potentiality behind the use of technology. Instead of focusing on shielding the users, the proposed _ethical idealist_ approach to the ethics of technology aims to empower them by understanding their use of technology as the space where the development of their practical wisdom, understood in the virtue ethics’ sense, takes place.