Philosophy of Computing and Information

The explanation for everything in Nature, everything in human history, future, and-or, past, is the conservation of a circle, proven by, the circular-linear relationship between, the solstice and the equinox.

Why would we want to develop artificial human-like arithmetical intelligence, when computers already outperform humans in arithmetical calculations? Aside from arithmetic consisting of much more than mere calculations, one suggested reason is that AI research can help us explain the development of human arithmetical cognition. Here I argue that this question needs to be studied already in the context of basic, non-symbolic, numerical cognition. Analyzing recent machine learning research on artificial neural networks, I show how AI studies could potentially shed (...) light on the development of human numerical abilities, from the proto-arithmetical abilities of subitizing and estimating to counting procedures. Although the current results are far from conclusive and much more work is needed, I argue that AI research should be included in the interdisciplinary toolbox when we try to explain the development and character of numerical cognition and arithmetical intelligence. This makes it relevant also for the epistemology of mathematics. (shrink)

Theories of rational decision making often abstract away from computational and other resource limitations faced by real agents. An alternative approach known as resource rationality puts such matters front and center, grounding choice and decision in the rational use of finite resources. Anticipated by earlier work in economics and in computer science, this approach has recently seen rapid development and application in the cognitive sciences. Here, the theory of rationality plays a dual role, both as a framework for normative assessment (...) and as a source of scientific hypotheses about how mental processes in fact work. The latter project, often called rational analysis, depends for its success on a fine-grained characterization of the computational problem facing a decision maker, which may in turn depend on realistic assumptions about what the relevant agent is like. As a consequence, resource rationality involves a delicate, but often fruitful interplay between the normative and the descriptive. (shrink)

Is a machine running artificial intelligence algorithms a real artificial intelligence or does it only simulate the operations of an intelligent creature? After specifying the concept of a mechanical simulation of human intelligence, we propose a criterion or a test to determine in which cases a machine embedding AI technology should be considered, not as a mechanical simulator of intelligent operations, but as a real artificial intelligence: we call this test the test of deference.

Cheating is a growing academic and ethical concern in higher education. This article examines the rise of artificial intelligence (AI) generative chatbots for use in education and provides a review of research literature and relevant scholarship concerning the cheating-related issues involved and their implications for pedagogy. The technological “arms race” that involves cheating-detection system developers versus technology savvy students is attracting increased attention to cheating. AI has added new dimensions to academic cheating challenges as students (as well as faculty and (...) staff) can easily access powerful systems for generating content that can be presented in assignments, exams, or published papers as their own. AI methodology is also providing some emerging anti-cheating approaches, including facial recognition and water- marking. This article provides an overview of human/AI collaboration approaches and frames some educational misuses of such AI generative systems as ChatGPT and Bard as forms of “misattributed co-authorship.” As with other kinds of collaborations, the work that students produce with AI assistance can be presented in transparent and straightforward modes or (unfortunately) in opaquer and ethically-problematic ways. However, rather than just for catching or entrapping students, the emerging varieties of technological cheating-detection strategies can be used to assist students in learning how to document and attribute properly their AI-empowered as well as human-human collaborations. Construing misuses of AI generative systems as misattributed co-authorship can recognize the growing capabilities of these tools and how stressing responsible and mindful usage by students can help prepare them for a highly collaborative, AI-saturated future. (shrink)

This book provides a framework for thinking about foundational philosophical questions surrounding machine learning as an approach to artificial intelligence. Specifically, it links recent breakthroughs in deep learning to classical empiricist philosophy of mind. In recent assessments of deep learning's current capabilities and future potential, prominent scientists have cited historical figures from the perennial philosophical debate between nativism and empiricism, which primarily concerns the origins of abstract knowledge. These empiricists were generally faculty psychologists; that is, they argued that the active (...) engagement of general psychological faculties-such as perception, memory, imagination, attention, and empathy-enables rational agents to extract abstract knowledge from sensory experience. This book explains a number of recent attempts to model roles attributed to these faculties in deep neural network based artificial agents by appeal to the faculty psychology of philosophers such as Aristotle, Ibn Sina (Avicenna), John Locke David Hume, William James, and Sophie de Grouchy. It illustrates the utility of this interdisciplinary connection by showing how it can provide benefits to both philosophy and computer science: computer scientists can continue to mine the history of philosophy for ideas and aspirational targets to hit on the way to more robustly rational artificial agents, and philosophers can see how some of the historical empiricists' most ambitious speculations can be realized in specific computational systems. (shrink)

