Homo sociologicus and homo oeconomicus are, for different reasons, unsatisfactory models for the social sciences. A third model, called “rational model in the broad sense”, seems better endowed to cope with the many different expressions of rationality of the social agent. Some contributions by Weber, Durkheim and Marx are early examples of the application of this model of social explanation based on good subjective reasons. According to this model and to the evidence of cognitive anthropology, it is possible to reconcile (...) primitive thinking with the inferential principles of Western people. Lastly, cognitive psychology can contribute to the discovery of generalizations of reason-based choices that can strengthen the explanatory power of “rational model in the broad sense”. (shrink)

Agents can think using concepts they do not fully understand. This paper investigates the question “Under what conditions does a thinker fully understand, or have mastery of, a concept?” I lay out a gauntlet of problems and desiderata with which any theory of concept mastery must cope. I use these considerations to argue against three views of concept mastery, according to which mastery is a matter of holding certain beliefs, being disposed to make certain inferences, or having certain intuitions. None (...) of these attitudes is either necessary or sufficient for mastery. I propose and respond to objections to my own recognition view of the conditions under which a thinker has mastery of a concept. (shrink)

Cappelen proposes a radically externalist framework for conceptual engineering. This approach embraces the following two theses. Firstly, the mechanisms that underlie conceptual engineering are inscrutable: they are too complex, unstable and non-systematic for us to grasp. Secondly, the process of conceptual engineering is largely beyond our control. One might think that these two theses are peculiar to the Austerity Framework, or to metasemantic externalism more generally. However, Cappelen argues that there is no reason to think that internalism avoids either commitment. (...) Cappelen argues that to do so she must provide arguments for 3 claims: there are inner states that are scrutable and within our control; concepts supervene on these inner states; and the determination relation from supervenience base to content is itself scrutable and within our control. In this paper, I argue that internalist conceptual role theories of content can meet Cappelen’s challenge. (shrink)

Externalism is the view that the intentional content of a mental state supervenes on its relations to objects in the extramental world. Nativism is the view that some of the innate states of the mind/brain have intentional content. I consider both “causal” and “nomic” versions of externalism, and argue that both are incompatible with nativism. I consider likely candidates for a compatibilist position – a nativism of “narrow” representational states, and a nativism of the contentless formal “vehicles” of representational states. (...) I argue that “narrow nativism” is either too implausible to appeal to the nativist – because it entails that innate representational states are lost as the mind becomes more experienced, or too costly to appeal to the externalist – because a reasonable version of it requires the analytic-synthetic distinction. Finally, I argue that “syntactic nativism” is indistinguishable from classical anti-nativist empiricism, given the latter’s broad tolerance for innate implementation of psychological principles and mechanisms. (shrink)

A number of theorists hold that literal, linguistic meaning is determined by the cognitive mechanism that underpins semantic competence. Borg and Larson and Segal defend a version of the view on which semantic competence is underpinned by the cognition of a truth-conditional semantic theory—a semantic theory which is true. Let us call this view the “cognitivist account of meaning”. In this paper, I discuss a surprisingly serious difficulty that the cognitivist account of meaning faces in light of the liar paradox. (...) I raise an argument to the effect that, in light of linguistic evidence concerning the liar paradox, the cognised semantic theory is inconsistent. This contradicts the cognitivist account. I consider a range of possible responses to the difficulty, raising problems for each. The liar paradox poses a serious difficulty to the cognitivist account of meaning, and it is unclear whether the difficulty can be resolved. (shrink)

