The scope of Platonism is extended by introducing the concept of a “Platonic computer” which is incorporated in metacomputics. The theoretical framework of metacomputics postulates that a Platonic computer exists in the realm of Forms and is made by, of, with, and from metaconsciousness. Metaconsciousness is defined as the “power to conceive, to perceive, and to be self-aware” and is the formless, con-tentless infinite potentiality. Metacomputics models how metaconsciousness generates the perceived actualities including abstract entities and physical and (...) nonphysical realities. It is postulated that this is achieved via digital computation using the Platonic computer. The introduction of a Platonic computer into the realm of Forms thus bridges the “inverse explanatory gap” and therefore solves the “inverse hard problem of consciousness” in the philosophy of mind. (shrink)

It is not likely that we will ever convincingly know how and why we came to be on this planet; of course, this has never prevented inquisitive minds from pushing the frontiers of understanding and discovery further. Our origin is the subject of scientific theories and continuous inquiries with no end in sight, as the shells of related complexities are getting much harder to crack. Paraphrasing philosopher and historian Will Durant, a very few people are getting to know more and (...) more about less and less. This knowledge and the scientific language used to express it are now becoming more and more incomprehensible to most humans; therefore, despite the sincere efforts of communication media’s countless “talking heads,” we may be inevitably driven by default to a new religion of worshiping the church of science, along with its scientist “priests,” and to a life filled with the unequivocal dangers that could befall us from such devotions. Humanity and the planet are faced with dangers that have and can be issued from the absence or deficiency of proper public knowledge and guiding ethical principles for handling many of the new scientific and engineering discoveries and innovations, such as artificial intelligence, nanotechnology, and plant, animal, and human gene editing, etc. To avoid inadvertent adverse impacts, which could seriously endanger our normal ways of life and even existence, knowledge has to be humanized and massively disseminated. Even at the expense of some mistakes, the benefits certainly outweigh the loss. -/- This book is a small effort along this path. -/- . (shrink)

Software patents are commonly criticised for being fuzzy, context-sensitive, and often granted for trivial inventions. More often than not, these shortcomings are said to be caused by the abstract nature of software - with little further analysis offered. Drawing on Plato’s Parmenides, this paper will argue (1) that the reason why software patents seem to be elusive is that patent law suggests to think about algorithms as paradigmatic examples and (2) that Plato’s distinction between two modes of predication and the (...) role of competence in his account of knowledge are helpful not only for conceptualising knowledge of algorithms, but also for understanding the limits of software patent regimes. (shrink)

The objective of this essay is to provide the beginning of a principled classification of some of the ways space is intelligently used. Studies of planning have typically focused on the temporal ordering of action, leaving as unaddressed questions of where to lay down instruments, ingredients, work-in-progress, and the like. But, in having a body, we are spatially located creatures: we must always be facing some direction, have only certain objects in view, be within reach of certain others. How we (...) manage the spatial arrangement of items around us is not an afterthought: it is an integral part of the way we think, plan, and behave. The proposed classification has three main categories: spatial arrangements that simplify choice; spatial arrangements that simplify perception; and spatial dynamics that simplify internal computation. The data for such a classification is drawn from videos of cooking, assembly and packing, everyday observations in supermarkets, workshops and playrooms, and experimental studies of subjects playing Tetris, the computer game. This study, therefore, focuses on interactive processes in the medium and short term: on how agents set up their workplace for particular tasks, and how they continuously manage that workplace. (shrink)

This book analyses the impact computerization has had on contemporary science and explains the origins, technical nature and epistemological consequences of the current decisive interplay between technology and science: an intertwining of formalism, computation, data acquisition, data and visualization and how these factors have led to the spread of simulation models since the 1950s. -/- Using historical, comparative and interpretative case studies from a range of disciplines, with a particular emphasis on the case of plant studies, the author shows how (...) and why computers, data treatment devices and programming languages have occasioned a gradual but irresistible and massive shift from mathematical models to computer simulations. -/- . (shrink)

The past twenty years have seen an increase in the importance of the body in psychology, neuroscience, and philosophy of mind. This 'embodied' trend challenges the orthodox view in cognitive science in several ways: it downplays the traditional 'mind-as-computer' approach and emphasizes the role of interactions between the brain, body, and environment. In this article, I review recent work in the area of embodied cognitive science and explore the approaches each takes to the ideas of consciousness, computation and representation. Finally, (...) I look at the current relationship between orthodox cognitive science and the study of mental disorder, and consider the implications that the embodied trend could have for issues in psychopathology. (shrink)

“There’s Plenty of Room at the Bottom”, said the title of Richard Feynman’s 1959 seminal conference at the California Institute of Technology. Fifty years on, nanotechnologies have led computer scientists to pay close attention to the links between physical reality and information processing. Not all the physical requirements of optimal computation are captured by traditional models—one still largely missing is reversibility. The dynamic laws of physics are reversible at microphysical level, distinct initial states of a system leading to distinct final (...) states. On the other hand, as von Neumann already conjectured, irreversible information processing is expensive: to erase a single bit of information costs ~3 × 10−21 joules at room temperature. Information entropy is a thermodynamic cost, to be paid in non-computational energy dissipation. This paper addresses the problem drawing on Edward Fredkin’s Finite Nature hypothesis: the ultimate nature of the universe is discrete and finite, satisfying the axioms of classical, atomistic mereology. The chosen model is a cellular automaton with reversible dynamics, capable of retaining memory of the information present at the beginning of the universe. Such a CA can implement the Boolean logical operations and the other building bricks of computation: it can develop and host all-purpose computers. The model is a candidate for the realization of computational systems, capable of exploiting the resources of the physical world in an efficient way, for they can host logical circuits with negligible internal energy dissipation. (shrink)

