# Truth value for objects that are not included in definitions

Consider the statement "This triangle has radius 3" and the statement "This cat is a chihuahua". Both radius and chihuahua are terms defined for different kind of objects than the objects we are talking. Are the above staments true/false or we can't assign a truth value? The latter is what it troubles more because we can say "A cat is not a dog and therefore is not a chihuahua". Any ideas?

• Where exaclty is the problem if the first two utterances are false and the last is true?
– user14511
Commented Jun 16, 2020 at 15:46
• Objects are not "truth-bearer"; statements are true or false. Commented Jun 16, 2020 at 15:48
• We may also say that "This triangle has radius 3" is meaningless because "having radius" cannot be correctly predicated of "triangle". Commented Jun 16, 2020 at 15:50
• If you convert this into a formal system such sentences will not be well-formed, and hence will have no truth value (and will not even be sentences, strictly speaking). In programming languages, for example, each predicate variable has a type, and attempting to assign it a value of a different type returns "syntax error". Commented Jun 17, 2020 at 6:22
• @MauroALLEGRANZA My problem is that "This triangle has radius 3" seems meaningless but "This cat is a chihuahua" makes perfect sense because it is about classification. Commented Sep 7, 2020 at 13:54

According to my point of view, the two statements have different "logical form".

We have to consider the well-known (since Aristotle) issue of the multiplicity of uses of "is".

From one side, we may translate "This triangle has radius 3" as follows:

"The radius of the triangle T = 3"

using equality to translate "is".

In this case, the proposed translation can be classified as meaningless because the object "the radius of..." is defined only for circles.

With "This cat is a chihuahua" instead, the "is" has a different meaning: "to be an element of".

The sentence means: "The cat C belongs to the breed of chihuahuas."

• This clears up some of my confusion. I just found this post parity where there is no definite answer. Some argue that because "even" is defined only for integers it can't be used for non-integers etc but if we use the "is" of a predication then this statement makes sense as we can say if something is an element of a set/class. Commented Sep 7, 2020 at 14:18
• @adosar - in mathematics definitions are "exact": this means that it is always clear if the property used in the def applies or not. Thus [Parity](Parity (mathematics)) "is the property of an integer", that means that "Plato is Even" is meaningless. Commented Sep 7, 2020 at 14:23
• So also the sentence "0.4 is even" is meaningless? I think where the confusion comes up is beacuse "Plato" and "even" seem unrelated. But isn't "0.4 is even" equivalent to "0.4 is an element of even numbers" as you said? Commented Sep 7, 2020 at 14:30
• @adosar - so what ? According to your point of view is "0.4 is an element of even numbers" a true or false statement ? Commented Sep 8, 2020 at 9:54
• I would say non-sense, but in your post you said that we can translate "is" as "to be an element of". So if we check the elements of even numbers we will see that 0.4 isn't there so we can say that it isn't an element of even numbers. Commented Oct 13, 2020 at 19:28

In mathematics, it might be meaningless depending on the rules of logic and the definitions involved, but that form of meaningless is a convention, not absolutist truth, and that same statement could become meaningful if definitions in mathematics and rules of logic that subtend it were changed. The modern linguistical approach to evaluating meaning is not just dependent upon logical, technical truth values, but a broader appeal to pragmatic function. In short, the second two statements are meaningful in natural language, and most logicians are capable of producing simple classical logic to demonstrate the formal truths of the statements.

You have chosen to classify your philosophical question as one of philosophy of language, and what you present is a question that goes to the heart of the nature of what consitutes meaning, and which theories of semantics govern it. I am going to address the broader issue as Mauro has spoken to the specific examples. You ask:

'0.4 is even' is meaningless?

The answer to your question depends on your metaphysical position in linguistics in meaning. The more orthodox answer, particularly by those brought up in formal logical curriculum is yes. It is a meaningless statement under generally accepted logical principals like the law of excluded middle, the law of identity, and so on. Even and odd are predication that are used with integers who by definition do not include (2/5). So, if you examine the philosophical literature, you will find many ontologists and epistemologists struggling with a nature of meaning based on truth-conditional semantics. It is standard fare for logicians and philosophers to start off with this model and its prominence in the philosophy of language is undeniable. A giant in the field (and there are many bright minds) is Alfred Tarski whose name you'll likely come across repeatedly along with men like Kurt Gödel and Willard V.O. Quine.

What is the nature of truth-conditional semantics? From WP:

Truth-conditional semantics is an approach to semantics of natural language that sees meaning (or at least the meaning of assertions) as being the same as, or reducible to, their truth conditions. This approach to semantics is principally associated with Donald Davidson, and attempts to carry out for the semantics of natural language what Tarski's semantic theory of truth achieves for the semantics of logic.

But such a position can be misleading, not least of which is because the nature of truth is itself contested. Among theories of truth are disquotationalism, coherence, and correspondence to name three. In fact, your question is actually a variant of a well known sentence in linguistics asked by Noam Chomsky. "Colorless green ideas sleep furiously." WP:

Colorless green ideas sleep furiously is a sentence composed by Noam Chomsky in his 1957 book Syntactic Structures as an example of a sentence that is grammatically correct, but semantically nonsensical. The sentence was originally used in his 1955 thesis The Logical Structure of Linguistic Theory and in his 1956 paper "Three Models for the Description of Language".1:116 Although the sentence is grammatically correct, no obvious understandable meaning can be derived from it, and thus it demonstrates the distinction between syntax and semantics.

So, under the truth-conditional notion of semantics, this as well as your sentence are both without meaning. But you ask the question, which likely suggests, how can a sentence whose parts of meaningful be completely devoid of meaning? Our philosophical intuition seems to be struggling with reconciling to ideas:

