This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

56 found
Order:
1 — 50 / 56
  1. Computer: A History of the Information Machine. [REVIEW]Jon Agar - 1998 - British Journal for the History of Science 31 (3):361-375.
  2. A Paradox Related to the Turing Test.Samuel Alexander - 2011 - The Reasoner 5 (6):90-90.
  3. Bio-Social Cybernetic Determination, or Responsible Freedom? In Philosophy and Technology II. Information Technology and Computers in Theory and Practice.H. Beck - 1986 - Boston Studies in the Philosophy of Science 90:85-95.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  4. An Evolutionary Argument for a Self-Explanatory, Benevolent Metaphysics.Ward Blondé - 2015 - Symposion. Theoretical and Applied Inquiries in Philosophy and Social Sciences 2 (2):143-166.
    In this paper, a metaphysics is proposed that includes everything that can be represented by a well-founded multiset. It is shown that this metaphysics, apart from being self-explanatory, is also benevolent. Paradoxically, it turns out that the probability that we were born in another life than our own is zero. More insights are gained by inducing properties from a metaphysics that is not self-explanatory. In particular, digital metaphysics is analyzed, which claims that only computable things exist. First of all, it (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5. Michael Polanyi: Can the Mind Be Represented by a Machine?Paul Richard Blum - 2010 - Existence and Anthropology.
    On the 27th of October, 1949, the Department of Philosophy at the University of Manchester organized a symposium "Mind and Machine", as Michael Polanyi noted in his Personal Knowledge (1974, p. 261). This event is known, especially among scholars of Alan Turing, but it is scarcely documented. Wolfe Mays (2000) reported about the debate, which he personally had attended, and paraphrased a mimeographed document that is preserved at the Manchester University archive. He forwarded a copy to Andrew Hodges and B. (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  6. Bayesian Models and Simulations in Cognitive Science.Giuseppe Boccignone & Roberto Cordeschi - 2007 - Workshop Models and Simulations 2, Tillburg, NL.
    Bayesian models can be related to cognitive processes in a variety of ways that can be usefully understood in terms of Marr's distinction among three levels of explanation: computational, algorithmic and implementation. In this note, we discuss how an integrated probabilistic account of the different levels of explanation in cognitive science is resulting, at least for the current research practice, in a sort of unpredicted epistemological shift with respect to Marr's original proposal.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  7. Layers of Models in Computer Simulations.Thomas Boyer-Kassem - 2014 - International Studies in the Philosophy of Science 28 (4):417-436.
    I discuss here the definition of computer simulations, and more specifically the views of Humphreys, who considers that an object is simulated when a computer provides a solution to a computational model, which in turn represents the object of interest. I argue that Humphreys's concepts are not able to analyse fully successfully a case of contemporary simulation in physics, which is more complex than the examples considered so far in the philosophical literature. I therefore modify Humphreys's definition of simulation. I (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  8. Prueba automatica de teoremas: un panorama.J. Cabrera Calvo-Sotelo - 1984 - Teorema: International Journal of Philosophy 14 (3-4):475-496.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  9. Special Issue On: Social Simulation. [REVIEW]Rosaria Conte - 2009 - Mind and Society 8 (2):127-130.
    This is an excerpt from the contentThe European Social Simulation Association was founded in 2002 by a scientific coalition, the SimSoc consortium, active ever since the first years of social simulation . Ten years before, the first of a series of SimSoc symposia held in Surrey in 1992, marked the birth of a new scientific field, the computer simulation of social life. The volume from the 2nd SimSoc symposium, published in 1995, was titled Artificial Societies . The next year, in (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  10. Inexplicit Information.Robert C. Cummins - 1986 - In Myles Brand & Robert M. Harnish (eds.), The Representation of Knowledge and Belief. University of Arizona Press.
    A discussion of a number of ways that information can be present in a computer program without being explicitly represented.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   23 citations  
  11. Validation and Verification in Social Simulation: Patterns and Clarification of Terminology.Nuno David - 2009 - Epistemological Aspects of Computer Simulation in the Social Sciences, EPOS 2006, Revised Selected and Invited Papers, Lecture Notes in Artificial Intelligence, Squazzoni, Flaminio (Ed.) 5466:117-129.
    The terms ‘verification’ and ‘validation’ are widely used in science, both in the natural and the social sciences. They are extensively used in simulation, often associated with the need to evaluate models in different stages of the simulation development process. Frequently, terminological ambiguities arise when researchers conflate, along the simulation development process, the technical meanings of both terms with other meanings found in the philosophy of science and the social sciences. This article considers the problem of verification and validation in (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. The Structure and Logic of Interdisciplinary Research in Agent-Based Social Simulation.Nuno David, Maria Marietto, Jaime Sichman & Helder Coelho - 2004 - Journal of Artificial Societies and Social Simulation 7 (3).
    This article reports an exploratory survey of the structure of interdisciplinary research in Agent-Based Social Simulation. One hundred and ninety six researchers participated in the survey completing an on-line questionnaire. The questionnaire had three distinct sections, a classification of research domains, a classification of models, and an inquiry into software requirements for designing simulation platforms. The survey results allowed us to disambiguate the variety of scientific goals and modus operandi of researchers with a reasonable level of detail, and to identify (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. Simulation as Formal and Generative Social Science: The Very Idea.Nuno David, Jaime Sichman & Helder Coelho - 2007 - In Carlos Gershenson, Diederik Aerts & Bruce Edmonds (eds.), Worldviews, Science, and Us: Philosophy and Complexity. World Scientific. pp. 266--275.
    The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences. Simulation does not resemble formal demonstrations or generative mechanisms that deductively explain how certain models are sufficient to generate emergent macrostructures of interest. The description of scientific practice implies additional epistemic conceptions of scientific knowledge. Three kinds of knowledge that account for a comprehensive description of the discipline were identified: formal, empirical and intentional knowledge. The use of formal (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs.Nuno David, Jaime Sichman & Helder Coleho - 2005 - Journal of Artificial Societies and Social Simulation 8 (4).
    The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social sciences. We attempt to evaluate whether social simulation implies an additional perspective about the way one can understand the concepts of program and computation. We demonstrate (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. Mechanistic Miscomputation: A Reply to Fresco and Primiero.Joe Dewhurst - 2014 - Philosophy and Technology 27 (3):495-498.
    Fresco and Primiero’s recent article, ‘Miscomputation’ , provides a useful framework with which to think about miscomputation, as well as an admirably broad taxonomy of different kinds of miscomputation. However, it also misconstrues the mechanistic approach to miscomputation, which I will argue should not recognise design errors as miscomputations per se. I argue that a computing mechanism, if it is functioning correctly in the physical sense, cannot miscompute on the basis of an error made by an external agent, such as (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16. A Contradiction and P=NP Problem.Farzad Didehvar - manuscript
    Here, by introducing a version of “Unexpected hanging paradox” first we try to open a new way and a new explanation for paradoxes, similar to liar paradox. Also, we will show that we have a semantic situation which no syntactical logical system could support it. Finally, we propose a claim in Theory of Computation about the consistency of this Theory. One of the major claim is:Theory of Computation and Classical Logic leads us to a contradiction.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  17. Nature as a Network of Morphological Infocomputational Processes for Cognitive Agents.Gordana Dodig Crnkovic - 2017 - Eur. Phys. J. Special Topics 226 (2):181-195.
    This paper presents a view of nature as a network of infocomputational agents organized in a dynamical hierarchy of levels. It provides a framework for unification of currently disparate understandings of natural, formal, technical, behavioral and social phenomena based on information as a structure, differences in one system that cause the differences in another system, and computation as its dynamics, i.e. physical process of morphological change in the informational structure. We address some of the frequent misunderstandings regarding the natural/morphological computational (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. Significance of Models of Computation, From Turing Model to Natural Computation.Gordana Dodig-Crnkovic - 2011 - Minds and Machines 21 (2):301-322.
    The increased interactivity and connectivity of computational devices along with the spreading of computational tools and computational thinking across the fields, has changed our understanding of the nature of computing. In the course of this development computing models have been extended from the initial abstract symbol manipulating mechanisms of stand-alone, discrete sequential machines, to the models of natural computing in the physical world, generally concurrent asynchronous processes capable of modelling living systems, their informational structures and dynamics on both symbolic and (...)
    Remove from this list   Direct download (17 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  19. Information and Computation Nets. Investigations Into Info-Computational World.Gordana Dodig-Crnkovic - 2009 - Vdm.
    The book presents investigations into the world of info-computational nature, in which information constitutes the structure, while computational process amounts to its change. Information and computation are inextricably bound: There is no computation without informational structure, and there is no information without computational process. Those two complementary ideas are used to build a conceptual net, which according to Novalis is a theoretical way of capturing reality. We apprehend the reality within a framework known as natural computationalism, the view that the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  20. Knowledge Generation as Natural Computation.Gordana Dodig-Crnkovic - 2008 - Journal of Systemics, Cybernetics and Informatics 6 (2).
    Knowledge generation can be naturalized by adopting computational model of cognition and evolutionary approach. In this framework knowledge is seen as a result of the structuring of input data (data → information → knowledge) by an interactive computational process going on in the agent during the adaptive interplay with the environment, which clearly presents developmental advantage by increasing agent’s ability to cope with the situation dynamics. This paper addresses the mechanism of knowledge generation, a process that may be modeled as (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  21. WHERE DO NEW IDEAS COME FROM? HOW DO THEY EMERGE? - EPISTEMOLOGY AS COMPUTATION.Gordana Dodig-Crnkovic - 2007 - In Christian Calude (ed.), Randomness & Complexity, from Leibniz to Chaitin.
    This essay presents arguments for the claim that in the best of all possible worlds (Leibniz) there are sources of unpredictability and creativity for us humans, even given a pancomputational stance. A suggested answer to Chaitin’s questions: “Where do new mathematical and biological ideas come from? How do they emerge?” is that they come from the world and emerge from basic physical (computational) laws. For humans as a tiny subset of the universe, a part of the new ideas comes as (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  22. Information and Computation: Essays on Scientific and Philosophical Understanding of Foundations of Information and Computation.Gordana Dodig-Crnkovic & Mark Burgin (eds.) - 2011 - World Scientific.
    Information is a basic structure of the world, while computation is a process of the dynamic change of information. This book provides a cutting-edge view of world's leading authorities in fields where information and computation play a central role. It sketches the contours of the future landscape for the development of our understanding of information and computation, their mutual relationship and the role in cognition, informatics, biology, artificial intelligence, and information technology. -/- This book is an utterly enjoyable and engaging (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. Three Paradigms of Computer Science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.
    We examine the philosophical disputes among computer scientists concerning methodological, ontological, and epistemological questions: Is computer science a branch of mathematics, an engineering discipline, or a natural science? Should knowledge about the behaviour of programs proceed deductively or empirically? Are computer programs on a par with mathematical objects, with mere data, or with mental processes? We conclude that distinct positions taken in regard to these questions emanate from distinct sets of received beliefs or paradigms within the discipline: – The rationalist (...)
    Remove from this list   Direct download (15 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  24. Gaming the Attention Economy.Daniel Estrada & Jon Lawhead - 2013 - In Pietro Michelucci (ed.), The Handbook of Human Computation. Springer. pp. 961-978.
    The future of human computation benefits from examining tasks that agents already perform and designing environments to give those tasks computational significance. We call this natural human computation. We consider the possible future of NHC through the lens of Swarm!, an application under development for Google Glass. Swarm! motivates users to compute the solutions to a class of economic optimization problems by engaging the attention dynamics of crowds. We argue that anticipating and managing economies of attention provides one of the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. Faulty Belnap Computers and Subsystems of FDE.Thomas Macaulay Ferguson - forthcoming - Journal of Logic and Computation.
    In this article, we consider variations of Nuel Belnap's "artificial reasoner". In particular, we examine cases in which the artificial reasoner is faulty, e.g. situations in which the reasoner is unable to calculate the value of a formula due to an inability to retrieve the values of its atoms. In the first half of the article, we consider two ways of modelling such circumstances and prove the deductive systems arising from these two types of models to be equivalent to Graham (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  26. The Interface Effect.Alexander R. Galloway - 2012 - Polity.
    Introduction : the computer as a mode of mediation -- The unworkable interface -- Software and ideology -- Are some things unrepresentable? -- Disingenuous informatics -- Postscript : we are the gold farmers.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  27. Opinions and Outlooks on Morphological Computation.Helmut Hauser, Rudolf M. Füchslin & Rolf Pfeifer (eds.) - 2014 - E-Book.
    Morphological Computation is based on the observation that biological systems seem to carry out relevant computations with their morphology (physical body) in order to successfully interact with their environments. This can be observed in a whole range of systems and at many different scales. It has been studied in animals – e.g., while running, the functionality of coping with impact and slight unevenness in the ground is "delivered" by the shape of the legs and the damped elasticity of the muscle-tendon (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. Is There Any Real Substance to the Claims for a 'New Computationalism'?Alberto Hernandez-Espinosa, Hernandez-Quiroz Francisco & Zenil Hector - forthcoming - In CiE Computability in Europe 2017. Springer Verlag.
    'Computationalism' is a relatively vague term used to describe attempts to apply Turing's model of computation to phenomena outside its original purview: in modelling the human mind, in physics, mathematics, etc. Early versions of computationalism faced strong objections from many (and varied) quarters, from philosophers to practitioners of the aforementioned disciplines. Here we will not address the fundamental question of whether computational models are appropriate for describing some or all of the wide range of processes that they have been applied (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  29. Trade-Offs in Exploiting Body Morphology for Control: From Simple Bodies and Model-Based Control to Complex Ones with Model-Free Distributed Control Schemes.Matej Hoffmann & Vincent C. Müller - 2014 - In Helmut Hauser, Rudolf M. Füchslin & Rolf Pfeifer (eds.), Opinions and Outlooks on Morphological Computation. E-Book. pp. 185-194.
    Tailoring the design of robot bodies for control purposes is implicitly performed by engineers, however, a methodology or set of tools is largely absent and optimization of morphology (shape, material properties of robot bodies, etc.) is lag- ging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or "soft" bodies. These carry substantial potential regarding their exploitation for control – sometimes referred to as "mor- phological computation" in the sense of offloading computation (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30. Logical Reasoning in Natural Language: It is All About Knowledge. [REVIEW]Lucja Iwańska - 1993 - Minds and Machines 3 (4):475-510.
    A formal, computational, semantically clean representation of natural language is presented. This representation captures the fact that logical inferences in natural language crucially depend on the semantic relation of entailment between sentential constituents such as determiner, noun, adjective, adverb, preposition, and verb phrases.The representation parallels natural language in that it accounts for human intuition about entailment of sentences, it preserves its structure, it reflects the semantics of different syntactic categories, it simulates conjunction, disjunction, and negation in natural language by computable (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  31. Roberto Busa i humanistyczna informatyka.Robert Janusz - 2012 - Rocznik Filozoficzny Ignatianum:91-106.
    Fr. Roberto Busa was an Italian Jesuit. In this article his biography will briefly be presented, and some issues raised by his philosophy analyzed. Busa was known as a pioneer of computerized research in the humanities. With the support of IBM he constructed the Index Thomisticus, containing all the works of St. Thomas Aquinas. He believed that expressions of the human can be mathematically modeled. He was the originator of a specific conception of hypertext, in which logically structured programs are (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  32. Philosophy, Mathematics, Science and Computation.Enrique V. Kortright - 1994 - Topoi 13 (1):51-60.
    Attempts to lay a foundation for the sciences based on modern mathematics are questioned. In particular, it is not clear that computer science should be based on set-theoretic mathematics. Set-theoretic mathematics has difficulties with its own foundations, making it reasonable to explore alternative foundations for the sciences. The role of computation within an alternative framework may prove to be of great potential in establishing a direction for the new field of computer science.Whitehead''s theory of reality is re-examined as a foundation (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  33. The Role of 'Complex' Empiricism in the Debates About Satellite Data and Climate Models.Elisabeth A. Lloyd - 2012 - Studies in History and Philosophy of Science Part A 43 (2):390-401.
    climate scientists have been engaged in a decades-long debate over the standing of satellite measurements of the temperature trends of the atmosphere above the surface of the earth. This is especially significant because skeptics of global warming and the greenhouse effect have utilized this debate to spread doubt about global climate models used to predict future states of climate. I use this case from an under-studied science to illustrate two distinct philosophical approaches to the relation among data, scientists, measurement, models, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  34. Programming the Universe.Seh Lloyd - 2007 - Vintage.
  35. Suicidal Utopian Delusions in the 21st Century-Philosophy, Human Nature and the Collapse of Civilization 392p(2017).Starks Michael - 2017 - Henderson,NV, USA: Michael Starks.
    This collection of articles was written over the last 10 years and edited them to bring them up to date (2017). The copyright page has the date of the edition and new editions will be noted there as I edit old articles or add new ones. All the articles are about human behavior (as are all articles by anyone about anything), and so about the limitations of having a recent monkey ancestry (8 million years or much less depending on viewpoint) (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  36. Practical Intractability: A Critique of the Hypercomputation Movement. [REVIEW]Aran Nayebi - 2014 - Minds and Machines 24 (3):275-305.
    For over a decade, the hypercomputation movement has produced computational models that in theory solve the algorithmically unsolvable, but they are not physically realizable according to currently accepted physical theories. While opponents to the hypercomputation movement provide arguments against the physical realizability of specific models in order to demonstrate this, these arguments lack the generality to be a satisfactory justification against the construction of any information-processing machine that computes beyond the universal Turing machine. To this end, I present a more (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  37. Three Concepts of Decidability for General Subsets of Uncountable Spaces.Matthew W. Parker - 2003 - Theoretical Computer Science 351 (1):2-13.
    There is no uniquely standard concept of an effectively decidable set of real numbers or real n-tuples. Here we consider three notions: decidability up to measure zero [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382], which we abbreviate d.m.z.; recursive approximability [or r.a.; K.-I. Ko, Complexity Theory of Real Functions, Birkhäuser, Boston, 1991]; and decidability ignoring boundaries [d.i.b.; W.C. Myrvold, The decision problem for entanglement, in: R.S. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  38. Unthinking Things.John Preston - 2012 - The Philosophers' Magazine 57 (57):79-83.
  39. What Are Computers (If They're Not Thinking Things)?John Preston - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 609--615.
  40. On Malfunctioning Software.Giuseppe Primiero, Nir Fresco & Luciano Floridi - 2015 - Synthese 192 (4):1199-1220.
    Artefacts do not always do what they are supposed to, due to a variety of reasons, including manufacturing problems, poor maintenance, and normal wear-and-tear. Since software is an artefact, it should be subject to malfunctioning in the same sense in which other artefacts can malfunction. Yet, whether software is on a par with other artefacts when it comes to malfunctioning crucially depends on the abstraction used in the analysis. We distinguish between “negative” and “positive” notions of malfunction. A negative malfunction, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  41. The Significance and Use of Absence.Varanasi Ramabrahmam - manuscript
    The significance and use of absence of a thing is highlighted taking examples from mathematics, physics, semi-conductor electronics, computer science and cognitive science. The profundity of absence is discussed.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Philosophy of Computer Science.William J. Rapaport - 2005 - Teaching Philosophy 28 (4):319-341.
    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.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  43. Philosophy of Computer Science : An Introductory Course Philosophy of Computer Science : An Introductory Course.William J. Rapaport - 2005 - Teaching Philosophy 28 (4):319-341.
    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.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Philosophy of Computer Science: An Introductory Course.William J. Rapaport - 2005 - Teaching Philosophy 28 (4):319-341.
    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.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. Implementation Is Semantic Interpretation.William J. Rapaport - 1999 - The Monist 82 (1):109-130.
    What is the computational notion of "implementation"? It is not individuation, instantiation, reduction, or supervenience. It is, I suggest, semantic interpretation. The online version differs from the published version in being a bit longer and going into a bit more detail.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  46. Levels of Abstraction, Emergentism and Artificial Life.Emanuele Ratti - 2014 - Journal of Experimental & Theoretical Artificial Intelligence:1-12.
    I diagnose the current debate between epistemological and ontological emergentism as a Kantian antinomy, which has reasonable but irreconcilable thesis and antithesis. Kantian antinomies have recently returned to contemporary philosophy in part through the work of Luciano Floridi, and the method of levels of abstraction. I use a thought experiment concerning a computer simulation to show how to resolve the epistemological/ontological antinomy about emergence. I also use emergentism and simulations in artificial life to illuminate both levels of abstraction and theoretical (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  47. Diverse Perspectives on Ontology.Emilio Sanfilippo, Emanuele Ratti, Francesca Quattri, Aleksandra Sojic, Federico Boem, Gaoussou Camara & Eric Chuk - 2013 - Applied Ontology 8 (1):59-71.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  48. Sind Bilder ein Gegenstand der Informatik? Überlegungen zur Computervisualistik.Joerg R. J. Schirra - 2012 - In Dimitri Liebsch & Nicola Mößner (eds.), Visualisierung und Erkenntnis. Bildverstehen und Bildverwenden in Natur- und Geisteswissenschaften. Herbert von Halem Verlag.. pp. 329-359.
    Ausgehend von der provokanten These, Bilder seien gar kein genuiner Gegenstand der Informatik, geht es im Folgenden um die Beziehung zwischen Computervisualistik und bildwissenschaftlichen Begriffen. Denn trotz der These stellen Informatiker uns offensichtlich bereits seit Jahren Computer bereit, auf denen wir eine Vielfalt von Programmen zur Bildverarbeitung, Bilderzeugung und Bildanalyse nutzen können. Interaktive Bilder und immersive Systeme sind schließlich ohne die computervisualistischen Erzeugnisse gar nicht vorstellbar. Eine kleine Einführung in die Funktionsweisen beispielhaft gewählter bildverarbeitender und -erzeugender Algorithmen liefert das Anschauungsmaterial, (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  49. The Scope of Turing's Analysis of Effective Procedures.Jeremy Seligman - 2002 - Minds and Machines 12 (2):203-220.
    Turing's (1936) analysis of effective symbolic procedures is a model of conceptual clarity that plays an essential role in the philosophy of mathematics. Yet appeal is often made to the effectiveness of human procedures in other areas of philosophy. This paper addresses the question of whether Turing's analysis can be applied to a broader class of effective human procedures. We use Sieg's (1994) presentation of Turing's Thesis to argue against Cleland's (1995) objections to Turing machines and we evaluate her proposal (...)
    Remove from this list   Direct download (16 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  50. Evaluating the Exact Infinitesimal Values of Area of Sierpinski's Carpet and Volume of Menger's Sponge.Yaroslav Sergeyev - 2009 - Chaos, Solitons and Fractals 42: 3042–3046.
    Very often traditional approaches studying dynamics of self-similarity processes are not able to give their quantitative characteristics at infinity and, as a consequence, use limits to overcome this difficulty. For example, it is well know that the limit area of Sierpinski’s carpet and volume of Menger’s sponge are equal to zero. It is shown in this paper that recently introduced infinite and infinitesimal numbers allow us to use exact expressions instead of limits and to calculate exact infinitesimal values of areas (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 56