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)

The aim of this paper is to study interpretation, specifically, to work toward an account of interpretation that seems descriptively and explanatorily correct. No account of interpretation can be philosophically helpful, I submit, if it is incompatible with a correct account of what people actually do when they interpret others. My question, then, is: how does the (naive) interpreter arrive at his/her judgments about the mental attitudes of others? Philosophers who have addressed this question have not, in my view, been (...) sufficiently psychological, or cognitivist, even those who are otherwise psychologically inclined. I shall defend some proposals about the activity of interpretation that are, I believe, psychologically more realistic than their chief competitors. (shrink)

Four difficulties with Dretske's theory of knowledge .

Following Hartry Field in distinguishing disquotational truth from a conception that grounds truth conditions in a community's usage, it is argued that the notions are materially inequivalent (since the latter allows truth-value gaps) and that both are needed. In addition to allowing blanket endorsements ("Everything the Pope says is true"), disquotational truth facilitates mathematical discovery, as when we establish the Gödel sentence by noting that the theorems are all disquotationally true and the disquotational truths are consistent. We require a more (...) substantial notion, however, if we intend to use truth values and truth conditions in explaining communication by language. (shrink)

This is an interesting, well argued, and highly readable book; anyone interested in the central philosophical problems with which it deals will benefit from studying it.Stalnaker defines inquiry as the process of forming, testing, and revising beliefs. His goal is to lay the groundwork for a theory of inquiry, by elaborating and defending a certain apparatus in terms of which the process of inquiry should be described.

According to logical non-necessitarianism, every inference may fail in some situation. In his defense of logical monism, Graham Priest has put forward an argument against non-necessitarianism based on the meaning of connectives. According to him, as long as the meanings of connectives are fixed, some inferences have to hold in all situations. Hence, in order to accept the non-necessitarianist thesis one would have to dispose arbitrarily of those meanings. I want to show here that non-necessitarianism can stand, without disposing arbitrarily (...) of the meanings of connectives, based on a minimalist view on the meanings of connectives. (shrink)

This paper deals with the problem of understanding semiosis and meaning in cognitive systems. To this aim we argue for a unified two-factor account according to which both external and internal information are non-independent aspects of meaning, thus contributing as a whole in determining its nature. To overcome the difficulties stemming from this approach we put forward a theoretical scheme based on the definition of a suitable representation space endowed with a set of transformations, and we show how it can (...) be implemented, in the case of a single agent, by a neural network architecture. Numerical experiments conducted on different instances of the latter show that similar representations are developed as a consequence of the fact that these instances are facing a similar semantic task. This allows to model social and environmental influences through a system of interacting agents, each described by a specific implementation of this model architecture. (shrink)

This paper identifies and criticizes a line of reasoning that has played a substantial role in the widespread rejection of the view that Fodor has dubbed “Concept Atomism”. The line of reasoning is not only fallacious, but its application in the present case rests on a misconception about the explanatory potential of Concept Atomism. This diagnosis suggests the possibility of a new polemical strategy in support of Concept Atomism. The new strategy is more comprehensive than that which defenders of the (...) view, namely Fodor, have employed. (shrink)

This paper defends a reference-based approach to concept individuation against the objection that such an approach is unable to make sense of concepts that fail to refer. The main line of thought pursued involves clarifying how the referentialist should construe the relationship between a concept's (referential) content and its role in mental processes. While the central goal of the paper is to defend a view aptly titled Concept Referentialism , broader morals are drawn regarding reference-based approaches in general. The paper (...) closes by calling for a shift in the current debate between referentialists and their opponents. (shrink)

Probability and logic are two branches of mathematics that have important philosophical applications. This article discusses several areas of intersection between them. Several involve the role for probability in giving semantics for logic or the role of logic in governing assignments of probability. Some involve probability over non-classical logic or self-referential sentences.

A theory of information is developed in which the informational content of a signal (structure, event) can be specified. This content is expressed by a sentence describing the condition at a source on which the properties of a signal depend in some lawful way. Information, as so defined, though perfectly objective, has the kind of semantic property (intentionality) that seems to be needed for an analysis of cognition. Perceptual knowledge is an information-dependent internal state with a content corresponding to the (...) information producing it. This picture of knowledge captures most of what makes knowledge an important cpistcmological notion. It also avoids many of the problems infecting traditional justificational accounts of knowledge (knowledge as [justified, true belief those (unlike knowledge) having a content that can be either true or false (e.g., belief) – are described in terms of the way internal (presumably neural) structures acquire during learning a certain information-carrying role. The content of these structures (whether true or false) is identified with the kind of information they were developed to carry. (shrink)

Phenomenal intentionality is supposed to be a kind of directedness of the mind onto the world that is grounded in the conscious feel of mental life. This book of new essays explores a number of issues raised by the notion of phenomenal intentionality.

The purpose of the paper is twofold. I first outline a philosophical theory of concepts based on conceptual role semantics. This approach is explicitly intended as a framework for the study and explanation of conceptual change in science. Then I point to the close similarities between this philosophical framework and the theory theory of concepts, suggesting that a convergence between psychological and philosophical approaches to concepts is possible. An underlying theme is to stress that using a non-atomist account of concepts (...) is crucial for the successful study of conceptual development and change. (shrink)

The theory of concepts advanced in the present discussion aims at accounting for a) how a concept makes successful practice possible, and b) how a scientific concept can be subject to rational change in the course of history. To this end, I suggest that each scientific concept consists of three components of content: 1) the concept.

The essay which follows is about the relationship between mind and language. Most recent thought about intentionality has it that (i) mental states of individuals are largely, or in the most fundamental cases, independent of social facts about public languages, and (ii) these social facts are derived from, or constituted by, the mental states of individuals. The purpose of this essay is to challenge this individualist orthodoxy (as well as the view of the relationship between mind and action which often (...) accompanies it), and suggest in its place a communitarian picture of intentionality which gives public languages a role to play in the constitution of thought. (shrink)