This review of Turner’s “Computational Artifacts” focuses on one of the key novelties of the book, namely the proposal to understand the nature of computer programs as a “trinity” of specification, symbolic program, and physical process, replacing the traditional dualist views of programs as functional/structural or as symbolic/physical. This trinitarian view is found to be robust and helpful to solve typical issues of dualist views. Drawing comparisons with Simon’s view of the artifact as an interface, the author suggests that this (...) trinitarian view may characterize not only computational artifacts but also artifacts in general. One ambiguity is however noticed on the denotation of what Turner actually calls the “physical process.”. (shrink)

This paper analyzes epistemological and ontological dimensions of Human-Computer Interaction (HCI) through an analysis of the functions of computer systems in relation to their users. It is argued that the primary relation between humans and computer systems has historically been epistemic: computers are used as information-processing and problem-solving tools that extend human cognition, thereby creating hybrid cognitive systems consisting of a human processor and an artificial processor that process information in tandem. In this role, computer systems extend human cognition. Next, (...) it is argued that in recent years, the epistemic relation between humans and computers has been supplemented by an ontic relation. Current computer systems are able to simulate virtual and social environments that extend the interactive possibilities found in the physical environment. This type of relationship is primarily ontic, and extends to objects and places that have a virtual ontology. Increasingly, computers are not just information devices, but portals to worlds that we inhabit. The aforementioned epistemic and ontic relationships are unique to information technology and distinguish human-computer relationships from other human-technology relationships. (shrink)

Software-intensive science challenges in many ways our current scientific methods. This affects significantly our notion of science and scientific interpretation of the world, driving at the same time the philosophical debate. We consider some issues prompted by SIS in the light of the philosophical categories of ontology and epistemology.

This article is devoted to examining the ontological foundations of computer-generated music scores. Specifically, we focus on the categorial question, i.e., the inquiry that aims to determine the kind of ontological category that musical works belong to. This task involves considerations concerning the existence and persistence conditions for musical works, and it has consequences for the determination of what it is to compose a musical work. Our contention is that not all the possible answers to the categorial question in the (...) ontology of music are equally compatible with the hypothesis that creative music systems compose musical works. The thesis defended here is that musical Platonism is the proposal that best accommodates this hypothesis. We claim that musical Platonism is the answer to the categorial question that offers the most straightforward explanation for the possibility of considering creative music systems as genuinely composing musical works. Moreover, we uphold that the notion of creative-evaluative discovery as the characterization of what it is to compose a musical work entailed by Platonism is the simplest explanation of the process developed by a computer in producing musical works. For this purpose, we will take as empirical data the features of the Iamus computer, a system that produces musical works autonomously using evolutionary algorithms and following an evo-devo strategy. The works generated by this computer have been recorded by the London Symphony Orchestra and other renowned international soloists, and its impact has been notable in the literature (Ball, 2012; Coghlan, 2012; Berger, 2013). (shrink)

The development of computers as ‘mind tools’ has generated intriguing and provocative views about their potential human-like qualities. In this paper an attempt is made to explore the ‘real’ nature of computers by an examination of three widely different perspective, (1) the common-sense view of computers as tools; (2) the provocative view of computers as persons; and (3) the challenging view of computers as texts. In the course of the discussion an extended critique of the use of anthropomorphic terms in (...) relation to machines is conducted and the fundamental differences between human persons and machines is reasserted. (shrink)

