Dual nature of computer programs
DOI:
https://doi.org/10.15633/ss.2483Keywords:
philosophy of computer science, ontology of computer programs, quasi-particular objects, program as mathematical object, program as patternAbstract
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 (similar to musical
pieces), as mathematical objects (of different kinds), and finally – program
as digital pattern. Advantages and disadvantages of those approaches
are pointed out and some possible solutions are proposed.
References
Ben-Ari M., Understanding Programming Languages, Chichester 2006.
Bondecka-Krzykowska I., Z zagadnień ontologicznych informatyki, Poznań
Brożek A., Filozofia nowej muzyki – rediviva, „Semina Scientiarum” (2011) nr
, s. 10–20.
Colburn T. R., Philosophy and Computer Science, New York–London 2000.
Eden A. H., Three Paradigms of Computer Science, „Minds and Machines” 17
(2007) iss. 2, s. 135–167.
Eden A. H., Turner R., Problems in the Ontology of Computer Programs, Essex
Fetzer J., Philosophical Aspects of Program Verification, „Minds and Machines”
(1991) iss. 2, s. 197−216.
Fetzer, J., Program Verification: The Very Idea, „Communications of Association
for Computing Machinery” 31 (1988) no. 9, s. 271−280.
Floyd C., Outline of a Paradigm Change in Software Engineering, w: Computers
and Democracy: A Scandinavian Challenge, ed. G. Bjerknes, P. Ehn,
M. Kyng, K. Nygaard, Hants 1987, s. 191–210.
Hoare C. A. R., An Axiomatic Basis for Computer Programming, „Communications
of the Association for Computing Machinery” 12 (1969) iss. 10,
s. 576−580.
Izabela Bondecka-Krzykowska
Koba G., Informatyka. Podstawowe tematy. Podręcznik informatyki dla gimnazjum,
Wrocław–Warszawa 2009.
Moore J. H., Three Myths of Computer Science, „The British Journal for the
Philosophy of Science” 29 (1978) no. 3, s. 213–222.
Sherlis W. L., Scott D. S., First Steps towards Inferential Programming, w: Information
Processing 83, ed. R. E. A. Mason, New York 1983, s. 199−212.
Suber P., What Is Software?, „Journal of Speculative Philosophy” 2 (1998) no.
, s. 89−119.
Downloads
Published
Issue
Section
License
Twórca oświadcza, że przysługują mu prawa autorskie do utworu i że nie są ograniczone w zakresie objętym niniejszym oświadczeniem oraz że utwór jest dziełem oryginalnym i nie narusza praw autorskich innych osób.
Twórca zezwala Uniwersytetowi Papieskiemu Jana Pawła II w Krakowie na nieodpłatne, niewyłączne i nieograniczone w czasie korzystanie z utworu, to jest:
- utrwalanie i zwielokrotnianie: wytwarzanie egzemplarzy utworu techniką drukarską, reprograficzną, zapisu magnetycznego oraz techniką cyfrową;
- obrotu oryginałem albo egzemplarzami, na których utwór utrwalono (wprowadzanie do obrotu, użyczenie lub najem oryginału albo egzemplarzy, publiczne wystawienie, wyświetlenie, a także publiczne udostępnianie utworu w taki sposób, aby każdy mógł mieć do niego dostęp w miejscu i w czasie przez siebie wybranym);
- włączenie utworu w skład utworu zbiorowego;
- udzielanie przez Uniwersytet Papieski Jana Pawła II w Krakowie sublicencji Creative Commons Uznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska
Uniwersytet Papieski Jana Pawła II w Krakowie udostępnia utwór na Platformie Czasopism należącej do uczelni, na licencji Creative Commons Uznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska. Tym samym uprawnia wszystkich zainteresowanych do korzystania z utworu pod następującymi warunkami:
- zostanie podany autor i tytuł utworu,
- zostanie podane miejsce publikacji (tytuł czasopisma i adres internetowy do oryginalnie opublikowanego utworu),
- utwór będzie dystrybuowany w sposób niekomercyjny,
- nie będą tworzone utwory zależne.
