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

433 found
Order:
1 — 50 / 433
  1. added 2019-02-01
    The Mind as Neural Software? Understanding Functionalism, Computationalism, and Computational Functionalism.Gualtiero Piccinini - 2010 - Philosophy and Phenomenological Research 81 (2):269-311.
    Defending or attacking either functionalism or computationalism requires clarity on what they amount to and what evidence counts for or against them. My goalhere is not to evaluatc their plausibility. My goal is to formulate them and their relationship clearly enough that we can determine which type of evidence is relevant to them. I aim to dispel some sources of confusion that surround functionalism and computationalism. recruit recent philosophical work on mechanisms and computation to shed light on them, and clarify (...)
    Remove from this list   Direct download (11 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2. added 2018-10-21
    Ciencia de la computación y filosofía: unidades de análisis del software.Juan Manuel Durán - 2018 - Principia 22 (2):203-227.
    Una imagen muy generalizada a la hora de entender el software de computador es la que lo representa como una “caja negra”: no importa realmente saber qué partes lo componen internamente, sino qué resultados se obtienen de él según ciertos valores de entrada. Al hacer esto, muchos problemas filosóficos son ocultados, negados o simplemente mal entendidos. Este artículo discute tres unidades de análisis del software de computador, esto es, las especificaciones, los algoritmos y los procesos computacionales. El objetivo central es (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. added 2018-06-15
    Humeanism and Exceptions in the Fundamental Laws of Physics.Billy Wheeler - 2015 - Principia: An International Journal of Epistemology 21 (3):317-337.
    It has been argued that the fundamental laws of physics do not face a ‘problem of provisos’ equivalent to that found in other scientific disciplines (Earman, Roberts and Smith 2002) and there is only the appearance of exceptions to physical laws if they are confused with differential equations of evolution type (Smith 2002). In this paper I argue that even if this is true, fundamental laws in physics still pose a major challenge to standard Humean approaches to lawhood, as they (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. added 2018-02-16
    Social Software.Rohit Parikh - 2002 - Synthese 132 (3):187-211.
    We suggest that the issue of constructing and verifying social procedures, which we suggestively call "social software", be pursued as systematically as computer software is pursued by computer scientists. Certain complications do arise with social software which do not arise with computer software, but the similarities are nonetheless strong, and tools already exist which would enable us to start work on this important project. We give a variety of suggestive examples and indicate some theoretical work which already exists. I send (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  5. added 2017-12-16
    Coordination Technology for Active Support Networks: Context, Needfinding, and Design.Stanley J. Rosenschein & Todd Davies - 2018 - AI and Society 33 (1):113-123.
    Coordination is a key problem for addressing goal–action gaps in many human endeavors. We define interpersonal coordination as a type of communicative action characterized by low interpersonal belief and goal conflict. Such situations are particularly well described as having collectively “intelligent”, “common good” solutions, viz., ones that almost everyone would agree constitute social improvements. Coordination is useful across the spectrum of interpersonal communication—from isolated individuals to organizational teams. Much attention has been paid to coordination in teams and organizations. In this (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. added 2017-02-16
    Understanding the Role of Ethics in the Intention to Share Files Using P2P Networks.Eric Kyper & Roger Blake - 2011 - International Review of Information Ethics 16:60-73.
    This research examines the role that ethics plays in an individual's intention to engage in peer-to-peer file sharing. Previous studies have focused on P2P file sharing as primarily an act of piracy; and accordingly many, although not all, have found that ethical considerations do play a role in file sharing intentions. While piracy over P2P networks has continued and ethical predispositions clearly remain important issues, in the face of new business models and increased use of P2P file sharing for perfectly (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  7. added 2017-02-14
    The Matrix-Graph Method Of Choice And Verification Of Software Reliability Models.V. S. Kharchenko, O. M. Tarasyuk & V. V. Sklyar - forthcoming - Philosophy of Science.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  8. added 2017-02-14
    622 Reviews of Books.Diane Owen Hughes - forthcoming - Medioevo.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  9. added 2017-02-14
    Open Source as a Complex Adaptive System.M. Moreno & M. Faldani - 2003 - Emergence: Complexity and Organization 5 (3).
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  10. added 2017-02-14
    Books and Reviews.Eric Toms - 1983 - International Logic Review 28.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  11. added 2017-02-14
    Books and Reviews.A. Tarski - 1983 - International Logic Review 28:290.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  12. added 2017-02-14
    Books and Reviews.M. J. Green-Pedersen - 1983 - International Logic Review 28:67.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  13. added 2017-02-14
    Books and Reviews.Arte Combinatoria - 1980 - International Logic Review: Rassegna Internazionale di Logica 11:81.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  14. added 2017-02-14
    Books and Reviews.W. Aa - 1976 - International Logic Review: Rassegna Internazionale di Logica 13:106.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  15. added 2017-02-14
    Books and Reviews.L. D. Meshalkin - 1976 - International Logic Review: Rassegna Internazionale di Logica 13:246.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  16. added 2017-02-14
    Books and Reviews.Pens&E. et le Mouvartt - 1974 - International Logic Review: Rassegna Internazionale di Logica 9:151.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  17. added 2017-02-14
    Books and Reviews.M. Boudot - 1972 - International Logic Review: Rassegna Internazionale di Logica 5:268.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  18. added 2017-02-13
    FÖGEN (T.) Ed. Antike Fachtexte = Ancient Technical Texts. Berlin: De Gruyter, 2005. Pp. Viii + 378. 88. 9783110181227.Caroline Petit - 2007 - Journal of Hellenic Studies 127:176-177.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  19. added 2017-02-13
    Moral Theories for Autonomous Software Agents.Richard Lucas - 2004 - Acm Sigcas Computers and Society 34 (1):4.
  20. added 2017-02-13
    Legal Aspects of Mobile Agents. With Special Consideration of the Proposed Austrian E-Commerce Law.M. Sonntag - 2002 - In Robert Trappl (ed.), Cybernetics and Systems. Austrian Society for Cybernetics Studies. pp. 153--158.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  21. added 2017-02-13
    Open Source and These United States.C. Justin Seiferth - 1999 - Knowledge, Technology & Policy 12 (3):50-79.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  22. added 2017-02-12
    Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372).Uwe Glässer, Stefan Hallerstede, Michael Leuschel & Elvinia Riccobene - unknown
    This report documents the program and the outcomes of Dagstuhl Seminar 13372 "Integration of Tools for Rigorous Software Construction and Analysis". The 32 participants came from 10 countries: Australia, Austria, Brazil, Canada, Denmark, France, Germany, Great Britain, Italy, Norway. The aim of the seminar was to bring together researchers and tool developers from different state- and machine-based formal methods communities in order to share expertise and promote the joint use of modelling tool technologies. Indeed, each of these communities -- fromState (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  23. added 2017-02-12
    What Web Ads, Blurbs and Introductions Tell Potential Dictionary Buyers About Users, User Needs and Lexicographic Functions.Birger Andersen - 2012 - Hermes 49.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  24. added 2017-02-12
    Gold Open Access Publishing Must Not Be Allowed to Retard the Progress of Green Open Access Self-Archiving.Stevan Harnad - 2010 - Logos 21 (3):86-93.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25. added 2017-02-08
    Open Access Overview.Peter Suber - unknown
    This is an introduction to open access (OA) for those who are new to the concept. I hope it's short enough to read, long enough to be useful, and organized to let you skip around and dive into detail only where you want detail. It doesn't cover every nuance or answer every objection. But for those who read it, it should cover enough territory to prevent the misunderstandings that delayed progress in our early days.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  26. added 2017-02-08
    Mathematics of Language 10/11, Lecture Notes in Computer Science 6149.C. Ebert, G. Jäger, M. Kracht & J. Michaelis (eds.) - 2010 - Springer.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. added 2017-02-07
    Open Source as a Complex Adaptive System.Moreno Muffatto & Matteo Faldani - 2003 - Emergence: Complexity and Organization 5 (3):83-100.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28. added 2017-02-07
    BOOKS Reviews.James Campbell & Ann Kramer Clark - 1994 - Metaphilosophy 25 (4):392-400.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. added 2017-02-07
    Books Reviews.Terence Horgan - 1991 - Mind 100 (398):290-293.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. added 2017-02-07
    Books Reviews.Peter Lipton - 1991 - Mind 100 (398):293-295.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. added 2017-02-07
    Books Reviews.Jay F. Rosernberg - 1991 - Mind 100 (398):305-308.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. added 2017-02-07
    Books Reviews.Robert J. Fogelin - 1987 - Mind 96 (383):418-421.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. added 2017-02-07
    Books Reviews.G. A. J. Rogers - 1987 - Mind 96 (383):427-429.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. added 2017-02-07
    Books Reviews.Don Locke - 1978 - Mind 87 (4):631-633.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. added 2017-02-03
    Selected Papers on Design of Algorithms.Donald Ervin Knuth - 2010 - Center for the Study of Language and Information.
  36. added 2017-02-03
    TNTBase: A Versioned Storage for XML.Vyacheslav Zholudev & Michael Kohlhase - unknown
    Version Control systems like CVS and Subversion have transformed collaboration workflows in software engineering, and made possible the globally distributed project teams we know from the Open Source Phenomenon. On the other hand, XML is coming of age as a basis for document formats, and even though XML as a text-based format is amenable to version control in principle, the fact that version control systems work on files makes difficult the integration of fragment access techniques like XPath, XQuery that are (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. added 2017-02-01
    Books Reviews.Pauls Heldon Davies - 1996 - Mind 105 (418):337-341.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38. added 2017-02-01
    Reviews of Books.R. V. Mises - 1976 - Erkenntnis 8 (1):261-263.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. added 2017-02-01
    Reviews of Books.Olaf Helmer, M. Strauss & Alexander Herzberg - 1976 - Erkenntnis 8 (1):372-383.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. added 2017-01-29
    Brittleness and Bureaucracy: Software as a Material for Science.Matt Spencer - 2015 - Perspectives on Science 23 (4):466-484.
    Computer simulations play a key role in many domains of contemporary science. The question of how they transform science has received a lot of scholarly attention. Many have concentrated on outlining the epistemological similarities and differences between simulation and experiment and theory and on the diversity of kinds of modelling and representing found across domains of science. A third direction, which I explore here, looks instead at how working with computers, and working in software environments in particular, gives this kind (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41. added 2017-01-28
    Morph Moulder: Teaching Software for HPSG and Description Logics.Ekaterina Ovichinnikova & Frank Richter - 2007 - Logic Journal of the IGPL 15 (4):333-345.
    The graphical software Morph Moulder presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar in an e-Learning environment. It has then been extended to a treatment of description logics , which are at present the standard formalism for building ontologies. With MoMo, students can construct interpretations of sets of formulae and check whether their interpretations model these formulae . MoMo also supports reasoning such as the construction of well-formed interpretations in the feature logic of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. added 2017-01-28
    Software Tools in Logic Education: Some Examples.Belen Perez-Lancho, Elena Jorge, Ana de la Viuda & Raquel Sanchez - 2007 - Logic Journal of the IGPL 15 (4):347-357.
    Computers are increasingly present in education and make many resources and activities available to teachers and pupils. New pedagogical resources development is very interesting for both. Our digital library Summa Logicae is overtly involved in innovation and pedagogical systematization. It includes some software tools for teaching logic developed by computer science students, and in this article we present two of these tools. The MAFIA tool is especially attractive for first year students and helps them to understand the basic concepts of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. added 2017-01-27
    Books and Software Reviews-Sex and Death: An Introduction to the Philosophy of Biology.Anne Pringle - 2000 - Complexity 5 (4):44-45.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  44. added 2017-01-27
    Book and Software Reviews-Large-Scale Perspectives in Community Ecology.Philip Novack-Gottshall - 2000 - Complexity 6 (1):58-59.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  45. added 2017-01-27
    Book and Software Reviews-Evolution and Ecology: The Pace of Life.Arnold I. Miller - 1998 - Complexity 4 (1):48.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  46. added 2017-01-27
    Software Support for Isotype: Motivation and System Design.Thomas Mueck & Martin Polaschek - 1993 - Vienna Circle Institute Yearbook 1:229-239.
    A computer hard- and software system designed to support Otto Neurath’s Isotype methodology has to meet a number of different requirements which roughly belong to two categories. The first category contains all requirements regarding the technical aspects of the user interface as well as the quality of the resulting printouts . The second category lies beyond Pure computer science considerations and is closely related to Neurath’s rule base used to define semantically correct Isotype charts. All considerations aiming at the technical (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  47. added 2017-01-27
    Constraining the Choice Set: Lessons From the Software Revolution.David Levy - 1985 - Reason Papers 10:77-88.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  48. added 2017-01-26
    Coding Freedom: The Ethics and Aesthetics of Hacking.E. Gabriella Coleman - 2012 - Princeton University Press.
    Who are computer hackers? What is free software? And what does the emergence of a community dedicated to the production of free and open source software--and to hacking as a technical, aesthetic, and moral project--reveal about the values of contemporary liberalism? Exploring the rise and political significance of the free and open source software movement in the United States and Europe, Coding Freedom details the ethics behind hackers' devotion to F/OSS, the social codes that guide its production, and the political (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  49. added 2017-01-26
    Active Vs Passive Training for Educational Software.Ruth Wylie & Benjamin Shih - 2009 - In N. A. Taatgen & H. van Rijn (eds.), Proceedings of the 31st Annual Conference of the Cognitive Science Society.
  50. added 2017-01-26
    From Human Regulations to Regulated Software agentsÔÇÖ Behavior.J. V.├ ízquez-Salceda, H. Aldewereld, D. Grossi & F. Dignum - 2008 - Artificial Intelligence and Law 16 (1):73.
1 — 50 / 433