Philosophy of Computing and Information

How nature moves from zero to one? Nothing is moving.

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.

The field of AI safety aims to prevent increasingly capable artificially intelligent systems from causing humans harm. Research on moral alignment is widely thought to offer a promising safety strategy: if we can equip AI systems with appropriate ethical rules, according to this line of thought, they'll be unlikely to disempower, destroy or otherwise seriously harm us. Deontological morality looks like a particularly attractive candidate for an alignment target, given its popularity, relative technical tractability and commitment to harm-avoidance principles. I (...) argue that the connection between moral alignment and safe behavior is more tenuous than many have hoped. In general, AI systems can possess either of these properties in the absence of the other, and we should favor safety when the two conflict. In particular, advanced AI systems governed by standard versions of deontology need not be especially safe. (shrink)

It is becoming increasingly common for authoritarian regimes to leverage digital technologies to surveil, repress and manipulate their citizens. Experts typically refer to this practice as “digital authoritarianism” (DA). Existing definitions of DA consistently presuppose a politically repressive agent intentionally exploiting digital technology in pursuit of authoritarian ends. I refer to this as the "intention-based definition." This paper argues that this definition is untenable as a general description of DA. I begin by illustrating the current predominance of the intention-based definition (...) (Section 1). Section 2 then presents four counterexamples to this definition: benign surveillance; digital sovereignty; attention-harvesting algorithms; and tech-induced loneliness. In each case, we witness authoritarianism being promoted by digital technologies without any evidence of this being intentionally caused by politically repressive agents. Based on these observations, I contend that the intention-based definition is underinclusive and therefore unsustainable. Section 3 then outlines an improved definition of DA – what I call the "promotion-based definition." Since this more expansive definition does not posit intentional, politically repressive agency as a precondition of DA, it can accommodate the counterexamples discussed in Section 2. Moreover, it enables us to catch a broader spectrum of cases of DA, such as tech-induced loneliness, which those adhering to the intention-based definition are prone to overlook. After outlining further practical benefits of the promotion-based definition, I argue that we still need to distinguish between intentional and unintentional forms of DA since they call for distinct types of remedial action. (shrink)

Energy politics lie at the heart of human activity. In a time of ecological and energy crises, it is fundamental to realise that our reality systems are always open to change and that, in order to respond to the challenges of a changing energy landscape, we must explore the full possibilities of technology in a radical way. This analysis aims to consider the ethical implications of energy and technology, presenting an urgent case for cosmotechnical pluralism, that is the diversification of (...) world-views, knowledges, technologies in the realm of global politics. To reconstruct the world and its politics around the existence of several ways of navigating and conceiving it, literally leads to a change in reality. The notion of cosmotechnics will present a way of conceiving of the cosmic, epistemic and technic order as interconnected: in this spirit, this exploration will travel through the prisms of cosmology, epistemology, morality, to subsequently enter into the room where energy policies are created. By employing this tripartite framework, policy directions will be suggested on the path towards energy justice in the hope of shining some light on what moral practices of policy-making in the field of energy politics could look like. (shrink)

All the world's a stage. (A 27 27 Matrix.).

Conservation of the Circle is the core (and, thus, the only) dynamic in Nature.