The central claim of normative pragmatism is that intentional states can be explained in terms of participation in practices. My aim in this paper is not so much to defend this claim as to rearticulate it in a different medium: the medium of computation. I describe two computer programs in which this claim is re-expressed. The first is the latest version of THE SIMS, in which participation in practices enables the Sims to do and understand more. The second is a (...) prototype simulation of philosophical debate. In this second program, normative pragmatism is expressed at two different levels: once as the theory powering the implementation, and once as a set of claims which are debated by the simulated philosophers. Here, a philosophical theory is used to implement a system in which that very same theory is articulated, challenged, and justified. (shrink)

Much problem solving and learning research in math and science has focused on formal representations. Recently researchers have documented the use of unschooled strategies for solving daily problems -- informal strategies which can be as effective, and sometimes as sophisticated, as school-taught formalisms. Our research focuses on how formal and informal strategies interact in the process of doing and learning mathematics. We found that combining informal and formal strategies is more effective than single strategies. We provide a theoretical account of (...) this multiple strategy effect and have begun to formulate this theory in an ACT-R computer model. We show why students may reach common impasses in the use of written algebra, and how subsequent or concurrent use of informal strategies leads to better problem-solving performance. Formal strategies facilitate computation because of their abstract and syntactic nature; however, abstraction can lead to nonsensical interpretations and conceptual errors. Reapplying the formal strategy will not repair such errors; switching to an informal one may. We explain the multiple strategy effect as a complementary relationship between the computational efficiency of formal strategies and the sense-making function of informal strategies. (shrink)

Digital practices in design, together with computer-assisted manufacturing (CAM), have inspired the reflection of philosophers, theorists, and historians over the last decades. Gilles Deleuze’s The Fold: Leibniz and the Baroque (1988) presents one of the first and most successful concepts created to think about these new design and manufacturing practices.1 Deleuze proposed a new concept of the technological object, which was inspired by Bernard Cache’s digital design practices and computer-assisted manufacturing. Deleuze compared Cache’s practices to Leibniz’s differential calculus-based notion of (...) the parametric curve. From this perspective, the object is no longer an essential form: rather, it is functional, defined by a family of parametric curves. In Deleuze’s terms, it is an objectile. This definition grasps a particular aspect of modernity in the technological object, rendering possible the industrial production of “the unique object” (la pièce unique), while making obsolete the homogeneity that comes with industrial standardization. What follows introduces developmental biology into this design matrix, interrogating the relationship between parametric design and computer-assisted manufactory on the one hand and biological morphogenetic processes on the other. Is one necessary for the other? Does an architect need computation in order to render morphogenetic shapes? In answering these questions, this chapter displaces the centrality of digital technology in the design of shape-shifting forms within architecture and calls for a rethinking of design by way of analog prototypes. I argue that “thinking through analogs” offers another means of generating parametrically based morphogenetic forms. (shrink)

The Philosophy of Information is a new area of research at the intersection of philosophy and computer science [4]. It concerns (a) the critical investigation of the conceptual nature and basic principles of information, including its dynamics (especially computation), utilization (especially computer ethics) and sciences; and (b) the elaboration and application of computational and information-theoretic methodologies to philosophical problems. Past work by members of our group has concentrated on (a), and in this paper we explore (b). In a nutshell, we (...) ask what computer science can do for philosophy, rather than what the latter can do for the former. -/- . (shrink)

This paper subjects Dan Brown’s most recent novel Origin to a philosophical reading. Origin is regarded as a literary window into contemporary technoscience, inviting us to explore its transformative momentum and disruptive impact, focusing on the cultural significance of artificial intelligence and computer science: on the way in which established world-views are challenged by the incessant wave of scientific discoveries made possible by super-computation. While initially focusing on the tension between science and religion, the novel’s attention gradually shifts to the (...) increased dependence of human beings on smart technologies and artificial intelligence. Origin’s message, I will argue, reverberates with Oswald Spengler’s The Decline of the West, which aims to outline a morphology of world civilizations. Although the novel starts with a series of oppositions, most notably between religion and science, the eventual tendency is towards convergence, synthesis and sublation, exemplified by Sagrada Família as a monumental symptom of this transition. Three instances of convergence will be highlighted, namely the convergence between science and religion, between humanity and technology and between the natural sciences and the humanities. (shrink)

Increase in popularity of games like "Second Life" has contributed not only to significant changes in the development of the electronic entertainment industry. Promoting Games 2.0, the new trend of video game production that are assumed to be the virtual worlds that contain user-generated content makes both measured with a specific technological innovation, as well as a serious change in the organization of socio-cultural heritage. The article presents problems of the existing difficulties of terminology, the implications of the availability of (...) Games 2.0 for social life, the concept of leisure as work in the new economy and creative non-material and the characteristics of "Generation C". Work stresses the need for discussion on trends in the development of video games - defined as a choice between the projects’ of "socio-cultural ideology of perpetual motion" and "utopia of universal creativity". These approaches allow to identify the methodological basis for analysis of relations between the operators and users of Games 2.0, taking into account the wider social environment. ** Wzrost popularności gier typu „Second Life” przyczynił siȩ nie tylko do znacznych przemian w rozwoju branży rozrywki elektronicznej. Upowszechnianie Games 2.0, nowego nurtu produkcji gier wideo które z założenia maj¸a} stanowić wirtualne światy zawieraj¸a}ce treści tworzone przez użytkowników sprawia, że mierzymy siȩ zarówno z określon¸a} innowacj¸a} technologiczn¸a}, jak też z poważn¸a} zmian¸a} organizacji życia społeczno-kulturowego. Artykuł przedstawia problematykȩ istniej¸acych trudności terminologicznych, konsekwencje dostȩpności Games 2.0 dla życia społecznego, pojȩcie rozrywki jako pracy w nowej gospodarce niematerialnej i twórczej oraz charakterystykȩ „generacji C”. Praca podkreśla potrzebȩ dyskusji nad kierunkami rozwoju gier wideo - określanymi jako wybór miȩdzy projektami „ideologii społeczno-kulturowego perpetuum mobile” i „utopii powszechnej twórczości”. Podejścia te pozwalaj¸a na wskazanie podstaw metodologicznych do prowadzenia analiz relacji miȩdzy operatorami, a użytkownikami Games 2.0 przy uwzglȩdnieniu szerszego otoczenia społecznego. (shrink)