Each of our theories of mental representation provides some insight into how the mind works. However, these insights often seem incompatible, as the debates between symbolic, dynamical, emergentist, sub-symbolic, and grounded approaches to cognition attest. Mental representations—whatever they are—must share many features with each of our theories of representation, and yet there are few hypotheses about how a synthesis could be possible. Here, I develop a theory of the underpinnings of symbolic cognition that shows how sub-symbolic dynamics may give rise (...) to higher-level cognitive representations of structures, systems of knowledge, and algorithmic processes. This theory implements a version of conceptual role semantics by positing an internal universal representation language in which learners may create mental models to capture dynamics they observe in the world. The theory formalizes one account of how truly novel conceptual content may arise, allowing us to explain how even elementary logical and computational operations may be learned from a more primitive basis. I provide an implementation that learns to represent a variety of structures, including logic, number, kinship trees, regular languages, context-free languages, domains of theories like magnetism, dominance hierarchies, list structures, quantification, and computational primitives like repetition, reversal, and recursion. This account is based on simple discrete dynamical processes that could be implemented in a variety of different physical or biological systems. In particular, I describe how the required dynamics can be directly implemented in a connectionist framework. The resulting theory provides an “assembly language” for cognition, where high-level theories of symbolic computation can be implemented in simple dynamics that themselves could be encoded in biologically plausible systems. (shrink)

This paper deals with Popper's little-known work on deductive logic, published between 1947 and 1949. According to his theory of deductive inference, the meaning of logical signs is determined by certain rules derived from ?inferential definitions? of those signs. Although strong arguments have been presented against Popper's claims (e.g. by Curry, Kleene, Lejewski and McKinsey), his theory can be reconstructed when it is viewed primarily as an attempt to demarcate logical from non-logical constants rather than as a semantic foundation for (...) logic. A criterion of logicality is obtained which is based on conjunction, implication and universal quantification as fundamental logical operations. (shrink)

Two-Factor conceptual role theories of mental content are often intended to allow mental representations to satisfy two competing requirements. One is the Fregean requirement that two representations, like public language expressions, can have different meanings even though they have the same reference (as in the case of ‘morning star’ and ‘evening star’). The other is Putnam's Twin-earth requirement that two representations or expressions can have the same conceptual role but differ in meaning due to differing references. But I argue that (...) the hidden agenda behind these theories is to make misrepresentation possible. A simple, one-factor conceptual role theory (like the "crude causal theory" Fodor describes) falls prey to the disjunction problem. If every use or application of a concept is meaning-determining, then there can be no misuse of that concept. Each use will partially determine its meaning, and, use which is covered in the meaning cannot be a misuse, error, or misrepresentation. I argue that the referential factor in two-factor conceptual role theories is what is supposed to make misrepresentation possible. But it fails to do so, because when the two factors do not determine the same meaning, there is no non-question-begging way to have one of them take precedence and force meaning to align with one factor and deviate from the other. (shrink)

Peter Pagin Is the principle of semantic compositionality compatible with the principle of semantic holism? The question is of interest, since both principles have a lot that speaks for them, and since they do seem to be in conflict. The view that natural languages have compositional structure is almost unavoidable, since linguistic communication by means of new combinations of words would be virtually incomprehensible otherwise. And holism too seems generally plausible, since the meaning of an expression is directly connected with (...) the way that expression interacts with other. (shrink)

This article offers a critical review of various ontological-relativist arguments, mostly deriving from the work of W. V. Quine and Thomas K hn. I maintain that these arguments are (1) internally contradictory, (2) incapable of accounting for our knowledge of the growth of scientific knowledge, and (3) shown up as fallacious from the standpoint of a causal-realist approach to issues of truth, meaning, and interpretation. Moreover, they have often been viewed as lending support to such programmes as the 'strong' sociology (...) of knowledge and the turn towards wholesale cultural-relativist doctrines, whether of the Wittgensteinian ('language-games') or Heideggerian (depth-hermeneutic) varieties. Thus Richard Rorty recommends that we should henceforth drop all that old-fashioned talk of 'truth', 'knowledge', or 'reality', since whatever warrants those descriptions from time to time is just the product of some currently favoured language-game or range of elective metaphors. Such ideas have little in common with Quine's general outlook of robust physicalism, nor again - though the case is less clear - with Kuhn's reconsidered approach to these issues as set forth in his 1969 Postscript to The Structure of Scientific Revolutions . However, both thinkers have left themselves open to misconstrual by adopting a sceptical-relativist fallback position in response to the well-known problems with logical empiricism. This essay therefore reviews those problems with reference to alternative, more adequate accounts of what is involved in the process of scientific discovery and theory-change. (shrink)

This chapter contains sections titled: Highlights of Past Literature Current Work Future Work.