The Tanglewood Trilogy (2002) Book One: Relative Realities, Book Two: Opposite Approach, Book Three: Partial Truth. Conservation of the Circle explains General Relativity, Complementary Opposition, and 50-50 Reality (50-50 as the constant and the norm). This gives humans the basis for everything in mathematics, science, art, and athletics (symbolic systems universally). Conservation of the Circle solves the grounding problem (where the absolute is relative because the relative is absolute) because an uber-universal circular-linear relationship (technically, pi in mathematics) is the only (...) 'actor' in Nature. Meaning there is a mandatory circular-linear 'relationship' between any X and-or Y (where it is impossible to have 'or' without 'and') (forcing humans to examine their existential relationship with 'technology'). The Tanglewood Trilogy: Relative Realities: Circle, triangle, square, one, three, two, any shape, articulates a circle, because the line is always diameter and circumference of a circle. If a line is real it must articulate a circle. Thus, all movement articulates a line, diameter of a circle. The line is all around us as (the most basic element in) nature. Opposite Approach: Complementarity is the basis for identity, all disciplines. Partial Truth: Duplication and negation form the basis for unification, all disciplines. Most recent technical explanation see 2024 paper 'Conservation of a Circle' also on Phil Papers. (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.

With the rise and public accessibility of AI-enabled decision-support systems, individuals outsource increasingly more of their decisions, even those that carry ethical dimensions. Considering this trend, scholars have highlighted that uncritical deference to these systems would be problematic and consequently called for investigations of the impact of pertinent technology on humans’ ethical decision-making. To this end, this article conducts a systematic review of existing scholarship and derives an integrated framework that demonstrates how intelligent decision-support systems (IDSSs) shape humans’ ethical decision-making. (...) In particular, we identify resulting consequences on an individual level (i.e., deliberation enhancement, motivation enhancement, autonomy enhancement and action enhancement) and on a societal level (i.e., moral deskilling, restricted moral progress and moral responsibility gaps). We carve out two distinct methods/operation types (i.e., processoriented and outcome-oriented navigation) that decision-support systems can deploy and postulate that these determine to what extent the previously stated consequences materialize. Overall, this study holds important theoretical and practical implications by establishing clarity in the conceptions, underlying mechanisms and (directions of) influences that can be expected when using particular IDSSs for ethical decisions. (shrink)

The point of departure of this article is the trend towards hybridisation in new technology development, which makes classical dichotomies between machines, human life and the environment obsolete and leads to the post-human world we live in today. We critically reflect on the post-human concept of the hybrid world. Although we agree with post-humanists that human life can no longer be opposed to machines but appears as a decentralized human-technology relation, alliance or network that constitutes a hybrid world, we ask (...) for a limit to hybridisation. After rejecting the concept of metabolism as such a limit, we explore the concept of the responsive conativity of material entities. The principle of conativity of material entities provides a materialist perspective on metabolism, which enables us to conceive material entities as self-assertive material entities that are differentiated from the environment. The principle of responsivity of material entities provides a materialist perspective on the post-human world in which material entities are responsive to each other and form alliances and networks. We propose to differentiate between the conativity and responsivity of material entities and propose the conativity of matter as a limit to hybridisation in the post-human world. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Computability theory is the mathematical theory of algorithms, which explores the power and limitations of computation. Classical computability theory formalized the intuitive notion of an algorithm and provided a theoretical basis for digital computers. It also demonstrated the limitations of algorithms and showed that most sets of natural numbers and the problems they encode are not decidable (Turing computable). Important results of modern computability theory include the classification of the computational difficulty of sets and problems. Arithmetical and hyperarithmetical hierarchies and (...) the Turing degrees provide important measures of the level of such difficulty. There are uncountably many Turing degrees and they are partially ordered. These classifications are used in contemporary research to investigate the complexity of problems in modern computable mathematics, for example, regarding structures and their properties. (shrink)

Issues of reliability are claiming center-stage in the epistemology of machine learning. This paper unifies different branches in the literature and points to promising research directions, whilst also providing an accessible introduction to key concepts in statistics and machine learning – as far as they are concerned with reliability.

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)

In this paper, we will survey the different uses of the term algorithm in contemporary legal practice. We will argue that the concept of algorithm currently exhibits a substantial degree of open texture, co-determined by the open texture of the concept of algorithm itself and by the open texture inherent to legal discourse. We will substantiate our argument by virtue of a case study, in which we analyze a recent jurisprudential case where the first and second-degree judges have carved-out contrasting (...) notions of algorithm. We will see that, thanks to our analysis of the open texture of the notion of algorithm in legal language, we can make sense of the different decisions taken by the judges as different contextually-determined sharpenings of the concept of algorithm. Finally, we will draw some general conclusions concerning the use of technical terms in legal instruments that address new technologies, such as the EU AI Act. (shrink)