The computational approach to psychiatric disorders, including delusions, promises explanation and treatment. Here, we argue that an information processing approach might be misleading to understand psychopathology and requires further refinement. We explore the claim of computational psychiatry being a bridge between phenomenology and physiology while focussing on the ontological commitments and corresponding methodology computational psychiatry is based on. Interconnecting ontological claims and methodological practices, the paper illustrates the structure of theory-building and testing in computational psychiatry.First, we will explain the ontological (...) commitments computational psychiatry is grounded in, theBayesian Brain hypothesis(BBH) of unconscious inference, paired with normative deontic approaches applied to gauge psychopathology. We then turn to the steps taken in empirical paradigms, from definitions, which are used as starting points, to the operationalisation and isolation of cognitive processes and hypothesis testing based on algorithmic models, to consecutive interpretations regarding the aetiology of psychiatric disorders. We outline how experimental paradigms in computational psychiatry are specifically designed to confirm aberrations in assumed inferential processes, which are thought of as being the underlyingcore invariant features.We will illustrate a gap between the ontological commitments of computational psychiatry and the operationalisation and testing of the cognition assumed to be relevant for psychopathology. This conceptual gap is of utmost importance when designing computational paradigms and may impede a crisp understanding of the approach. Lastly, in evaluating the conceptual gap, it becomes apparent that the information processing formalism used in computational psychiatry is still grounded in rational cognitive psychology. (shrink)

Digital physics claims that the entire universe is, at the very bottom, made out of bits; as a result, all physical processes are intrinsically computational. For that reason, many digital physicists go further and affirm that the universe is indeed a giant computer. The aim of this article is to make explicit the ontological assumptions underlying such a view. Our main concern is to clarify what kind of properties the universe must instantiate in order to perform computations. We analyse the (...) logical form of the two models of computation traditionally adopted in digital physics, namely, cellular automata and Turing machines. These models are computationally equivalent, but we show that they support different ontological commitments about the fundamental properties of the universe. In fact, cellular automata are compatible with a rather traditional form of physicalism, whereas Turing machines support a dualistic ontology, which could be understood as a realism about the laws of nature or, alternatively, as a kind of panpsychism. (shrink)

This paper investigates ontological dimensions of the blockchain by asking what kind of socio-technical object bitcoin is. It discusses both blockchain's political qualities and the political forms enabled by its emergence. It first observes recent approaches to the ontology of money and the political qualities of the ledgers used by the current fractional reserve banking model. It then directs the same questions at blockchain technology. The paper discusses an ontology proposed by Ole Bjerg and argues in favour of (...) a mixed-ontology approach to blockchains. It then questions the political qualities of the distributed ledger as a digital object and highlights the apparent absence of authority figures in the model. Finally, it argues that the political ontology of the blockchain can be framed as the displacement of authority from institutional actors into instrumental control of trust, in a dynamically distributed environment. (shrink)

Words are indispensable linguistic tools for beings like us. However, there is not much philosophical work done about what words really are. In this paper, I develop a new ontology for words. I argue that words are abstract artifacts that are created to fulfill various kinds of purposes, and words are abstract in the sense that they are not located in space but they have a beginning and may have an end in time given that certain conditions are met. (...) What follows from this two-fold argument is that words, from an ontological point of view, are more like musical works, fictional characters or computer programs, than numbers or sets. (shrink)

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings between (...) these scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (shrink)

Lopes (2010) offers an account of computer art, which he argues is a new art form. Part of what makes computer art distinctive, according to Lopes, is its interactivity, a quality found in few non-computer artworks. Given the rise in prominence of such artworks, most notably videogames, they are surely worthy of philosophical inquiry. I believe their ontology and properties are particularly worthy of study, as an understanding of these will prove crucial to critical understanding and evaluation of the (...) works themselves. Lopes’ account of interactive art is novel and important, but flawed, and in this essay I will discuss its flaws and suggest a better account of the properties of interactive art that builds on his work, providing a partial account of the ontology of interactive art. In Section 1, I discuss Lopes’ definition and ontology of interactive art; in Section 2, I argue that he only accounts for the properties of displays, neglecting the properties of interactive artworks themselves. In Section 3, I discuss several possible solutions for Lopes and why they are inadequate before Section 4 presents my view, that interactive artworks possess all of the properties of their varying displays because each possible display is part of the artwork. This is compatible with Lopes’ definition of interactive art, and so much of his account can be preserved, but with a refined account of the properties of interactive artworks. What I present is by no means a complete ontological study of interactive art, but hopefully lays the groundwork for future work on this ontology. (shrink)

