A large text presents the history of Computer Art. The history of the artistic uses of computers and computing processes is reconstructed from its beginnings in the fifties to its present state. It points out hypertextual, modular and generative modes to use computing processes in Computer Art and features examples of early developments in media like cybernetic sculptures, video tools, computer graphics and animation (including music videos and demos), video and computer games, pervasive games, reactive installations, virtual (...) reality, evolutionary art and net art. The functions of relevant art works are explained more detailed than is usual in such histories. From October 2011 to December 2012 the chapters have been published successively in German (The English translation started in August 2013 and was completed in June 2014). (shrink)

The development of the use of computers and software in art from the Fifties to the present is explained. As general aspects of the history of computer art an interface model and three dominant modes to use computational processes (generative, modular, hypertextual) are presented. The "History of Computer Art" features examples of early developments in media like cybernetic sculptures, computer graphics and animation (including music videos and demos), video and computer games, reactive installations, virtual reality, evolutionary art (...) and net art. The functions of relevant art works are explained more detailed than usual in such histories. The second edition for the Book on Demand (Lulu Press, 2020) includes an update of chapter II.1.1 (first edition 2014). (shrink)

Simulation models of the Reiterated Prisoner's Dilemma have been popular for studying the evolution of cooperation since more than 30 years now. However, there have been practically no successful instances of empirical application of any of these models. At the same time this lack of empirical testing and confirmation has almost entirely been ignored by the modelers community. In this paper, I examine some of the typical narratives and standard arguments with which these models are justified by their authors despite (...) the lack of empirical validation. I find that most of the narratives and arguments are not at all compelling. None the less they seem to serve an important function in keeping the simulation business running despite its empirical shortcomings. (shrink)

Simulation models of the Reiterated Prisoner's Dilemma have been popular for studying the evolution of cooperation since more than 30 years now. However, there have been practically no successful instances of empirical application of any of these models. At the same time this lack of empirical testing and confirmation has almost entirely been ignored by the modelers community. In this paper, I examine some of the typical narratives and standard arguments with which these models are justified by their authors despite (...) the lack of empirical validation. I find that most of the narratives and arguments are not at all compelling. None the less they seem to serve an important function in keeping the simulation business running despite its empirical shortcomings. (shrink)

The History of Ideas is presently enjoying a certain renaissance after a long period of disrepute. Increasing quantities of digitally available historical texts and the availability of computational tools for the exploration of such masses of sources, it is suggested, can be of invaluable help to historians of ideas. The question is: how exactly? In this paper, we argue that a computational history of ideas is possible if the following two conditions are satisfied: (i) Sound Method . A (...) computational history of ideas must be built upon a sound theoretical foundation for its methodology, and the only such foundation is given by the use of models , i.e., fully explicit and revisable interpretive frameworks or networks of concepts developed by the historians of ideas themselves. (ii) Data Organisation. Interpretive models in our sense must be seen as topic-specific knowledge organisation systems (KOS) implementable (i.e. formalisable) as e.g. computer science ontologies. We thus require historians of ideas to provide explicitly structured semantic framing of domain knowledge before investigating texts computationally, and to constantly re-input findings from the interpretive point of view. In this way, a computational history of ideas maximally profits from computer methods while also keeping humanities experts in the loop. We elucidate our proposal with reference to a model of the notion of axiomatic science in 18th -19th century Europe. (shrink)

There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.

Community detection is a major issue in network analysis. This paper combines a socio-historical approach with an experimental reconstruction of programs to investigate the early automation of clique detection algorithms, which remains one of the unsolved NP-complete problems today. The research led by the archaeologist Jean-Claude Gardin from the 1950s on non-numerical information and graph analysis is retraced to demonstrate the early contributions of social sciences and humanities. The limited recognition and reception of Gardin's innovative computer application to the humanities (...) are addressed through two factors, in addition to the effects of historiography and bibliographies on the recording, discoverability, and reuse of scientific productions: (1) funding policies, evidenced by the transfer of research effort on graph applications from temporary interdisciplinary spaces to disciplinary organizations related to the then-emerging field of computer science; and (2) the erratic careers of algorithms, in which efficiency, flaws, corrections, and authors’ status, were determining factors. (shrink)

In this paper, we wish to highlight, within the general cultural context, some possible elementary computational psychoanalysis formalizations concerning Matte Blanco’s bi-logic components through certain very elementary mathematical tools and notions drawn from theoretical physics and algebra. NOTE: This is the corrected version of the paper which had to be published but that instead has been wrongly uploaded in the related published proceedings.