The medium‐independence of computational descriptions has shaped common conceptions of computational explanation. So long as our goal is to explain how a system successfully carries out its computations, then we only need to describe the abstract series of operations that achieve the desired input–output mapping, however they may be implemented. It is argued that this abstract conception of computational explanation cannot be applied to so‐called real‐time computing systems, in which meeting temporal deadlines imposed by the systems with which a device (...) interfaces are constitutive of the computing tasks that a device performs. Instead, real‐time computing reveals the need for alternative conceptions of computational explanation, as well as computational implementation, that eschew medium‐independence. (shrink)

Con số vượt qua mốc 8000 cũng phần nào cho thấy bayesvl thu hút được một lượng quan tâm nhất định của giới nghiên cứu.

Mô hình lý thuyết MTAM giúp tăng cường sự hiểu biết về cách con người đón nhận và chấp nhận các công nghệ, giúp tăng khả năng ứng dụng công nghệ mới trong xã hội và doanh nghiệp, đặc biệt là công nghệ AI cảm xúc.

This research aims at establishing the impact of information and communication technologies (ICT) on e-commerce development of industrial enterprises by means of economic and mathematical modelling. The goal was achieved using the following methods: theoretical generalization, analysis and synthesis (to critically analyse the scientific approaches of scientists regarding the expediency of using mathematical models in the context of enterprises’ e-commerce development), target, comparison and grouping (to reveal innovative methodological approach to assessing ICT impact on e-commerce development of industrial enterprises), tabular, (...) analytical and integral method (for summarizing the analysis results of enterprises readiness to implement ICT, ICT use in the activities of industrial enterprises of Ukraine and the analysis of e-commerce development), mathematical modelling (to build a regression model determining impact of changes in ICT use on the market share occupied by industrial enterprises), generalization (to determine promising directions of e-commerce developing of industrial enterprises). The implementation of a comprehensive approach to understanding the importance of ICT influence on e-commerce development of industrial enterprises will ensure acceleration of the digitalization of business processes, will contribute to the speed increase of enterprises response to customer requests, and increase the market share occupied by enterprises. A new vision of directions for developing e-commerce of industrial enterprises is suggested, which are determined by the need for enterprise rebranding, the development of e-commerce tools and technologies, the importance of outsourcing service automation and promotion of subscription trade. ICT is considered as integration factor that determines prospects for e-commerce development of industrial enterprises and contributes to increasing efficiency of online business management. Research results demonstrate that the use of economic and mathematical modelling is an important tool for assessing ICT impact, and its absence can negatively affect the accuracy and validity of online business management. (shrink)

The formation and existence of the Minsponge theory (MT) do not necessarily imply competition for position or influence with other theories in the fields of social sciences, humanities, or cognition. Instead, it plays a supportive role and creates a framework to improve the analytical approach, particularly through Bayesian Mindsponge Framework analytics. In other words, MT coexists harmoniously with the development of other theories.

You will find in this book a fascinating critical analysis about digital technology from a humanistic perspective.... You will enjoy pictures, poems, stories, and quotations that should encourage self-reflection and community discussion about your real life, your digital life, and the role of technology in society..... This book is oriented towards anyone and everyone, breaking the academic and professional barriers thereby increasing universal awareness of the importance of the ethical concerns surrounding digital technology.—Mario Arias Oliva, Profesor Titular de Universidad Complutense (...) de Madrid. -/- Our dependency on digital technology keeps growing. Are we happy with this? Do we understand the positives and negatives of being so dependent? Imagine! Ethical Digital Technology for Everyone will help everyone to better understand these issues through the use of stories, pictures and poems which explore the world of digital technology. The aim is to demystify and encourage the reader to reflect on how to get the best out of digital technology, but not at the expense of others or of the world at large. This unique book has something for everyone regardless of age, background or technological awareness. It will help to give the reader the confidence to challenge societally unacceptable and promote societally beneficial digital technology offerings. The book is a meeting between technology and the creative arts as our lives become more and more technologically dependent. It aligns with the transition of STEM (Science, Technology, Engineering, and Mathematics) to STEAM (Science, Technology, Engineering, Arts and Mathematics), which aims to promote creativity and curiosity. The book has four facets: short stories, quotations, pictures (many of which are schematics) and poetry about the social and ethical issues surrounding digital technology. Through a lens of creative arts, the book maps the evolution of digital technology from its infancy through to glimpses of the future. This includes many first-hand examples from the 1970s onwards. Alongside this account, surrounding ethical and social issues are portrayed. These two elements are synthesized to encourage thought about how the challenges of evolving digital technology can be met thus leading to social benefit for all of us. (shrink)