The opacity of some recent Machine Learning (ML) techniques have raised fundamental questions on their explainability, and created a whole domain dedicated to Explainable Artificial Intelligence (XAI). However, most of the literature has been dedicated to explainability as a scientific problem dealt with typical methods of computer science, from statistics to UX. In this paper, we focus on explainability as a pedagogical problem emerging from the interaction between lay users and complex technological systems. We defend an empirical methodology based on (...) field work, which should go beyond the in-vitro analysis of UX to examine in-vivo problems emerging in the field. Our methodology is also comparative, as it chooses to steer away from the almost exclusive focus on ML to compare its challenges with those faced by more vintage algorithms. Finally, it is also philosophical, as we defend the relevance of the philosophical literature to define the epistemic desiderata of a good explanation. This study was conducted in collaboration with Etalab, a Task Force of the French Prime Minister in charge of Open Data & Open Government Policies, dealing in particular with the enforcement of the right to an explanation. In order to illustrate and refine our methodology before going up to scale, we conduct a preliminary work of case studies on the main different types of algorithms used by the French administration: computation, matching algorithms and ML. We study the merits and drawbacks of a recent approach to explanation, which we baptize input-output black box reasoning or BBR for short. We begin by presenting a conceptual framework including the distinctions necessary to a study of pedagogical explainability. We proceed to algorithmic case studies, and draw model-specific and model-agnostic lessons and conjectures. (shrink)

The rigor and precision of Leibniz's "possible world" evolved into the concept of Turing machine, and with the birth of the first computer and the physical realization of Turing machine, human cognitive and intelligent activities were optimistically considered by cognitive scientists to be convertible into computational programs for simulation by machines. Cognitive science then formed the research agenda of "cognitive computationalism", and our Chinese scholars have responded to this general view that "the essence of cognition is computation" and that the (...) human brain and computers are merely formal systems for manipulating and processing symbols in their respective fields. Professor Hong Dingguo used the concepts of "manifest order" and "hidden order", Professor Jin Gulun used the philosophical categories of "constitutive theory" and "generative theory", and Liu Yuesheng used the concept of "cognition". Professor Hong Dingguo reinterpreted the relationship between the "real world" and the "possible world" by using the concepts of "manifest sequence" and "hidden sequence", Professor Jin Wulun used the philosophical categories of "composition theory" and "generation theory", and Professor Liu Yuesheng used the generalized information paradigm of "structural information" and "exchange information". "This provides a profound elucidation of the nature of cognitive logic and the process of human cognitive activities becoming symbols through coding and puts forward theoretical limits. The current theoretical dilemma and practical difficulty of cognitive science lies in the fact that it has developed algorithmic concepts in the Turing sense that can only model the explicitly sequential part of cognitive and intellectual activity, forming a constitutive atomic abstraction, or in our terms, classical "structural information", which cannot fully explain the inner mechanisms of human mental activity and its embodied flexibility, selectivity and self-emergence. Wu Xuemou's pan-system theory does not simply rely on logic and Turing machine algorithms, but models human intelligence by treating structural information as a complex large system composed of a collection of elements and a collection of relations (exchange information: five mutual eight chips), in order to break through the narrow path of seeking only the local consistency of the system as currently done; while Wang Dekui's exploration of the three-spin biological and physical path and Huang Zhanji's abandonment of the artificial means of logic to seek the large logical natural mechanisms and Mr. Zhou Liquan's proposal of a schema for successful communication using natural language on the basis of concepts such as context and implicit connotation ("Logic — A Theory of Correct Thinking and Successful Communication"), all reflect the milestones of Chinese scholars who seek to address the deeper issues of cognitive science. We believe that along this series of explorations, combined with new results in recent years in the fields of artificial life and evolutionary computation, a new research agenda in cognitive science will emerge. (shrink)

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

There is much discussion about whether the human mind is a computer, whether the human brain could be emulated on a computer, and whether at all physical entities are computers (pancomputationalism). These discussions, and others, require criteria for what is digital. I propose that a state is digital if and only if it is a token of a type that serves a particular function - typically a representational function for the system. This proposal is made on a syntactic level, assuming (...) three levels of description (physical, syntactic, semantic). It suggests that being digital is a matter of discovery or rather a matter of how we wish to describe the world, if a functional description can be assumed. Given the criterion provided and the necessary empirical research, we should be in a position to decide on a given system (e.g. the human brain) whether it is a digital system and can thus be reproduced in a different digital system (since digital systems allow multiple realization). (shrink)

Journal bearings play an important role on many rotating machines placed on industrial environments, especially in steam turbines of thermoelectric power plants. Babbitt damage (BD) and excessive clearance (C) are usual faults of steam turbine journal bearings. This paper is focused on achieving an effective identification of these faults through an intelligent recognition approach. The work was carried out through the processing of real data obtained from an industrial environment. In this work, a feature selection procedure was applied in order (...) to choose the features more suitable to identify the faults. This feature selection procedure was performed through the computation of typical testors, which allows working with both quantitative and qualitative features. The classification tasks were carried out by using Nearest Neighbors, Voting Algorithm, Naïve Associative Classifier and Assisted Classification for Imbalance Data techniques. Several performance measures were computed and used in order to assess the classification effectiveness. The achieved results (e.g., six performance measures were above 0.998) showed the convenience of applying pattern recognition techniques to the automatic identification of BD and C. (shrink)

