Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
więc:czyprogrammazatempewnegorodzajupierwszeństwoontologiczneprzed
komputerami?,cotojestprogramijakiesąjegopodstawowecechy?
Pojęcieprogramupojawiasięwinformatycewróżnychkontekstach,które
przeanalizowanowrozdzialedrugim.Dokonanownimmiędzyinnymiodróżnie-
niaprogramujakoobiektuabstrakcyjnegoodprogramujakoprocesufizycznego
(wykonywanegonakomputerze).Podjętorównieżpróbęodpowiedzinapytanie,
czynaturaprogramu,obiektuabstrakcyjnegoifizycznegojednocześnie,stawia
wnowymświetleklasyczneproblemyfilozofii,takiejakzwiązekmiędzyumysłem
aciałem(mind-bodyproblem)czyteżpodziałbytównaabstrakcyjneikonkret-
ne.Czyprogramykomputerowesąprzykładamiobiektówoszczególnymstatusie
ontologicznym,któreniesąanikonkretne,aniabstrakcyjne?Czymwistociesą
programykomputerowe?Gdzieszukaćichontologii-wfilozofiimatematyki,czy
teżnaprzykładwfilozofiimuzyki?Jakiejestkryteriumrozróżnianiaprogramów?
Coonichsamychmożnawywnioskowaćzanalizyprocesuichtworzenia?
Tworzenieprogramuniejestprostączynnością,leczzłożonymprocesem,któ-
ryrozpoczynasięsformułowaniemwymagańprzednimstawianych(stworzeniem
specyfikacji),akończysprawdzeniemjegopoprawności.Wrozdzialedrugim
omówionowięckwestiefilozoficznezwiązanezróżnymirodzajamispecyfikacji,
próbująctymsamymodpowiedziećnapytania:jakrozróżnićspecyfikacjeodopi-
sywanychprzeznieprogramów?,czymsąspecyfikacje-definicjamiwarunkowy-
miartefaktów,czyodpowiednikamiteoriinaukowych?Przeanalizowanorównież
wieloznacznyterminnimplementacja”
,pojawiającysięwinformatycewkontekście
tworzeniaprogramów.
Jednymznajszerzejdyskutowanychwliteraturzezagadnieńzwiązanychzpro-
gramamikomputerowymijestsprawdzanieichpoprawności.Jesttohistorycznie
jedenzpierwszychtematówrefleksjifilozoficznejzwiązanejzinformatyką,nie
sposóbwięcgopominąć.Wrozdzialedrugimznalazłysięzatemrównieżrozwa-
żaniazwiązanezbadaniempoprawnościprogramów.Jakrozumiećterminnpo-
prawny”wodniesieniudoprogramukomputerowego?Jakimimetodamibadać
npoprawność”programu?Czytworzyćodpowiedniedowodyformalne,czyteż
ograniczyćsiędotestowania?
Rozważaniarozdziałudrugiegopokazują,żeprogramykomputerowe,szcze-
gólnierozważanewodniesieniudomaszyn,naktórychsąwykonywane,sąprzed-
miotembadańinformatyków.Możnazatemtwierdzić,żeinformatykajestnauką
opewnegorodzajuurządzeniachnazywanychkomputeramiiwykonywanychna
nichprogramach.Programykomputerowemająnaturędualną.Sązarównoobiek-
tamiabstrakcyjnymi(ciągamiinstrukcjizapisanymiwpewnymjęzykuprogramo-
wania),jakifizycznymi(procesamiwykonywanyminaurządzeniachnazywanych
komputerami).Wszczególnościniesąoneobiektamianalitycznymi,zatemwich
opisieniemożnaograniczaćsiędometodformalnych.Fakttenmożnatraktować
14
AdamMickiewiczUniversityPress©2023