Mark Coeckelbergh starts his book with a very powerful picture based on a real incident: On the 9th of January 2020, Robert Williams was wrongfully arrested by Detroit police officers in front of his two young daughters, wife and neighbors. For 18 hours the police would not disclose the grounds for his arrest (American Civil Liberties Union 2020; Hill 2020). The decision to arrest him was primarily based on a facial detection algorithm which matched Mr. Williams’ driving license photo with (...) the picture of a man who was suspected of watch theft two years earlier. Not only did the computer ‘get it wrong’ as one of the detectives said, when Mr. Williams made them aware that the picture of the suspect obviously wasn’t resembling him, the probably unreliable algorithm very likely contributed to racial discrimination (Hill 2020). It is well documented that many available facial detection algorithms at this time had significant problems (e.g. a comparably high false positive rate) with respect to black persons, like Mr. Williams (NIST 2019). Multiple causes may exist, such as unbalanced training datasets and insufficient optimization. Coeckelbergh compares the disturbing case of Mr. Williams with a political interpretation of Franz Kafka’s The Trial, where the protagonist, Josef K., is accused of an unspecified crime by an opaque, oppressive and absurd bureaucracy: “In the 21st-century United States, Josef K. is black and is falsely accused by an algorithm, without explanation” (p. 2). (shrink)

This book argues that misinformation poses a multi-faceted threat to knowledge, while arguing that some forms of content moderation risk exacerbating these threats. It proposes alternative forms of content moderation that aim to address this complexity while enhancing human epistemic agency. The proliferation of fake news, false conspiracy theories, and other forms of misinformation on the internet and especially social media is widely recognized as a threat to individual knowledge and, consequently, to collective deliberation and democracy itself. This book argues (...) that misinformation presents a three-pronged threat to knowledge. While researchers often focus on the role of misinformation in causing false beliefs, this deceptive potential of misinformation exists alongside the potential to suppress trust and to distort the perception of evidence. Recognizing the multi-faceted nature of this threat is essential to the development of effective measures to mitigate the harms associated with misinformation. The book weaves together work in analytic epistemology with emerging empirical work in other disciplines to offer novel insights into the threats posed by misinformation. Additionally, it breaks new ground by systematically assessing different forms of content moderation from the perspective of epistemology. Misinformation, Content Moderation, and Epistemology will appeal to philosophers working in applied and social epistemology, as well as scholars and advanced students in disciplines such as communication studies, political science, and social psychology who are researching misinformation. (shrink)

Differential privacy (DP) aims to confer data processing systems with inherent privacy guarantees, offering strong protections for personal data. But DP’s approach to privacy carries with it certain assumptions about how mathematical abstractions will be translated into real-world systems, which—if left unexamined and unrealized in practice—could function to shield data collectors from liability and criticism, rather than substantively protect data subjects from privacy harms. This article investigates these assumptions and discusses their implications for using DP to govern data-driven systems. In (...) Parts 1 and 2, we introduce DP as, on one hand, a mathematical framework and, on the other hand, a kind of real-world sociotechnical system, using a hypothetical case study to illustrate how the two can diverge. In Parts 3 and 4, we discuss the way DP frames privacy loss, data processing interventions, and data subject participation, arguing it could exacerbate existing problems in privacy regulation. In part 5, we conclude with a discussion of DP’s potential interactions with the endogeneity of privacy law, and we propose principles for best governing DP systems. In making such assumptions and their consequences explicit, we hope to help DP succeed at realizing its promise for better substantive privacy protections. (shrink)

Mới đây, chương trình máy tính ‘bayesvl’ chạy trên môi trường R do TS. Vương Quân Hoàng và kĩ sư Lã Việt Phương (Trung tâm Nghiên cứu Xã hội Liên ngành ISR, Đại học Phenikaa) thiết kế và phát triển chính thức được ra mắt trên CRAN - hệ thống thư viện chuẩn của R...

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)

Why should moral philosophers, moral psychologists, and machine ethicists care about computational complexity? Debates on whether artificial intelligence (AI) can or should be used to solve problems in ethical domains have mainly been driven by what AI can or cannot do in terms of human capacities. In this paper, we tackle the problem from the other end by exploring what kind of moral machines are possible based on what computational systems can or cannot do. To do so, we analyze normative (...) ethics through the lens of computational complexity. First, we introduce computational complexity for the uninitiated reader and discuss how the complexity of ethical problems can be framed within Marr’s three levels of analysis. We then study a range of ethical problems based on consequentialism, deontology, and virtue ethics, with the aim of elucidating the complexity associated with the problems themselves (e.g., due to combinatorics, uncertainty, strategic dynamics), the computational methods employed (e.g., probability, logic, learning), and the available resources (e.g., time, knowledge, learning). The results indicate that most problems the normative frameworks pose lead to tractability issues in every category analyzed. Our investigation also provides several insights about the computational nature of normative ethics, including the differences between rule- and outcome-based moral strategies, and the implementation-variance with regard to moral resources. We then discuss the consequences complexity results have for the prospect of moral machines in virtue of the trade-off between optimality and efficiency. Finally, we elucidate how computational complexity can be used to inform both philosophical and cognitive-psychological research on human morality by advancing the moral tractability thesis. (shrink)