This paper offers an introduction to poststructuralist interpretivist research in information systems, through a poststructuralist theoretical reading of the phenomenon and experience of social networking websites, such as Facebook. This is undertaken through an exploration of how loyally a social networking profile can represent the essence of an individual, and whether Platonic notions of essence, and loyalty of copy, are disturbed by the nature of a social networking profile, in ways described by poststructuralist thinker Deleuze’s notions of the reversal (...) of Platonism. In bringing a poststructuralist critique to such hugely successful and popular social information systems, the paper attempts to further open up the black box of the computer ‘user’, extend interpretive approaches to information systems research to embrace poststructuralism, and explore how notions of the Self might be reflected through engagement with information system (IS), and how an IS appreciation of the phenomenon of global social networking may benefit from embracing such a poststructuralist approach. (shrink)

This is a review of Action Semantics, by Peter D. Mosses, Cambridge Tracts in Theoretical Computer Science 26, Cambridge University Press, 1992.

In October 2011, the “2nd European Network for Cognitive Systems, Robotics and Interaction”, EUCogII, held its meeting in Groningen on “Autonomous activity in real-world environments”, organized by Tjeerd Andringa and myself. This is a brief personal report on why we thought autonomy in real-world environments is central for cognitive systems research and what I think I learned about it. --- The theses that crystallized are that a) autonomy is a relative property and a matter of degree, b) increasing autonomy of (...) an artificial system from its makers and users is a necessary feature of increasingly intelligent systems that can deal with the real-world and c) more such autonomy means less control but at the same time improved interaction with the system. (shrink)

The mainstream view in cognitive science is that computation lies at the basis of and explains cognition. Our analysis reveals that there is no compelling evidence or argument for thinking that brains compute. It makes the case for inverting the explanatory order proposed by the computational basis of cognition thesis. We give reasons to reverse the polarity of standard thinking on this topic, and ask how it is possible that computation, natural and artificial, might be based on cognition and not (...) the other way around. (shrink)

I contend there exists a platonistic good that all other good (excellent) things must resemble, supplementing this theory with Aristotelian features. Something’s goodness holds in virtue of the thing’s own properties being such as to satisfy its kind-based standards, and those K-standards resembling the platonic good. As for the latter condition, the K-standards resemble it firstly with respect to requiring activities, and secondly also at the level of what teleology those activities are directed towards.

Die Beschäftigung mit Platon hat eine lange Geschichte, Rezeptionen seines Denkens sind so prägend für die Philosophiegeschichte geworden, dass diese verständlicherweise zuweilen als eine Sammlung von Fußnoten zu seinem Werk begriffen wurde. Das gilt besonders für einen durchgängigen metaphysischen Zug des abendländischen Denkens, ein grundsätzliches Ordnungsmodell aus der Antike, das, christlich gewendet, die Theoriebildung bis in unsere Tage fundiert. Aber mit einer Reihe anderer Gewissheiten ist auch dieser erfolgreiche Platonismus Gegenstand der Kritik geworden. Kann und soll man den metaphysischen Platon (...) retten oder muss man Platon vielmehr gegen die metaphysische Tradition neu verstehen? Muss man Platon gegen die Platonisten verteidigen, ist er der Anfang einer philosophischen Verirrung? -- Dorothea Frede, Ekkehard Martens, Arbogast Schmitt, Gernot Böhme, Hermann Schmitz, Wolfgang Detel und andere entdecken – auch durch ihre Kritik – Platon als Gesprächspartner der Gegenwart neu. (shrink)

This book addresses key conceptual issues relating to the modern scientific and engineering use of computer simulations. It analyses a broad set of questions, from the nature of computer simulations to their epistemological power, including the many scientific, social and ethics implications of using computer simulations. The book is written in an easily accessible narrative, one that weaves together philosophical questions and scientific technicalities. It will thus appeal equally to all academic scientists, engineers, and researchers in industry interested in questions (...) related to the general practice of computer simulations. (shrink)

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

The Computational Theory of Mind (CTM) holds that cognitive processes are essentially computational, and hence computation provides the scientific key to explaining mentality. The Representational Theory of Mind (RTM) holds that representational content is the key feature in distinguishing mental from non-mental systems. I argue that there is a deep incompatibility between these two theoretical frameworks, and that the acceptance of CTM provides strong grounds for rejecting RTM. The focal point of the incompatibility is the fact that representational content is (...) extrinsic to formal procedures as such, and the intended interpretation of syntax makes no difference to the execution of an algorithm. So the unique 'content' postulated by RTM is superfluous to the formal procedures of CTM. And once these procedures are implemented in a physical mechanism, it is exclusively the causal properties of the physical mechanism that are responsible for all aspects of the system's behaviour. So once again, postulated content is rendered superfluous. To the extent that semantic content may appear to play a role in behaviour, it must be syntactically encoded within the system, and just as in a standard computational artefact, so too with the human mind/brain - it's pure syntax all the way down to the level of physical implementation. Hence 'content' is at most a convenient meta-level gloss, projected from the outside by human theorists, which itself can play no role in cognitive processing. (shrink)