An ambitious project in epistemology is to show that we have justification for anti-skeptical beliefs such as the belief that we are not brains in vats. A much less ambitious project is to account for how perceptual experience justifies ordinary perceptual beliefs like the belief that there is a cat in front of me. One problem is that these two projects are entangled in such manner that the failure of the anti-skeptical project seems to entail the failure of the project (...) of accounting for the justification of ordinary perceptual beliefs. This paper offers a way to disentangle these two projects. (shrink)

. David Chalmerss version of two-dimensional semantics is an attempt at setting up a unified semantic framework that would vindicate both the Fregean and the Kripkean semantic intuitions. I claim that there are three acceptable ways of carrying out such a project, and that Chalmerss theory does not coherently fit any of the three patterns. I suggest that the theory may be seen as pointing to the possibility of a double reading for many linguistic expressions (a double reading which, however, (...) is not easily identified with straightforward semantic ambiguity). (shrink)

The truth-condition theory of meaning is, naturally, thought of an as explanatory theory whose explananda are the meaning facts. But there are at least two deductive arguments that purport to establish the truth of the theory irrespective of its explanatory virtues. This paper examines those arguments and concludes that they succeed.

De Finetti was a strong proponent of allowing 0 credal probabilities to be assigned to serious possibilities. I have sought to show that (pace Shimony) strict coherence can be obeyed provided that its scope of applicability is restricted to partitions into states generated by finitely many ultimate payoffs. When countable additivity is obeyed, a restricted version of ISC can be applied to partitions generated by countably many ultimate payoffs. Once this is appreciated, perhaps the compelling character of the Shimony argument (...) will be less overwhelming and the attractiveness of de Finetti's more permissive attitude will become more apparent.I want to push the permissive tendency in de Finetti still further. It seems doubtful that RUIWC should be required as de Finetti apparently suggested. It is also excessively dogmatic and restrictive to require that the credal states of ideally situated rational agents be numerically definite (Levi 1974, 1980). And de Finetti's rejection of objectivism in statistics overreached itself when he dismissed objective probabilities as meaningless metaphysical artefacts (Levi 1986). In this respect, the philosophically most important lessons de Finetti has to teach us are to be found not in his celebrated representation theorem but in his discussions of the relations between 0-probability and possibility, conditional probability and countable additivity. Perhaps, the technical issues involved are remote and pedantic. But the attitude de Finetti sought to inculcate is of profound importance. (shrink)

According to Tarski, a theory of truth for a language L is a theory which logically implies for each sentence S of L a sentence of the form:S is true-in-L if and only if p,where rS1 is replaced by a canonical description of a sentence of L and rp1 is replaced by that sentence if L is contained in the metalanguage or by a translation of S if it is not so contained. Tarski constructed consistent and finitely axiomatized theories of (...) truth for various formal languages and showed how to explicitly define ‘is true in L’ within these theories. We all agree that Tarski's theories of truth have enormous philosophical significance, but there is much less agreement on precisely what that significance consists in. (shrink)

The ontology of (merely) intentional objects is a can of worms. If we can avoid ontological commitment to such entities, we should. In this paper, I offer a strategy for accomplishing that. This is to reject the traditional act-object account of intentionality in favor of an adverbial account. According to adverbialism about intentionality, having a dragon thought is not a matter of bearing the thinking-about relation to dragons, but of engaging in the activity of thinking dragon-wise.

. When I have a conscious experience of the sky, there is a bluish way it is like for me to have that experience. We may distinguish two aspects of this "bluish way it is like for me": the bluish aspect and the for-me aspect. Let us call the bluish aspect of the experience its qualitative character and the for-me aspect its subjective character . What is this elusive for-me-ness, or subjective character , of conscious experience? In this paper, I (...) examine six different attempts to account for subjective character in terms of the functional and representational properties of conscious experiences. After arguing against the first five, I defend the sixth. (shrink)