Carl Mitcham has recently pointed out that the current approach to the ethics of technology has failed to solve large-scale socio-ethical challenges in the technological world, such as climate change. He then suggests that, in the face of an iceberg of issues regarding technological development, philosophers should recognize the intellectual heritage of the classical philosophers of technology to better deal with the escalating crises that threaten humankind. While Mitcham’s proposal is inspiring, there are several lacunae in his work. In this (...) paper, we contribute to Mitcham’s idea by developing it and filling the important gaps. Our efforts have led to a new style of holistic thinking about the ethics of technology, according to which it is necessary to focus on the system of technologies as a whole (while not ignoring individual technologies, of course) to understand and address issues related to technology development. -/- . (shrink)

In this paper, we argue that boredom can be an important experience that contributes to personal autonomous agency by providing authentic motivation, and that strategies of social media providers to bind users’ attention to their platforms undermine this authenticity. As discussed in social epistemology and media ethics for a while now, such strategies can lead to so-called epistemic or filter bubbles. Our analysis of the relation between boredom and social media use focuses on a similarly impairing effect of social media (...) on users’ autonomy, which we call authenticity bubbles. (shrink)

"Merten Reglitz makes a case for a new human right to free Internet access, arguing it is crucial for protecting and advancing fundamental moral interests. He examines the risks the Internet poses to our most important rights if it is not safeguarded by public institutions"--.

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)

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)

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)

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

What can we learn about the nature of technology by studying practices of maintenance and repair? This volume addresses this question by bringing together scholarship from philosophers of technology working at the forefront of this emerging and exciting topic. -/- The chapters in this volume explore how attending to maintenance and repair can challenge and complement existing ways of thinking about technology focused on use and design and introduce new philosophical perspectives on the relationship between technology, time and human practice. (...) They examine the significance of maintenance and repair practices at different scales in relation to a diverse range of philosophical traditions and a wide variety of technologies, from urban infrastructure such as bridges and buildings to data technologies such as servers and software systems. Together, the contributions highlight common themes in the philosophical study of maintenance, including the role of skill, the significance of social values and the potential of these practices to transform the technologies to which they are applied. By reflecting on the different ways in which we keep technologies going, from the devices we use in our homes to the large technical systems which surround us, this volume reveals the philosophical significance of practices of maintenance, not only as a source of new insights but also as a resource for enriching our understanding of a variety of existing topics in philosophy. -/- Maintenance and Philosophy of Technology will appeal to scholars and advanced students working in philosophy of technology, philosophy of engineering and science & technology studies. (shrink)

The paper discusses the thesis of virtual realism presented by David Chalmers in his paper “The Virtual and the Real” (2017). Here, I suggest an even stronger version of the claim that I call “virtual physicalism”. According to this view, virtual objects are not only real but physical as they are identical to the physical states of computers that run VR software. I suggest that virtual objects should have a similar ontological status to toys—they should be treated as models or (...) simplifications of ordinary objects. Just like toys, virtual objects can sometimes be good enough to be used instead of their ordinary counterparts. In these cases, virtual objects start to be treated as instantiations of the same kind. In the last part of the paper, I use Johan Huizinga’s notion of a “magic circle” to suggest how different objects could be successfully “virtualized”, that is, moved into a digital realm while remaining objects of the same kind as their non-virtual counterparts. I suggest this will happen once virtual reality becomes permanent and causally connected with non-virtual reality. I finish the paper by looking at examples of natural kind objects and individuals, which seem to be the hardest cases for successful virtualization. (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)

