Why does Carnap say 'Caesar is a prime number' is meaningless?

I don't get it. Assuming there exists an individual Caesar, we can look at the set of prime numbers and not-(prime numbers), and Caesar will be in one of them.

I just don't see, even though it may be a bit silly to ask, why he rejects that this has meaning.

(A rejection at the time in his life when he wrote 'Elimination of Metaphysics' which I'm currently reading, at least.)

• Seems pretty well explained on Wiki. en.wikipedia.org/wiki/Vienna_Circle There's a lengthy discussion of this point. Commented Jun 9, 2014 at 21:48
• I read his essay. What he says here "The problem is that "prime number" is a predicate of numbers, not a predicate of human beings." .......... doesn't make sense to me. Seems like I can say "Joe is a book" just as well, and just as meaningfully, even if it's false. Not sure why he's restricting how we can relate individuals to predicates. Commented Jun 9, 2014 at 21:53
• Well I agree with you, that "Caesar is prime" is FALSE, since Caesar is not a natural number. But the question was what Carnap thinks; and it's clear that he considers the proposition meaningless. This raises the question of whether every proposition is either true or false, or whether "meaningless" is a third truth value that can be assigned to some propositions. Commented Jun 9, 2014 at 21:56
• @Casey: this may not be what Carnap intends, but consider questions that contain a false assumption. "Is your wife tall?" presupposes that you have a wife, and cannot be answered "yes" or "no" if you don't have one. The alternative "do you have a wife who is tall?" can. Carnap might simply be saying that to evaluate "Caesar is a prime number" we must presuppose that Caesar is a number, and has factors, and we must test a property of the factors he doesn't have. The first rule of logical positivism is, you don't talk about <s>logical positivism</s> non-existent things ;-) Commented Jun 10, 2014 at 10:39
• ... now I'm not sure I agree with that parse of the sentence, but that's a dispute with Carnap over English-language common usage and whether or not "is a prime number" can only be evaluated for numbers. It's not a dispute over the issue of whether we can meaningfully assert inappropriate properties of Caesar, just over whether his example is suitable to illustrate an attempt to do so. Commented Jun 10, 2014 at 10:45

In the sections leading up to that claim Carnap discusses a first class of what he calls 'pseudo-statements', which are all sentences characterized by having in them some 'meaningless' word. The sentence "kjdfho is great" is a pseudo-statement of that first class, because it includes the presumably meaningless expression 'kjdfho'. Then, in §4 Carnap turns his attention to a second class of 'pseudo-statements', which includes sentences that while grammatically meaningful, are still not acceptable. As examples he considers the following ungrammatical sentence (1) and the grammatical sentence (2):

(1) Caesar is and;
(2) Caesar is a prime number.

The problem with (1) is obvious: it's not a well-formed (or grammatical) sentence. The assumption here is that 'and' is an operator on sentences, so its placement in (1), in an NP position, takes us out of the set of grammatical sentences of English. From the logico-semantical point of view, (1) is as ungrammatical as the aforementioned "kjdfho" sentence, and thus belongs to the first class of 'pseudo-sentences'. The problem with (2), however, is not that it's not well-formed. 'Caesar' is a grammatically acceptable name of an individual, and 'is a prime number' is an acceptable predicate expression. Nevertheless, Carnap claims that (2) is meaningless, and gives the following explanation:

"Prime number" is a predicate of numbers; it can be neither affirmed nor denied of a person (p. 68).

Although he doesn't state it explicitly in those terms, the idea here is that while sentence (2) is a well-formed sentence, it is not a well-typed one. If we were working with a formalized fragment of English, we would define an alphabet of the usual latin letters and then specify grammatical rules for generating a subset Wff of the well-formed sentences of English. Among those sentences we could find (2) and we wouldn't find (1). Of course, all these matters would depend on the expressive power of our formalized fragment. But suppose it's powerful enough to grant (2) the status of a well-formed sentence. Then, we would specify an extra layer of typing rules for generating the subset Wtf ⊆ Wff of well-typed sentences of our fragment. The point of typing rules is to ensure that the functional expressions of our language such as predicate expressions ('is prime') and functors ('father') are combined with expressions of a type compatible with the domains of definition of those functional expressions. To see how (2) is not well-typed, let's look at the domain of definition of 'is prime':

(T) prime : Nat → Bool.

The function prime, which is the referent of 'is prime' or 'is a prime number' is defined only for natural numbers and according to the known rule, maps natural numbers to true or false, depending on their primality. Consider the expression:

(3) π is a prime number.

Is (3) well-typed? Since π is not a natural number, (3) is not a well-typed expression. It may be a well-formed numerical expression according to a rule that says that a unary numerical function (e.g. prime) applied to a numerical expression (e.g. π) yields another numerical expression (e.g. 3). But it's nevertheless not well-typed because the domain of definition of prime doesn't include non-natural numbers in it (see T above).

After the realization that (3) is not well-typed, the non-well-typedness of (2) shouldn't be surprizing. 'Caesar' is not a numerical expression, so it's certainly not an expression that has a value in natural numbers. Now, that's a reason to regard (2) as not well-typed. The general question that arises here is whether we should consider not well-typed sentences as 'pseudo-sentences', as Carnap there does. Type-restrictions can be a helpful device for checking the correctness all sorts of mathematical constructions, so well-typedness is certainly an incredibly useful notion, but whether it should be grounds for partitioning the set of well-formed sentences of a given language into acceptable and unacceptable ones might be an interesting topic for another discussion.

References

Ayer, A.J. (1959) Logical Positivism.
Carnap, R. (1953) "The Elimination of Metaphysics Through Logical Analysis of Language", Ayer 1959.
Cumming, S. (2014) λ–Calculus and Type Theory, Lecture Course (Winter), UCLA.

• Fascinating; Gary Bernhardt just tweeted something about using option types in thinking about society -- curiously enough, in the context of something about category errors in confusing the absence and negation of a property (so amorality becomes immorality, incompetence is perceived as malice, etc.) Anyway, great answer!! Commented Jun 10, 2014 at 0:39
• @JosephWeissman Thanks! I've been a pretty dormant programmer for the last five years, so I hadn't heard of Gary Bernhardt. Option types and society sounds great. I'll check his stuff out on github. Commented Jun 10, 2014 at 0:53
• You can recall also Frege's Julius Caesar problem (and I think that Carnap's example is not casual; he assisted Frege's lectures in Jena). For Frege, the universe of discourse included absolutely all; thus he struggled trying to prove that : not (Julius Caesar = n), for every n, because without a working definition of the objects which are numbers, there are no syntactical rules in his Begriffsschrifft preventing the above well-formed identity statement. Commented Jun 10, 2014 at 9:59
• Great answer. I was also in Sam's class Winter quarter. I think he'd approve :) Commented Jun 10, 2014 at 17:21
• @DavidTitarenco David! Good to see you here. And thank you :) Commented Jun 10, 2014 at 17:32