Three recent, influential critiques (Stich 1978; Fodor 1981c; Block 1980) have argued that various tasks on the agenda for computational psychology put conflicting pressures on its theoretical constructs. Unless something is done, the inevitable result will be confusion or outright incoherence. Stich, Fodor, and Block present different versions of this worry and each proposes a different remedy. Stich wants the central notion of belief to be jettisoned if it cannot be shown to be sound. Fodor tries to reduce confusion in (...) computational psychology by dismissing some putative tasks as impossible. Block argues that the widespread faith in functionalism is just not warranted. I argue that all these critiques are misguided because they depend on holding cognitive psychology to taxonomic standards that other sciences routinely rise above. (shrink)

In this paper, we consider how certain longstanding philosophical questions about mental representation may be answered on the assumption that cognitive and perceptual systems implement hierarchical generative models, such as those discussed within the prediction error minimization framework. We build on existing treatments of representation via structural resemblance, such as those in Gładziejewski :559–582, 2016) and Gładziejewski and Miłkowski, to argue for a representationalist interpretation of the PEM framework. We further motivate the proposed approach to content by arguing that it (...) is consistent with approaches implicit in theories of unsupervised learning in neural networks. In the course of this discussion, we argue that the structural representation proposal, properly understood, has more in common with functional-role than with causal/informational or teleosemantic theories. In the remainder of the paper, we describe the PEM framework for approximate Bayesian inference in some detail, and discuss how structural representations might arise within the proposed Bayesian hierarchies. After explicating the notion of variational inference, we define a subjectively accessible measure of misrepresentation for hierarchical Bayesian networks by appeal to the Kullbach–Leibler divergence between posterior generative and approximate recognition densities, and discuss a related measure of objective misrepresentation in terms of correspondence with the facts. (shrink)

Meaning Holism and Contextualism are standardly acknowledged to be similar relativistic theories that often lead to similar troubles, in particular to issues concerning instability. On the other hand, the main rival of Contextualism, which is Minimalism, is taken to be resistant to these problems. In effect, it seems inevitable to see Meaning Holism and Minimalism as natural enemies. In my paper, I attempt to reject such a view. My argumentation consists of three main parts. First, I argue that Minimalism does (...) not differ that much from Meaning Holism with respect to the instability issues as it also faces some of them (although in a slightly different way from the case of Holism of Contextualism). Second, I put forward several arguments to show that in fact Minimalism is not incompatible with the two versions of Meaning Holism I distinguish, namely Global Holism and Local Holism. I argue that a meaning holist has to accept some not uncontroversial principles to become an anti- minimalist – and vice versa. Finally, I demonstrate that Minimalism and Meaning Holism can be reconciled. Such a possibility occurs when something I called ‘purely semantic processes’ is allowed. The role of these processes is, roughly speaking, to protect literal meanings from being affected by strong pragmatic factors. (shrink)

I argue that logical understanding is not propositional knowledgebut is rather a species of practical knowledge. I further arguethat given the best explanation of logical understanding someversion or another of inferential role semantics must be the correct account of the determinants of logical content.

Inferential Role Semantics is often criticized for being incompatible with the platitude that words of different speakers can mean the same thing. While many assume that this platitude can be accommodated by understanding sameness of meaning in terms of similarity of meaning, no worked out proposal has ever been produced for Inferential Role Semantics. I rectify this important omission by giving a detailed structural account of meaning similarity in terms of graph theory. I go on to argue that this account (...) has a number of attractive features, prominent among them that it makes sameness of meaning probabilistically determine co-reference. (shrink)

First, I argue that the narrow content of a thought cannot be identical with the linguistic meaning of the sentence used to express it. Secondly, I argue that the distinction between narrow content and linguistic meaning is not fatal to content-dualism. Thirdly I argue for the view that the proposition contributed by the clause prefixed by "that" is an interpretation of the believer's thought. Finally, I use this insight to provide an individualist account of Burge's thought-experiments such that recognition that (...) the truth-conditions of belief-ascriptions include aspects of the believer's environment does not entail that those environmental aspects are thereby parts of the contents of the person's thoughts. (shrink)