Regulation by design (RBD) is a growing research field that explores, develops, and criticises the regulative function of design. In this article, we provide a qualitative thematic synthesis of the existing literature. The aim is to explore and analyse RBD's core features, practices, limitations, and related governance implications. To fulfil this aim, we examine the extant literature on RBD in the context of digital technologies. We start by identifying and structuring the core features of RBD, namely the goals, regulators, regulatees, (...) methods, and technologies. Building on that structure, we distinguish between three types of RBD practices: compliance by design, value creation by design, and optimisation by design. We then explore the challenges and limitations of RBD practices, which stem from risks associated with compliance by design, contextual limitations, or methodological uncertainty. Finally, we examine the governance implications of RBD and outline possible future directions of the research field and its practices. (shrink)

An issue about the privacy of the clustered groups designed by algorithms arises when attempts are made to access certain pieces of information about those groups that would likely be used to harm them. Therefore, limitations must be imposed regarding accessing such information about clustered groups. In the discourse on group privacy, it is argued that the right to privacy of such groups should be recognised to respect group privacy, protecting clustered groups against discrimination. According to this viewpoint, this right (...) places a duty on others, for example, private companies, institutions, and governments, to refrain from accessing such information. To defend the idea that the right to privacy should be recognised for clustered groups, at least two requirements must be satisfied. First, clustered group privacy must be conceived of as either a collective good or a participatory good. Since these forms of good are of the type from which no member of a group can be excluded from benefiting, the right to them is defined as a group right. Second, there must be group interests on which to base a group right. Group interests can be either the interests of those members that are a result of their being in the group or the interests of the group as a whole that transcend the interests of its members. However, this paper argues that clustered group privacy cannot be conceived of as either a collective or a participatory good because it is possible for some individuals to be excluded from benefiting from it. Furthermore, due to the lack of awareness among individuals that they are members of a clustered group and the nature of a clustered group itself, such groups cannot have the group interests necessary to establish a group right. Hence, the group right to privacy cannot be recognised for these groups, implying that the group right cannot be considered a means to protect clustered groups against discrimination. Instead, this paper suggests that moral principles need to be articulated within an ethics of vulnerability to identify the moral obligations of protecting vulnerable clustered groups. The duty owed to the vulnerable should involve refraining from accessing certain information about clustered groups in specific contexts. This duty is not engendered by the right to privacy of such groups; it is the duty owed to the vulnerable. The findings highlight the need to articulate moral principles regarding privacy and data protection to protect clustered groups in contexts in which accessing information about them could constitute a reason for discriminatory targeting. (shrink)

Trong bối cảnh các hoạt động kinh tế và xã hội ngày càng được kết nối tốt hơn thông qua IoT, và sắp tới đây là tiềm năng tích hợp AI vào hầu như mọi mặt của đời sống ở cả thế giới thực và thế giới ảo, thì không chỉ cá nhân, mà cả doanh nghiệp và quốc gia cũng sẽ phải đối mặt với các thách thức chưa từng có tiền lệ đối với rủi ro về an ninh (...) thông tin... (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)

This paper examines a looming reproducibility crisis in the core of the hard sciences. Namely, it concentrates on molecular modeling and simulation (MMS), a family of methods that predict properties of substances through computing interactions on a molecular level and that is widely popular in physics, chemistry, materials science, and engineering. The paper argues that in order to make quantitative predictions, sophisticated models are needed which have to be evaluated with complex simulation procedures that amalgamate theoretical, technological, and social factors (...) – leading to problems with reproducibility. Thus, for methodological reasons, the predictive success causes a reproducibility problem. (shrink)

In contemporary healthcare, medical image categorization is essential for illness prediction, diagnosis, and therapy planning. The emergence of digital imaging technology has led to a significant increase in research into the use of machine learning (ML) techniques for the categorization of images in medical data. We provide a thorough summary of recent developments in this area in this review, using knowledge from the most recent research and cutting-edge methods.We begin by discussing the unique challenges and opportunities associated with medical image (...) classification, including the complexity of anatomical structures, variability in imaging modalities, and the need for interpretability and reliability in clinical settings. Subsequently, we survey a wide range of ML algorithms and techniques employed for medical image classification, including traditional methods such as support vector machines and k-nearest neighbors, as well as deep learning approaches like convolutional neural networks (CNNs) and recurrent neural networks (RNNs). Furthermore, we examine key considerations in dataset preparation, feature extraction, and model evaluation specific to medical image classification tasks. We highlight the importance of large, annotated datasets, transfer learning, and data augmentation techniques in enhancing model performance and generalization. (shrink)