Human biological memory systems have adapted to use technological artifacts to overcome some of the limitations of these systems. For example, when performing a difficult calculation, we use pen and paper to create and store external number symbols; when remembering our appointments, we use a calendar; when remembering what to buy, we use a shopping list. This chapter looks at the history of memory artifacts, describing the evolution from cave paintings to virtual reality. It first characterizes memory artifacts, memory (...) systems, and the two main functions such artifacts have, which are to aid individual users in completing memory tasks and as a cultural inheritance channel (section 2). It then outlines some of our first symbolic practices such as making cave paintings and figurines, and then moves on to outline several key developments in external representational systems and the artifacts that support these such as written language, numeral systems and counting devices, diagrams and maps, measuring devices, libraries and archives, photographs, analogue and digital computational artifacts, the World Wide Web, virtual reality, and smartphones (section 3). After that, it makes some brief points about the cumulative nature of the cultural evolution of memory artifacts and speculates about the possible future of memory artifacts, arguing that it is very difficult to look beyond an epistemological horizon of more than five years (section 4). (shrink)

Digital ethics, also known as computer ethics or information ethics, is now a lively field that draws a lot of attention, but how did it come about and what were the developments that lead to its existence? What are the traditions, the concerns, the technological and social developments that pushed digital ethics? How did ethical issues change with digitalisation of human life? How did the traditional discipline of philosophy respond? The article provides an overview, proposing historical epochs: ‘pre-modernity’ prior to (...) digital computation over data, via the ‘modernity’ of digital data processing to our present ‘post-modernity’ when not only the data is digital, but our lives themselves are largely digital. In each section, the situation in technology and society is sketched, and then the developments in digital ethics are explained. Finally, a brief outlook is provided. (shrink)

This essay critically examines the implications of digital technology on philosophy, applying Walter Benjamin's analysis of art in the mechanical age to the digital reproduction of philosophical texts. It identifies three core transformations: enhanced accessibility, global dissemination, and facilitated scholarly collaboration, brought forth by the advent of digital humanities. The discussion extends to the challenges digital mediums pose to the traditional "aura" of texts, the democratization of philosophical engagement, and the exacerbation of a digital divide among scholars. Through a nuanced (...) critique, the essay advocates for a balanced approach to digital scholarship in philosophy, emphasizing the need to harness digital tools judiciously while addressing the digital divide. This analysis contributes to the ongoing discourse on the digital history of philosophy, highlighting the complex interplay between technology and philosophical practice. (shrink)

The use of computational tools in the humanities for science 2.0 practices is steadily increasing. This paper examines current research practices of a group of philosophers studying the history of philosophical concepts. We explain the methodology and workflow of these philosophers and provide an overview of tools they currently use in their research. The case study highlights a number of fundamental challenges facing these researchers, including: (i) accessing known relevant research content or resources; (ii) discovering new research content or (...) data; (iii) working collaboratively rather than individually. We propose a mash-up of search, visualization, and awareness tools addressing these challenges and discuss the design of the mash-up, its implementation, and evaluation with the target users. Through our case study, we demonstrate the benefits of a user-centered design approach, as well as the benefits of the concrete mash-up for historians of philosophy, and, importantly, the limitations of these tools for conducting historical and philosophical research. (shrink)

Critics of the computational connectionism of the last decade suggest that it shares undesirable features with earlier empiricist or associationist approaches, and with behaviourist theories of learning. To assess the accuracy of this charge the works of earlier writers are examined for the presence of such features, and brief accounts of those found are given for Herbert Spencer, William James and the learning theorists Thorndike, Pavlov and Hull. The idea that cognition depends on associative connections among large networks of neurons (...) is indeed one with precedents, although the implications of this for psychological issues have been interpreted variously — not all versions of connectionism are alike. (shrink)

Scientists and engineers seek to understand how real-world systems work and could work better. Any modeling method devised for such purposes must simplify reality. Ideally, however, the modeling method should be flexible as well as logically rigorous; it should permit model simplifications to be appropriately tailored for the specific purpose at hand. Flexibility and logical rigor have been the two key goals motivating the development of Agent-based Computational Economics (ACE), a completely agent-based modeling method characterized by seven specific modeling principles. (...) This perspective provides an overview of ACE, a brief history of its development, and its role within a broader spectrum of experiment-based modeling methods. (shrink)

In an attempt to determine the epistemic status of computer simulation results, philosophers of science have recently explored the similarities and differences between computer simulations and experiments. One question that arises is whether and, if so, when, simulation results constitute novel empirical data. It is often supposed that computer simulation results could never be empirical or novel because simulations never interact with their targets, and cannot go beyond their programming. This paper argues against this position by examining whether, and under (...) what conditions, the features of empiricality and novelty could be displayed by computer simulation data. I show that, to the extent that certain familiar measurement results have these features, so can some computer simulation results. (shrink)

