2: Bertrand Russell - The New Method as a Logic. architecturaldescriptionlanguages;theconstructionandoptimisationofcompilers, interpreters,theoremproversandtypeinferencesystems;theinventionoflogical, frameworksandthedesignofembeddedsystems,andmuchmore.Manyofthecentral, philosophicalquestionsofcomputersciencesurroundandunderpintheseactivities,and, manyofthemcentreuponthelogical,ontologicalandepistemologicalissuesthat, concernit.However,intheend,computerscienceiswhatcomputerscientistsdo,andno. 3. Many conceptual points of these disputes still require some elucidation. paradigm,thisseemstocaptureasubstantivedifference.Butitisnotappropriateforall. Impacts. Howdowecategorizeandindividuatetheentitiesandconceptsofcomputerscience? 3. Do Computers Follow Rules Once Followed by Workers? Scott Soames, a leading philosopher of language and historian of analytic philosophy, provides the fullest and most detailed account of the analytic tradition yet published, one that is unmatched in its chronological range, topics. ontologyandthephilosophiesoflanguageandmathematics. expressionofthevaluesattachedtotheprogramvariables. People from all walks of life welcome, … After all, many people who write programs are not computer scientists. 1. To answer this it is necessary to say what kinds of fact obtain, and what constitutes their holding good. Basic Points of Moore's Philosophy. betweenthesetwoapparentformsofexistence. ),Amsterdam:North, http://plato.stanford.edu/archives/fall2008/entries/philosophymathematics/, (Fall2006Edition),EdwardN.Zalta(ed. Moore's Development in the Ambience of Cambridge Esoteric Philosophy. 9. 5. ofnewconceptsenablesaprooftobeconstructedgradually, moregraspable.Mathematicsprogressesbyinventingnewmathematicalconceptsthat, enabletheconstructionofhigherlevelandmoregeneralproofsthatwouldbefarmore, complexandevenimpossiblewithoutthem.Forexample,theexponentnotationmakesit, possibletocarryoutcomputationbeyondthecomplexityofmultiplication—andargue, abouttheresults.Attheotherextreme,theinventionofcategorytheoryfacilitatedthe, statementandproofofverygeneralresultsaboutalgebraicstructuresthatautomatically, applytoawholerangeofsuch.Mathematicsisnotjustaboutproof;italsoinvolvesthe, abstractionandcreationofnewconceptsandnotation.Onthefaceofit,formal, correctnessproofsdonot,ingeneral,employthecreationofnewconceptsorget, involvedintheprocessofmathematicalabstraction.Incontrast,abstractionincomputer, science(§6.1)isconcentratedinthenotionsneededforprogramdesign.Buthoware, thesetwonotionsofabstractionrelated?W, Evenifweputasidetheseepistemologicalworries,asecondandseeminglymore, devastatingcriticismofcorrectnessproofsquestionswhatisactuallyestablishedby, representationoftheprogram.Noamountofformalworkcangetuspastthe, abstract/physicalbarrier:wecanneverguaranteethatanyparticularexecutionofthe, programonaphysicalmachinewillactuallyproceedasexpected(Fetzer1988;Fetzer, oftheprogram—andthatitcanbeformalorinformal.Then,supposewecarryouta, seriesoftestrunstoverifythattheprogrammeetsitsspecification.Iftheysucceed,we, correctbecauseitfunctionsaccordingtothespecification.Onthisview. 25.Whyaretheresomanyprogramminglanguagesandprogrammingparadigms? 6. After a brief presentation of the main ideas of Appel and Haken’s procedure for the proof and a reconstruction of Thomas Tymoczko’s argument for the novelty of 4CT’s proof, we shall formulate some questions regarding the connections between the points raised by Tymoczko and some wittgensteinian topics in the philosophy of mathematics such as the importance of the surveyability as a criterion for distinguishing mathematical proofs from empirical experiments. theotheri.e.,thephysicalmanifestationisanimplementationofthetextualone. A textbook on the philosophy of computer science. peoplewhowriteprogramsarenotcomputerscientists.Forexample,physicists, accountantsandchemistsdo.Indeed,computersciencewouldbebetterdescribedas, beingconcernedwiththemetaactivitythatisassociatedwithprogramming.More. This book sets out views about some of the deepest questions in philosophy. Computer science is the study of algorithmic processes, computational machines and computation itself. When I was a teen, I taught myself an old-school programming language called BASIC.Languages like BASIC are “procedural,” like a recipe.Each line has an instruction, and the computer goes from line to line, obeying commands. Oneimmediatesuggestionisthatonemanifestationofaprogramisan. 4: Gilbert Ryle - The Analytical Method Explained. To learn more, view our, Increasing Interdisciplinarity by Distance Learning: Examples Connecting Economics with Software Engineering, and Computing with Philosophy. Russell's Theory of Names. The book investigates the two concepts on which the bridge that connects semantics to metaphysics rests, meaning and truth, and the role of justification in a theory of meaning. 1. Examples of this activity might include the design and analysis of programming, specification and architectural description languages; the construction and optimisation of compilers, interpreters, theorem provers and type inference systems; the invention of logical frameworks and the design of embedded systems, and much more. again,itistheidentificationandidentityissuesthatarethecentralphilosophicalconcern. The Church-Turing thesis is often misunderstood, particularly in recent writing in the philosophy of mind. 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. The two Informatics: A fascinating science (Van Leeuwen), The Algorithm: Idiom of Modern Science (Chazelle). offullabstractionandcompositionality? Comment. Epilogue. However, in the end, computer science is what computer scientists do, and no exact formulaic definition can act as more than a guide to the discussion that follows. withafiniteprogramofinstructions)isTuringmachinecomputable. We set up the problem concerning the necessity to find the ways of constructing software by nonprofessionals. As volume 1 comes to a close, that was all about to change with the advent of the fourth founding giant, Ludwig Wittgenstein, and the 1922 English publication of his Tractatus, which ushered in a "linguistic turn" in philosophy that was to last for decades. theunderlyingontologicalandepistemologicalassumptionsofthesemanticenterprise. Virtualization of communication, education, leisure, art following the evolution of high technology production, and consumption contribute to the substitution of real relations and amenities with virtual versions and simulacra. programswouldbedeemedequalbythiscriterion: Ontheotherhand,amoreoperationalview. ),URL=, http://plato.stanford.edu/archives/fall2001/entries/abstractobjects/, PhilosophyofMathematics:StructureandOntology, ,Lowe,B.,Sorbi,A.andCooper,B.(eds.),Springer. the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments. Logic as the Organon of Philosophy. G.E. Ryle's Plato. Dummett's Approach. Dummett's Philosophy of Language. I am certianly involved in the teachings and propose systematic and historic studies in the intereface between knowledge and meaning, in my case, with a strong logical perspective on philosophy of mathematics; philosophy of logic; cognition, philosophy of, The subject matter of computer science encompasses a large number of different activities that range from abstract mathematical topics through core engineering practices and scientific investigations. Facts correspond with true propositions, or true thoughts: when we know which propositions, or thoughts, in general, are true, we shall know what facts there are in general. )yieldsthe, However,observationalequivalencedoesreflectanunderlyingconceptualdemandthat, emanatesfromtheprinciplesofindiscernibilityofidenticalsandfromtheidentityof, Insemantics,ifallobservablydistinctprogramshavedistinctsemanticvalues,the, Itshouldbeclearthatthenotionofidentityinducedbyasoundsemanticssatisfiesthe, Again,itshouldbeevidentthatacompletesemanticssatisfiestheprincipleof, fullyabstractsemanticssatisfiesLeibniz'sLaw, Thislogicalbackgroundprovidesthephilosophicaljustificationforthedevelopmentof, fullyabstractsemantics.Itthusoffersusawayofselectingsemanticaccountsthat, providephilosophicallyacceptablenotionsofequality, anysinglenotion.Itonlyprovidesatoolforrejectingthosethatcannotdelivera, conceptuallyacceptableone.Manysocalleddenotationalsemanticsarenotfully, abstract,whereasmanyoperationalonesare.Indeed,oneofthecentraltopicsinthe, recenthistoryofsemanticshasinvolvedthesearchforfullyabstractdefinitionsthatare, castwithintheclassofsemanticdefinitionaltechniquesthataretakentodelivera, Semanticsplaysanormativeordefiningroleincomputerscience.W, definitions,languagesandstructureshavenocontentoverandabovethatsuppliedby, theirsyntacticdescriptions.Andthelatterarehardlysufficientforpracticalor, philosophicalpurposes.Whilewehavemadeastartontheanalysisofthecentral. 7. The Philosophy of Computer Science (PCS) is concerned with philosophical issues that arise from reflection upon the nature and practice of the academic discipline of computer science. ,~ --~ - ,,~ ~ "- ~ Teaching Philosophy, 28:4, December 2005 319 Philosophy of Computer Science: An Introductory Course WILLIAM J. RAPAPORT State University of New York at Buffalo Abstract: There are many branches of philosophy called "the philosophy of X," where X … 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. "The Rules" are found in a collaborative document (started in March 2010) that states principles for responsibility when a computer artifact is designed, developed and deployed into a sociotechnical system. Soames describes and analyzes their work in logic, the philosophy of mathematics, epistemology, metaphysics, ethics, and the philosophy of language. methodinlogicandmathematics?Doesitcapturethecomputations, implementationinsemiconductors).Andpresumably, aredistinct,thenthereisatleastonepropertythat, isoneoftheconceptualcornerstonesofcomputerscience.Itisanintegral, expressedtherein,mostoftentakentobeitsunderlyingalgorithm.Butnotonlyisit, (Fall2008Edition),EdwardN.Zalta(ed. TheoryofComputation—haltingproblem The argument that the power of mechanical computations is limited is not surprising. Butmappingoutthephilosophicallandscapeofcomputerscienceisnoeasytask. Copyrightsprovidesomeprotectionforsoftware,buttheyareunabletoprotectits, semanticcore.Andwetakeitthatthelatteristobedeterminedbyasemanticaccount, (§3)oftheprogramminglanguageinwhichtheprogramiswritten.Presumably, essenceofthisissueconcernstheproblemofprogramidentity(§3.3).Butifthereare, manypossiblesemanticnotionsofidentity, Oneinformalsemanticaccountthatisoftencitedinlawidentifiestheprogramwiththe. By using our site, you agree to our collection of information through the use of cookies. It is based on a course I created for the Department of Computer Science and Engineering and the Department of Philosophy at the State University of New York at Buffalo. The course readings are publicly available on the course home page, and they are licensed under the creative commons license. There are various equivalent formulations of the Church-Turing thesis. CT is the way of thinking in terms of prevention, protection, and recovery from worst-case scenarios through redundancy, damage containment, and error correction. TuringonlyconcernsinterpretationIanddoesnotsetalimitonmachinesingeneral. 'Philosophical Fun'. No single definition of computer simulation is appropriate. 2. Enter the email address you signed up with and we'll email you a reset link. Report. Strawson's 'Dilemmas'. Volume 1 examines the initial phase of the analytic tradition through the major contributions of three of its four founding giants-Gottlob Frege, Bertrand Russell, and G. E. Moore. II: Oxford Analytical Philosophy. We consider the aspect «language — thinking» and the stages of developing interaction between a person and information environment by means of programs. Ontology indicates the kinds of things there are, how to individuate them and their role in framing our conceptual schemes. 1. sicences, philosophy of language and epistemology, philosophy of law, argumentation theory. Objects, States of Affairs, Propositions. What are the things that give substance to such applications?The trite answer is the entities that computer scient… In particular, the second, third and fourth sections will reflect the impact of ontology and the philosophies of language and mathematics. This paper aims to utilize schematic representation to facilitate understanding of certain philosophical works; specifically, it is an attempt, albeit tentative, to schematize A. N. Whitehead’s ontological approach. Ryle's Philosophical Psychology. (Edsger Dijkstra) When the word \computer science" is uttered, few people think of philosophy or poetry. In the philosophy of science, especially, there is no clear line where the philosophy ends and the science begins. thetwointerpretations.Thisisthehistoricaldispute. ),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. 8. 2. 2. Bibliography. What should we do (with computing)? Computer Science and Philosophy). Accordingly, the person goes to his/her car (7-10) to be transported (11) to his/her office. .>. 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. 6. The emphasis in The Rules is that both users and professionals have responsibilities in the production and use of computing artifacts. The diversity of computer science also causes friction between computer scientists from different branches. Incomputerscience,typesplayarolethatishalfwaybetweensyntaxandsemantics. 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. 7. This paper contains a discussion of striking similarities between influential philosophical concepts of the past and the approaches currently employed in selected areas of computer science. 6: P.F. Radical Epistemology. Hoare,C.A.R.,1969,“Anaxiomaticbasisforcomputerprogramming”. CT is a futuristic vision to guide computer science educators, researchers, and practitioners to change society's image of the computer science field. More generally, and more precisely, it is occupied with the design, development and investigation of the concepts and methodologies that facilitate and aid the specification, development, implementation and analysis of computational systems. The course has four relatively broad themes, and all those themes are tied to the students’ everyday work or their own research topics. Investigations into information semantics and ethics of computing, Information and Computation Nets. Similarly, few people know that the \father of computer science", Alan Turing, was also a … Computer Science and Philosophy Our Computer Science and Philosophy degree allows you to study fascinating topics that are both intellectually exciting and creative right from the start: in Computer Science through the design of computer programs, and in Philosophy through the working out of arguments and systems of thought. Thisargument,parallelsthegraspabilityargumentsmadeinthephilosophyof, worries:proofsthataretoolong,cumbersomeanduninterestingcannotbethebearersof, thekindofcertaintythatisattributedtostandardmathematicalproofs.Thenatureofthe, knowledgeobtainedfromcorrectnessproofsisclaimedtobedifferenttotheknowledge, thatmaybegleanedfromproofsinmathematics, Onealsohastodistinguishthisessentiallysociologicalperspectiveonproofsfromthe, onethatmaintainsthatproofsarerightorwronginawaythatisindependentofsuch, epistemologicaljudgements.Itispossibletoholdontothemorerealistposition, accordingtowhichanygivenproofiseithercorrectorincorrectwithoutgivingupthe. In this article the needs and aims of our course on the philosophy of computer science are discussed, and the structure and arrangements—the whys, whats, and hows—of that course are explained. Scitation is the online home of leading journals and conference proceedings from AIP Publishing and AIP Member Societies. MathematicalproofssuchastheproofofGödel'sincompletenesstheoremarealsolong, andcomplicated.Butwhatrendersthemtransparent,interestingandgraspable. 4. bareimplementationdoesnotofferanadequatenotionofsemantics.(Comparewith: semanticsintothepicture.Everysemanticaccountofaprogramminglanguage, determinesanotionofequalityforprograms,namely. For example, in the philosophies of mathematics and physics, there are central questions concerning the nature of the objects dealt with, what constitutes knowledge and the means of obtaining that knowledge. 7. To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser. Philosophy can use computer science as a vehicle for -possible ‗experimental Philosophy' which is able to provide practical tests for different philosophical ideas‖ [11]. 3. Philosophy of Computer Science: An Introductory Course. Philosophy of Computer Science & Software Engineering PHILO 386 In PHILO 386, we will think about computation and software. Sorry, preview is currently unavailable. The course, which is given entirely on-line, was designed for advanced graduate or postgraduate computer science students from two Finnish universities: the University of Joensuu and the University of Kuopio. Incontrast,adenotationalsemantics(Milne&Strachey1977)providesaninterpretation, intomathematicalstructuressuchassetsorcategories.Forexample,intheclassical, approach,sets—intheformofcompletelatticesandcontinuousfunctionsonthem—, Butisthereanysignificantconceptualdifferencebetweenthem?Isitthatdenotational, semantics,beingexplicitlybaseduponmathematicalstructuressuchassets,is, mathematicalwhereasoperationalsemanticsisnot?Turner(2007)arguesnot:theyall, Orisitthatoperationalsemanticsismore, abstractmachine,whereaswithdenotationalsemantics,whichisgiveninsettheoretic, terms,thereisnohintofanabstractmachine?Suchdistinctionshoweverhavenot, provenconceptuallysignificantbecausedenotationalsemanticaccountscanallbeseen, asstructuresthatconstituteanabstractmachinewithstatesandoperationsoperatingon, them.Norareoperationalaccountsclosertoimplementation:denotationalapproaches, (Milne&Strachey1977)arealsoveryflexibleandareabletoreflectvariouslevelsof, Anotherpossibledistinctionconcernsthecompositional(orotherwise)natureofthe, semantics.Looselyspeaking,asemanticsistakentobe, thesemanticvalueofacomplexexpressionisafunctionofthesemanticvaluesofits, parts.Compositionalityistakentobeacrucialcriterionofsemanticssinceisseems, requiredtoexplaintheproductivityofourlinguisticunderstanding:itissaidtoexplain, howweunderstandandconstructcomplexprograms.Butdoesitprovideuswitha, wedgetoseparateoperationalanddenotationalsemantics?Unfortunately, doso:whiledenotationaldefinitionsaredesignedtobecompositional,itiscertainlynot. Published version [PDF] Longer version, with webpage images [PDF] Slideshow of my Herbert Simon Keynote Address at NACAP 2006; streaming video of my Herbert Simon Keynote Address at NACAP 2006 Thephysicaldisputeconcernsthecapabilitiesofactualmachines(interpretationII. 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». denotationaldefinitionshavearecursivemodelandsomedonot. CT is using heuristic reasoning to discover a solution and using massive amount of data to speed up computation. ),URL=, http://plato.stanford.edu/archives/fall2006/entries/computability/, http://plato.stanford.edu/archives/fall2006/entries/russellparadox/, ProgrammingLanguages:ApplicationandInterpr, WittgensteinonRulesandPrivateLanguage, ATheoryofProgrammingLanguageSemantics, TheBlackwellGuidetoPhilosophyofComputingandInformation, JournaloftheAssociationforComputingMachinery, Dales,HaroldG.andOliveri,Gianluigi(eds. Whatisthedifferencebetweenasemanticinterpretationandanimplementation?For, example,whatistheconceptualdifferencebetweencompilingaprogramintomachine, codeandgivingitadenotationalsemantics?AccordingtoRapaport(2005b),an, implementationisbestviewedassemanticinterpretation,wherethelatteris. The article is devoted to the study of new existential problems of man in the conditions of electronic culture, forms of alienation from reality, virtual escapism, “being to death” in network communities of suicidal orientation, new forms of transcendence in electronic culture. • What kinds of controversies have there been in the disciplinary thecasethatalloperationalsemanticsarenotcompositional. Computational philosophy of science is less a new philosophy and more a new analytical technique enabled by the computer, and its appearance was not occasioned by a new revolutionary development in science; quantum theory is still the touchstone for contemporary philosophy of science. 2. http://plato.stanford.edu/archives/win2006/entries/typetheory/. (2005), "Philosophy of Computer Science: An Introductory Course", Teaching Philosophy 28(4): 319–341. 2. The Method of the Mind. Computational thinking (CT) is using abstraction and decomposition when attacking a large complex task or designing a large complex systems. 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. havea(moralorlegal)obligationtocarryoutafeasibleprocess. The information age with its unprecedented acceleration changes a person's world and creates new virtual environments, forms of communication, and creative work. “Philosophy of computer science” is too limiting because it suggests it is the study of an academic field, rather than the systems produced by that field and their uses and impacts in society “Philosophy of information technology”, finally, may put too much emphasis on applications of Thisisthestandardpicturethatemergesinthesemanticliterature.Butmuchofthisisin, needofconceptualclarification.Inthissectionweconsiderajustfewoftheissuesthat, Oneofthemostimportantdistinctionsinprogramminglanguagessemanticscentres, uponthedistinctionbetweenoperationalanddenotationalsemantics.Anoperational, semantics(Landin1964;Plotkin1981)providesaninterpretationofaprogramming, languageintermsofsomeabstractmachine.Moreprecisely, expressionsintheprogramminglanguageintotheinstructionsorprogramsofthe, abstractmachine.Forexample,Program1wouldbeunpackedintoasequenceofabstract, conceivedasalgorithmicsemanticsespeciallywhentheunderlyingmachineisaimedat. The Creative Turn. Computational methods and models are helping to solve problems, design systems, and understand human behavior, by drawing on concepts fundamental to computer science (CS). Students do not need to choose between the three-year and four-year options when applying. Jones,C.B.andHayes,I.J.,1990,“SpecificationsAreNot(necessarily)Harmful”, McLaughlin,B.,2004,“Computationalism,Connectionism,andthePhilosophyof. ,LucianoFloridi(ed.),Malden:Blackwell,pp.3–17. buildingconstruction?Themoralobligationsseemsimilar. 3. We share and discuss any content that computer scientists find interesting. Index of Concepts. ),URL=, http://plato.stanford.edu/archives/spr2007/entries/informationsemantic/, (Fall2008Edition),EdwardN.Zalta(ed. Focusing on the major milestones and distinguishing them from the dead ends, Soames gives a seminal account of where the analytic tradition has been and where it appears to be heading. However,evenwithintheconfinesofcomputerscience,itisnotimmediatelyclearthat, acompilationprocesswhereaprograminahighlevellanguage(thesourcecode)is, transformedintomachinelanguage(theobjectcode).Butequallyoftenitisusedtorefer, totheprocesswherethesourcecodeissomehowdirectlyrealizedinhardware(e.g.a, Butwithoutamoredetailedphilosophicalanalysisofthenotionofimplementation, (§3.2)itself(Rapaport2005b),itisunclearhowthisadvancesthediscussion;weseem, onlytohavenamedtherelationshipbetweenthetwoapparentformsofexistence.Ina, similarvein,othershavedescribedtherelationshipbetweentheprogramtextandthe, programprocessasbeingsimilartothatbetweenaplananditsmanifestationasaseries, ofphysicalactions.Butthisdoesnotseemtobequiteanalogoustotheprogramprocess, pairing:wearenottemptedtorefertotheplanandthephysicalprocessasbeingdifferent, manifestationsofthesamething.Forexample,arewetemptedtothinkofaplantogo.