Recent years have seen a surge of interest in applying mechanistic thinking to computational accounts of implementation and individuation. One recent extension of this work involves so-called ‘wide’ approaches to computation, the view that computational processes spread out beyond the boundaries of the individual. These ‘mechanistic accounts of wide computation’ maintain that computational processes are wide in virtue of being part of mechanisms that extend beyond the boundary of the individual. This paper aims to further develop the mechanistic account of (...) wide computationalism by responding to two outstanding worries, what are called the parsimony and testability challenges. The first is based on considerations about wide computation’s ontological cost; the second the view’s experimental testability. The argument is that wide mechanistic computationalism can gain the necessary conceptual resources to address the challenges by embracing two further aspects of the mechanistic approach: i) the structural aspect of mechanistic explanation and ii) the notion of constitutive relevance. (shrink)

When a major engineering product failed, a failure investigation is often conducted to prevent similar failures in the future. In this dissertation, I propose an account of the epistemology and methodology of engineering failure investigations, based on a close examination of the documentations on five major plane crash investigations conducted by the National Transportation Safety Board (NTSB). -/- The dissertation is divided into three parts. The first part consists of the five case studies arranged in chronological order: the American Airlines (...) Flight 191 accident in 1979; the United Flight 232 accident in 1989; the United Flight 585 accident in 1991; the USAir Flight 427 accident in 1994; and the TWA Flight 800 accident in 1996. In each case study, I summarize the entire investigation process, focusing on articulating the questions that arise and the evidential reasoning that helped resolve each question. -/- The second part of the dissertation examines how the investigators infer causes of failure events. The type of causal inference used in failure investigations typically proceeds from effects to causes, hence it is called reverse causal inference. This is in contrast with forward causal inference, where researchers start with an intervention and infer the effects of that intervention. I identify three types of reverse causal inference in engineering failure investigations: feature dependence, additional outcomes, and process tracing. -/- The third part of the dissertation examines how the investigators construct narratives of failure events. At the end of each failure investigation, the investigators come up with a narrative detailing the sequence of events leading to the outcome. This part of the dissertation examines how the investigators construct such narratives and support them with evidence. I argue that both the construction and the justification of a narrative of a failure event depend on the question-and-answer process in the investigation, which I call the question dynamics of the investigation. I examine three main components of the question dynamics: the resolution of questions, the significance of questions, and the arising of questions. I conclude the dissertation with an account of the coherence of narratives, which is a measure of the evidential status of narratives. My account of coherence relies on the question dynamics, and it captures the intuitive idea that the pieces of a coherent narrative “fit together” very well. (shrink)

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. Or, putting (...) it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives). (shrink)

Engineering accident investigations are systematic inquiries into the facts and causes of engineering accidents. The aims of an engineering accident investigation include identifying significant truths about an accident, learning lessons to prevent similar future accidents, and authoritatively communicating the investigative results to the stakeholders. An important normative dimension along which an engineering accident investigation can be evaluated is its degree of success in fulfilling these aims. In this paper, I propose criteria for evaluating the degree of success of an engineering (...) accident investigation using a question-centered framework, and then argue for the relevance of this proposal to the actual engineering practice. The basic idea of my proposal is that an engineering accident investigation is successful to the extent that (1) questions that should arise in the investigation do arise, and (2) questions that arise—especially the more significant ones—are resolved satisfactorily by the end of the investigation. The first part of this paper unpacks my proposal by analyzing the following three concepts and illustrating them using examples from the TWA Flight 800 accident investigation: The (satisfactory) resolution of questions, the significance of questions, and the arising of questions. The second part of this paper argues for the relevance of my proposal to the practitioners and stakeholders of engineering accident investigations. First, I argue that my proposal is sensitive to the aims of the investigators and stakeholders regarding engineering accident investigations, and that it helps them navigate competing and conflicting aims. Second, I go beyond the TWA 800 case study and argue that my proposal explains the strengths and limitations of different types of accident causation models used in investigations. (shrink)

Information theory and statistical mechanics.

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)