One famous scene in The Wolf of Wall Street (2013) is the dialogue between the young Jordan Belfort (Leonardo DiCaprio) and the expert trader Mark Hanna (Matthew McConaughey). Hanna is complaining that the stock market is unpredictable; it’s “fugazi … it’s fairy dust. It doesn’t exist. It’s never landed. It is not matter. It’s not on the element chart. It’s not real”. But the fact that something is unpredictable and non-physical does not imply that it does not exist. On the (...) other hand, its unpredictability, non-physicality, and the fact that the stock market trend is largely determined by investors’ beliefs, do make its nature difficult to grasp. -/- This special issue of Rivista di Estetica aims to explore the financial sector from an ontological point of view. While the ontology of money has been extensively studied, few scholars have focused on the stock market and, more generally, on those entities belonging to the investment landscape. Matters are made more complicated by the fact that the financial sector is characterized by an ever-increasing use of digital technology, including software elements that trade in the market themselves. We believe that a careful study of this phenomenon may help us better to understand the role of artificial agents in the social world. (shrink)

The descriptions and theoretical laws scientists write down when they model a system are often false of any real system. And yet we commonly talk as if there were objects that satisfy the scientists’ assumptions and as if we may learn about their properties. Many attempt to make sense of this by taking the scientists’ descriptions and theoretical laws to define abstract or fictional entities. In this paper, I propose an alternative account of theoretical modelling that draws upon Kendall Walton’s (...) ‘make-believe’ theory of representation in art. I argue that this account allows us to understand theoretical modelling without positing any object of which scientists’ modelling assumptions are true. (shrink)

Some computational phenomena rely essentially on pragmatic considerations, and seem to undermine the independence of the specification from the implementation. These include software development, deviant uses, esoteric languages and recent data-driven applications. To account for them, the interaction between pragmatics, epistemology and ontology in computational artefacts seems essential, indicating the need to recover the role of the language metaphor. We propose a User Levels (ULs) structure as a pragmatic complement to the Levels of Abstraction (LoAs)-based structure defining the (...) class='Hi'>ontology and epistemology of computational artefacts. ULs identify a flexible hierarchy in which users bear their own semantic and normative requirements, possibly competing with the logical specification. We formulate a notion of computational act intended in its pragmatic sense, alongside pragmatic versions of implementation and correctness. (shrink)

Computational machineries dedicated to the attribution of legal responsibility should be based on (or, make use of) a stack of definitions relating the notion of legal responsibility to a number of suitably chosen causal notions. This paper presents a general analysis of legal responsibility and of causation in fact based on Hart and Honoré’s work. Some physical aspects of causation in fact are then treated within the “lite” version of DOLCE foundational ontology written in OWL-DL, a standard description logic (...) for the Semantic Web. (shrink)

We examine the philosophical disputes among computer scientists concerning methodological, ontological, and epistemological questions: Is computer science a branch of mathematics, an engineering discipline, or a natural science? Should knowledge about the behaviour of programs proceed deductively or empirically? Are computer programs on a par with mathematical objects, with mere data, or with mental processes? We conclude that distinct positions taken in regard to these questions emanate from distinct sets of received beliefs or paradigms within the discipline: – The rationalist (...) paradigm, which was common among theoretical computer scientists, defines computer science as a branch of mathematics, treats programs on a par with mathematical objects, and seeks certain, a priori knowledge about their ‘correctness’ by means of deductive reasoning. – The technocratic paradigm, promulgated mainly by software engineers and has come to dominate much of the discipline, defines computer science as an engineering discipline, treats programs as mere data, and seeks probable, a posteriori knowledge about their reliability empirically using testing suites. – The scientific paradigm, prevalent in the branches of artificial intelligence, defines computer science as a natural (empirical) science, takes programs to be entities on a par with mental processes, and seeks a priori and a posteriori knowledge about them by combining formal deduction and scientific experimentation. We demonstrate evidence corroborating the tenets of the scientific paradigm, in particular the claim that program-processes are on a par with mental processes. We conclude with a discussion in the influence that the technocratic paradigm has been having over computer science. (shrink)

