Results for 'Computer science'

985 found
Order:
See also
  1. Deontic Logic in Computer Science Normative System Specification.John-Jules Ch Meyer, Roel J. Wieringa & International Workshop on Deontic Logic in Computer Science - 1993
     
    Export citation  
     
    Bookmark   3 citations  
  2. 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.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3. How-Possibly Explanations in (Quantum) Computer Science.Michael E. Cuffaro - 2015 - Philosophy of Science 82 (5):737-748.
    A primary goal of quantum computer science is to find an explanation for the fact that quantum computers are more powerful than classical computers. In this paper I argue that to answer this question is to compare algorithmic processes of various kinds and to describe the possibility spaces associated with these processes. By doing this, we explain how it is possible for one process to outperform its rival. Further, in this and similar examples little is gained in subsequently (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  52
    Integrating the Ethical and Social Context of Computing Into the Computer Science Curriculum An Interim Report From the Content Sub-Committee of the ImpactCS Steering Committee.Chuck Huff, Ronald Anderson, Joyce Little, Deborah Johnson & Rob Kling - 1996 - Science and Engineering Ethics 2 (2):211.
    This paper describes the major components of ImpactCS, a program to develop strategies and curriculum materials for integrating social and ethical considerations into the computer science curriculum. It presents, in particular, the content recommendations of a subcommittee of ImpactCS; and it illustrates the interdisciplinary nature of the field, drawing upon concepts from computer science, sociology, philosophy, psychology, history and economics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  65
    On Teaching Computer Ethics Within a Computer Science Department.Michael J. Quinn - 2006 - Science and Engineering Ethics 12 (2):335-343.
    The author has surveyed a quarter of the accredited undergraduate computer science programs in the United States. More than half of these programs offer a “social and ethical implications of computing” course taught by a computer science faculty member, and there appears to be a trend toward teaching ethics classes within computer science departments. Although the decision to create an “in house” computer ethics course may sometimes be a pragmatic response to pressure from (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  40
    Programmers, Professors, and Parasites: Credit and Co-Authorship in Computer Science.Justin Solomon - 2009 - Science and Engineering Ethics 15 (4):467-489.
    This article presents an in-depth analysis of past and present publishing practices in academic computer science to suggest the establishment of a more consistent publishing standard. Historical precedent for academic publishing in computer science is established through the study of anecdotes as well as statistics collected from databases of published computer science papers. After examining these facts alongside information about analogous publishing situations and standards in other scientific fields, the article concludes with a list (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Abstraction in Computer Science.Timothy Colburn & Gary Shute - 2007 - Minds and Machines 17 (2):169-184.
    We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  8. 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 (...)
    Direct download (15 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  9. Philosophy of Mind Is (in Part) Philosophy of Computer Science.Darren Abramson - 2011 - Minds and Machines 21 (2):203-219.
    In this paper I argue that whether or not a computer can be built that passes the Turing test is a central question in the philosophy of mind. Then I show that the possibility of building such a computer depends on open questions in the philosophy of computer science: the physical Church-Turing thesis and the extended Church-Turing thesis. I use the link between the issues identified in philosophy of mind and philosophy of computer science (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  53
    Philosophy Through Computer Science.Daniel Lim - 2019 - Teaching Philosophy 42 (2):141-153.
    In this paper I hope to show that the idea of teaching philosophy through teaching computer science is a project worth pursuing. In the first section I will sketch a variety of ways in which philosophy and computer science might interact. Then I will give a brief rationale for teaching philosophy through teaching computer science. Then I will introduce three philosophical issues (among others) that have pedagogically useful analogues in computer science: (i) (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  75
    What is Computer Science About?Oron Shagrir - 1999 - The Monist 82 (1):131-149.
    What is computer-science about? CS is obviously the science of computers. But what exactly are computers? We know that there are physical computers, and, perhaps, also abstract computers. Let us limit the discussion here to physical entities and ask: What are physical computers? What does it mean for a physical entity to be a computer? The answer, it seems, is that physical computers are physical dynamical systems that implement formal entities such as Turing-machines. I do not (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  12. Decoupling as a Fundamental Value of Computer Science.Timothy Colburn & Gary Shute - 2011 - Minds and Machines 21 (2):241-259.
    Computer science is an engineering science whose objective is to determine how to best control interactions among computational objects. We argue that it is a fundamental computer science value to design computational objects so that the dependencies required by their interactions do not result in couplings, since coupling inhibits change. The nature of knowledge in any science is revealed by how concepts in that science change through paradigm shifts, so we analyze classic paradigm (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  28
    Thinking Machines and the Philosophy of Computer Science: Concepts and Principles.Jordi Vallverdú - 2010 - IGI.
    Thinking Machines and the Philosophy of Computer Science: Concepts and Principles presents a conversation between established experts and new researchers in the field of philosophy and computer science about human and non-human relationships with the environment. This resource contains five sections including topics on philosophical analysis, the posterior ethical debate, the nature of computer simulations, and the crossroads between robotics, AI, cognitive theories and philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  87
    Abstraction, Law, and Freedom in Computer Science.Timothy Colburn & Gary Shute - 2010 - Metaphilosophy 41 (3):345-364.
    Abstract: Laws of computer science are prescriptive in nature but can have descriptive analogs in the physical sciences. Here, we describe a law of conservation of information in network programming, and various laws of computational motion (invariants) for programming in general, along with their pedagogical utility. Invariants specify constraints on objects in abstract computational worlds, so we describe language and data abstraction employed by software developers and compare them to Floridi's concept of levels of abstraction. We also consider (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Some Philosophical Issues in Computer Science.Amnon H. Eden - 2011 - Minds and Machines 21 (2):123-133.
    The essays included in the special issue dedicated to the philosophy of computer science examine new philosophical questions that arise from reflection upon conceptual issues in computer science and the insights such an enquiry provides into ongoing philosophical debates.
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark  
  16.  47
    Program Verification, Defeasible Reasoning, and Two Views of Computer Science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
    In this paper I attempt to cast the current program verification debate within a more general perspective on the methodologies and goals of computer science. I show, first, how any method involved in demonstrating the correctness of a physically executing computer program, whether by testing or formal verification, involves reasoning that is defeasible in nature. Then, through a delineation of the senses in which programs can be run as tests, I show that the activities of testing and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  11
    Koncepcja automatyzacji Leonarda Torresa y Quevedo jako przyczynek do rozwoju computer science.Piotr Urbańczyk - 2015 - Semina Scientiarum 14:49-59.
    The aim of this article is to indicate that the ideas of Leonardo Torres y Que­vedo presented in his short Essays on Automatics constitute essential link between early Babbage’s concepts of analytical engine and modern computer science. These ideas include definition of automatics, classification of automata, theoretical basis for robotics, electromechanical engineering, modern concept of chatbot, the importance of algorithm and last but not least floating point arithmetic.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  14
    Linear Logic in Computer Science.Thomas Ehrhard (ed.) - 2004 - Cambridge University Press.
    Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. Epistemic Logic for Ai and Computer Science.John-Jules Ch Meyer & W. van der Hoek - 1995
     
    Export citation  
     
    Bookmark   30 citations  
  20. Philosophy and Computer Science.Timothy R. Colburn - 2000
  21.  16
    Introduction To: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science.Paul McNamara & Henry Prakken - 1999 - In Paul McNamara & Prakken Henry (eds.), Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science. Amsterdam: pp. 1-14.
    (See also the separate entry for the volume itself.) This introduction has three parts. The first providing an overview of some main lines of research in deontic logic: the emergence of SDL, Chisholm's paradox and the development of dyadic deontic logics, various other puzzles/challenges and areas of development, along with philosophical applications. The second part focus on some actual and potential fruitful interactions between deontic logic, computer science and artificial intelligence. These include applications of deontic logic to AI (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  59
    The Philosophy of Computer Science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
  23. Handbook of Logic in Computer Science.Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum - 1992
     
    Export citation  
     
    Bookmark   6 citations  
  24.  54
    The Philosophy of Computer Science: Introduction to the Special Issue. [REVIEW]Raymond Turner - 2007 - Minds and Machines 17 (2):129-133.
  25.  16
    Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt GÖdel's Legacy.Petr Hájek & Jiří Zlatuška - 1996 - Bulletin of Symbolic Logic 2 (4):473-473.
  26.  20
    Alan W. Biermann, Great Ideas in Computer Science: A Gentle Introduction. [REVIEW]Wheeler Ruml - 1999 - Minds and Machines 9 (3):417-421.
  27.  29
    Timothy R. Colburn, Philosophy and Computer Science.Bipin Indurkhya - 2002 - Minds and Machines 12 (3):454-459.
  28. Deontic Logic, Agency, and Normative Systems [Delta]Eon '96, Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996'. [REVIEW]Mark A. Brown & José Carmo - 1995
     
    Export citation  
     
    Bookmark  
  29. A First Course in Formal Logic and its Applications in Computer Science.Roy Dowsing - 1986 - Blackwell Scientific Publications.
  30. Structures in Logic and Computer Science a Selection of Essays in Honor of A. Ehrenfeucht.Jan Mycielski, Grzegorz Rozenberg & Arto Salomaa - 1997
     
    Export citation  
     
    Bookmark  
  31.  2
    Computational Artifacts: Towards a Philosophy of Computer Science.Raymond Turner - 2018 - Springer Berlin Heidelberg.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  32.  29
    Science in the Age of Computer Simulation.Eric B. Winsberg - 2010 - University of Chicago Press.
    Introduction -- Sanctioning models : theories and their scope -- Methodology for a virtual world -- A tale of two methods -- When theories shake hands -- Models of climate : values and uncertainties -- Reliability without truth -- Conclusion.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  33.  49
    The Role Of Models In Computer Science.James H. Fetzer - 1999 - The Monist 82 (1):20-36.
    Taking Brian Cantwell Smith’s study, “Limits of Correctness in Computers,” as its point of departure, this article explores the role of models in computer science. Smith identifies two kinds of models that play an important role, where specifications are models of problems and programs are models of possible solutions. Both presuppose the existence of conceptualizations as ways of conceiving the world “in certain delimited ways.” But high-level programming languages also function as models of virtual (or abstract) machines, while (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  34.  7
    What is Computer Science About?Oron Shagrir - 1999 - The Monist 82 (1):131-149.
    What is computer-science about? CS is obviously the science of computers. But what exactly are computers? We know that there are physical computers, and, perhaps, also abstract computers. Let us limit the discussion here to physical entities and ask: What are physical computers? What does it mean for a physical entity to be a computer? The answer, it seems, is that physical computers are physical dynamical systems that implement formal entities such as Turing-machines. I do not (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  35.  47
    Towards Empirical Computer Science.Peter Wegner - 1999 - The Monist 82 (1):58-108.
    Part I presents a model of interactive computation and a metric for expressiveness, Part II relates interactive models of computation to physics, and Part III considers empirical models from a philosophical perspective. Interaction machines, which extend Turing Machines to interaction, are shown in Part I to be more expressive than Turing Machines by a direct proof, by adapting Gödel's incompleteness result, and by observability metrics. Observation equivalence provides a tool for measuring expressiveness according to which interactive systems are more expressive (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  54
    Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Computer Science Logic 11th International Workshop, Csl '97 : Annual Conference of the Eacsl, Aarhus, Denmark, August 23-29, 1997 : Procedings. [REVIEW]M. Nielsen, Wolfgang Thomas & European Association for Computer Science Logic - 1998
     
    Export citation  
     
    Bookmark  
  38. Computer Science Logic 10th International Workshop, Csl'96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21-27, 1996 : Selected Papers. [REVIEW]D. van Dalen, M. Bezem & European Association for Computer Science Logic - 1997
     
    Export citation  
     
    Bookmark  
  39.  34
    Computer Science and Philosophy: Did Plato Foresee Object-Oriented Programming?Wojciech Tylman - 2018 - Foundations of Science 23 (1):159-172.
    This paper contains a discussion of striking similarities between influential philosophical concepts of the past and the approaches currently employed in selected areas of computer science. In particular, works of the Pythagoreans, Plato, Abelard, Ash’arites, Malebranche and Berkeley are presented and contrasted with such computer science ideas as digital computers, object-oriented programming, the modelling of an object’s actions and causality in virtual environments, and 3D graphics rendering. The intention of this paper is to provoke the (...) science community to go off the beaten path in order to find inspiration for the development of new approaches in software engineering. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  10
    The Impact of Women in Computer Science History: A Post-War American History.Karina Mochetti - 2019 - Transversal: International Journal for the Historiography of Science 6:65.
    Women have always played an important role in Computer Science findings, but their importance has always been overshadowed by men. Nowadays, men outnumber women by 3 times on computing occupations in the US, but still women prove to be essential on the development of technological fields. This work intends to place women at the forefront of computer science’s history. In order to demonstrate that their work was essential for the development of current technologies, a broad historical (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  26
    Computer Science and Metaphysics: A Cross-Fertilization.Edward N. Zalta, Christoph Benzmüller & Daniel Kirchner - 2019 - Open Philosophy 2 (1):230-251.
    Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods. Computational metaphysics is computational philosophy with a focus on metaphysics. In this paper, we develop results in modal metaphysics whose discovery was computer assisted, and conclude that these results work not only to the obvious benefit of philosophy but also, less obviously, to the benefit of computer science, since the new computational techniques (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  35
    Teaching Ethics in Engineering and Computer Science: A Panel Discussion.Charles Glagola, Moshe Kam, Caroline Whitebeck & Michael C. Loui - 1997 - Science and Engineering Ethics 3 (4):463-480.
    At a conference, two engineering professors and a philosophy professor discussed the teaching of ethics in engineering and computer science. The panelists considered the integration of material on ethics into technical courses, the role of ethical theory in teaching applied ethics, the relationship between cases and codes of ethics, the enlisting of support of engineering faculty, the background needed to teach ethics, and the assessment of student outcomes. Several audience members contributed comments, particularly on teaching ethical theory and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  71
    Gödel's Incompleteness Theorems and Computer Science.Roman Murawski - 1997 - Foundations of Science 2 (1):123-135.
    In the paper some applications of Gödel's incompleteness theorems to discussions of problems of computer science are presented. In particular the problem of relations between the mind and machine (arguments by J.J.C. Smart and J.R. Lucas) is discussed. Next Gödel's opinion on this issue is studied. Finally some interpretations of Gödel's incompleteness theorems from the point of view of the information theory are presented.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  16
    The Porphyrian Tree and Multiple Inheritance: A Rejoinder to Tylman on Computer Science and Philosophy.Lorenz Demey - 2018 - Foundations of Science 23 (1):173-180.
    Tylman has recently pointed out some striking conceptual and methodological analogies between philosophy and computer science. In this paper, I focus on one of Tylman’s most convincing cases, viz. the similarity between Plato’s theory of Ideas and the object-oriented programming paradigm, and analyze it in some more detail. In particular, I argue that the platonic doctrine of the Porphyrian tree corresponds to the fact that most object-oriented programming languages do not support multiple inheritance. This analysis further reinforces Tylman’s (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  12
    Computer Science as Immaterial Formal Logic.Selmer Bringsjord - 2020 - Philosophy and Technology 33 (2):339-347.
    I critically review Raymond Turner’s Computational Artifacts – Towards a Philosophy of Computer Science by placing beside his position a rather different one, according to which computer science is a branch of, and is therefore subsumed by, immaterial formal logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46. Facet-Like Structures in Computer Science.Uta Priss - 2008 - Axiomathes 18 (2):243-255.
    This paper discusses how facet-like structures occur as a commonplace feature in a variety of computer science disciplines as a means for structuring class hierarchies. The paper then focuses on a mathematical model for facets (and class hierarchies in general), called formal concept analysis, and discusses graphical representations of faceted systems based on this model.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  3
    Computational Artifacts: The Things of Computer Science.Raymond Turner - 2020 - Philosophy and Technology 33 (2):357-367.
    The reviewers Rapaport, Stephanou, Angius, Primiero, and Bringsjord of Turner cover a broad range of topics in the philosophy of computer science. They either challenge the positions outlined in Turner or offer a more refined analysis. This article is a response to their challenges.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  68
    The Place of Dialogue Theory in Logic, Computer Science and Communication Studies.Douglas Walton - 2000 - Synthese 123 (3):327-346.
    Dialogue theory, although it has ancient roots, was put forward in the 1970s in logic as astructure that can be useful for helping to evaluate argumentation and informal fallacies.Recently, however, it has been taken up as a broader subject of investigation in computerscience. This paper surveys both the historical and philosophical background of dialoguetheory and the latest research initiatives on dialogue theory in computer science. The main components of dialogue theory are briefly explained. Included is a classification of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  49.  38
    Conditionals: From Philosophy to Computer Science, Edited by G. Crocco, L. Fariñas Del Cerro, and A. Herzig, Studies in Logic and Computation, No. 5, Clarendon Press, Oxford University Press, Oxford and New York1995, Viii + 368 Pp. [REVIEW]Charles B. Cross & Donald Nute - 1997 - Journal of Symbolic Logic 62 (4):1487-1490.
    This is a review of CONDITIONALS: FROM PHILOSOPHY TO COMPUTER SCIENCE, edited by Crocco G., del Cerro L. Fariñas, and Herzig A., Studies in logic and computation, no. 5, Clarendon Press, Oxford University Press, Oxford and New York 1995.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  50. Computing with Functionals: Computability Theory or Computer Science?Dag Normann - 2006 - Bulletin of Symbolic Logic 12 (1):43-59.
    We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science have shaped this still active subject.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 985