Is the mathematical function being computed by a given physical system determined by the system’s dynamics? This question is at the heart of the indeterminacy of computation phenomenon (Fresco et al. [unpublished]). A paradigmatic example is a conventional electrical AND-gate that is often said to compute conjunction, but it can just as well be used to compute disjunction. Despite the pervasiveness of this phenomenon in physical computational systems, it has been discussed in the philosophical literature only indirectly, mostly with reference (...) to the debate over realism about physical computation and computationalism. A welcome exception is Dewhurst’s ([2018]) recent analysis of computational individuation under the mechanistic framework. He rejects the idea of appealing to semantic properties for determining the computational identity of a physical system. But Dewhurst seems to be too quick to pay the price of giving up the notion of computational equivalence. We aim to show that the mechanist need not pay this price. The mechanistic framework can, in principle, preserve the idea of computational equivalence even between two different enough kinds of physical systems, say, electrical and hydraulic ones. (shrink)

The relationship between abstract formal procedures and the activities of actual physical systems has proved to be surprisingly subtle and controversial, and there are a number of competing accounts of when a physical system can be properly said to implement a mathematical formalism and hence perform a computation. I defend an account wherein computational descriptions of physical systems are high-level normative interpretations motivated by our pragmatic concerns. Furthermore, the criteria of utility and success vary according to our diverse purposes and (...) pragmatic goals. Hence there is no independent or uniform fact to the matter, and I advance the ‘anti-realist’ conclusion that computational descriptions of physical systems are not founded upon deep ontological distinctions, but rather upon interest-relative human conventions. Hence physical computation is a ‘conventional’ rather than a ‘natural’ kind. (shrink)

Principala sursă biografică despre Platon, după mărturia neoplatonicului Simplicius, ar fi fost scrisă de discipolul Xenocrate, dar din păcate nu a ajuns la noi. Cea mai veche biografie a lui Platon care a ajuns până la noi, De Platone et dogmate eius, este a unui autor latin din secolul al II-lea, Apuleius. Toate celelalte biografii ale lui Platon au fost scrise la peste cinci sute de ani de la moartea sa. Istoricul grec Diogene (secolele II și III) este autorul unei (...) serii de biografii ale filosofilor greci (Viețile filosofilor) în care face referire la viața lui Platon. Acesta ar fi scris și un elogiu funerar lui Platon. Alți biografi timpurii ai lui Platon sunt Olimpiodor cel Tânăr în secolul al VI-lea și o sursă anonimă. O sursă importantă despre viața lui Platon sunt chiar dialogurile sale filozofice, treisprezece scrisori (posibil false totuși, cu excepția poate a Scrisorilor VII și VIII), scrierile lui Aristotel, un fragment din Istoria filozofilor (Syntaxis ton philosophon) a epicureanului Philodemus de Gadara din secolul I î.e.n., scrierile anonime Prolegomena despre filozofia platonică atribuite în mod tradițional lui Olimpiodor, Suda, secolul al X-lea și Viața lui Dio a lui Plutarh, secolul I-II. -/- DOI: 10.58679/CS86928. (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)

The problem of multiple-computations discovered by Hilary Putnam presents a deep difficulty for functionalism (of all sorts, computational and causal). We describe in out- line why Putnam’s result, and likewise the more restricted result we call the Multiple- Computations Theorem, are in fact theorems of statistical mechanics. We show why the mere interaction of a computing system with its environment cannot single out a computation as the preferred one amongst the many computations implemented by the system. We explain why nonreductive (...) approaches to solving the multiple- computations problem, and in particular why computational externalism, are dualistic in the sense that they imply that nonphysical facts in the environment of a computing system single out the computation. We discuss certain attempts to dissolve Putnam’s unrestricted result by appealing to systems with certain kinds of input and output states as a special case of computational externalism, and show why this approach is not workable without collapsing to behaviorism. We conclude with some remarks about the nonphysical nature of mainstream approaches to both statistical mechanics and the quantum theory of measurement with respect to the singling out of partitions and observables. (shrink)

Critical in the computationalist account of the mind is the phenomenon called computational or computer simulation of human thinking, which is used to establish the theses that human thinking is a computational process and that computing machines are thinking systems. Accordingly, if human thinking can be simulated computationally then human thinking is a computational process; and if human thinking is a computational process then its computational simulation is itself a thinking process. This paper shows that the said phenomenon—the computational simulation (...) of human thinking—is ill-conceived, and that, as a consequence, the theses that it intends to establish are problematic. It is argued that what is simulated computationally is not human thinking as such but merely its behavioral manifestations; and that a computational simulation of these behavioral manifestations does not necessarily establish that human thinking is computational, as it is logically possible for a non-computational system to exhibit behaviors that lend themselves to a computational simulation. (shrink)

In this chapter, I make the case for platonic realism, the thesis that there are properties that lack spatial locations. After criticizing the one-over-many argument for realism and Lewis's argument for realism, I endorse a modal argument that derives the existence of platonic properties from considerations involving necessary truth. I then defend this argument from various objections. Finally, I argue that epistemic considerations and considerations of parsimony favor a weak form of platonic realism on which there are (...) platonic properties, but each property could have had an instance, and would have been located in its instances if it had any. (shrink)