Recent authors hold that the role of historical scholarship within contemporary philosophical practice is to question current assumptions, to expose vestiges or to calibrate intuitions. On these views, historical scholarship is dispensable, since these roles can be achieved by nonhistorical methods. And the value of historical scholarship is contingent, since the need for the role depends on the presence of questionable assumptions, vestiges or comparable intuitions. In this paper I draw an analogy between scientific and philosophical practice, in order to (...) float one role for historical scholarship that is nonreplicable and noncontingent. It has long been acknowledged that cognitive values – features of theories that facilitate understanding, such as ontological parsimony, ideological simplicity, computational ease and fecundity – play a key role within science. The role of some of these values within philosophy also has received attention but left understudied are the values of novelty and conservativeness. These values influence theory choice, the selection of methodology, the setting of research agenda, and the presentation of results; and are best assessed with a historically informed evaluation. This role for historical scholarship is not replicable by nonhistorical methods, and is not contingent on the presence of questionable assumptions, vestiges or comparable intuitions. (shrink)

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue (...) to be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

To study climate change, scientists employ computer models, which approximate target systems with various levels of skill. Given the imperfection of climate models, how do scientists use simulations to generate knowledge about the causes of observed climate change? Addressing a similar question in the context of biological modelling, Levins (1966) proposed an account grounded in robustness analysis. Recent philosophical discussions dispute the confirmatory power of robustness, raising the question of how the results of computer modelling studies contribute to the body (...) of evidence supporting hypotheses about climate change. Expanding on Staley’s (2004) distinction between evidential strength and security, and Lloyd’s (2015) argument connecting variety-of-evidence inferences and robustness analysis, I address this question with respect to recent challenges to the epistemology robustness analysis. Applying this epistemology to case studies of climate change, I argue that, despite imperfections in climate models, and epistemic constraints on variety-of-evidence reasoning and robustness analysis, this framework accounts for the strength and security of evidence supporting climatological inferences, including the finding that global warming is occurring and its primary causes are anthropogenic. (shrink)

Review of: Margaret A. Boden, Mind as Machine: A History of Cognitive Science, 2 vols, Oxford: Oxford University Press, 2006, xlvii+1631, cloth $225, ISBN 0-19-924144-9. - Mind as Machine is Margaret Boden’s opus magnum. For one thing, it comes in two massive volumes of nearly 1700 pages, ... But it is not just the opus magnum in simple terms of size, but also a truly crowning achievement of half a century’s career in cognitive science.

Argument mapping is a way of diagramming the logical structure of an argument to explicitly and concisely represent reasoning. The use of argument mapping in critical thinking instruction has increased dramatically in recent decades. This paper overviews the innovation and provides a procedural approach for new teaches wanting to use argument mapping in the classroom. A brief history of argument mapping is provided at the end of this paper.

This paper presents folk impressions of the University of Manchester’s difficulties in becoming a great university, but by means of a fiction imitating a distinguished writer from the Indian subcontinent. The impressions concern past efforts and the difficulties they faced.

I argue that Stich's Syntactic Theory of Mind (STM) and a naturalistic narrow content functionalism run on a Language of Though story have the same exact structure. I elaborate on the argument that narrow content functionalism is either irremediably holistic in a rather destructive sense, or else doesn't have the resources for individuating contents interpersonally. So I show that, contrary to his own advertisement, Stich's STM has exactly the same problems (like holism, vagueness, observer-relativity, etc.) that he claims plague content-based (...) psychologies. So STM can't be any better than the Representational Theory of Mind (RTM) in its prospects for forming the foundations of a scientifically respectable psychology, whether or not RTM has the problems that Stich claims it does. (shrink)

Argumentation schemes can be described as abstract structures representing the most generic types of argument, constituting the building blocks of the ones used in everyday reasoning. This paper investigates the structure, classification, and uses of such schemes. Three goals are pursued: 1) to describe the schemes, showing how they evolved and how they have been classified in the traditional and the modern theories; 2) to propose a method for classifying them based on ancient and modern developments; and 3) to outline (...) and show how schemes can be used to describe and analyze or produce real arguments. To this purpose, we will build on the traditional distinctions for building a dichotomic classification of schemes, and we will advance a modular approach to argument analysis, in which different argumentation schemes are combined together in order to represent each step of reasoning on which a complex argument relies. Finally, we will show how schemes are applied to formal systems, focusing on their applications to Artificial Intelligence, AI & Law, argument mining, and formal ontologies. (shrink)

The lunar Three-Body problem is a famously intractable problem of Newtonian mechanics. The demand for accurate predictions of lunar motion led to practical approximate solutions of great complexity, constituted by trigonometric series with hundreds of terms. Such considerations meant there was demand for high speed machine computation from astronomers during the earliest stages of computer development. One early innovator in this regard was Wallace J. Eckert, a Columbia University professor of astronomer and IBM researcher. His work illustrates some interesting features (...) of the interaction between computers and astronomy. (shrink)