The article analyzes ontological possibilities of the meaning of information setting. For this, a modern approach of information technologies is considered in relation to setting the meaning of textual information. At the same time, the problem of setting the meaning of number and the meaning of word is formulated, which is discussed from the perspective of an ontological approach based on the solution of the problem of being, where the ontology of semantics is the result of such a solution. (...) As the ontology itself, a relational ontology is chosen, the initial position of which is the thesis: “to be” means “to be distinctive”. Based on this, information is defined as the result of ontological distinction, which allows mathematical formalization through the operation of subtraction, which expresses the essence of ontological distinction. This in turn allows to build constantly a numerical order of the meanings of any information, including textual, while the meaning of the information is its place in such a numerical range. Such a method, called Relational method, leads to an exact numerical specification of the meaning of any information, and by dignity of this numerical form, the meanings of any information can be easily input into a computer with subsequent processing and operation of these senses. (shrink)

This article describes the creation of a lightweight ontology of European Union (EU) criminal procedural rights in judicial cooperation. The ontology is intended to help legal practitioners understand the precise contextual meaning of terms as well as helping to inform the creation of a rule ontology of criminal procedural rights in judicial cooperation. In particular, we started from the problem that directives sometimes do not contain articles dedicated to definitions. This issue provided us with an opportunity to (...) explore a phenomenon typically neglected in the construction of domain-specific legal ontologies. Whether classical definitions are present or absent, laws and legal sources in general are typically peppered with a number of hidden definitions (in the sense that they are not clearly marked out as such) as well as incomplete definitions, which may nevertheless help legal practitioners (and legal reasoning systems) to reason on the basis of analogy or teleology. In this article we describe the theoretical basis for building an analogical lightweight ontology in the framework of an EU project called _CrossJustice_. We present our methodology for collecting the data, extracting the data fields and creating the ontology with WebProtégé, followed by our conclusions and ideas for future work. (shrink)

This article proposes a guideline to develop an ontology of software. The first section gives a brief introduction to the importance of such ontology as a possible conceptual grounding for the philosophy of software, philosophy of computing and philosophy of information. The second section presents the background of the scope of this article in terms of both a symbolic and materialistic approach to software. The third section deploys the basic guidelines with the expositions of the two dimensions (...) of software: the serial dimension and the structural dimension. The first dimension consists of three series, while the second in the exposition of the structure of any program. The fourth and last section will deal with a better understanding of what we can call the digital universe. (shrink)

Any attempt to conceptualize, categorize and constraint foundational issues in a living science, such as Computing, is bound to show its limitations and leave a number of open issues. Taking stock with some critical reviews of Primiero (On the foundations of computing, Oxford University Press, Oxford, 2019) published in this Journal, I overview potential new problems to be investigated by a foundational analysis of the science of computing.

The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, (...) the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ?diagonal argument? and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

Persons are biological beings who participate in social environments. Is human sociality different from that of insects? Is human sociality different from that of a computer or robot with elaborate rules for social interaction in its program memory? What is the relationship between the biology of humans and the sociality of persons? I argue that persons constitute an emergent ontological level that develops out of the biological and psychological realm, but that is largely social in its own constitution. This requires (...) a characterization of the relationships between the bio/psychological and the social, and of the developmental process of emergence. It also requires a framework for modeling the bio/psychological level that makes any such emergence possible. Neither attachment theory nor information processing frameworks, for example, will do — the major orientations toward human sociality today make understanding that sociality ultimately impossible. Only an action framework, such as that of Peirce or Piaget2, suffices. (shrink)

