Philosophy of Computing and Information

The book develops a comprehensive and measured case that bitcoin is a net benefit to the world, despite its imperfections. Resistance Money is intended for all, from the clueless to the specialist, from the proponent to the die-hard skeptic, and everyone in between.

One of the central questions in the epistemology of conversational AIs is how to classify the beliefs acquired from them. Two promising candidates are instrument-based and testimony-based beliefs. However, the category of instrument-based beliefs faces an intrinsic problem, and a challenge arises in its application. On the other hand, relying solely on the category of testimony-based beliefs does not encompass the totality of our practice of using conversational AIs. To address these limitations, I propose a novel classification of beliefs that (...) shifts the focus from the properties of the conversational AIs themselves to how recipients perceive AI output, specifically whether they take the output at face value. The proposed categories are beliefs by regarding as instruments and beliefs by regarding as testifiers. By using these complementary categories, a more comprehensive understanding of beliefs acquired from conversational AIs can be achieved while avoiding the problems associated with the traditional classification. (shrink)

Purpose: The research explored empirical evidence to assess the impact of cyber security and supply chain risk on digital operations in the UAE pharmaceutical industry. Methodology/Design/Approach: Based on responses from 243 personnel working at 14 pharmaceutical manufacturing companies in Dubai, data were examined for normality, instrument validity and regression analysis. Cyber security and SC risk on digital operations were explored by applying convenient sampling and descriptive and analytical research design. Findings: The findings validated the significant positive association between cyber security (...) and supply chain risk with digital operations. Research implications and Limitations: The research model was developed with three variables evaluated only on the pharmaceutical industry in Dubai. Future research should focus on multiple manufacturing industries by covering a larger geographic area. Practical implications: When suppliers are highly concentrated, customer-focused organisations with uncertain levels of digital transformation could improve their ability to manage supply chain risk by diversifying their clients. Pharmaceutical firms may require a greater focus on technology-based manufacturing firms to build and maintain customer trust. Originality Value: To illustrate how the pharmaceutical industry has explored the relationship between cyber security, supply chain risk and digital operations, the research highlights the significant and convoluted consequences of the relationship model that have not been previously considered. (shrink)

This paper is dedicated to numerical computation of higher order derivatives in Simulink. In this paper, a new module has been implemented to achieve this purpose within the Simulink-based Infinity Computer solution, recently introduced by the authors. This module offers several blocks to calculate higher order derivatives of a function given by the arithmetic operations and elementary functions. Traditionally, this can be done in Simulink using finite differences only, for which it is well-known that they can be characterized by instability (...) and low accuracy. Moreover, the proposed module allows to calculate higher order Lie derivatives embedded in the numerical solution to Ordinary Differential Equations (ODEs). Traditionally, Simulink does not offer any practical solution for this case without using difficult external libraries and methodologies, which are domain-specific, not general-purpose and have their own limitations. The proposed differentiation module bridges this gap, is simple and does not require any additional knowledge or skills except basic knowledge of the Simulink programming language. Finally, the block for constructing the Taylor expansion of the differentiated function is also proposed, adding so another efficient numerical method for solving ODEs and for polynomial approximation of the functions. Numerical experiments on several classes of test problems confirm advantages of the proposed solution. (shrink)

This paper considers hybrid systems — dynamical systems that exhibit both continuous and discrete behavior. Usually, in these systems, interactions between the continuous and discrete dynamics occur when a pre-defined function becomes equal to zero, i.e., in the system occurs a zero-crossing (the situation where the function only “touches” zero is considered as the zero-crossing, as well). Determination of zero-crossings plays a crucial role in the correct simulation of the system in this case. However, for models of many real-life hybrid (...) systems, such interactions may lead to the so-called Zeno executions, i.e., situations where the system undergoes an unbounded number of discrete transitions in a finite and bounded length of time. In this case, standard numerical methods of simulating the systems may fail, since the time between two transitions can decrease significantly leading to ill-conditioning of the simulation. Correct determination of zero-crossings for a complex real-life system can require a lot of computational resources and, as a consequence, slow down the simulation significantly. This paper presents a new way to execute the simulation generating time observations of the hybrid system dynamically using numerical infinitesimals introduced recently, allowing thus to determine zero-crossings more accurately. The proposed method allows to automatically detect zero-crossings with predefined accuracy and to analyze better the behavior of the system around the zero-crossings generating observations more densely, where it is necessary. Moreover, the search for zero-crossings is performed efficiently without re-evaluation of the whole system at each observation. To show the validity of the proposed algorithm, the well-known Bouncing Ball hybrid system has been studied and the obtained simulation results were compared with the standard method. (shrink)