This paper makes a novel linkage between the multiple-computations theorem in philosophy of mind and Landauer’s principle in physics. The multiple-computations theorem implies that certain physical systems implement simultaneously more than one computation. Landauer’s principle implies that the physical implementation of “logically irreversible” functions is accompanied by minimal entropy increase. We show that the multiple-computations theorem is incompatible with, or at least challenges, the universal validity of Landauer’s principle. To this end we provide accounts of both ideas in terms of (...) low-level fundamental concepts in statistical mechanics, thus providing a deeper understanding of these ideas than their standard formulations given in the high-level terms of thermodynamics and cognitive science. Since Landauer’s principle is pivotal in the attempts to derive the universal validity of the second law of thermodynamics in statistical mechanics, our result entails that the multiple-computations theorem has crucial implications with respect to the second law. Finally, our analysis contributes to the understanding of notions, such as “logical irreversibility,” “entropy increase,” “implementing a computation,” in terms of fundamental physics, and to resolving open questions in the literature of both fields, such as: what could it possibly mean that a certain physical process implements a certain computation. (shrink)

What is philosophy of science? Numerous manuals, anthologies or essays provide carefully reconstructed vantage points on the discipline that have been gained through expert and piecemeal historical analyses. In this paper, we address the question from a complementary perspective: we target the content of one major journal of the field—Philosophy of Science—and apply unsupervised text-mining methods to its complete corpus, from its start in 1934 until 2015. By running topic-modeling algorithms over the full-text corpus, we identified 126 key research topics (...) that span across 82 years. We also tracked their evolution and fluctuating significance over time in the journal articles. Our results concur with and document known and lesser-known episodes of the philosophy of science, including the rise and fall of logic and language-related topics, the relative stability of a metaphysical and ontological questioning (space and time, causation, natural kinds, realism), the significance of epistemological issues about the nature of scientific knowledge as well as the rise of a recent philosophy of biology and other trends. These analyses exemplify how computational text-mining methods can be used to provide an empirical large-scale and data-driven perspective on the history of philosophy of science that is complementary to other current historical approaches. (shrink)

The relationship between archaeology and other sciences has only recently become a research topic for sociologists and historians of science. From the 1950s to the present day, different approaches have been taken and the aims of research studies have changed considerably. Besides methodological textbooks, which aim at advancing archaeological knowledge, historians of archaeology have tackled this question by exploring the development of archaeology as a scientific discipline. More recently, collaborations between archaeologists and other scientists have been examined as a general (...) phenomenon regarding transfers of knowledge and power relationships between specialists, organizations, and scientific tools, where archaeology is considered as a scientific practice. Adopting a sociohistorical perspective, this entry examines the specificity of aims, facts, and procedures shared by archaeologists and other scientists regarding the crucial question of measuring time and computations. (shrink)

The discipline of ontology has enjoyed a checkered history since 1606, with a significant expansion in recent years. We focus here on those developments in the recent history of philosophy which are most relevant to the understanding of the increased acceptance of ontology, and especially of realist ontology, as a valuable method also outside the discipline of philosophy.

Throughout what is now the more than 50-year history of the computer many theories have been advanced regarding the contribution this machine would make to changes both in the structure of society and in ways of thinking. Like other theories regarding the future, these should also be taken with a pinch of salt. The history of the development of computer technology contains many predictions which have failed to come true and many applications that have not been foreseen. While (...) we must reserve judgment as to the question of the impact on the structure of society and human thought, there is no reason to wait for history when it comes to the question: what are the properties that could give the computer such far-reaching importance? The present book is intended as an answer to this question. The fact that this is a theoretical analysis is due to the nature of the subject. No other possibilities are available because such a description of the properties of the computer must be valid for any kind of application. An additional demand is that the description should be capable of providing an account of the properties which permit and limit these possible applications, just as it must make it possible to characterize a computer as distinct from a) other machines whether clocks, steam engines, thermostats, or mechanical and automatic calculating machines, b) other symbolic media whether printed, mechanical, or electronic and c) other symbolic languages whether ordinary languages, spoken or written or formal languages. This triple limitation, however, (with regard to other machines, symbolic media and symbolic languages) raises a theoretical question as it implies a meeting between concepts of mechanical-deterministic systems, which stem from mathematical physics, and concepts of symbolic systems which stem from the description of symbolic activities common to the humanities. The relationship between science and the humanities has traditionally been seen from a dualistic perspective, as a relationship between two clearly separate subject areas, each studied on its own set of premises and using its own methods. In the present case, however, this perspective cannot be maintained since there is both a common subject area and a new - and specific - kind of interaction between physical and symbolic processes. (shrink)