We introduce an alternative semantics to second order logic by not interpreting second order variables as relations but as formulas in the language itself. We demonstrate how this semantics differs from the classical semantics. We show how it is possible to take any logic (the “base logic”), not necessarily first order logic, and enhance it with such extensions. Even using nullary relations only, such an extension is a nontrivial one, in contrast to the classical semantics where nullary relations can trivially (...) be translated into first order statements. Our focus is on a special case which we call NSO (Nullary Second Order) and demonstrate how it can support self-referential metalogical statements in a decidable fashion due to a quantifier elimination method. To this end we introduce some contributions to the field of Boolean equations and inequations. (shrink)

A reality for many information technology (IT) organizations is the need to hire IT talent from other cities or countries to supplement their employee staff. As organizations extend their software development work to remote locations, however, a distinct productivity gap can emerge between co-located and distributed teams. The problem this study addresses is the reduced productivity levels for teams practicing the Agile methodology when team members are distributed by location or time zone. Specifically, it was unknown if there are organizational (...) factors which can improve the productivity of these distributed development teams. The purpose of this study was to determine whether any amount of separation of team members impacts productivity, or if various degrees of time zone overlap allows for sufficient synchronous communication to overcome the communication lag inherit with having distributed teams. Productivity was measured by the number of story points per cycle day completed by the team. Two additional variables were collected to study the impact of sourcing and task complexity on distributed team productivity. A quantitative data analysis was conducted on a large, globally distributed technology organization practicing the Agile methodology across the Americas, Europe, Africa, Asia, and Australia. Teams were classified in the study based on the amount of time zone overlap of the team members. The results of the study found that teams which were co-located or had any amount of time zone overlap performed at similar levels of productivity, while teams with no overlapping business day experienced significantly lower levels of productivity (p < .05). Conversely, sourcing of the resources either as contractors or employees did not demonstrate a significant difference in team productivity. The data analysis on task complexity showed mixed results; there was a different level of productivity when some teams were working tasks of different complexity, but the data was further nuanced by team member location. This study indicates the importance of resource location as a key factor in team productivity. Further study on organizational design could be beneficial to better understand how organizations should select locations to optimize productivity. (shrink)

An assortment of kinds of attacks and aggressive behaviors toward artificial intelligence (AI)-enhanced robots has recently emerged. This paper explores questions of how the human emotions and motivations involved in attacks of robots are being framed as well as how the incidents are presented in social media and traditional broadcast channels. The paper analyzes how robots are construed as the “other” in many contexts, often akin to the perspectives of “machine wreckers” of past centuries. It argues that focuses on the (...) emotions and motivations of robot attackers can be useful in mitigating anti-robot activities. “Hate crime” or “hate incident” characterizations of some anti-robot efforts should be utilized in discourse as well as some future legislative efforts. Hate crime framings can aid in identifying generalized antagonism and antipathy toward robots as autonomous and intelligent entities in the context of antirobot attacks. Human self-defense may become a critical issue in some anti-robot attacks, especially when apparently malfunctioning robots are involved. Attacks of robots present individuals with vicarious opportunities to participate in anti-robot activity and also potentially elicit other aggressive, copycat actions as videos and narrative accounts are shared via social media as well as personal networks. (shrink)

This note discusses the account of physical computation offered in Part II of Primiero’s On the Foundations of Computing. Although there is much to find attractive about the account, I argue that the account is obscure at certain crucial junctures and that it does not supply a wholly satisfactory account of miscomputation. I close by considering whether the engineering foundation of computing requires a theory of physical computation in the first place, suggesting tentatively that it does not.

Perception solves computationally demanding problems at lightning fast speed. It recovers sophisticated representations of the world from degraded inputs, often in a matter of milliseconds. Any theory of perception must be able to explain how this is possible; in other words, it must be able to explain perception's computational tractability. One of the few attempts to move toward such an explanation has been the information encapsulation hypothesis, which posits that perception can be fast because it keeps computational costs low by (...) forgoing access to information stored in cognition. I argue that we have no compelling reason to believe that encapsulation explains (or even contributes to an explanation of) perceptual tractability, and much reason to doubt it. This is because there exist much deeper computational challenges for perception than information access, and these threaten to make the costs of access irrelevant. If this is right, it undermines a core computational motivation for encapsulation and sends us back to the drawing board for explanations of perceptual tractability. (shrink)

