Computing and philosophy : selected papers from IACAP 2014 / Vincent C. Müller, editor.
This 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 tec...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Cham [Germany] :
Springer,
[2016]
|
| Series: | Synthese library.
|
| Subjects: |
Table of 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.