The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second recursion theorem, I prove (...) that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (shrink)

Do the hard problem of consciousness and the simulation argument potentially resolve each other? Here we will argue for four possible views: that consciousness may be possible only (a) outside of, (b) inside and/or outside of, (c) inside of, or (d) interfacing with simulations. The first two of these views have been developed at length by David Chalmers and are used as jumping off points to introduce and develop the latter two views here. If any one of these views could (...) be proven true, it would simultaneously both support a kind of account of properties of consciousness and also provide a kind of sign as to whether or not we are indeed living in the kind of immersive computer simulation that Nick Bostrom hypothesizes about. However, given that none of these views are proven true but all are plausible, these considerations should tend to neutralize our credence that we are either simulated or not simulated, by themselves giving us no sign one way or the other. (shrink)

Space Time Information (a thought experiment) proves that protein evolution is the result of computation: possibly due to a simulation.

Potentialities of attention and distraction with respect to images are critically reprised by Neapolitan artist Domenico Antonio Mancini. In Landscapes (2019), Google Street View addresses painted on canvases take the place of outlying areas of Italian cities, and of canonical oil ‘vedute’ paintings, obliging the viewer to switch from aesthetic absorption to a multitasking, reflexive attention enabled by the tools of mobile devices and the operative agency between the displayed and depicted images. Attracted by the ephemeral, geo-localized vistas displayed on (...) their smartphones, spectator-users must deal with the dynamis of the on-line GSV images: rhetorical and predictable, though, at the same time, and perhaps unintentionally, serendipitous and figural. (shrink)

BARBA-KAY, Antón. A Web of Our Own Making: The Nature of Digital Formation. Cambridge: Cambridge University Press, 2023. x + 295 pp. Cloth, $29.99—This is a truly remarkable book, brimming with extensive research, penetrating insight, and poetic beauty. The book’s main theme is the cultural revolution caused by digital technology. As the book shows, we have always been shaped by our tools. With new ways of doing come new ways of being human. In this way, the digital revolution is continuous (...) with previous technological revolutions. But Barba-Kay argues that digital technology also represents a new, perhaps even final, stage in the history of technology. What makes digital technology so powerful—and so dangerous—is that it is a natural technology. (shrink)

Diffusion of responsibility is a well-known effect widely studied in a real-life setting. It can occur in a situation in which the more people observe a crisis event, the less likely it is that someone will react and provide real assistance. These days of a galloping digital revolution a question is to be raised as to whether the same effect can be observed in the online space of communication. In order to investigate this phenomenon we designed a study aimed at (...) testing whether people exposed to a situation of cyberbullying will decide to take action against it depending on how many other Internet users are also aware of that crisis. Results obtained by us confirmed the existence of the diffusion of responsibility in the Internet similar to that observed in our daily lives. We also confirmed that a well-known influence technique “Even a penny will help” (in our study “every reaction will help”) can be effectively used to model behaviour online. In our times of digital revolution, those outcomes can be a step both toward understanding human behaviour in the online setting, showing us that it is not that different from the one presented in real live face-to-face communication and toward helping deal with antisocial behaviour people face online on a daily basis. (shrink)

O presente artigo discute alguns conceitos de linguagem de programação, buscando abrir uma discussão ontológica sobre os seres técnicos. Partindo de uma breve análise histórica e de conceitos da filosofia do séc. XX, problematiza-se as noções de abstrato e concreto dessas entidades, fazendo uma análise do dualismo hardware-software a partir da concepção hegemônica do hilemorfismo aristotélico e usando de exemplos de linguagem computacional para discutir uma certa ontologia desses seres. Fundamenta-se em Gilbert Simondon uma hipótese segundo a qual o computador (...) pessoal de uso geral seria a máquina concreta por excelência com potencial de ampliação das capacidades humanas através de um crescente desenvolvimento tecnológico e da lei de mudança de uso, em direção a uma espécie de transhumanismo. Por fim, discute-se também as possibilidades do computador como instrumento supra-paradigmático pós-kuhniano. (shrink)

