| Document Type
|
:
|
BL
|
| Record Number
|
:
|
649950
|
| Doc. No
|
:
|
dltt
|
| Title & Author
|
:
|
Computing and philosophy : : selected papers from IACAP 2014 /\ Vincent C. Müller, editor
|
| Series Statement
|
:
|
Synthese Library ;; v.375
|
| Page. NO
|
:
|
1 online resource.
|
| ISBN
|
:
|
9783319232911
|
|
|
:
|
: 3319232916
|
|
|
:
|
9783319232904
|
| Bibliographies/Indexes
|
:
|
Includes bibliographies
|
| Contents
|
:
|
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
|
| Abstract
|
:
|
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
|
| Subject
|
:
|
Computer science-- Philosophy.
|
| Subject
|
:
|
Artificial intelligence-- Philosophy.
|
| Subject
|
:
|
Computer science-- Social aspects.
|
| Dewey Classification
|
:
|
004.01
|
| LC Classification
|
:
|
QA76.167
|
| Added Entry
|
:
|
Müller, Vincent C.
|
| Added Entry
|
:
|
Ohio Library and Information Network.
|
|
|
:
|
International Association for Computing and Philosophy.
|