There are many ontologies of the world or of specific phenomena such as time, matter, space, and quantum mechanics1. However, ontologies of information are rather rare. One of the reasons behind this is that information is most frequently associated with communication and computing, and not with ‘the furniture of the world’. But what would be the nature of an ontology of information? For it to be of significant import it should be amenable to formalization in a logico-grammatical formalism. (...) A candidate ontology satisfying such a requirement can be found in some of the ideas of K. Turek, presented in this paper. Turek outlines the ontology of information conceived of as a part of nature, and provides the ‘missing link’ to the Z axiomatic set theory, offering a proposal for developing a formal ontology of information both in its philosophical and logicogrammatical representations. (shrink)

There are many ontologies of the world or of specific phenomena such as time, matter, space, and quantum mechanics1. However, ontologies of information are rather rare. One of the reasons behind this is that information is most frequently associated with communication and computing, and not with ‘the furniture of the world’. But what would be the nature of an ontology of information? For it to be of significant import it should be amenable to formalization in a logico-grammatical formalism. (...) A candidate ontology satisfying such a requirement can be found in some of the ideas of K. Turek, presented in this paper. Turek outlines the ontology of information conceived of as a part of nature, and provides the ‘missing link’ to the Z axiomatic set theory, offering a proposal for developing a formal ontology of information both in its philosophical and logicogrammatical representations. (shrink)

This paper offers a review of Giuseppe Primero’s (2020) book “On the foundations of computing”_._ Mathematical, engineering, and experimental foundations of the science of computing are examined under the light of the notions of formal, physical, and experimental computational validity provided by the author. It is challenged the thesis that experimental computational validity can be defined only for the algorithmic method and not for the software development process. The notions of computational hypothesis and computational experiment provided by Primiero (...) (2020) are extended to the case of software development. Finally, it is highlighted how the hypothetical-deductive method is involved in the practice of using models to corroborate computational hypotheses in software testing. As a concluding remark, it is underlined how defining experimental computational validity in the context of software development offers a sound experimental foundation to the science of computing. (shrink)

A universal reasoning approach based on shallow semantical embeddings of higher-order modal logics into classical higher-order logic is exemplarily employed to analyze several modern variants of the ontological argument on the computer. Several novel findings are reported which contribute to the clarification of a long-standing dispute between Anderson and Hájek. The technology employed in this work, which to some degree realizes Leibniz’s dream of a characteristica universalis and a calculus ratiocinator for solving philosophical controversies, is ready to be fruitfully adopted (...) in larger scale by philosophers. (shrink)

In recent decades, the internet has become our predominant public space and yet the role of art in this space remains largely unthought. This paper argues that graphic art, and in particular digital graphic art, has great power to shape and transform our thinking and experience. But with that power comes an enormous political and ethical responsibility, a responsibility too often ignored by programmers and computer scientists. This paper uses the work of Denis Schmidt and Jacques Taminiaux as important resources (...) for developing a Heideggerian response to this lack. (shrink)

This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time. In order to make tense logic better understandable, the central formal primitives of standard tense logic are derived as theorems from an informal and intuitive ontology of time. In order to make formulation of temporal propositions easier, temporal operators that were introduced by Georg Henrik von Wright are developed, and (...) mapped to the ontology of time. (shrink)

The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, (...) the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ‘diagonal argument’ and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