The Ethical Issues Underlying The Computer-Ization And Information Technology Are The Subject Of The Essays Collected In This Book. Computer Ethics And Information Ethics Are New Branches Of Applied Ethics.In This Book Different Applications Of Information Technology (It) Are Assessed From An Ethical Perspective. How Eill The Global Information Infrastructure Affect ConditionsFor Democracy? Is It Possible To Maintain Values Like Autonomy And Privacy In TheComputerized Society? What Ethical Principles Are Needed And What Virtues ShouldBe Promoted Among The Professionals Involved? How (...) Can We Achieve A ResponsibleManagement Of This Revolutionary Technical Change? These Are Some Questions ThatAre Focusede In This Volume. (shrink)

Open-Source Hardware (OSH) and software ecosystems enable a collaborative development and manufacturing of physical artifacts. As we move towards new paradigms of production and consumption – libre software toolchains for hardware development warrant special attention. This chapter explores libre software, OSH, and software ecosystems to exemplify, illustrate, and provide food for thought to the curious reader to understand current trends in the Open-Source Hardware movement.

This chapter discusses the nature of software maintenance in light of software’s ontological status. A realist view of software need not commit us to the otiose position that software maintenance is impossible. Many philosophers and computer scientists have been concerned with drawing attention to software’s dual nature, its being both symbolic and physical, abstract and concrete. There are strong connections to be found between this topic and recent investigations in the philosophy of linguistics, particularly the metaphysics of words. It is (...) shown, contra Irmak, that software can be best understood through a realist type-token distinction employing an ontology of composite objects that was put forward by Katz. This approach employs both non-spatiotemporal abstract types and tokens of those types. Further developing Katz’s realist approach can help to make better sense of the dual nature of computational artefacts and their maintenance than the alternatives outlined. Young claims that a prevalent imbalanced view of maintenance as solely conservative is due to a misunderstanding of the nature of artefacts as being realisations of their producers’ intentions. This is a problem for theories of artefacts that employ intentions, such as the one involved with the realist view of software and software maintenance. Software maintenance on this view is not solely conservative but also adaptive and enhancive, constituting a source of counterexamples to Young’s claim. An alternative explanation of the imbalanced view is provided, based on observations by software engineers, especially Sommerville. (shrink)

This textbook presents an overview of the critically important ethical and legal issues that arise in the computing field and provides a professional perspective from software engineering. The author gained exposure to these aspects of computing while working as a software engineer at Motorola in Ireland, where he coordinated the patent programme and worked with several software suppliers. Topics and features: Presents a broad overview of ethics and the law Includes key learning topics, summaries, and review questions in each chapter, (...) together with a useful glossary Discusses the professional responsibility of computer professionals Explores ethics in various civilisations and religious traditions Discusses ethical software engineering and ethical outsourcing Considers what is fair and ethical in data science Describes ethical challenges that arise in social media and the AI field Reviews intellectual property including patents, copyright and trademarks This practical and easy-to-follow textbook/reference is ideal for computer science students seeking to understand legal and ethical aspects of computing. The text also serves as a concise self-study primer for software engineers and software managers. (shrink)

Trust and trustworthiness are central concepts in contemporary discussions about the ethics of and qualities associated with artificial intelligence (AI) and the relationships between people, organisations and AI. In this article we develop an interdisciplinary approach, using socio-technical software engineering and design anthropological approaches, to investigate how trust and trustworthiness concepts are articulated and performed by AI software practitioners. We examine how trust and trustworthiness are defined in relation to AI across these disciplines, and investigate how AI, trust and trustworthiness (...) are conceptualised and experienced through an ethnographic study of the work practices of nine practitioners in the software industry. We present key implications of our findings for the generation of trust and trustworthiness and for the training and education of future software practitioners. (shrink)

Conservation of the circle explains autonomous intentional masking, and, always, vice versa.