– We offer a new motivation for imprecise probabilities. We argue that there are propositions to which precise probability cannot be assigned, but to which imprecise probability can be assigned. In such cases the alternative to imprecise probability is not precise probability, but no probability at all. And an imprecise probability is substantially better than no probability at all. Our argument is based on the mathematical phenomenon of non-measurable sets. Non-measurable propositions cannot receive precise probabilities, but there is a natural (...) way for them to receive imprecise probabilities. The mathematics of non-measurable sets is arcane, but its epistemological import is far-reaching; even apparently mundane propositions are liable to be affected by non-measurability. The phenomenon of non-measurability dramatically reshapes the dialectic between critics and proponents of imprecise credence. Non-measurability offers natural rejoinders to prominent critics of imprecise credence. Non-measurability even reverses some of the critics’ arguments—by the very lights that have been used to argue against imprecise credences, imprecise credences are better than precise credences. (shrink)

This paper considers the question: what becomes of the notion of a logic as a way of codifying valid arguments when the customary assumption is dropped that the premisses and conclusions of these arguments are statements from some single language? An elegant treatment of the notion of a logic, when this assumption is in force, is that provided by Dana Scott's theory of consequence relations; this treatment is appropriately generalized in the present paper to the case where we do not (...) make this assumption of linguistic homogeneity. Several applications of the resulting concept of a heterogeneous logic are suggested, but the main emphasis is on the formal development. One topic touched on is a certain contrast between the boolean and the intensional sentence-connectives in this more general setting. (shrink)

I will describe the logics of a range of conditionals that behave like conditional probabilities at various levels of probabilistic support. Families of these conditionals will be characterized in terms of the rules that their members obey. I will show that for each conditional, →, in a given family, there is a probabilistic support level r and a conditional probability function P such that, for all sentences C and B, 'C → B' holds just in case P[B | C] ≥ (...) r. Thus, each conditional in a given family behaves like conditional probability above some specific support level. (shrink)

In a previous paper I described a range of nonmonotonic conditionals that behave like conditional probability functions at various levels of probabilistic support. These conditionals were defined as semantic relations on an object language for sentential logic. In this paper I extend the most prominent family of these conditionals to a language for predicate logic. My approach to quantifiers is closely related to Hartry Field's probabilistic semantics. Along the way I will show how Field's semantics differs from a substitutional interpretation (...) of quantifiers in crucial ways, and show that Field's approach is closely related to the usual objectual semantics. One of Field's quantifier rules, however, must be significantly modified to be adapted to nonmonotonic conditional semantics. And this modification suggests, in turn, an alternative quantifier rule for probabilistic semantics. (shrink)

I argue that Bayesians need two distinct notions of probability. We need the usual degree-of-belief notion that is central to the Bayesian account of rational decision. But Bayesians also need a separate notion of probability that represents the degree to which evidence supports hypotheses. Although degree-of-belief is well suited to the theory of rational decision, Bayesians have tried to apply it to the realm of hypothesis confirmation as well. This double duty leads to the problem of old evidence, a problem (...) that, we will see, is much more extensive than usually recognized. I will argue that degree-of-support is distinct from degree-of-belief, that it is not just a kind of counterfactual degree-of-belief, and that it supplements degree-of-belief in a way that resolves the problems of old evidence and provides a richer account of the logic of scientific inference and belief. (shrink)

Rational consequence relations and Popper functions provide logics for reasoning under uncertainty, the former purely qualitative, the latter probabilistic. But few researchers seem to be aware of the close connection between these two logics. I’ll show that Popper functions are probabilistic versions of rational consequence relations. I’ll not assume that the reader is familiar with either logic. I present them, and explicate the relationship between them, from the ground up. I’ll also present alternative axiomatizations for each logic, showing them to (...) depend on weaker axioms than usually recognized. (shrink)

In this paper, I take issue with a core commitment of logical conventionalism: that we impose a logic on ourselves by adopting general linguistic conventions governing our use of logical terms, thereby determining the meanings of the logical constants and which of our inferences are valid. Drawing on Kripke’s ‘adoption problem’, I argue that general logical principles cannot be adopted, either explicitly or implicitly. I go on to argue that the meanings of our logical terms, and the validity of our (...) inferences, cannot depend on our adoption of logico-linguistic conventions. (shrink)