000752995 000__ 04070cam\a2200493Ii\4500 000752995 001__ 752995 000752995 005__ 20230306141533.0 000752995 006__ m\\\\\o\\d\\\\\\\\ 000752995 007__ cr\cn\nnnunnun 000752995 008__ 151217s2016\\\\gw\\\\\\ob\\\\000\0\eng\d 000752995 019__ $$a933265962$$a935250667 000752995 020__ $$a9783319232911$$q(electronic book) 000752995 020__ $$a3319232916$$q(electronic book) 000752995 020__ $$z9783319232904 000752995 035__ $$aSP(OCoLC)ocn932463998 000752995 035__ $$aSP(OCoLC)932463998$$z(OCoLC)933265962$$z(OCoLC)935250667 000752995 040__ $$aN$T$$beng$$erda$$epn$$cN$T$$dIDEBK$$dCDX$$dN$T$$dOCLCO$$dYDXCP$$dSNK$$dEBLCP$$dOCLCO$$dCOO 000752995 049__ $$aISEA 000752995 050_4 $$aQA76.167 000752995 08204 $$a004.01$$223 000752995 24500 $$aComputing and philosophy$$h[electronic resource] :$$bselected papers from IACAP 2014 /$$cVincent C. Müller, editor. 000752995 264_1 $$aCham, [Ger.] :$$bSpringer,$$c[2016] 000752995 300__ $$a1 online resource. 000752995 336__ $$atext$$btxt$$2rdacontent 000752995 337__ $$acomputer$$bc$$2rdamedia 000752995 338__ $$aonline resource$$bcr$$2rdacarrier 000752995 4901_ $$aSynthese Library ;$$vv.375 000752995 504__ $$aIncludes bibliographies. 000752995 5058_ $$a4.6 An Explanatory ConjectureAppendix; References; 5 In What Sense Does the Brain Compute?; 5.1 Engineered Implementation; 5.2 Natural Computation?; 5.3 Three Different Senses; 5.4 Critique of Senses (1) and (2); 5.5 Computation Is Non-intrinsic; 5.6 Computational Ascriptions Are Normative, Not Causal; 5.7 Error and Malfunction; 5.8 Computation Versus Explanation; 5.9 The Brain as Cognitive Computer; References; Part II Philosophy of Computer Science & Discovery; 6 Computational Scientific Discovery and Cognitive ScienceTheories; 6.1 Introduction; 6.2 Scientific Discovery 000752995 5058_ $$a6.3 Theories in Behavioural and Cognitive Science6.4 A Computational System for Theory Discovery in Cognitive Science; 6.5 Example of Theory Discovery; 6.6 Discussion; References; 7 Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach; 7.1 Introduction: The Need of Empirical Theories of Software Systems; 7.2 Discovering Empirical Theories of Software Systems; 7.3 Modular Semantic Theories and Empirical Structuralism; 7.4 Using Institutions to Build Modular Semantic Theories; 7.5 Concluding Remarks; References 000752995 5058_ $$a8 Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals8.1 Introduction and Plan; 8.2 Quick Overview of DCEC; 8.3 Analogical Version of the New Approach; 8.3.1 An Example of Kernel K in Action; 8.4 Deductive Version of the Doxastic Approach; 8.4.1 Standard Machinery Presupposed; 8.4.2 Doxastic Context; 8.4.3 Example; 8.4.4 Approach Subsumes Relevance Proof Theory; 8.4.5 Remark: The Stunning Elasticity of Relevance; 8.5 Conclusion: Next Steps; References 000752995 506__ $$aAccess limited to authorized users. 000752995 520__ $$aThis volume offers very selected papers from the 2014 conference of the ℓ́ℓInternational Association for Computing and Philosophyℓ́ℓ (IACAP) - a conference tradition of 28 years. The theme of the papers is the two-way relation between computing technologies and philosophical questions: Computing technologies both raise new philosophical questions, and shed light on traditional philosophical problems. The chapters cover: 1) philosophy of computing, 2) philosophy of computer science & discovery, 3) philosophy of cognition & intelligence, 4) computing & society, and 5) ethics of computation. 000752995 650_0 $$aComputer science$$xPhilosophy. 000752995 650_0 $$aArtificial intelligence$$xPhilosophy. 000752995 650_0 $$aComputer science$$xSocial aspects. 000752995 7001_ $$aMüller, Vincent C.,$$eeditor. 000752995 7102_ $$aInternational Association for Computing and Philosophy. 000752995 77608 $$iPrint version:$$aMüller, Vincent C.$$tComputing and Philosophy : Selected Papers from IACAP 2014$$dCham : Springer International Publishing,c2015$$z9783319232904 000752995 830_0 $$aSynthese library. 000752995 852__ $$bebk 000752995 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-23291-1$$zOnline Access$$91397441.1 000752995 909CO $$ooai:library.usi.edu:752995$$pGLOBAL_SET 000752995 980__ $$aEBOOK 000752995 980__ $$aBIB 000752995 982__ $$aEbook 000752995 983__ $$aOnline 000752995 994__ $$a92$$bISE