It is sometimes suggested that the history of computation in cognitive science is one in which the formal apparatus of Turing-equivalent computation, or effective computability, was exported from mathematical logic to ever wider areas of cognitive science and its environs. This paper, however, indicates some respects in which this suggestion is inaccurate. Computability theory has not been focused exclusively on Turing-equivalent computation. Many essential features of Turing-equivalent computation are not captured in definitions of computation as symbol manipulation. Turing-equivalent computation did (...) not play the role in McCulloch and Pitts’s early cybernetic work that is sometimes attributed to it. Finally, various segments of the neuroscientific community invoke a notion of computation that differs from the Turing-equivalent notion.Keywords: Circular causality; Computation; Cortical maps; Neural networks; Symbol manipulation; Turing-equivalent computation. (shrink)

Confirmation in evolutionary biology depends on what biologists take to be the genuine rivals. Investigating what constrains the scope of biological possibility provides part of the story: explaining how possible helps determine what counts as a genuine rival and thus informs confirmation. To clarify the criteria for genuine rivalry I distinguish between global and local constraints on biological possibility, and offer an account of how-possibly explanation. To sharpen the connection between confirmation and explaining how possible I discuss the view that (...) formal inquiry can provide a kind of confirmation-theoretic support for evolutionary models, and offer an example of how-possibly explanation interacting with testing practice. (shrink)

Machamer, Darden, and Craver argue that causal explanations explain effects by describing the operations of the mechanisms which produce them. One of this paper’s aims is to take advantage of neglected resources of Mechanism to rethink the traditional idea that actual or counterfactual natural regularities are essential to the distinction between causal and non-causal co-occurrences, and that generalizations describing natural regularities are essential components of causal explanations. I think that causal productivity and regularity are by no means the same thing, (...) and that the Regularists are mistaken about the roles generalizations play in causal explanation. Humean, logical empiricist, and other Regularist accounts of causal explanation have had the unfortunate effect of distracting philosophers’ from important non-explanatory scientific uses of laws and lesser generalizations which purport to describe natural regularities. My second aim is to characterize some of these uses, illustrating them with examples from neuroscientific research. (shrink)

Confirmation in evolutionary biology depends on what biologists take to be the genuine rivals. Investigating what constrains the scope of biological possibility provides part of the story: explaining how possible helps determine what counts as a genuine rival and thus informs confirmation. To clarify the criteria for genuine rivalry I distinguish between global and local constraints on biological possibility, and offer an account of how-possibly explanation. To sharpen the connection between confirmation and explaining how possible I discuss the view that (...) formal inquiry can provide a kind of confirmation-theoretic support for evolutionary models, and offer an example of how-possibly explanation interacting with testing practice. (shrink)