Your second sentence might not be true, depending on what interpretation you take. If you mean "the set of prime numbers and the set of [not-prime] numbers," it's false because Caeser is not a number and therefore not part of either set. If you mean "the set of prime numbers and the set of not-[prime numbers]," that doesn't make sense because it's not really possible to have a set of everything (or a set of everything except primes).

• Exactly. I'm glad you mentioned the fact that there is no 'universe'. Commented Jun 10, 2014 at 2:28
• @David Young Yeah I meant not-(prime numbers). I edited my OP. Commented Jun 10, 2014 at 19:18

The analysis I've seen of such statements used a different example:

``````(1) The present king of France is bald.
``````

This was brought up in the context of wanting to formalize the meaning of statements and applying formal logic to them.

Frege and lots of mathematicians after him regard statements as predicates: given a context of interpretation, they are supposed to be either true or false.

Statement (1) certainly isn't true, so it must be false, right? And the negation of a false statement is true, right? Let's see:

``````(2) The present king of France is not bald.
``````

This isn't true any more than statement (1), and for the same reason: both statements imply the truth of another (namely that there is a present king of France), and it is this implied statement which is false. Hence, regular predicate logic breaks down when applied to such statements: they are not just false, they are "not even wrong", and so are their negations.

The same can be said for Carnap's example: neither of

``````(3) Caesar is a prime number.
(4) Caesar is not a prime number.
``````

is true, and this is because a statement the truth of which they both imply (namely, that Caesar is a number) is false.

• Speaking English, I would say that "Caesar is not a prime number" doesn't imply that Caesar is a number. In the same way that "I am not a fat slob" doesn't imply that I'm a slob. However, saying "I am not a fat slob" may indeed be to concede that I'm a slob. So I think the basic semantics of the sentence are in dispute here between Carnap and the questioner, before we even get to assessing what implication the semantics have on the meaningfulness of the sentence. Commented Jun 10, 2014 at 10:50
• NO The famous Russell's example regards a definite description. "The present king of France is bald" must be formalized as "exists x such that (King of France(x) and bald(x))". Thus the negation of the above is: "does not exists x such that (King of France(x) and bald(x))" wich is "for all x (not King of France(x) or not bald(x))" which is perfectly true when, as in present time, there is no King of France. In Carnap's example, we assume that "Caesar" is a name and not a description; thus, if we assume that it is "syntactically" correct (i.e.it does not violate types restrictions)... Commented Jun 10, 2014 at 12:38
• ... to "speak of" Roman consuls and numbers in the same "discourse" we are allowed to ask if Caesar is a prime, exactly as to ask if 4 is a prime. Carnap's argument is aimed at "excluding" meaningful contexts where we "predicate" the same properties of "kinds" of entities so different as numbers and Roman consuls. Commented Jun 10, 2014 at 12:41
• @Steve Jessop: this was discussed in class. Indeed, it was argued that "Caesar is not a prime number" could in fact be uttered, but only with a special stress on 'not' to indicate that a special kind of negation was going on. Commented Jun 10, 2014 at 13:51
• @ Mauro ALLEGRANZA: Yes, and I think the professor who explained this to me would agree with you, but this depends on their distinction between definite descriptions and names, which I don't really believe in. Commented Jun 10, 2014 at 13:55

