>> Go to Current Issue

The Monist

Volume 82, Issue 1, January 1999
Philosophy of Computer Science

Table of Contents

Already a subscriber? - Login here
Not yet a subscriber? - Subscribe here

Browse by:



Displaying: 1-9 of 9 documents


articles
1. The Monist: Volume > 82 > Issue: 1
Timothy R. Colburn Software, Abstraction, and Ontology
abstract | view |  rights & permissions | cited by
This paper analyzes both philosophical and practical assumptions underlying claims for the dual nature of software, including software as a machine made of text, and software as a concrete abstraction. A related view of computer science as a branch of pure mathematics is analyzed through a comparative examination of the nature of abstraction in mathematics and computer science. The relationship between the concrete and the abstract in computer programs is then described by exploring a taxonomy of approaches borrowed from philosophy of mind.
2. The Monist: Volume > 82 > Issue: 1
James H. Fetzer The Role Of Models In Computer Science
abstract | view |  rights & permissions | cited by
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 low-level programming languages function as models of causal (or physical) machines. The resulting account suggests that sets of models embedded within models are indispensable for computer programming.
3. The Monist: Volume > 82 > Issue: 1
Vincent Schächter How does Concurrency Extend the Paradigm of Computation?
view |  rights & permissions | cited by
4. The Monist: Volume > 82 > Issue: 1
Peter Wegner Towards Empirical Computer Science
view |  rights & permissions | cited by
5. The Monist: Volume > 82 > Issue: 1
Willam J. Rapaport Implementation is Semantic Interpretation
view |  rights & permissions | cited by
6. The Monist: Volume > 82 > Issue: 1
Oron Shagrir What is Computer Science About?
view |  rights & permissions | cited by
7. The Monist: Volume > 82 > Issue: 1
Wilfried Sieg, John Byrnes An Abstract Model For Parallel Computations: Gandy’s Thesis
view |  rights & permissions | cited by
8. The Monist: Volume > 82 > Issue: 1
G. Graham White Simulation, Theory, and Cut Elimination
abstract | view |  rights & permissions | cited by
This paper is concerned. with the contrast between simulation- and deduction-based approaches to reasoning about physical objects. We show that linear logic can give a unified account of both simulation and deduction concerning physical objects; it also allows us to draw a principled distinction between simulation and deduction, since simulations correspond to cut-free proofs, whereas deductions correspond to proofs in general.
9. The Monist: Volume > 82 > Issue: 1
Books Received
view |  rights & permissions | cited by