A medical intervention is a medical procedure or application intended to relieve or prevent illness or injury. Examples of medical interventions include vaccination and drug administration. After a medical intervention, adverse events (AEs) may occur which lie outside the intended consequences of the intervention. The representation and analysis of AEs are critical to the improvement of public health. Description: The Ontology of Adverse Events (OAE), previously named Adverse Event Ontology (AEO), is a community-driven ontology developed to standardize (...) and integrate data relating to AEs arising subsequent to medical interventions, as well as to support computer-assisted reasoning. OAE has over 3,000 terms with unique identifiers, including terms imported from existing ontologies and more than 1,800 OAE-specific terms. In OAE, the term ‘adverse event’ denotes a pathological bodily process in a patient that occurs after a medical intervention. Causal adverse events are defined by OAE as those events that are causal consequences of a medical intervention. OAE represents various adverse events based on patient anatomic regions and clinical outcomes, including symptoms, signs, and abnormal processes. OAE has been used in the analysis of several different sorts of vaccine and drug adverse event data. (shrink)

Stein once urged us not to confuse the means of representation with that which is being represented. Yet that is precisely what philosophers of science appear to have done at the meta-level when it comes to representing the practice of science. Proponents of the so-called ‘syntactic’ view identify theories as logically closed sets of sentences or propositions and models as idealised interpretations, or ‘theoruncula, as Braithwaite called them. Adherents of the ‘semantic’ approach, on the other hand, are typically characterised as (...) taking them to be families of models that are set-theoretic, according to Suppes and others, or abstract, as Giere has argued. da Costa and French (Science and Partial Truth. OUP, Oxford, 2003) suggested that we should refrain from ontological speculation as to the nature of scientific theories and models and focus on their appropriate representation for various purposes within the philosophy of science. Such an approach allows both linguistic and non-linguistic resources to play their appropriate role (see also French and Saatsi, Philosophy of Science, Proceedings of the 2004 PSA Meeting, 78:548–559, 2006) and can be supported by recent case studies illustrating the heterogeneity of scientific practice. My aim in this paper is to further develop this ‘quietist’ view, and to indicate how it offers a fruitful way forward for the philosophy of science. (shrink)

A startling amount of intelligent activity can be controlled without reasoning or thought. By tuning the perceptual system to task relevant properties a creature can cope with relatively sophisticated environments without concepts. There is a limit, however, to how far a creature without concepts can go. Rod Brooks, like many ecologically oriented scientists, argues that the vast majority of intelligent behaviour is concept-free. To evaluate this position I consider what special benefits accrue to concept-using creatures. Concepts are either necessary for (...) certain types of perception, learning, and control, or they make those processes computationally simpler. Once a creature has concepts its capacities are vastly multiplied. (shrink)

In this paper, we examine the meta-ontology of AI systems with human-level intelligence, with us denoting such AI systems as AI E. Meta-ontology in philosophy is a discourse centered on ontology, ontological commitment, and the truth condition of ontological theories. We therefore discuss how meta-ontology is conceptualized for AI E systems. We posit that the meta-ontology of AI E systems is not concerned with computational representations of reality in the form of structures, data constructs, or (...) computational concepts, while the ontological commitment of AI E systems is directed toward what exists in the outside world. Furthermore, the truth condition of the ontology (which is meta-ontological assumption) of AI E systems does not require consistency with closed conceptual schema or ontological theories but rather with reality, or in other words, “what is the world” (Smith, 2019, p.57). In addition, the truth condition of AI E systems is verified through operational success rather than by coherence with theories. This work builds on ontological postulates about AI systems that were formulated by Brian Cantwell Smith (2019). (shrink)

This paper reviews the contemporary discussion on the epistemological and ontological effects of Big Data within social science, observing an increased focus on relationality and complexity, and a tendency to naturalize social phenomena. The epistemic limits of this emerging computational paradigm are outlined through a comparison with the discussions in the early days of digitalization, when digital technology was primarily seen through the lens of dematerialization, and as part of the larger processes of “postmodernity”. Since then, the online landscape has (...) become increasingly centralized, and the “liquidity” of dematerialized technology has come to empower online platforms in shaping the conditions for human behavior. This contrast between the contemporary epistemological currents and the previous philosophical discussions brings to the fore contradictions within the study of digital social life: While qualitative change has become increasingly dominant, the focus has gone towards quantitative methods; while the platforms have become empowered to shape social behavior, the focus has gone from social context to naturalizing social patterns; while meaning is increasingly contested and fragmented, the role of hermeneutics has diminished; while platforms have become power hubs pursuing their interests through sophisticated data manipulation, the data they provide is increasingly trusted to hold the keys to understanding social life. These contradictions, we argue, are partially the result of a lack of philosophical discussion on the nature of social reality in the digital era; only from a firm metatheoretical perspective can we avoid forgetting the reality of the system under study as we are affected by the powerful social life of Big Data. (shrink)