Why does Carnap say 'Caesar is a prime number' is meaningless?

First, clearly, the statement "Caesar is a prime number" is just false, not meaningless. And it is precisely because it is not meaningless that we can tell that it is false.

If that is not obvious to some, to see that it is false, it is enough to assume that "Caesar" refers to the well-known Roman emperor and that therefore Caesar was a human being, and that a prime number is some sort of number. I think we can confidently say that no human being is a number.

Obviously, the statement is not just false. It is also baffling. Anyone really asserting this statement would be immediately suspected of being somewhat deranged.

Why did Carnap claimed that it was meaningless? Well, this would be a question for the psychology forum, not the philosophy one. The closest explanation I could think of is that Carnap was a logical positivist, insisting that natural languages have many imperfections and are therefore logically misleading. In a similar vain, Bertrand Russell claimed for example that in the sentence "the author of Waverley was a man", the expression "the author of Waverley" is not the subject, something all grammarians would raise an eyebrow at.

Obviously, saying that Caesar is a prime number is a category mistake, but category mistakes do not render the statements guilty of them meaningless.

Still, that the statement is just false, not meaningless, is the standard grammatical perspective on the subject:

According to our actual grammatical standards, we consider 'Caesar is a prime number' not meaningless, but false. —— Stephen K. McLeod, Modality and Anti-Metaphysics (2018)

And anyone with a bit of sense can judge for themselves.

I guess I have to say something of the "accepted answer", following Philip Klöcking's comment.

Nevertheless, Carnap claims that (2) is meaningless, and gives the following explanation: "Prime number" is a predicate of numbers; it can be neither affirmed nor denied of a person (p. 68).

Well, this may well be what Carnap said, but this is no explanation as to why he believed what he said. Again, this would be a question for a psychology forum.

However, Carnap's own justification is plainly wrong. To say that "'prime number' is a predicate of numbers" is grossly mistaken. Sure, it can be and is meant to apply to numbers, but this is a semantic fact, while it is a linguistic and syntactic fact that it can be used for other things, if only falsely. Let me here repeat what grammarians think:

According to our actual grammatical standards, we consider 'Caesar is a prime number' not meaningless, but false. —— Stephen K. McLeod, Modality and Anti-Metaphysics (2018)

The think this because the notion of predicate is both a functional and a syntactic notion, not a semantic one. The predicate is whatever according to the syntax is in a syntactic position to qualify the syntactic subject, and Carnap has not the authority to decree as he does here that something that is obviously here to qualify a subject is not a predicate.

Second, while "prime number" is obviously normally used to qualify numbers, just as for example "free country" is normally used to qualify countries, using "prime number" to qualify Julius Caesar or anything not a number is not meaningless. It will just produce an inevitably false statement.

Similarly, the sentence "Bats are better birds" is certainly meaningful, although it will be regarded as true or false according to one's opinion. Yet, for Carnap, "better birds" could not be used meaningfully to qualify bats, because bats are not birds and therefore not better birds.

Now, maybe Carnap provides elsewhere a better justification, but I took the "accepted" answer as giving a full picture of Carnap's position. So, yes, I agree the sentence is a category error, but people like Carnap who think that a category error makes for a meaningless sentences are just wrong. And they certainly have no argument to support their point except their ignorance of how logic works.

The consequence of this is that the accepted answer literally does not answer the question, which is why I wrote my own answer. Mr. Philip Klöcking's moderation is biased by his own views on mathematical logic and related subjects, views which like that of Bertrand Russell and Rudolph Carnap are based on their ignorance of own logic really works. This is why my perfectly legitimate questions and answers are routinely voted down and closed. You should take the time to examine your position.

• Could you explain how "others don't think it's meaningless" is relevant for the explicit question "Why does Carnap say it's meaningless?" and why you speculate about reasons while they are perfectly well explained in the accepted answer? Have you even read it? Commented Aug 5, 2021 at 17:39
• If you read the actual question, not just the title, it doesn’t ask why Carnap made that statement. OP clearly states that he or she doesn’t understand why that statement would be correct. So an answer, like this one, can consist of an explanation why the statement is false. Carnap might disagree :-) Commented Aug 7, 2021 at 22:52

“Prime number” is a mathematical term. In Mathematics, a term consisting of two words is commonly not a word with a modifier, but one term expressed using two words. “Prime number” is not a number with the property of being prime, it is one single term.

Therefore things that are not numbers could theoretically be prime numbers or not prime numbers, and in practice are all not prime numbers. A “prime number” is not “a number that has the property of being prime” but “an object having the property of being a prime number”.

• "A 'prime number' is not 'a number that has the property of being prime'" Wouldn't you agree that if x is a prime number, then x is prime and x is a number? Wouldn't you agree that if x is a number and x is prime, then x is a prime number? Commented Aug 14, 2021 at 16:23