1. There is no meaning IN the example sentence.
2. Every part IN the sentence is very meaningful.

I suspect you would agree with these statements. In order to put yourself at ease, you need merely accept a simple fact. Truth-conditional notions of semantics are INCOMPLETE. But if that is so, how else do words have meaning besides their place in your epistemological belief system? The recent answers to that question come from outside the circles of logicians and from actual linguists. As such, they have less concern about the rational utility of truth, and more about the empirical utility of communication. In linguistics, this discipline is known as pragmatics.

Let's take a simple example. Let's presume that a sentence is used for a reason other than a direct, literal truth. Perhaps there is a local group of rebellious mathematicians who have redefined their even to include any number that can be expressed as (2m)/(10^n):m,n in R. In this case, the sentence is true. In fact, you'd be hard-pressed to find a philosopher or mathematician who would claim that there is any logical ground to deny the acceptability of the alternative definition of even (we'll call them even1 and even2 from now on). Suddenly, that exact same sentence composed of the same words of the same character goes from having no meaning to have meaning. Odd isn't it? And yet it's the case. Mathematicians redefine axioms for theories all the time without which we wouldn't have non-Euclidian geometries.

In fact, let's expand the hypothetical context. As the movement grows to use even2 versus even1, if history and Thomas Kuhn have any truth to them, there will be a political struggle over which definition is orthodox. Perhaps both even1 and even2 will come to gain usage like non-Euclidian geometrical theorems. Perhaps not, and feelings will get hurt. The rallying cry around the movement to defend even2 becomes "0.4 is even!" Now, then sentence acquires a hortative flavor. It has become a rallying cry, and now has two meanings at two levels, one literal and technical (mathematical) and one as an exclamatory with what linguists call perlocutionary force. Now, when two young bucks look at each other and one says "0.4 is even!" and the other says "amen", it has another clear indicative meaning. Ironically, most defenders of even1 would accept that the second use of your example has meaning in rhetorical context, and is essentially synonymy for "The definition even2 is true.".

So now we are in a position where one language community believes the sentence is meaningless, and the other believes and uses both meanings. As much as the adherents of the first community believe the sentence has no meaning, a neutral linguist can't escape the EMPIRICAL fact that a second community uses it as such, and most linguists today are language descriptivists, not prescriptivists. So, no linguist worth her salt is going to claim your example is meaningless. They merely would accept it's meaningless within the mathematical system of the first community. In fact, most intelligent mathematicians would recognize that even1 is a convention, not absolutist truth.

Modern linguists whether they support conceptual metaphors or generative grammar or some hybrid theory accept that meaning is created at various levels: phonology, phoneme, word, sentence, text, and context. In our extended example, the context makes clear the sentence is meaningful. These days, this approach to semantics is called cognitive semantics and it is safe to say many logicians and mathematicians are unaware of its existence because of political pressures within departments.

Instead of truth-conditions as the sole and dominant criterion for meaningfulness, cognitive semanticists operate from a broader paradigm of meaning. From WP:

Cognitive semantics is part of the cognitive linguistics movement. Semantics is the study of linguistic meaning. Cognitive semantics holds that language is part of a more general human cognitive ability, and can therefore only describe the world as people conceive of it.1 It is implicit that different linguistic communities conceive of simple things and processes in the world differently (different cultures), not necessarily some difference between a person's conceptual world and the real world (wrong beliefs).

The main tenets of cognitive semantics are:

That grammar manifests a conception of the world held in a culture;
That knowledge of language is acquired and contextual;
That the ability to use language draws upon general cognitive resources and not a special language module.

So, is '0.4 is even' meaningless? The answer to that question is depends on which language community and definitions of meaning you use.

• I can't understand something. If we want to classify all the objects (complement) we can do this by two sets. For example, suppose the set of "dogs" and the set of "non-dogs". Then everything must go into only 1 of these sets. So in the example with cat (original post) the cat must go into the set of non-dogs. Therefore now is not a member of "dogs" and not a member of chihuahua as well. But why we are free to do such a thing whereas if I we say "This cat is not a chihuahua" is meaningless? Commented Oct 13, 2020 at 19:39
• @adosar Let's be very clear. Classic set theory is built on a logic, and there are assumptions to a logic. For instance, the Law of the Excluded Middle (LEM) says something must be inside a set or outside of a set. In contrast, Fuzzy Logic has graded membership. DOGS and NONDOGS follow the LEM because you presume it. Is a jackal in DOGS? To a child, the answer might be sort of... jackals do look a lot like dogs...
– J D
Commented Oct 14, 2020 at 14:08
• But besides the rule, one has to recognize one's universe of discourse. So, if U(NIVERSE) has two sets, CATS and DOGS and they don't overlap because of the LEM, and CHIHUAHUAS is a proper subset of dogs, then the proposition "This cat is not a chihuahua is absolutely meaningful, because for any cat, cat would be in CATS and not in CHIHUAHUAS which itself is in DOGS...
– J D
Commented Oct 14, 2020 at 14:27
• Thus, "this cat is a chihuahua" is a false statement and "this cat is not a chihuahua because cats aren't types of dogs" is true. Both statements are meaninful both within what some have termed truth-conditional semantics and in a broader semantics which takes into account pragmatics...
– J D
Commented Oct 14, 2020 at 14:44
• Remember, to be false IS to be meaningful. To find a sentence that wouldn't be meaningful, we have to look to something that would be considered grammatic, but non-sensical. The classic example via Chomsky is "Colorless green ideas sleep furiously". Note, that while it seems to be an acceptable sentence according to the rules of grammar, the meanings clash in such a way that a truth value cannot be assigned. So, this sentence is meaningless because it is neither true nor false.
– J D
Commented Oct 14, 2020 at 14:49