Advertisement

Computational Artifacts

Towards a Philosophy of Computer Science

  • Raymond┬áTurner

Table of contents

  1. Front Matter
    Pages i-xv
  2. Part I

    1. Front Matter
      Pages 1-3
    2. Raymond Turner
      Pages 5-11
    3. Raymond Turner
      Pages 13-19
  3. Part II

    1. Front Matter
      Pages 21-23
    2. Raymond Turner
      Pages 25-29
    3. Raymond Turner
      Pages 31-41
    4. Raymond Turner
      Pages 43-52
    5. Raymond Turner
      Pages 53-57
  4. Part III

    1. Front Matter
      Pages 59-61
    2. Raymond Turner
      Pages 63-66
    3. Raymond Turner
      Pages 67-76
    4. Raymond Turner
      Pages 77-83
    5. Raymond Turner
      Pages 85-94
    6. Raymond Turner
      Pages 95-103
    7. Raymond Turner
      Pages 105-112
  5. Part IV

    1. Front Matter
      Pages 113-115
    2. Raymond Turner
      Pages 117-120
    3. Raymond Turner
      Pages 121-127
    4. Raymond Turner
      Pages 129-132
    5. Raymond Turner
      Pages 133-139
    6. Raymond Turner
      Pages 141-149
    7. Raymond Turner
      Pages 151-160
    8. Raymond Turner
      Pages 161-167
    9. Raymond Turner
      Pages 169-174
    10. Raymond Turner
      Pages 175-183
  6. Part V

    1. Front Matter
      Pages 185-187
    2. Raymond Turner
      Pages 189-195
    3. Raymond Turner
      Pages 197-199
    4. Raymond Turner
      Pages 201-204
    5. Raymond Turner
      Pages 205-212
    6. Raymond Turner
      Pages 213-218
    7. Raymond Turner
      Pages 219-224
    8. Raymond Turner
      Pages 225-230
    9. Raymond Turner
      Pages 231-233
    10. Raymond Turner
      Pages 235-239
  7. Back Matter
    Pages 241-255

About this book

Introduction

The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer science. This book presents an approach to the subject that is centered upon the notion of computational artefact. It provides an analysis of the things of computer science as technical artefacts. Seeing them in this way enables the application of the analytical tools and concepts from the philosophy of technology to the technical artefacts of computer science.

With this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the nature of correctness, computational ontology and abstraction, formal methods, computational epistemology and explanation, the methodology of computer science, and the nature of computation.

The book will be of value to philosophers and computer scientists.


Keywords

Philosophy of Computer Science Ontology Computational Artifacts Logic Machines Software Systems Semantics Programming Languages Specification Languages Software Development Philosophy of Design Modularity Formal Methods Computational Abstraction Epistemology Program Correctness

Authors and affiliations

  • Raymond┬áTurner
    • 1
  1. 1.School of Computer Science & Electronic EngineeringUniversity of EssexColchesterUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-55565-1
  • Copyright Information Springer-Verlag GmbH Germany, part of Springer Nature 2018
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-55564-4
  • Online ISBN 978-3-662-55565-1
  • Buy this book on publisher's site