According to a 17th-century European fantasy, certain sponges were used in the South Seas to record and transmit sound. A message spoken into one of these sponges would be exactly replayed when a recipient squeezed it appropriately, even across great distances in time and space. It's hard for us to remember just how magical it is, in a natural world made up solely of warring elements, that any information can be enduringly stored, transported without distortion, and precisely reproduced. Our lives (...) are irretrievably tangled with artificial systems which keep their contents ordered and immune from melding, and we trust that our computers won't creatively blend our files overnight. But despite our best efforts to tidy our own minds, the blurry and insistently productive operations of human memory, in contrast, often resist both control and understanding. (shrink)

Review of F. Bocchi and P. Denley (eds.), Proceedings of the Seventh International Congress of the Association for History & Computing.

his article will focus on the mechanistic origins of the computer metaphor, which forms the conceptual framework for the methodology of the cognitive sciences, some areas of artificial intelligence and the philosophy of mind. The connection between the history of computing technology, epistemology and the philosophy of mind is expressed through the metaphorical dictionaries of the philosophical discourse of a particular era. The conceptual clarification of this connection and the substantiation of the mechanistic components of the computer metaphor is (...) the main goal of this article. The statement is substantiated that the invention of mechanical computing devices, having a long history in the European engineering tradition, formed the prerequisites for the emergence of machine functionalism in the modern philosophy of mind. The idea of multiple implementation stems from the principle that a formal symbol system prescribes rules for the use of rational abstractions through the physical architecture of a computational engine. The article considers the reasons for the conceptual shift and reveals the semantic foundations for the metaphorical transfer of the properties of abstract objects from the theory of automata to the field of modern philosophy of mind. The criticism and ways of protecting the philosophical program of machine functionalism are analyzed by changing the content of the metaphor “Mind as machine”. The reasons for the stability of the information-computer approach in cognitive sciences are also disclosed and explained. (shrink)

Intra-molecular connectivity (that is, chemical structure) does not emerge from computations based on fundamental quantum-mechanical principles. In order to compute molecular electronic energies (of C 3 H 4 hydrocarbons, for instance) quantum chemists must insert intra-molecular connectivity “by hand.” Some take this as an indication that chemistry cannot be reduced to physics: others consider it as evidence that quantum chemistry needs new logical foundations. Such discussions are generally synchronic rather than diachronic —that is, they neglect ‘historical’ aspects. However, systems of (...) interest to chemists generally are metastable . In many cases chemical systems of a given elemental composition may exist in any one of several different metastable states depending on the history of the system. Molecular structure generally depends on contingent historical circumstances of synthesis and separation, rather than solely or mainly on relative energies of alternative stable states, those energies in turn determined by relationships among components. Chemical structure is usually ‘kinetically-determined’ rather than ‘thermodynamically-determined.’ For instance, cyclical hydrocarbon ring-systems (as in cyclopropene) are produced only in special circumstances. Adequate theoretical treatments must take account of the persistent effects of such contingent historical events whenever they are relevant—as they generally are in chemistry. (shrink)

Epstein and Carnielli's fine textbook on logic and computability is now in its second edition. The readers of this journal might be particularly interested in the timeline `Computability and Undecidability' added in this edition, and the included wall-poster of the same title. The text itself, however, has some aspects which are worth commenting on.

Focusing on the history of prehistoric archaeology in the 20th century, this papers shows (1) that statistical multidimensional analyses were carried out by a new kind of actors who challenged the previous common language shared by prehistorians. This fundamental change was important, considering that (2) language is a fundamental point for the epistemology of archaeology. However, a comparison of multidimensional analyses applications over time shall make clear that (3) the differences are mostly a generational matter: the transmission processes between (...) them will be addressed. (shrink)

The most cursory examination of the history of artificial intelligence highlights numerous egregious claims of its researchers, especially in relation to a populist form of ‘strong’ computationalism which holds that any suitably programmed computer instantiates genuine conscious mental states purely in virtue of carrying out a specific series of computations. The argument presented herein is a simple development of that originally presented in Putnam’s (Representation & Reality, Bradford Books, Cambridge in 1988 ) monograph, “Representation & Reality”, which if correct, (...) has important implications for turing machine functionalism and the prospect of ‘conscious’ machines. In the paper, instead of seeking to develop Putnam’s claim that, “everything implements every finite state automata”, I will try to establish the weaker result that, “everything implements the specific machine Q on a particular input set ( x )”. Then, equating Q ( x ) to any putative AI program, I will show that conceding the ‘strong AI’ thesis for Q (crediting it with mental states and consciousness) opens the door to a vicious form of panpsychism whereby all open systems, (e.g. grass, rocks etc.), must instantiate conscious experience and hence that disembodied minds lurk everywhere. (shrink)

