Dualna natura programów komputerowych

Semina Scientiarum 16:24-42 (2017)
  Copy   BIBTEX

Abstract

The paper is devoted to the discussion on ontological status of the computer programs. The most popular conceptions are presented and critically discussed: programs as concrete abstractions, as quasi-particular objects, as mathematical objects, and finally – program as digital pattern. Advantages and disadvantages of those approaches are pointed out and some possible solutions are proposed.

Categories

Add categories

Keywords

Reprint years

2018

DOI

10.15633/ss.2483

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 84,213

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Three paradigms of computer science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.
O związkach informatyki z matematyką.Izabela Bondecka-Krzykowska - 2010 - Filozofia Nauki 18 (1).
Deductive program verification (a practitioner's commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
YAQ: a 360 assembler version of the algorithm Aq and comparison with other PL/I programs.Edward Yalow - 1977 - Urbana: Department of Computer Science, University of Illinois at Urbana-Champaign.
Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Minds, brains, and programs.John Searle - 1980 - Behavioral and Brain Sciences 3 (3):417-57.
Human and machine logic: A rejoinder.John R. Lucas - 1968 - British Journal for the Philosophy of Science 19 (2):155-6.
Setting-up early computer programs: D. H. Lehmer’s ENIAC computation. [REVIEW]Maarten Bullynck & Liesbeth De Mol - 2010 - Archive for Mathematical Logic 49 (2):123-146.
Programs in the explanation of behavior.Robert Cummins - 1977 - Philosophy of Science 44 (June):269-87.
Programs, bugs, DNA and a design argument Alexander R. Pruss may 27, 2004.Alexander Pruss - manuscript
Interior grounding, reflection, and self-consciousness.Marvin L. Minsky - 2005
Probabilistic Program Abstractions.Holtzen Steven John - unknown
On teaching computer ethics within a computer science department.Michael J. Quinn - 2006 - Science and Engineering Ethics 12 (2):335-343.
Program Verification-Verifying Object-Oriented Programs with KeY: A Tutorial.Wolfgang Ahrendt, Bernhard Beckert, Reiner Hahnle, Philipp Rummer & Peter H. Schmitt - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 70.
Universe creation on a computer.Gordon McCabe - 2004 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (4):591-625.

Analytics

Added to PP
2018-07-11

Downloads
6 (#1,153,446)

6 months
1 (#508,356)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Journal of speculative philosophy. [REVIEW][author unknown] - 1876 - Revue Philosophique de la France Et de l'Etranger 1:220.
Journal of speculative philosophy. [REVIEW][author unknown] - 1882 - Revue Philosophique de la France Et de l'Etranger 13:661.

Add more references