Abstract: Cheating behaviors have been construed as a continuing and somewhat vexing issue for academic institutions as they increasingly conduct educational processes online and impose metrics on instructional evaluation. Research, development, and implementation initiatives on cheating detection have gained new dimensions in the advent of artificial intelligence (AI) applications; they have also engendered special challenges in terms of their social, ethical, and cultural implications. An assortment of commercial cheating–detection systems have been injected into educational contexts with little input on the (...) part of relevant stakeholders. This paper expands several specific cases of how systems for the detection of cheating have recently been implemented in higher education institutions in the US and UK. It investigates how such vehicles as wearable technologies, eye scanning, and keystroke capturing are being used to collect the data used for anti-cheating initiatives, often involving systems that have not gone through rigorous testing and evaluation for their validity and potential educational impacts. The paper discusses accountability- and policy-related issues concerning the outsourcing of cheating detection in institutional settings in the light of these emerging technological practices as well as student resistance against the systems involved. The practices can place students in a disempowered position. (shrink)

Alan M. Turing’s last published work and some posthumously published manuscripts were dedicated to the development of his theory of organic pattern formation. In “The Chemical Basis of Morphogenesis” (1952), he provided an elaborated mathematical formulation of the theory of the origins of biological form that had been first proposed by Sir D’Arcy Wendworth Thompson in On Growth and Form (1917/1942). While arguably his most mathematically detailed and his systematically most ambitious effort, Turing’s morphogenetical writings also form the most thematically (...) self-contained and least philosophically explored part of his work. We dedicate our inquiry to the reasons and the implications of Turing’s choice of biological topic and viewpoint. We will probe for possible factors in Turing’s choice that go beyond availability and acquaintance with On Growth and Form. On these grounds, we will explore how and to what extent his theory of morphogenesis actually ties in with his concept of mechanistic computation. Notably, Thompson’s pioneering work in biological ‘structuralism’ was organicist in outlook and explicitly critical of the Darwinian approaches that were popular with Turing’s cyberneticist contemporaries—and partly used by Turing himself in his proto-connectionist models of learning. Resolving this apparent dichotomy, we demonstrate how Turing’s quest for mechanistic explanations of how organisation emerges in nature leaves room for a non-mechanist view of nature. (shrink)

We present a simple example that disproves the universality principle. Unlike previous counter-examples to computational universality, it does not rely on extraneous phenomena, such as the availability of input variables that are time varying, computational complexity that changes with time or order of execution, physical variables that interact with each other, uncertain deadlines, or mathematical conditions among the variables that must be obeyed throughout the computation. In the most basic case of the new example, all that is used is a (...) single pre-existing global variable whose value is modified by the computation itself. In addition, our example offers a new dimension for separating the computable from the uncomputable, while illustrating the power of parallelism in computation. (shrink)

In Risk Management, security issues arise from complex relations among objects and agents, their capabilities and vulnerabilities, the events they are involved in, and the value and risk they ensue to the stakeholders at hand. Further, there are patterns involving these relations that crosscut many domains, ranging from information security to public safety. Understanding and forming a shared conceptualization and vocabulary about these notions and their relations is fundamental for modeling the corresponding scenarios, so that proper security countermeasures can be (...) devised. Ontologies are instruments developed to address these conceptual clarification and terminological systematization issues. Over the years, several ontologies have been proposed in Risk Management and Security Engineering. However, as shown in recent literature, they fall short in many respects, including generality and expressivity - the latter impacting on their interoperability with related models. We propose a Reference Ontology for Security Engineering (ROSE) from a Risk Treatment perspective. Our proposal leverages on two existing Reference Ontologies: the Common Ontology of Value and Risk and a Reference Ontology of Prevention, both of which are grounded on the Unified Foundational Ontology (UFO). ROSE is employed for modeling and analysing some cases, in particular providing clarification to the semantically overloaded notion of Security Mechanism. (shrink)

Agent-based modeling has become a common and well-established tool in the social sciences and certain of the humanities. Here, we aim to provide an overview of the different modeling approaches in current use. Our discussion unfolds in two parts: we first classify different aspects of the model-building process and identify a number of characteristics shared by most agent-based models in the humanities and social sciences; then we map relevant differences between the various modeling approaches. We classify these into different dimensions (...) including the type of target systems addressed, the intended modeling goals, and the models’ degree of abstraction. Along the way, we provide reference to related debates in contemporary philosophy of science. (shrink)