This paper concerns “human symbolic output,” or strings of characters produced by humans in our various symbolic systems; e.g., sentences in a natural language, mathematical propositions, and so on. One can form a set that consists of all of the strings of characters that have been produced by at least one human up to any given moment in human history. We argue that at any particular moment in human history, even at moments in the distant future, this set (...) is finite. But then, given fundamental results in recursion theory, the set will also be recursive, recursively enumerable, axiomatizable, and could be the output of a Turing machine. We then argue that it is impossible to produce a string of symbols that humans could possibly produce but no Turing machine could. Moreover, we show that any given string of symbols that we could produce could also be the output of a Turing machine. Our arguments have implications for Hilbert’s sixth problem and the possibility of axiomatizing particular sciences, they undermine at least two distinct arguments against the possibility of Artificial Intelligence, and they entail that expert systems that are the equals of human experts are possible, and so at least one of the goals of Artificial Intelligence can be realized, at least in principle. (shrink)

Practical quantum computing devices and their applications to AI in particular are presently mostly speculative. Nevertheless, questions about whether this future technology, if achieved, presents any special ethical issues are beginning to take shape. As with any novel technology, one can be reasonably confident that the challenges presented by "quantum AI" will be a mixture of something new and something old. Other commentators (Sevilla & Moreno 2019), have emphasized continuity, arguing that quantum computing does not substantially affect approaches to value (...) alignment methods for AI, although they allow that further questions arise concerning governance and verification of quantum AI applications. In this brief paper, we turn our attention to the problem of identifying as-yet-unknown discontinuities that might result from quantum AI applications. Wise development, introduction, and use of any new technology depends on successfully anticipating new modes of failure for that technology. This requires rigorous efforts to break systems in protected sandboxes, and it must be conducted at all stages of technology design, development, and deployment. Such testing must also be informed by technical expertise but cannot be left solely to experts in the technology because of the history of failures to predict how non-experts will use or adapt to new technologies. This interplay between experts and non-experts may be particularly acute for quantum AI because quantum mechanics is notoriously difficult to understand. (As Richard Feynman quipped, "Anyone who claims to understand quantum mechanics is either lying or crazy.") We will discuss the extent to which the difficulties in understanding the physics underlying quantum computing challenges attempts to anticipate new failure modes that might be introduced in AI applications intended for unsupervised operation in the public sphere. (shrink)

Human innovation is the basis of human survival and development, and scientific and technological innovation are the precursors of industrial evolution. What is the role of cognition in innovative activity? What are the characteristics of the process of its development in a creative environment? This paper proposes the internal mechanism of class creation as an innovative activity from the point of view of industrial evolution and argues that class creation occurs on the basis of cognition. Taking the history of (...) the computer industry as an example, the paper analyses the position of class creation in the process of technological innovation and discusses the role of cognitive activities in the innovation process. It is pointed out that various class-creation activities are the important reasons that drive the evolution of the computer industry. (shrink)

The work done in the philosophy of modeling by Vaihinger (1876), Craik (1943), Rosenblueth and Wiener (1945), Apostel (1960), Minsky (1965), Klaus (1966) and Stachowiak (1973) is still almost completely neglected in the mainstream literature. However, this work seems to contain original ideas worth to be discussed. For example, the idea that diverse functions of models can be better structured as follows: in fact, models perform only a single function – they are replacing their target systems, but for different purposes. (...) Another example: the idea that all of cognition is cognition in models or by means of models. Even perception, reflexes and instincts (animal and human) can be best analyzed as modeling. The paper presents an analysis of the above-mentioned work. (shrink)

Advancements in computing, instrumentation, robotics, digital imaging, and simulation modeling have changed science into a technology-driven institution. Government, industry, and society increasingly exert their influence over science, raising questions of values and objectivity. These and other profound changes have led many to speculate that we are in the midst of an epochal break in scientific history. -/- This edited volume presents an in-depth examination of these issues from philosophical, historical, social, and cultural perspectives. It offers arguments both for and (...) against the epochal break thesis in light of historical antecedents. Contributors discuss topics such as: science as a continuing epistemological enterprise; the decline of the individual scientist and the rise of communities; the intertwining of scientific and technological needs; links to prior practices and ways of thinking; the alleged divide between mode-1 and mode-2 research methods; the commodification of university science; and the shift from the scientific to a technological enterprise. Additionally, they examine the epochal break thesis using specific examples, including the transition from laboratory to real world experiments; the increased reliance on computer imaging; how analog and digital technologies condition behaviors that shape the object and beholder; the cultural significance of humanoid robots; the erosion of scientific quality in experimentation; and the effect of computers on prediction at the expense of explanation. -/- Whether these events represent a historic break in scientific theory, practice, and methodology is disputed. What they do offer is an important occasion for philosophical analysis of the epistemic, institutional and moral questions affecting current and future scientific pursuits. (shrink)

Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda calculus at the hands of Church, Kleene, and Rosser. Church and his students studied Gödel 1931, and Gödel taught a (...) seminar at Princeton in 1934. Seen in the historical context, Gödel was an important catalyst for the emergence of computability theory in the mid 1930s. (shrink)