Understanding computation as “a process of the dynamic change of information” brings to look at the different types of computation and information. Computation of information does not exist alone by itself but is to be considered as part of a system that uses it for some given purpose. Information can be meaningless like a thunderstorm noise, it can be meaningful like an alert signal, or like the representation of a desired food. A thunderstorm noise participates to the generation of meaningful (...) information about coming rain. An alert signal has a meaning as allowing a safety constraint to be satisfied. The representation of a desired food participates to the satisfaction of some metabolic constraints for the organism. Computations on information and representations will be different in nature and in complexity as the systems that link them have different constraints to satisfy. Animals have survival constraints to satisfy. Humans have many specific constraints coming in addition. And computers will compute what the designer and programmer ask for. We propose to analyze the different relations between information, meaning and representation by taking an evolutionary approach on the systems that link them. Such a bottom-up approach allows starting with simple organisms and avoids an implicit focus on humans, which is the most complex and difficult case. To make available a common background usable for the many different cases, we use a systemic tool that defines the generation of meaningful information by and for a system submitted to a constraint [Menant, 2003]. This systemic tool allows to position information, meaning and representations for systems relatively to environmental entities in an evolutionary perspective. We begin by positioning the notions of information, meaning and representation and recall the characteristics of the Meaning Generator System (MGS) that link a system submitted to a constraint to its environment. We then use the MGS for animals and highlight the network nature of the interrelated meanings about an entity of the environment. This brings us to define the representation of an item for an agent as being the network of meanings relative to the item for the agent. Such meaningful representations embed the agents in their environments and are far from the Good Old Fashion Artificial Intelligence type ones. The MGS approach is then used for humans with a limitation resulting of the unknown nature of human consciousness. Application of the MGS to artificial systems brings to look for compatibilities with different levels of Artificial Intelligence (AI) like embodied-situated AI, the Guidance Theory of Representations, and enactive AI. Concerns relative to different types of autonomy and organic or artificial constraints are highlighted. We finish by summarizing the points addressed and by proposing some continuations. (shrink)

In this paper, I argue that computationalism is a progressive research tradition. Its metaphysical assumptions are that nervous systems are computational, and that information processing is necessary for cognition to occur. First, the primary reasons why information processing should explain cognition are reviewed. Then I argue that early formulations of these reasons are outdated. However, by relying on the mechanistic account of physical computation, they can be recast in a compelling way. Next, I contrast two computational models of working memory (...) to show how modeling has progressed over the years. The methodological assumptions of new modeling work are best understood in the mechanistic framework, which is evidenced by the way in which models are empirically validated. Moreover, the methodological and theoretical progress in computational neuroscience vindicates the new mechanistic approach to explanation, which, at the same time, justifies the best practices of computational modeling. Overall, computational modeling is deservedly successful in cognitive science. Its successes are related to deep conceptual connections between cognition and computation. Computationalism is not only here to stay, it becomes stronger every year. (shrink)

The development of technology is unbelievably rapid. From limited local networks to high speed Internet, from crude computing machines to powerful semi-conductors, the world had changed drastically compared to just a few decades ago. In the constantly renewing process of adapting to such an unnaturally high-entropy setting, innovations as well as entirely new concepts, were often born. In the business world, one such phenomenon was the creation of a new type of entrepreneurship. This paper proposes a new academic discipline of (...) computational entrepreneurship, which centers on: (i) an exponentially growing (and less expensive) computing power, to the extent that almost everybody in a modern society can own and use that; (ii) omnipresent high-speed Internet connectivity, wired or wireless, representing our modern day’s economic connectomics; (iii) growing concern of exploiting “serendipity” for a strategic commercial advantage; and (iv) growing capabilities of lay people in performing calculations for their informed decisions in taking fast-moving entrepreneurial opportunities. Computational entrepreneurship has slowly become a new mode of operation for business ventures and will likely bring the academic discipline of entrepreneurship back to mainstream economics. (shrink)

Edward Feser defends the ‘Neo-Platonic proof ’ for the existence of the God of classical theism. After articulating the argument and a number of preliminaries, I first argue that premise three of Feser’s argument—the causal principle that every composite object requires a sustaining efficient cause to combine its parts—is both unjustified and dialectically ill-situated. I then argue that the Neo-Platonic proof fails to deliver the mindedness of the absolutely simple being and instead militates against its mindedness. Finally, I (...) uncover two tensions between Trinitarianism and the Neo-Platonic proof. (shrink)

Computer-Assisted Argument Mapping (CAAM) is a new way of understanding arguments. While still embryonic in its development and application, CAAM is being used increasingly as a training and development tool in the professions and government. Inroads are also being made in its application within education. CAAM claims to be helpful in an educational context, as a tool for students in responding to assessment tasks. However, to date there is little evidence from students that this is the case. This paper outlines (...) the use of CAAM as an educational tool within an Economics and Commerce Faculty in a major Australian research university. Evaluation results are provided from students from a CAAM pilot within an upper-level Economics subject. Results indicate promising support for the use of CAAM and its potential for transferability within the disciplines. If shown to be valuable with further studies, CAAM could be included in capstone subjects, allowing computer technology to be utilised in the service of generic skill development. (shrink)

Since the sixties, computational modeling has become increasingly important in both the physical and the social sciences, particularly in physics, theoretical biology, sociology, and economics. Sine the eighties, philosophers too have begun to apply computational modeling to questions in logic, epistemology, philosophy of science, philosophy of mind, philosophy of language, philosophy of biology, ethics, and social and political philosophy. This chapter analyzes a selection of interesting examples in some of those areas.

Computational modeling should play a central role in philosophy. In this introduction to our topical collection, we propose a small topology of computational modeling in philosophy in general, and show how the various contributions to our topical collection fit into this overall picture. On this basis, we describe some of the ways in which computational models from other disciplines have found their way into philosophy, and how the principles one found here still underlie current trends in the field. Moreover, we (...) argue that philosophers contribute to computational modeling not only by building their own models, but also by thinking about the various applications of the method in philosophy and the sciences. In this context, we note that models in philosophy are usually simple, while models in the sciences are often more complex and empirically grounded. Bridging certain methodological gaps that arise from this discrepancy may prove to be challenging and fruitful for the further development of computational modeling in philosophy and beyond. (shrink)