CAT4 is proposed as a general method for representing information, enabling a powerful programming method for large-scale information systems. It enables generalised machine learning, software automation and novel AI capabilities. It is based on a special type of relation called CAT4, which is interpreted to provide a semantic representation. This is Part 1 of a five-part introduction. The focus here is on defining the key mathematical structures first, and presenting the semantic-database application in subsequent Parts. We focus in Part 1 (...) on general axioms for the structures, and introduce key concepts. Part 2 analyses the CAT2 sub-relation of CAT4 in more detail. The interpretation of fact networks is introduced in Part 3, where we turn to interpreting semantics. We start with examples of relational and graph databases, with methods to translate them into CAT3 networks, with the aim of retaining the meaning of information. The full application to semantic theory comes in Part 4, where we introduce general functions, including the language interpretation or linguistic functions. The representation of linear symbolic languages, including natural languages and formal symbolic languages, is a function that CAT4 is uniquely suited to. In Part 5, we turn to software design considerations, to show how files, indexes, functions and screens can be defined to implement a CAT4 system efficiently. (shrink)

This Ph.D. thesis explores a novel way of thinking about computation in cognitive science. It argues for what I call ‘the mechanistic account of wide computationalism’, or simply wide mechanistic computation. The key claim is that some cognitive and perceptual abilities are produced by or are the result of computational mechanisms that are, in part, located outside the individual; that computational systems, the ones that form the proper units of analysis in cognitive science, are particular types of functional mechanisms that, (...) on occasion, spread out across brain, body, and world. Wide mechanistic computation is the result of bringing together two distinct strands of thinking about computation: ‘wide’ views, which hold that computational systems can, on occasion, include parts of the surrounding environment; and ‘mechanistic’ views, which hold that computational explanation is a species of mechanistic explanation, and that computational mechanisms are a special type of functional mechanism. I argue that wide mechanistic computation draws support from several sources. First, I examine research on animal and human psychology and show that several organisms’ behaviours are properly treated as being the output of wide computational mechanisms. Second, I defend the view from several philosophical charges, including worries about its explanatory parsimony and empirical testability. Finally, I argue for the view’s theoretical credentials by showing that it can help resolve specific problems that have recently troubled 4E cognition. The result is an argument for not only the coherence but also empirical plausibility of wide mechanistic computation. On route to its main objective, the thesis also accomplishes a number of related tasks, including: providing a framework for organising and conceptualising different views of computation, securing the conceptual foundations of mechanistic computation by addressing an outstanding challenge called the ‘abstraction problem’, sounding a cautionary note about recent predictive processing accounts of extended cognition and arguing against a particular conception of levels often used within cognitive science, what is labelled the ‘hierarchical correspondence view of levels’. (shrink)

Este libro ofrece a sus lectores una antología de ensayos filosóficos acerca de los asuntos que señala su título: mente, lenguaje y conocimiento. En cada uno de estos ensayos se hallan imágenes, en el sentido en el que Wittgenstein utiliza este término, que nos brindan comprensiones del mundo disímiles y contrapuestas, contrastes en donde reside la posibilidad del debate filosófico y la apertura de nuevas rutas investigativas. -/- Aunque los textos aquí reunidos pueden enmarcarse en la tradición conocida como «filosofía (...) analítica», el lector encontrará puentes hacia otras perspectivas filosóficas, como la fenomenología. De la misma manera que transposiciones con otros temas más allá de los ya anunciados, como la filosofía de la percepción, la filosofía de las matemáticas, la filosofía de la lógica o la filosofía de la religión. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

The field of AI ethics during the current and previous decade is receiving an increasing amount of attention from all involved stakeholders: the public, science, philosophy, religious organizations, enterprises, governments, and various organizations. However, this field currently lacks consensus on scope, ethico-philosophical foundations, or common methodology. This thesis aims to contribute towards filling this gap by providing an answer to the two main research questions: first, what theory can explain moral scenarios in which AI entities are participants?; and second, what (...) theory can explain the process of moral reasoning, decision and action, for AI entities in virtual, simulated and real-life moral scenarios? This thesis answers these two research questions with its two main contributions to the field of AI ethics, a substantial and a methodological contribution. The substantial contribution is a coherent and novel theory named Ethics of Systems Framework, as well as a possible inception of a new field of study: ethics of systems. The methodological contribution is the creation of its main methodological tool, the Ethics of Systems Interface. The second part of the research effort was focused on testing and demonstrating the capacities of the Ethics of Systems Framework and Interface in modeling and managing moral scenarios in which AI and other entities participate. Further work can focus on building on top of the foundations of the Framework provided here, increasing the scope of moral theories and simulated scenarios, improving the level of detail and parameters to reflect real-life situations, and field-testing the Framework on actual AI systems. (shrink)