Background: how mind functions is subject to continuing scientific discussion. A simplistic approach says that, since no convincing way has been found to model subjective experience, mind cannot exist. A second holds that, since mind cannot be described by classical physics, it must be described by quantum physics. Another perspective concerns mind's hypothesized ability to interact with the world of quanta: it should be responsible for reduction of quantum wave packets; physics producing 'Objective Reduction' is postulated to form the basis (...) for mind-matter interactions. This presentation describes results derived from a new approach to these problems. It is based on well-established biology involving physics not previously applied to the fields of mind, or consciousness studies, that of critical feedback instability. -/- Methods: 'self-organized criticality' in complexity biology places system loci of control at critical instabilities, physical properties of which, including information properties, are presented. Their elucidation shows that they can model hitherto unexplained properties of experience. -/- Results: All results depend on physical properties of critical instabilities. First, at least one feed-back or feed-forward loop must have feedback gain, g = 1: information flows round the loop impress perfect images of system states back on themselves: they represent processes of perfect self-observation. This annihilates system quanta: system excitations are instability fluctuations, which cannot be quantized. Major results follow: -/- 1. Information vectors representing criticality states must include at least one attached information loop denoting self-observation. -/- 2. Such loop structures are attributed a function, 'registering the state's own existence', explaining -/- a. Subjective 'awareness of one's own presence' -/- b. How content-free states of awareness can be remembered (Jon Shear) -/- c. Subjective experience of time duration (Immanuel Kant) -/- d. The 'witness' property of experience – often mentioned by athletes 'in the zone' -/- e. The natural association between consciousness and intelligence -/- This novel, physically and biologically sound approach seems to satisfactorily model subjectivity. -/- Further significant results follow: -/- 1. Registration of external information in excited states of systems at criticality reduces external wave-packets: the new model exhibits 'Objective Reduction' of wave packets. -/- 2. High internal coherence (postulated by Domash & Penrose) leading to a. Non-separable information vector bundles. b. Non-reductive states (Chalmers's criterion for experience). -/- 3. Information that is: a. encoded in coherence negentropy; b. non-digitizable, and therefore c. computationally without digital equivalent (posited by Penrose). -/- Discussion and Conclusions: instability physics implies anharmonic motion, preventing excitation quantization, and totally different from the quantum physics of simple harmonic motion at stability. Instability excitations are different from anything hitherto conceived in information science. They can model aspects of mind never previously treated, including genuine subjectivity, objective reduction of wave-packets, and inter alia all properties given above. (shrink)

Informed consent has become the most obvious instantiation of patient autonomy in contemporary medicine, though as a practice it does not encompass all spheres of medicine. While diagnostic radiological procedures carry some risk due to the use of radiation, there is no standardized practice of informed consent in the United States. The authors describe the ethical justification of informed consent, the legal background surrounding it, and a brief history of radiology and radiological protection. They ultimately argue that informed consent (...) should become a common practice in computed tomography given the risks involved due to radiation exposure, especially considering the overuse of this technology, since it respects patient autonomy. (shrink)

By looking at videogame production through a two-vector model of design – a practice determined by the interplay between economic and technological evolution – we argue that shared screen play, as both collaboration and competition, originally functioned as a desirable pattern in videogame design, but has since become problematic due to industry transformations. This is introduced as an example of what we call design vestigiality: momentary loss of a design pattern’s contextual function due to techno-economical evolution.