Psiche sets up a close-knit comparison between the psychology of Plato's Republic and Freud's psychoanalysis. Convergences and divergences are discussed in relation both to the Platonic conception of the oneiric emergence of repressed desires that prefigures the main path of Freud's subconscious, to the analysis of the psychopathologies related to these theoretical formulations and to the two diagnostic and therapeutic approaches adopted. Another crucial theme is the Platonic eros - the examination of which is also extended to the (...) Symposium and Phaedrus - taken up explicitly by Freud in relation to the concept of libido. Finally, the author also addresses the two themes - of, inter alia, a metapsychological nature - inherent to the moral dimension. -/- Psiche istituisce un confronto ravvicinato tra la psicologia della "Repubblica" di Platone e la psicoanalisi di Freud. Convergenze e divergenze vengono discusse in relazione sia alla concezione platonica dell'emersione onirica dei desideri repressi, che prefigura la via regia per l'inconscio di Freud, sia all'analisi delle psicopatologie correlate a tali impostazioni teoriche, sia ai due approcci diagnostici e terapeutici adottati. Altro tema cruciale è l'eros platonico - la cui disamina viene estesa anche al "Simposio" e al "Fedro" - ripreso esplicitamente da Freud in relazione al concetto di libido. L'autore affronta, infine, le due tematizzazioni, di natura metapsicologica e non solo, inerenti alla dimensione morale. (shrink)

There are two versions of the language-of-thought hypothesis (LOT): Representational LOT (roughly, structured representation), introduced by Ockham, and computational LOT (roughly, symbolic computation) introduced by Fodor. Like many others, I oppose the latter but not the former. Quilty-Dunn et al. defend representational LOT, but they do not defend the strong computational LOT thesis central to the classical-connectionist debate.

Platon s'est inspir? des travaux philosophiques de certains de ses pr?d?cesseurs, en particulier Socrate, mais aussi Parm?nide, H?raclite et Pythagore, pour d?velopper sa propre philosophie, qui explore les domaines les plus importants, notamment la m?taphysique, l'?thique, l'esth?tique et la politique. Avec son professeur Socrate et son ?l?ve Aristote, il pose les bases de la pens?e philosophique occidentale. Platon est consid?r? comme l'un des philosophes les plus importants et les plus influents de l'histoire humaine, ?tant l'un des fondateurs de la religion (...) et de la spiritualit? occidentales. La philosophie qu'il a d?velopp?e, connue sous le nom de platonisme, est bas?e sur la th?orie des Formes connues par la raison pure comme une solution au probl?me des universaux. La philosophie de Platon s'inscrit dans la lign?e des pr?socratiques, des sophistes et des traditions artistiques qui sous-tendent l'?ducation grecque, dans un cadre nouveau, d?fini par la dialectique et la th?orie des Id?es. Pour Platon, la connaissance est une activit? de l'?me, affect?e par des objets sensibles, et par des processus internes. Dans La R?publique de Platon, la forme la plus ?lev?e est consid?r?e comme la Forme du Bien, la source de toutes les autres Formes qui pourraient ?tre connues par la raison. Le th?me central du livre est la justice, argument?e ? l'aide de plusieurs th?ories platoniciennes, dont le mythe all?gorique de la caverne, la doctrine des Id?es, la dialectique, la th?orie de l'?me et la conception d'une cit? id?ale. Sa dialectique est un type de connaissance, ? r?le ontologique et m?taphysique, qui s'atteint par la confrontation de plusieurs positions pour d?passer l'opinion (doxa), un passage du monde des apparences (ou ? sensible ?) ? la connaissance intellectuelle (ou ? intelligible ? ) aux premiers principes. Le mod?le ?ducatif de Platon (paid?ia) diff?rencie le niveau d'?ducation selon les comp?tences des ?l?ves. Selon les principes socratiques, pour faire justice, il faut savoir ce qui est bien, et c'est ce que le philosophe sait le mieux. Platon a d?taill? ce concept en soulignant la distinction entre le philosophe (qui cherche les principes de v?rit? sans pr?tendre les poss?der) et le sophiste (qui se laisse guider par l'opinion comme seul param?tre valable de la connaissance). (shrink)

Platon s-a inspirat din activitatea filosofică a unora dintre predecesorii săi, în special a lui Socrate, dar și Parmenide, Heraclit și Pitagora, pentru a-și dezvolta propria filosofie, care explorează majoritatea domeniilor importante, inclusiv metafizica, etica, estetica și politica.Împreună cu profesorul său Socrate și elevul său Aristotel, a pus bazele gândirii filosofice occidentale. Platon este considerat ca unul dintre cei mai importanți și influenți filosofi din istoria omenirii, fiind unul dintre fondatorii religiei și spiritualității occidentale. Filosofia dezvoltată de el, cunoscută sub (...) numele de platonism, se bazează pe teoria Formelor cunoscută prin rațiune pură ca soluție la problema universalelor. Filosofia lui Platon se înscrie pe linia presocraticilor, a sofiștilor și a tradițiilor artistice care stau la baza educației grecești, într-un cadru nou, definit de dialectică și teoria ideilor. Cunoașterea este pentru Platon o activitate a sufletului, afectată de obiectele sensibile, și de procesele interne. În Republica, forma cea mai înaltă este considerată ca fiind Forma Binelui, sursa tuturor celorlalte Forme care ar putea fi cunoscute prin rațiune. Tema centrală a cărții este dreptatea, argumentată cu ajutorul mai multor teorii platonice, inclusiv mitul alegoric al peșterii, doctrina ideilor, dialectica, teoria sufletului și proiectul unui oraș ideal. Dialectica lui este un tip de cunoaștere, cu rol rol ontologic și metafizic, la care se ajunge prin confruntarea mai multor poziții pentru a depăși opinia (doxa), o deplasare din lumea aparențelor (sau a „sensibilului”) către cunoașterea intelectuală (sau „inteligibilul”) până la primele principii. Modelul educațional al lui Platon (paidèia) diferențiază nivelul educației în funcție de aptitudinile elevilor. Conform principiilor socratice, pentru a face dreptate trebuie să se știe ce este bine, iar aceasta o știe cel mai bine filosoful. Platon a detaliat acest concept, evidențiind distincția dintre filosof (care caută principiile adevărului fără a pretinde că îl posedă) și sofist (care se lasă ghidat de opinie ca singurul parametru valid al cunoașterii). -/- CUPRINS -/- Platon - Biografie - Călătoriile lui Platon - Socrate - Academia - Lucrările lui Platon - - Clasificări ale lucrărilor - - - Cronologic - - - Tetralogii - - - Trilogii - - - Grupări lexicale Filosofia lui Platon - Sufletul - Funcția mitului - Idei - Teoria formelor - Ontologia - Epistemologia - Etica - Politica - Statul filosofic - Arta - Doctrinele nescrise: Unu și Diada Republica - Personaje - Conținut - Temele Republicii - - Justiția și dreptatea (Cartea I) - - Statul ideal (Cărțile II-III) - - Analogia oraș-suflet. Armonia părților (Cărțile IV-V) - - Teoria Formelor (Metafora liniei și mitul peșterii) (Cărțile VI-VII) - - Familia și statul (Cărțile VIII-IX) - - Mitul lui Er (Cartea X) Dialectica Educația Filosoful-rege Bibliografie -/- DOI 10.13140/RG.2.2.27534.23361 . (shrink)

