Ansten Klev

Unified science is a recurring theme in Carnap's work from the time of the Aufbau until the end of the 1930's. The theme is not constant, but knows several variations. I shall extract three quite precise formulations of the thesis of unified science from Carnap's work during this period: from the Aufbau, from Carnap's so-called syntactic period, and from "Testability and Meaning" and related papers. My main objective is to explain these formulations and to discuss their relation, both to each other and to other aspects of Carnap's work.

Lecture notes from Husserl's logic lectures published during the last 20 years offer a much better insight into his doctrine of the forms of meaning than does the fourth Logical Investigation or any other work published during Husserl's lifetime. This paper provides a detailed reconstruction, based on all the sources now available, of Husserl's system of logical grammar. After having explained the notion of meaning that Husserl assumes in his later logic lectures as well as the notion of form of meaning as it features in ‘doctrine of the forms of meaning’, I present a system of rules that describes all the various forms of meaning that Husserl singles out in his lectures.

I offer an analysis of the sentence "the concept horse is a concept". It will be argued that the grammatical subject of this sentence, "the concept horse", indeed refers to a concept, and not to an object, as Frege once held. The argument is based on a criterion of proper-namehood according to which an expression is a proper name if it is so rendered in Frege's ideography. The predicate "is a concept", on the other hand, should not be thought of as referring to a function. It will be argued that the analysis of sentences of the form "C is a concept" requires the introduction of a new form of statement. Such statements are not to be thought of as having function--argument form, but rather the structure subject--copula--predicate.

We offer an interpretation of the words and works of Richard Dedekind and the David Hilbert of around 1900 on which they are held to entertain diverging views on the structure of a deductive science. Firstly, it is argued that Dedekind sees the beginnings of a science in concepts, whereas Hilbert sees such beginnings in axioms. Secondly, it is argued that for Dedekind, the primitive terms of a science are substantive terms whose sense is to be conveyed by elucidation, whereas Hilbert dismisses elucidation and consequently treats the primitives as schematic.

A detailed argument is provided for the thesis that Dedekind was a logicist about arithmetic. The rules of inference employed in Dedekind's construction of arithmetic are, by his lights, all purely logical in character, and the definitions are all explicit; even the definition of the natural numbers as the abstract type of simply infinite systems can be seen to be explicit. The primitive concepts of the construction are logical in their being intrinsically tied to the functioning of the understanding.

According to the sortal conception of the universe of individuals every individual falls under a highest sortal, or category. It is argued here that on this conception the identity relation is defined between individuals a and b if and only if a and b fall under a common category. Identity must therefore be regarded as a relation of the form \, with three arguments x, y, and Z, where Z ranges over categories, and where the range of x and y depends on the value of Z. An identity relation of this kind can be made good sense of in Martin-Löf’s type theory. But identity so construed requires a reformulation of Hume’s Principle that makes this principle unfit for explaining the sortal concept of cardinal number. The Neo-Logicist can therefore not appeal to the sortal conception in tackling the Julius Caesar problem, as proposed by Hale and Wright.