Espousing non-reductive physicalism, how do we pick out the specific relevant physical notion(s) from physical facts, specifically in relation to phenomenal experience? Beginning with a historical review of Gilbert Ryle’s behaviorism and moving through Hilary Putnam’s machine-state functionalism and Wilfrid Sellars’ inferential framework, up to more contemporaneous computationalist- and cognitivist-functionalism (Gualtiero Piccinini), we survey accounts of mentality that countenance the emergence of mental states vide input- and output-scheme. Ultimately arriving at the conclusion that functionalism cannot account for problems such as (...) no-cognition reports, we see any robust defense of physicalism must appeal to other principles. Thus we move on to the question of emergence, not as it pertains to the hard(er) problem, but to the matter of conceptual externalization of mental properties from physical properties. Accordingly, we navigate Karen Bennett’s compatibilist solution to the exclusion argument against mental causation for the non-reductive physicalist position, according to which the physical effects of mental cases are not overdetermined, demonstrating that this backfires by offering a path for the mind-body interactionist Dualist to claim causal closure by appealing to this same schema. We conclude with a series of conceptual musings regarding rationality which take into account our challenges and findings, querying about whether phenomenal consciousness is a fundamentally private, or socially configured, notion. (shrink)

Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment problems, (...) economic forecasting, social science, humanistic and practical achievements. There are about 7,000 neutrosophic researchers, within 89 countries around the globe, that have produced about 4,000 publications and tenths of PhD and MSc theses, within more than two decades. This is the sixth volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation, with an introduction contains a short history of neutrosophics, together with links to the main papers and books. -/- ES: Este es el Sexto volumen de la Enciclopedia de Investigadores Neutróficos, editados a partir de materiales ofrecidos por los autores que respondieron a la invitación del editor. Los autores se enumeran alfabéticamente. La introducción contiene una breve historia de la neutrosófica, y en especial se sus impacto en latinoamérica junto con enlaces a los principales artículos y libros. Conjunto neutrosófico, lógica neutrosófica, probabilidad neutrosófica, estadística neutrosófica, medida neutrosófica, precálculo neutrosófico, cálculo neutrosófico, psicología neutrosófica, sociología neutrosófica etc., están ganando una atención significativa en resolver muchos problemas de la vida real que implican incertidumbre, imprecisión, vaguedad, incompletitud, inconsistencia e indeterminación. En los últimos años, los campos de la neutrosófica se han ampliado y aplicado en diversos campos, tales como: inteligencia artificial, minería de datos, software informática, toma de decisiones en forma incompleta / indeterminada / inconsistente sistemas de información, procesamiento de imágenes, modelado computacional, robótica, diagnóstico médico, ingeniería biomédica, problemas de inversión, previsión económica, ciencias sociales, humanística y la validación y consolidación del conocimiento científico. (shrink)

Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment problems, (...) economic forecasting, social science, humanistic and practical achievements. There are about 7,000 neutrosophic researchers, within 89 countries around the globe, that have produced about 4,000 publications and tenths of PhD and MSc theses, within more than two decades. This is the fifth volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation, with an introduction contains a short history of neutrosophics, together with links to the main papers and books. (shrink)

Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras’ Theorem or Fermat’s Last Theorem? The metaphysical question of what numbers are and the (...) epistemological question of how we know about them are central to the philosophy of mathematics. These and related philosophical questions are of particular interest because of mathematics’ unusual status. Mathematics is exceptional in that, on the one hand, it appears unhesitatingly true—no one doubts that 2 + 3 = 5—but on the other, as just noted, it is not about the physical world. This ambivalent status is what gives the philosophy of mathematics its special interest. The philosophy of mathematics is also one of the oldest academic fields, more or less coeval with philosophy itself. But contemporary philosophy of mathematics is rather different from its pre-twentieth-century antecedents, largely for three reasons. The first is that since the seventeenth century, mathematics has become integral to science. Science has over the past few centuries become increasingly mathematical, and indeed the fundamental science of nature, physics, is today recognised as a branch of applied mathematics. The second is that mathematics underwent a transformation in the course of nineteenth century: having started the century as a rather traditional-looking science of quantity it emerged a hundred years later a radically transformed abstract theory of structure. The final factor in the transformation of the philosophy of mathematics is the rise of modern logic. Developed by Frege, Cantor and others in the late nineteenth century, modern logic pervades contemporary mathematics, philosophy and computer science, and has had an immeasurable effect on the philosophy of mathematics. These volumes will collect the major works in this major field, with a focus on the last few decades. The anthology will include technical work, which interprets philosophically significant mathematical results or subfields of mathematics, as well as purely philosophical writing, aimed at those without advanced mathematics. The collection should be of interest to both philosophers and mathematicians, as well as to anyone who is susceptible to wondering what the main intellectual tool used in science, economics and finance, and indeed everyday life is ultimately about. (shrink)

We show how faceted search using a combination of traditional classification systems and mixed-membership topic models can go beyond keyword search to inform resource discovery, hypothesis formulation, and argument extraction for interdisciplinary research. Our test domain is the history and philosophy of scientific work on animal mind and cognition. The methods can be generalized to other research areas and ultimately support a system for semi-automatic identification of argument structures. We provide a case study for the application of the methods (...) to the problem of identifying and extracting arguments about anthropomorphism during a critical period in the development of comparative psychology. We show how a combination of classification systems and mixed-membership models trained over large digital libraries can inform resource discovery in this domain. Through a novel approach of “drill-down” topic modeling—simultaneously reducing both the size of the corpus and the unit of analysis—we are able to reduce a large collection of fulltext volumes to a much smaller set of pages within six focal volumes containing arguments of interest to historians and philosophers of comparative psychology. The volumes identified in this way did not appear among the first ten results of the keyword search in the HathiTrust digital library and the pages bear the kind of “close reading” needed to generate original interpretations that is the heart of scholarly work in the humanities. Zooming back out, we provide a way to place the books onto a map of science originally constructed from very different data and for different purposes. The multilevel approach advances understanding of the intellectual and societal contexts in which writings are interpreted. (shrink)