Online research in philosophy

In sentences likeEvery teacher laughed we think ofevery teacher as aunary (=type ) quantifier — it expresses a property ofone place predicate denotations. In variable binding terms, unary quantifiers bind one variable. Two applications of unary quantifiers, as in the interpretation ofNo student likes every teacher, determine abinary (= (type ) quantifier; they express properties oftwo place predicate denotations. In variable binding terms they bind two variables. We call a binary quantifierFregean (orreducible) if it can in principle be expressed by the iterated application of unary quantifiers.In this paper we present two mathematical properties which distinguish non-Fregean quantifiers from Fregean ones. Our results extend those of van Benthem (1989) and Keenan (1987a). We use them to show that English presents a large variety of non-Fregean quantifiers. Some are new here, others are familiar (though the proofs that they are non-Fregean are not).

We examine, from the partial structures perspective, two forms of applicability of mathematics: at the “bottom” level, the applicability of theoretical structures to the “appearances”, and at the “top” level, the applicability of mathematical to physical theories. We argue that, to accommodate these two forms of applicability, the partial structures approach needs to be extended to include a notion of “partial homomorphism”. As a case study, we present London's analysis of the superfluid behavior of liquid helium in terms of Bose‐Einstein statistics. This involved both the introduction of group theory at the top level, and some modeling at the “phenomenological” level, and thus provides a nice example of the relationships we are interested in. We conclude with a discussion of the “autonomy” of London's model.

In this paper, a solution to the problem of theoretical terms is developed that is based on Carnap’s doctrine of indirect interpretation of theoretical terms. This doctrine will be given a semantic, model-theoretic explanation that is not given by Carnap himself as he remains content with a syntactic explanation. From that semantic explanation, rules for the truth-value assignment to postulates, i.e. sentences that determine the meaning of theoretical terms, are derived. The logical status of postulates will be clarified thereby in such a way that the problem of theoretical terms disappears.

Often when a new scientific theory is introduced, new terms are introduced along with it. Some of these new terms might be given explicit definitions using only terms that were in currency prior to the introduction of the theory. Some of them might be defined using other new terms introduced with the theory. But it frequently happens that the standard formulations of a theory do not define some of the new terms at all; these terms are adopted as primitives. The audience is expected to come to grasp the meanings of the primitive terms by learning the role they play in the theory and its applications. I shall call such new and undefined terms, as well as new terms that are defined using them, theoretical terms. [1] If T is a theory, the T-terms are the theoretical terms introduced by T. A theoretical term need not be a word new to human language; it might be an old term that is employed in a new and specialized sense, not equivalent to any of its familiar senses; e.g. “color” in quantum chromodynamics.

Is a belief that one will succeed necessary for an intention? It is argued that the question has traditionally been badly posed, framed as it is in terms of all-out belief. We need instead to ask about the relation between intention and partial belief. An account of partial belief that is more psychologically realistic than the standard credence account is developed. A notion of partial intention is then developed, standing to all-out intention much as partial belief stands to all-out belief. Various coherence constraints on the notion are explored. It is concluded that the primary relations between intention and belief should be understood as normative and not essential.

A distinction is drawn between situations as indices required for semantically evaluating sentences and situations as denotations resulting from such evaluation. For atomic sentences, possible worlds may serve as indices, and events as denotations. The distinction is extended beyond atomic sentences according to formulae-as-types and applied to implicit quantifier domain restrictions, intensionality and conditionals.

In this second paper, I continue my discussion of the problem of reference for scientific realism. First, I consider a final objection to Kitcher's account of reference, which I generalise to other accounts of reference. Such accounts make attributions of reference by appeal to our pretheoretical intuitions about how true statements ought to be distibuted among the scientific utterances of the past. I argue that in the cases that merit discussion, this strategy fails because our intuitions are unstable. The interesting cases are importantly borderline--it really isn't clear what we ought to say about how those terms referred. I conclude that in many relevant cases, our grounds for thinking that the theoretical terms of the past referred are matched by our grounds for thinking that they failed to refer, in such a way that deciding on either result is arbitrary and bad news for the realist. In response to this problem, in the second part of the paper I expand upon Field's (1973) account of partial reference to sketch a new way of thinking about the theoretical terms of the past--that they partially referred and partially failed to refer.

Often when a new scientific theory is introduced, new terms are introduced along with it. Some of these new terms might be given explicit definitions using only terms that were in currency prior to the introduction of the theory. Some of them might be defined using other new terms introduced with the theory. But it frequently happens that the standard formulations of a theory do not define some of the new terms at all; these terms are adopted as primitives. The audience is expected to come to grasp the meanings of the primitive terms by learning the role they play in the theory and its applications. I shall call such new and undefined terms, as well as new terms that are defined using them, theoretical terms. 1 If T is a theory, the T-terms are the theoretical terms introduced by T. A theoretical term need not be a word new to human language; it might be an old term that is employed in a new and specialized sense, not equivalent to any of its familiar senses; e.g. “color” in quantum chromodynamics.

The problem of the interpretation of theoretical terms is outlined, and some difficulties connected with the distinction between partial definitions and empirical postulates are discussed. A reconstruction is sketched which is intended to explicate the 'definitional' character of partial definitions. Finally, some implications for the methodology of theory construction are indicated.