عنوان
پدید آورنده
موضوع
رده
QA76.167
QA76
.
167
کتابخانه
محل استقرار
3319232916
9783319232911
9783319232904
dltt
Computing and philosophy :
[Book]
selected papers from IACAP 2014 /
Vincent C. Müller, editor
1 online resource.
Synthese Library ;
v.375
Includes bibliographies
4.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
6.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
8 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
8
8
8
This volume offers very selected papers from the 2014 conference of the ĺlInternational Association for Computing and Philosophyĺl (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
Computing and Philosophy : Selected Papers from IACAP 2014
9783319232904
Artificial intelligence-- Philosophy.
Computer science-- Philosophy.
Computer science-- Social aspects.
COM-- 013000
COM-- 014000
COM-- 018000
COM-- 032000
COM-- 037000
COM-- 052000
COM-- 067000
004
.
01
23
QA76
.
167
Müller, Vincent C.
International Association for Computing and Philosophy.
Ohio Library and Information Network.
20160422040954.2
pn
مطالعه متن کتاب [Book]
Y
