Online research in philosophy

The introduction of connectionist or parallel distributed processing (PDP) systems to model cognitive functions has raised the question of the possible relations between these models and traditional information processing models which employ rules to manipulate representations. After presenting a brief account of PDP models and two ways in which they are commonly interpreted by those seeking to use them to explain cognitive functions, I present two ways one might relate these models to traditional information processing models and so not totally repudiate the tradition of modelling cognition through systems of rules and representations. The proposal that seems most promising is that PDP-type structures might provide the underlying framework in which a rule and representation model might be implemented. To show how one might pursue such a strategy, I discuss recent research by Barsalou on the instability of concepts and show how that might be accounted for in a system whose microstructure had a PDP architecture. I also outline how adopting a multi-leveled view of the mind, where on one level the mind employed a PDP-type system and at another level constituted a rule processing system, would allow researchers to relocate some problems which seemed difficult to explain at one level, such as the capacity for concept learning, to another level where it could be handled in a straightforward manner.

Stanley and Williamson (The Journal of Philosophy 98(8), 411–444 2001 ) reject the fundamental distinction between what Ryle once called ‘knowing-how’ and ‘knowing-that’. They claim that knowledge-how is just a species of knowledge-that, i.e. propositional knowledge, and try to establish their claim relying on the standard semantic analysis of ‘knowing-how’ sentences. We will undermine their strategy by arguing that ‘knowing-how’ phrases are under-determined such that there is not only one semantic analysis and by critically discussing and refuting the positive account of knowing-how they offer. Furthermore, we argue for an extension of the classical ‘knowing-how’/‘knowing-that’-dichotomy by presenting a new threefold framework: Using some core-examples of the recent debate, we will show that we can analyze knowledge situations that are not captured by the Rylean dichotomy and argue that, therefore, the latter has to be displaced by a more fine-grained theory of knowledge-formats. We will distinguish three different formats of knowledge we can have of our actions, namely (1) propositional, (2) practical, and (3) image-like formats of knowledge. Furthermore, we will briefly analyze the underlying representations of each of these knowledge-formats.

Arguments are given against the thesis that properties and propositional functions are identical. The first shows that the familiar extensional treatment of propositional functions -- that, for all x, if f(x) = g(x), then f = g -- must be abandoned. Second, given the usual assumptions of propositional-function semantics, various propositional functions (e.g., constant functions) are shown not to be properties. Third, novel examples are given to show that, if properties were identified with propositional functions, crucial fine-grained intensional distinctions would be lost.

Syntactical treatments of propositional attitudes are attractive to artificial intelligence researchers. But results of Montague (1974) and Thomason (1980) seem to show that syntactical treatments are not viable. They show that if representation languages are sufficiently expressive, then axiom schemes characterizing knowledge and belief give rise to paradox. Des Rivières and Levesque (1988) characterize a class of sentences within which these schemes can safely be instantiated. These sentences do not quantify over the propositional objects of knowledge and belief. We argue that their solution is incomplete, and extend it by characterizing a more inclusive class of sentences over which the axiom schemes can safely range. Our sentences do quantify over propositional objects.

The notion of perceptual content is commonly introduced in the analysis of perception. It stems from an analogy between perception and propositional attitudes. Both kinds of mental states, it is thought, have conditions of satisfaction. I try to show that on the most plausible account of perceptual content, it does not determine the conditions under which perceptual experience is veridical. Moreover, perceptual content must be bipolar (capable of being correct and capable of being incorrect), whereas perception as a mental state is not (if it is veridical, it is essentially so). This has profound consequences for the epistemological view that perception is a source of knowledge. I sktech a two-level epistemology which is consistent with this view. I conclude that the analogy between perception and propositional attitudes, from which the notion of perceptual content is born, may be more misleading than it is usually thought.

