Dualna natura programów komputerowych

Autor

  • Izabela Bondecka-Krzykowska

DOI:

https://doi.org/10.15633/ss.2483

Słowa kluczowe:

philosophy of computer science, ontology of computer programs, quasi-particular objects, program as mathematical object, program as pattern

Abstrakt

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.

Bibliografia

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.

Pobrania

Opublikowane

2018-07-31

Numer

Tom 16 (2017)

Dział

Artykuły

Licencja

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.