Three variants of Kurt Gödel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and Melvin Fitting, are encoded and rigorously assessed on the computer. In contrast to Scott's version of Gödel's argument the two variants contributed by Anderson and Fitting avoid modal collapse. Although they appear quite different on a cursory reading they are in fact closely related. This has been revealed in the computer-supported formal analysis presented in this article. Key to our formal analysis is the utilization of (...) suitably adapted notions of ultrafilters, and a careful distinction between extensions and intensions of positive properties. (shrink)

The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer science. This book presents an approach to the subject that is centered upon the notion of computational artefact. It provides an analysis of the things of computer science as technical artefacts. Seeing them in this way enables the application of the analytical tools and concepts from the philosophy of technology to the technical artefacts of computer science. With (...) this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the nature of correctness, computational ontology and abstraction, formal methods, computational epistemology and explanation, the methodology of computer science, and the nature of computation. The book will be of value to philosophers and computer scientists. (shrink)

This review essay analyzes the book by Giuseppe Primiero, On the foundations of computing. Oxford: Oxford University Press (ISBN 978-0-19-883564-6/hbk; 978-0-19-883565-3/pbk). xix, 296 p. (2020). It gives a critical view from the perspective of physical computing as a foundation of computing and argues that the neglected pillar of material computation (Stepney) should be brought centerstage and computing recognized as the fourth great domain of science (Denning).

We describe on-going work on IAO-Intel, an information artifact ontology developed as part of a suite of ontologies designed to support the needs of the US Army intelligence community within the framework of the Distributed Common Ground System (DCGS-A). IAO-Intel provides a controlled, structured vocabulary for the consistent formulation of metadata about documents, images, emails and other carriers of information. It will provide a resource for uniform explication of the terms used in multiple existing military dictionaries, thesauri and metadata (...) registries, thereby enhancing the degree to which the content formulated with their aid will be available to computational reasoning. (shrink)

In 2009 Dutch judges convicted several minors for theft of virtual items in the virtual worlds of online multiplayer computer games. From a legal point of view these convictions gave rise to the question whether virtual items should count as “objects” that can be “stolen” under criminal law. This legal question has both an ontological and a moral component. The question whether or not virtual items count as “objects” that can be “stolen” is an ontological question. The question whether or (...) not they should count as such under criminal law is of a moral nature. The purpose of this paper is to answer both the ontological question and the moral question underlying the legal question. (shrink)

Computational models of affect (CMAS), in their most common form, cannot take into account the qualitative (phenomenal) dimension of affect itself. Their expressivity can be extended, thus promoting the much sought-after standardization in the most theory-neutral way, using OWL (Web Ontology Language) and machine learning techniques. OWL is an expressive formal language, as well as an established open standard, and can be used to describe the models, possibly including qualitative entities at the fundamental level. The supervised machine learning techniques (...) allow the direct learning and application of models described as OWL ontologies. Thanks to human supervision (e.g. using datasets labeled by a human user), they can take into account the qualitative dimension of affect when the models warrant it. To further promote the aforementioned standardization, the task of classifying texts according to their affective content (known in computer science as "sentiment analysis") can be recommended as a way to assess the performance of the models. It is a multifaceted task, in which usually divergent fields as philosophy, psychology and computer science meet. Moreover, since it is a very current task in computer science, there are many resources available to facilitate the development of a standard benchmark for CMAS. (shrink)