Two different but closely related issues in current cognitive science will be considered in this essay. One is the controversial and extensively discussed question of how connectionist and symbolic representations of knowledge are related to each other. The other concerns the notion of connectionist learning and its relevance for the understanding of the distinction between propositional and nonpropositional knowledge. More specifically, I shall give an overview of a result in Rantala and Vadén (1994) establishing a limiting case correspondence between symbolic and connectionist representations and, on the other hand, study the problem, preliminarily investigated in Rantala (1998), of how propositional knowledge may arise from nonpropositional knowledge. I shall also try to point out that on some more or less plausible assumptions, often made by cognitive scientists, these results may have some significance when we try to comprehend the nature of human knowledge representation. Some of these assumptions are rather hypothethical and debatable for the time being and they will become justified in the future only if there will be more progress in the empirical and theoretical research on the brain and on artificial networks. The assumptions concern, besides some questions of the behavior of neural networks, such things as the relevance of pattern recognition for modelling human cognition, in particular, knowledge acquisition, and the relation between emergence and reduction.

Modern epistemologists don’t often discuss knowledge-how - propositional knowledge has attracted the lion’s share of attention.2 Yet the notion of knowledge-how looks useful elsewhere in philosophy - philosophers of science discuss tacit knowledge and skills, philosophers of mind disagree about whether knowing what an experience is like is a matter of knowing how to imagine or recognise it, and philosophers of language and of value consider whether knowledge of meaning or morality is knowledge-how (to use words, to follow rules, to behave well).3 Without a fuller understanding of knowledge-how, it is difficult to assess these proposals. Moreover, knowledge-how is interesting qua species of knowledge - when set alongside theories of propositional knowledge, enquiry into other forms of knowledge promises to shed light on the nature of knowledge quite generally. What is it that we value about our interactions with the world, whether these interactions are through belief or through action?

In an influential critique, Jerry Fodor and Zenon Pylyshyn point to the existence of a potentially devastating dilemma for connectionism (Fodor and Pylyshyn [1988]). Either connectionist models consist in mere associations of unstructured representations, or they consist in processes involving complex representations. If the former, connectionism is mere associationism, and will not be capable of accounting for very much of cognition. If the latter, then connectionist models concern only the implementation of cognitive processes, and are, therefore, not informative at the level of cognition. I shall argue that Fodor and Pylyshyn's argument is based on a crucial misunderstanding, the same misunderstanding which motivates the entire language of thought hypothesis.

This paper is roughly in two parts. The first deals with whether know-how is constituted by propositional knowledge, as discussed primarily by Gilbert Ryle (1949) The concept of mind. London: Hutchinson, Jason Stanley and Timothy Williamson (2001). Knowing how. Journal of Philosophy, 98, pp. 411–444 as well as Stephen Hetherington (2006). How to know that knowledge-that is knowledge-how. In S. Hetherington (Ed.) Epistemology futures. Oxford: Oxford University Press. The conclusion of this first part is that know-how sometimes does and sometimes does not consist in propositional knowledge. The second part defends an analysis of know-how inspired by Katherine Hawley’ (2003). Success and knowledge-how. American Philosophical Quarterly, 40, pp. 19–31, insightful proposal that know-how requires counterfactual success. I conclude by showing how this analysis helps to explain why know-how sometimes does and sometimes does not consist of propositional knowledge.

The paper deals with the question of the structure of knowledge and the precise relationship between propositional "knowledge that" and dispositional "knowledge how." In the first part of my essay, I provide an analysis of the term 'knowing how' and argue that the usual alternatives in the recent epistemological debate – knowing how is either a form of propositional or dispositional knowledge – are misleading. In fact it depends on the semantic and pragmatic context of the usage of this term whether 'knowing how' refers to a type of dispositional knowledge, to propositional knowledge, or to a hybrid form of both. Only in the first case, can one say that dispositional know how cannot be reduced to any form of propositional knowledge. Yet, this case is the most interesting one to consider in the investigation of the nature of knowledge, if one assumes that knowing that p presupposes "having found out that p." Having found something out, however, presupposes certain acts of epistemic inquiry and corresponding epistemic abilities. Examined more carefully, it is shown that the dispositional knowledge-how is a necessary condition for propositional knowledge-that, hence propositional knowledge-that is a species of the dispositional knowledge-how. Accordingly, dispositional knowledge has to be understood as being at the very core of our notion of knowledge, including propositional knowledge.