This paper argues that the idea of a computer is unique. Calculators and analog computers are not different ideas about computers, and nature does not compute by itself. Computers, once clearly defined in all their terms and mechanisms, rather than enumerated by behavioral examples, can be more than instrumental tools in science, and more than source of analogies and taxonomies in philosophy. They can help us understand semantic content and its relation to form. This can be achieved because they have (...) the potential to do more than calculators, which are computers that are designed not to learn. Today’s computers are not designed to learn; rather, they are designed to support learning; therefore, any theory of content tested by computers that currently exist must be of an empirical, rather than a formal nature. If they are designed someday to learn, we will see a change in roles, requiring an empirical theory about the Turing architecture’s content, using the primitives of learning machines. This way of thinking, which I call the intensional view of computers, avoids the problems of analogies between minds and computers. It focuses on the constitutive properties of computers, such as showing clearly how they can help us avoid the infinite regress in interpretation, and how we can clarify the terms of the suggested mechanisms to facilitate a useful debate. Within the intensional view, syntax and content in the context of computers become two ends of physically realizing correspondence problems in various domains. (shrink)

Intelligent Tutoring Systems (ITS) has a wide influence on the exchange rate, education, health, training, and educational programs. In this paper we describe an intelligent tutoring system that helps student study computer networks. The current ITS provides intelligent presentation of educational content appropriate for students, such as the degree of knowledge, the desired level of detail, assessment, student level, and familiarity with the subject. Our Intelligent tutoring system was developed using ITSB authoring tool for building ITS. A preliminary evaluation of (...) the ITS was done by a group of students and teachers. The results were acceptable. (shrink)

Scientists depend on complex computational systems that are often ineliminably opaque, to the detriment of our ability to give scientific explanations and detect artifacts. Some philosophers have s...

European Computing and Philosophy conference, 2–4 July Barcelona The Seventh ECAP (European Computing and Philosophy) conference was organized by Jordi Vallverdu at Autonomous University of Barcelona. The conference started with the IACAP (The International Association for CAP) presidential address by Luciano Floridi, focusing on mechanisms of knowledge production in informational networks. The first keynote delivered by Klaus Mainzer made a frame for the rest of the conference, by elucidating the fundamental role of complexity of informational structures that can be analyzed (...) on different levels of organization giving place for variety of possible approaches which converge in this cross-disciplinary and multi-disciplinary research field. Keynotes by Kevin Warwick about re-embodiment of rats’ neurons into robots, Raymond Turner on syntax and semantics in programming languages, Roderic Guigo on Biocomputing Sciences and Francesco Subirada on the past and future of supercomputing presented different topics of philosophical as well as practical aspects of computing. Vonference tracks included: Philosophy of Information (Patrick Allo), Philosophy of Computer Science (Raymond Turner), Computer and Information Ethics (Johnny Søraker and Alison Adam), Computational Approaches to the Mind (Ruth Hagengruber), IT and Cultural Diversity (Jutta Weber and Charles Ess), Crossroads (David Casacuberta), Robotics, AI & Ambient Intelligence (Thomas Roth-Berghofer), Biocomputing, Evolutionary and Complex Systems (Gordana Dodig Crnkovic and Søren Brier), E-learning, E-science and Computer-Supported Cooperative Work (Annamaria Carusi) and Technological Singularity and Acceleration Studies (Amnon Eden). (shrink)

Very plausibly, nothing can be a genuine computing system unless it meets an input-sensitivity requirement. Otherwise all sorts of objects, such as rocks or pails of water, can count as performing computations, even such as might suffice for mentality—thus threatening computationalism about the mind with panpsychism. Maudlin in J Philos 86:407–432, ( 1989 ) and Bishop ( 2002a , b ) have argued, however, that such a requirement creates difficulties for computationalism about conscious experience, putting it in conflict with the (...) very intuitive thesis that conscious experience supervenes on physical activity. Klein in Synthese 165:141–153, ( 2008 ) proposes a way for computationalists about experience to avoid panpsychism while still respecting the supervenience of experience on activity. I argue that his attempt to save computational theories of experience from Maudlin’s and Bishop’s critique fails. (shrink)