During the Nineties, the diffusion of information and communication technologies allowed a dramatic transformation in art practices. Radically new aesthetic experiences, such as tele-presence, immersivity, responsivity, hyper-mediacy and multimediality, emerge in the framework of the digital arts and call into question not only the traditional status of the work of art but also the fundamental relation with the beholder. The aim of this paper is to define a conceptual framework for the ontology of digital arts by identifying some ontological (...) features that are distinctive to digital idioms. Such an analysis tries to outline how aesthetic and technical innovations affect our cognitive and sensorial relationship with technological artifacts. In the first part, the relation between technogenesis and ontology, as well as the key topics of the ontology of digital arts are discussed. The second part deals with the notion of presence. Despite traditional understandings of digital arts, mainly focused on immateriality, simulation and mediation, my analysis demonstrate how the notion of presence can provide an original perspective in order to understand the ontological status of the mediatized artistic practices. In the last three decades the generalisation of information and telecommunication technologies has played a major role in the transformation of the arts, opening the field to important experiments in the domain of computer graphics, digital audio, robotics and motion capture systems… (Dixon 2007). Peculiar forms of aesthetic experience such as tele-presence, immersivity, responsivity, hyper-mediation and multimediality, progressively arise from digital arts and question not only the status of artwork but also, more generally, the foundational relationship between this latter and the recipient. (shrink)

This article argues that agent-based modeling is the methodological implication of Lawson’s championed ontological turn in economics. We single out three major properties of agent-based computational economics, namely, autonomous agents, social interactions, and the micro-macro links, which have been well accepted by the ACE community. We then argue that ACE does make a full commitment to the ontology of economics as proposed by Lawson, based on his prompted critical realism. Nevertheless, the article also points out the current limitations or (...) constraints of ACE. Efforts to overcome them are deemed to be crucial before ACE can make itself more promising to the current ontological turn in economics. (shrink)

The emergence of the new information economy hascomplicated jurisdictional issues in commerce andcrime. Many of these difficulties are simplyextensions of problems that arose due to other media.Telephones and fax machines had already complicatedjurists'' determinations of applicable laws. Evenbefore the Internet, contracts were often negotiatedwithout any face-to-face contact – entirely bytelephone and fax. Where is such a contractnegotiated? The answer to this question is critical toany litigation that may arise over such contracts. Thelaws of contract are often quite different from onejurisdiction (...) to the next.The Internet has brought with it new forms ofcommunication which make determining the loci of actseven more complicated. Where are contracts negotiatedwhen they are negotiated in cyberspace? Business isbeing conducted in chat rooms, on web sites, andthrough e-mail. Each of these is technically distinctfrom telephones and fax machines. More importantly,these tools seem ontologically different, in varyingdegrees, from traditional methods of communication.The question is, are these ontological differencessufficient to warrant new legal notions ofjurisdiction in cyberspace?Only a thorough ontological analysis of the parts ofcyberspace and acts ``in'''' it can reveal the answers tothe legal questions posed by this new medium.Traditional legal analyses have relied, in part, on acrude legal ontology. That is, courts have grappledwith notions of the topology and mereology of theworld and legal objects when considering questions ofjurisdiction. There is a simpler, theoretically soundmethod for determining legal jurisdiction which isbased upon the notion of ``purposeful direction,'''' andwhich treats computer-mediated transactions as justanother form of communication. I will explore thatmethod below. (shrink)

This article provides a survey of key papers that characterise computable functions, but also provides some novel insights as follows. It is argued that the power of algorithms is at least as strong as functions that can be proved to be totally computable in type-theoretic translations of subsystems of second-order Zermelo Fraenkel set theory. Moreover, it is claimed that typed systems of the lambda calculus give rise naturally to a functional interpretation of rich systems of types and to a hierarchy (...) of ordinal recursive functionals of arbitrary type that can be reduced by substitution to natural number functions. (shrink)