withafiniteprogramofinstructions)isTuringmachinecomputable. Differentsemanticaccountsdeterminedifferentnotionsofequalitythatcanserve, differentconceptualandpracticalends.Butthenwhichoneshouldbetakentodetermine, downtheoptions:somesemanticaccountsprovideuswithalogicallysatisfactorynotion. No single definition of computer simulation is appropriate. When we talk about an object's history, we actually deal with one of the most profound issues of metaphysics … the question of object continuity. The Middle Moore. compiledcode(incombinationwiththerulesthatgovernitssemantics)isthesemantic, Inacommonunderstandingoftheterm‘implementation’,thesemanticdomainis, suppliedbyaphysicalmachine.Inotherwords,thephysicalmachineitself(the, ‘implementation’)determineswhattheprogrammeans.Forexample,inprogramming, languagesthisisequivalenttotheclaimthatthesemanticsfortheC++programming, languagearedeterminedbyBjarne'scomputerrunninghisC++compiler.Butthis, explanationisobviouslyinadequate:IfweassumethatBjarne'smachinedeterminesthe. Linguistic Phenomenology. There is a challenge of developing computer programming visual language in the sphere of interdisciplinary research — cybernetics and philosophy, in particular, philosophy of mathematics, philosophy of language and new area of the philosophical analysis — «philosophy of information». Was Wittgenstein a Philosopher of Language? 1. (Spring2007Edition),EdwardN.Zalta(ed. Jones,C.B.andHayes,I.J.,1990,“SpecificationsAreNot(necessarily)Harmful”, McLaughlin,B.,2004,“Computationalism,Connectionism,andthePhilosophyof. betweenthesetwoapparentformsofexistence. Matti Tedre Lecture notes in the philosophy of computer science Spring 2007 (page 11) 2 The History of the Discipline • How has the term computer science been used in different dec­ ades? It targets professionals and students in fields outside of philosophy such as computer science and engineering, who often look to sources in philosophy for design ideas or for a critical framework for practice. Allison,A.,Currall,J.,Moss,M.andStuart,S.,2005,“Digitalidentitymatters”, JournalofAmericanSocietyInformationScienceandT, Arkoudas,K.andBringsjord,S.,2007,“Computers,Justification,and, thePhilosophyofComputingandInformation, Coleman,K.G.,2008,“ComputingandMoralResponsibility”,, Copeland,B.Jack,2008,“TheChurchTuringThesis”,, (Winter2006Edition),EdwardN.Zalta(ed. Indeed,it is hard to find an area of life that has not been fundamentallychanged and enhanced by their application. Philosophy of Computer Science & Software Engineering PHILO 386 In PHILO 386, we will think about computation and software. ofthelanguage)requireaformofgrammarthatismoreflexiblethanthestandardone. The Turn of 1946. Objects, States of Affairs, Propositions. Consider chapters 15 and 16, by Peter Carruthers and by James (‘surveyable’)bythemathematicalcommunityistheuseofmodularitytechniques(e.g. The intention of this paper is to provoke the computer science community to go off the beaten path in order to find inspiration for the development of new approaches in software engineering. Participants from a number of Swedish universities attended this cross-disciplinary course, organized for the first time, with the aim of introducing the research field of Computing Philosophy in Sweden. programmingparadigms:structured,functional,logic,andobjectoriented, 12.WhataretherolesoftypesinComputerScience?(Barandregt1992;Pierce2002), 13.Whatisthedifferencebetweenoperationalanddenotationalsemantics?(Turner, 14.Whatdoesitmeanforaprogramtobecorrect?Whatistheepistemologicalstatus, ofcorrectnessproofs?Aretheyfundamentallydifferentfromproofsin, mathematics?(DeMilloetal.1979;Smith1985), 15.Whatdocorrectnessproofsestablish?(Fetzer1988;Fetzer1999;Colburn2004), 16.Whatisabstractionincomputerscience?Howisitrelatedtoabstractionin, mathematics?(Colburn&Shute2007;Fine2008;Hale&Wright2001), 17.Whatareformalmethods?Whatisformalaboutformalmethods?Whatisthe, differencebetweenaformalmethodandinformalone?(Bowen&Hinchey2005;, 18.Whatkindofdisciplineiscomputerscience?Whataretherolesofmathematical, modellingandexperimentation?(Minsky1970;Denning1980;Denning1981;, Denningetal.1989;Denning1985;Denning1980b;Hartmanis1994;, Hartmanis1993;Hartmanis1981;Colburn2004;Eden2007), 19.Shouldprogramsbeconsideredasscientifictheories?(Rapaport2005a), 20.Howismathematicsusedincomputerscience?Aremathematicalmodelsusedina, descriptiveornormativeway?(White2004;Turner2007), 21.DoestheChurchTuringthesiscapturethemathematicalnotionofan. CT is a futuristic vision to guide computer science educators, researchers, and practitioners to change society's image of the computer science field. ),URL=, Thomason,R.,2005,“LogicandArtificialIntelligence”,, DodigCrnkovic,GordanaandStuart,Susan(eds. 3. 6. A textbook on the philosophy of computer science. Enter the email address you signed up with and we'll email you a reset link. theunderlyingontologicalandepistemologicalassumptionsofthesemanticenterprise. Epistemology and Truth. 14MB Sizes 5 Downloads 886 Views. Computer science is no more about computers than astronomy is about telescopes. the relation between philosophy and science.1 I will start by outlining a general view of philosophy, and afterwards consider philosophy of science. The Computer and Information Science Department participates in the national Grace Hopper Conference and regional conferences for women in computer science; Underrepresented Students Study Hall Computer Science students have the opportunity to meet and interact with their peers at this Tuesday night study hall. The two 1. ),Oxford:Oxford, AStructuralApproachtoOperationalSemantics”, JournalofExperimentalandTheoreticalArtificialIntelligence, (Fall2001Edition),EdwardN.Zalta(ed. Moore - The Project for a New Philosophy. Similarly, few people know that the \father of computer science", Alan Turing, was also a … Buthowdoesonebalancetheprovingandtestingaspectsofsoftwaredevelopment, againsttheintendeduseofthesoftware?Shouldsoftwaredevelopedforentertainmentbe. Russell's Theory of Names. implicationsforthedesignoffutureprogrammingandspecificationlanguages. Austin - Analytical Philosophy as a Strict Science. i.e.,aninterpretationinTuringmachinesorGandymachines(§5.1).However, doesnotexactlylineupwiththetraditionaloperational/denotationaldivide.Some. All rights reserved. John Ousterhout is the Bosack Lerner Professor of Computer Science at Stanford University. ontologyandthephilosophiesoflanguageandmathematics. InterpretationIisintendedtocapturethenotionofan, logicandmathematics.Itismeanttoreflecttheinformalnotionofalgorithmimplicitin, mathematicsandbroughttotheforebytheHilbert'sprogram.InterpretationIIismeant, togovernphysicalmachines.Indeed,(Gandy1980)canbeseenasafurtherunpackingof, II.Gandyproposesfourprinciplesthatareintendedtocharacterisecomputationbya, physicalmachine.HeshowsthatsuchmachinesexactlyagreewithTuring's, characterisation(Gandy'sTheorem).Inconnectionwithourdiscussionofdifferent, semanticparadigms,itisclearthatmanyofthemachinesthatunderliedenotational, semantics(§3.1)donotqualifyasGandymachines.Theymostoftenoperatewith, extensionalhigherorderfunctionsspaces,andthesecannotbetakentoconstitutefinite. The economist David Autor has suggested that computers often carry out tasks using procedures nearly identical to those used by human beings in the pre-automatic computing era. ),URL=, DeMillo,R.A.,Lipton,R.J.andPerlis,A.J.,1979,“SocialProcessesandProofsof, Dummett,M.,1991,“TheLogicalBasisofMetaphysics”,HarvardUniversity. 7. Since values are the projections of the future in the present, this chapter helps to elicit to some extent the main trend of the social-cultural dynamics of the modern high-tech society. 3.1DenotationalandOperationalSemantics, 3.2ImplementationandSemanticInterpretation, questions.Thiswillprovidethereaderwithaquickoutlineofmattersthatwill, supplementthemoredetaileddiscussiontocome.Althoughmanyofthemhavenotbeen, directlyaddressedintheliteratureandareinneedofsomeclarification,thesequestions, illustratethekindsofissuesthatwetakethe, 1.Whatkindsofthingsareprograms?Aretheyabstractorconcrete?(Moor1978;, 2.Whatarethedifferencesbetweenprogramsandalgorithms?(Rapaport2005a), 3.Whatisaspecification?Andwhatisbeingspecified?(Smith1985;T, 4.Arespecificationsfundamentallydifferentfromprograms?(Smith1985), 5.Whatisanimplementation?(Rapaport2005b), 6.Whatdistinguisheshardwarefromsoftware?Doprogramsexistinbothphysical, andsymbolicforms?(Moor1978;Colburn2004), 7.Whatkindsofthingsaredigitalobjects?Doweneedanewontologicalcategoryto, 8.Whataretheobjectivesofthevarioussemantictheoriesofprogramming, 9.Howdoquestionsinthephilosophyofprogramminglanguagesrelatetoparallel, onesinthephilosophyoflanguage?(White2004), 10.Doestheprincipleofmodularity(e.g.,Dijkstra1968)relatetotheconceptualissues.