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

65 found
Order:
1 — 50 / 65
  1. added 2020-04-17
    Why Computer Simulations Are Not Inferences, and in What Sense They Are Experiments.Florian J. Boge - 2018 - European Journal for Philosophy of Science 9 (1):1-30.
    The question of where, between theory and experiment, computer simulations locate on the methodological map is one of the central questions in the epistemology of simulation. The two extremes on the map have them either be a kind of experiment in their own right, 317–329, 2005; Morrison Philosophical Studies, 143, 33–57, 2009; Morrison 2015; Massimi and Bhimji Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 51, 71–81, 2015; Parker Synthese, 169, 483–496, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. added 2019-12-05
    Wolpert, Chaitin y Wittgenstein sobre la imposibilidad, la incompletitud, la paradoja mentirosa, el teísmo, los límites de la computación, un principio de incertidumbre mecánica no cuántica y el universo como computadora, el teorema definitivo en la teoría de la máquina de Turing (revisado en 2019).Michael Richard Starks - 2019 - In Delirios Utópicos Suicidas en el Siglo 21 La filosofía, la naturaleza humana y el colapso de la civilización Artículos y reseñas 2006-2019 4a Edición. Las Vegas, NV USA: Reality Press. pp. 278-282.
    He leído muchas discusiones recientes sobre los límites de la computación y el universo como computadora, con la esperanza de encontrar algunos comentarios sobre el increíble trabajo del físico polimatemático y teórico de la decisión David Wolpert pero no han encontrado una sola citación y así que presento esta muy breve Resumen. Wolpert demostró algunos teoremas sorprendentes de imposibilidad o incompletos (1992 a 2008-ver arxiv dot org) en los límites de la inferencia (computación) que son tan generales que son independientes (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. added 2019-12-01
    Reseña de ‘Wittgenstein's Metaphilosophy’ de Paul Horwich 248p (2013) (revisión revisada 2019).Michael Richard Starks - 2019 - In Delirios Utópicos Suicidas en el Siglo 21 La filosofía, la naturaleza humana y el colapso de la civilización Artículos y reseñas 2006-2019 4TH Edición. Las Vegas, NV USA: Reality Press. pp. 145-167.
    The first group of articles attempt to give some insight into how we behave that is reasonably free of theoretical delusions. In the next three groups I comment on three of the principal delusions preventing a sustainable world— technology, religion and politics (cooperative groups). People believe that society can be saved by them, so I provide some suggestions in the rest of the book as to why this is unlikely via short articles and reviews of recent books by well-known writers. (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. added 2019-09-20
    Isabelle for Philosophers.Ben Blumson - manuscript
    This is an introduction to the Isabelle proof assistant aimed at philosophers and their students.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. added 2019-09-14
    Big Data and Prediction: Four Case Studies.Robert Northcott - forthcoming - Studies in History and Philosophy of Science Part A.
    Has the rise of data-intensive science, or ‘big data’, revolutionized our ability to predict? Does it imply a new priority for prediction over causal understanding, and a diminished role for theory and human experts? I examine four important cases where prediction is desirable: political elections, the weather, GDP, and the results of interventions suggested by economic experiments. These cases suggest caution. Although big data methods are indeed very useful sometimes, in this paper’s cases they improve predictions either limitedly or not (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. added 2019-08-28
    Pernyataan tentang kemustahilan, ketidaklengkapan, Paraconsistency,Undecidability, Randomness, Komputabilitas, paradoks, dan ketidakpastian dalam Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal-Sharrock dan Yanofsky.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    Hal ini sering berpikir bahwa kemustahilan, ketidaklengkapan, Paraconsistency, Undecidability, Randomness, komputasi, Paradox, ketidakpastian dan batas alasan yang berbeda ilmiah fisik atau matematika masalah memiliki sedikit atau tidak ada dalam Umum. Saya menyarankan bahwa mereka sebagian besar masalah filosofis standar (yaitu, Permainan bahasa) yang sebagian besar diselesaikan oleh Wittgenstein lebih dari 80years yang lalu. -/- "Apa yang kita ' tergoda untuk mengatakan ' dalam kasus seperti ini, tentu saja, bukan filsafat, tetapi bahan baku. Jadi, misalnya, apa yang seorang matematikawan cenderung mengatakan (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. added 2019-08-25
    Замечания о невозможности, неполноте Paraconsistency, Нерешающость, Случайность вычислительности, парадокс, и неопределенность в Чайтин, Витгенштейн, Хофштадтер Вольперт, Дориа, да Коста, Годель, Сирл, Родыч Берто, Флойд, Мойал-Шаррок и Янофски.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    Принято считать, что невозможность, неполнота, Парапоследовательность, Несоответствие, Случайность, вычислительность, парадокс, неопределенность и пределы разума являются разрозненными научными физическими или математическими вопросами, имеющими мало или ничего общего. Я полагаю, что они в значительной степени стандартные философские проблемы (т.е. языковые игры), которые были в основном решены Витгенштейном более 80 лет назад. -/- Я предоставляю краткое резюме некоторых из основных выводов двух из самых выдающихся студентов поведения о Fсовременности, Людвиг Витгенштейн и Джон Сирл, на логическую структуру преднамеренности (ум, язык, поведение), принимая в качестве (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. added 2019-07-18
    Understanding From Machine Learning Models.Emily Sullivan - forthcoming - British Journal for the Philosophy of Science:axz035.
    Simple idealized models seem to provide more understanding than opaque, complex, and hyper-realistic models. However, an increasing number of scientists are going in the opposite direction by utilizing opaque machine learning models to make predictions and draw inferences, suggesting that scientists are opting for models that have less potential for understanding. Are scientists trading understanding for some other epistemic or pragmatic good when they choose a machine learning model? Or are the assumptions behind why minimal models provide understanding misguided? In (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. added 2019-06-06
    Implementation is Semantic Interpretation.Willam 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.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  10. added 2019-03-18
    Computation in Cognitive Science: It is Not All About Turing-Equivalent Computation.Kenneth Aizawa - 2010 - Studies in History and Philosophy of Science Part A 41 (3):227-236.
    It is sometimes suggested that the history of computation in cognitive science is one in which the formal apparatus of Turing-equivalent computation, or effective computability, was exported from mathematical logic to ever wider areas of cognitive science and its environs. This paper, however, indicates some respects in which this suggestion is inaccurate. Computability theory has not been focused exclusively on Turing-equivalent computation. Many essential features of Turing-equivalent computation are not captured in definitions of computation as symbol manipulation. Turing-equivalent computation did (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11. added 2019-01-30
    Suicidal Utopian Delusions in the 21st Century: Philosophy, Human Nature and the Collapse of Civilization-- Articles and Reviews 2006-2017 2nd Edition Feb 2018.Michael Starks - 2016 - Las Vegas, USA: Reality Press.
    This collection of articles was written over the last 10 years and edited to bring them up to date (2019). 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) and manifest words and deeds within the framework of our innate psychology as presented in the table of intentionality. As famous evolutionist Richard Leakey says, it (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. added 2018-07-31
    Socio-Technical Computation.Markus Luczak-Roesch, Ramine Tinati, Kieron O'Hara & Nigel Shadbolt - 2015 - In Proceedings of the 18th ACM Conference Companion on Computer Supported Cooperative Work & Social Computing.
    Motivated by the significant amount of successful collaborative problem solving activity on the Web, we ask: Can the accumulated information propagation behavior on the Web be conceived as a giant machine, and reasoned about accordingly? In this paper we elaborate a thesis about the computational capability embodied in information sharing activities that happen on the Web, which we term socio-technical computation, reflecting not only explicitly conditional activities but also the organic potential residing in information on the Web.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. added 2018-01-26
    Simple or Complex Bodies? Trade-Offs in Exploiting Body Morphology for Control.Matej Hoffmann & Vincent C. Müller - 2017 - In Gordana Dodig-Crnkovic & Raffaela Giovagnoli (eds.), Representation of Reality: Humans, Other Living Organisms and Intelligent Machines. Berlin: Springer. pp. 335-345.
    Engineers fine-tune the design of robot bodies for control purposes, however, a methodology or set of tools is largely absent, and optimization of morphology (shape, material properties of robot bodies, etc.) is lagging 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 ”morphological computation”. In this article, we briefly review different notions of computation by physical systems and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. added 2017-12-03
    Psychological and Other Aspects of the Sign Arbitrariness.Miroslav Brada - 2017 - le Cours de Linguistique Générale 1916-2016.
    I confront arbitrariness of the sign to a criterion assessing the quality of language, logical system, psychometrics and art.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. added 2017-07-30
    Intractability and the Use of Heuristics in Psychological Explanations.Iris Rooij, Cory Wright & Todd Wareham - 2012 - Synthese 187 (2):471-487.
  16. added 2017-03-20
    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 (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  17. added 2017-03-15
    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  
     
    Bookmark  
  18. added 2017-02-19
    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  
     
    Bookmark   4 citations  
  19. added 2017-02-18
    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  
     
    Bookmark   1 citation  
  20. added 2017-02-18
    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  
     
    Bookmark   2 citations  
  21. added 2017-02-08
    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 (15 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  22. added 2017-02-08
    Special Issue On: Social Simulation: Preface. [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 (2 more)  
     
    Export citation  
     
    Bookmark  
  23. added 2017-01-19
    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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. added 2017-01-06
    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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25. added 2016-04-07
    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  
     
    Bookmark  
  26. added 2016-03-17
    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  
     
    Bookmark  
  27. added 2016-03-17
    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  
     
    Bookmark  
  28. added 2016-03-17
    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  
     
    Bookmark   1 citation  
  29. added 2016-03-17
    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  
     
    Bookmark   2 citations  
  30. added 2016-03-04
    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 (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  31. added 2016-01-16
    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  
     
    Bookmark  
  32. added 2016-01-06
    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 (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  33. added 2016-01-06
    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  
     
    Bookmark  
  34. added 2015-10-08
    Computer: A History of the Information Machine. [REVIEW]Jon Agar - 1998 - British Journal for the History of Science 31 (3):361-375.
  35. added 2015-10-08
    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  
     
    Bookmark  
  36. added 2015-09-29
    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  
     
    Bookmark  
  37. added 2015-09-17
    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  
     
    Bookmark   47 citations  
  38. added 2015-09-11
    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   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. added 2015-08-25
    What Are Computers (If They're Not Thinking Things)?John Preston - unknown
  40. added 2015-08-25
    Unthinking Things.John Preston - 2012 - The Philosophers' Magazine 57 (57):79-83.
  41. added 2015-08-24
    Well-Structured Biology: Numerical Taxonomy's Epistemic Vision for Systematics.Beckett Sterner - 2014 - In Andrew Hamilton (ed.), The Evolution of Phylogenetic Systematics. University of California Press. pp. 213-244.
    What does it look like when a group of scientists set out to re-envision an entire field of biology in symbolic and formal terms? I analyze the founding and articulation of Numerical Taxonomy between 1950 and 1970, the period when it set out a radical new approach to classification and founded a tradition of mathematics in systematic biology. I argue that introducing mathematics in a comprehensive way also requires re-organizing the daily work of scientists in the field. Numerical taxonomists sought (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. added 2014-08-29
    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  
     
    Bookmark   9 citations  
  43. added 2014-08-28
    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  
     
    Bookmark   1 citation  
  44. added 2014-04-14
    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  
     
    Bookmark   1 citation  
  45. added 2014-03-24
    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 (13 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46. added 2014-03-15
    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  
     
    Bookmark   12 citations  
  47. added 2014-02-16
    Algorithms for Quantum Computation: Discrete Logarithms and Factoring.P. Shor - 1994 - Proceedings of the 35th Annual IEEE Symposium on Foundations of Computer Science:124-134.
    Remove from this list  
     
    Export citation  
     
    Bookmark   29 citations  
  48. added 2013-12-14
    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  
     
    Export citation  
     
    Bookmark   3 citations  
  49. added 2013-12-09
    Single-Tape and Multi-Tape Turing Machines Through the Lens of the Grossone Methodology.Yaroslav Sergeyev & Alfredo Garro - 2013 - Journal of Supercomputing 65 (2):645-663.
    The paper investigates how the mathematical languages used to describe and to observe automatic computations influence the accuracy of the obtained results. In particular, we focus our attention on Single and Multi-tape Turing machines which are described and observed through the lens of a new mathematical language which is strongly based on three methodological ideas borrowed from Physics and applied to Mathematics, namely: the distinction between the object (we speak here about a mathematical object) of an observation and the instrument (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50. added 2013-11-17
    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 (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 65