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