My professor defines logical validity (in the English language) like so:

'An argument is logically valid if and only if there is no (uniform) interpretation (of subject-specific expressions) under which the premises are all true, and the conclusion is false.'

He contrasts subject-specific expressions (e.g., Donald Trump, Aristotle, chemical element, London), with logical expressions (i.e., if, not, if and only if, every, some). Logical expressions are not subject to re-interpretation; they keep their standard English meanings all the time.

My question is this: is the following argument valid?

P1: Santa Claus does not exist. C: Something does not exist.

Now, on the one hand, I'm inclined to say yes: if I replace 'Santa Clause' with any other noun, or I replace the property of not existing with any other property, the resulting argument is such that: if the premises are true, so too is the conclusion.

On the other hand, I'm hesitant to say yes: if I replace 'something' with, for example, 'a car', then the resulting argument seems to involve a true premise, and a false conclusion.

That said, I'd unhesitatingly say that the following argument is valid:

P1: Santa Claus does not exist. P2: Santa Claus is something. C: Something does not exist.

Could Santa Clause not be 'something'? From another angle: is 'something' a 'subject-specific expression'? I'm inclined to think it is not, but I'm not sure how to justify this thought. (My inkling is that it has something (lol) to do with the fact that 'something' is a pronoun, whilst 'a car' is a noun? Also, I'm aware that the argument in question involves a valid rule of inference in FOL. But I wonder if this is one of those cases where validity in FOL comes apart from more informal characterisations of validity in the English language (e.g., http://www.jimpryor.net/teaching/courses/intro/notes/leibniz-epist.html).)

  • 2
    Let R(x) be the predicate "x is real", then you are going from ¬R(s) to ∃x¬R(x). This is a valid case of universal generalization. But you can not replace "something" with "a car", "something" does not function like a predicate name logically, unlike "being a car". Going from ¬R(s) to ∃x(C(x)∧¬R(x)) is invalid. If Santa Clause was a car, i.e. if we also had C(s), then you could validly get there.
    – Conifold
    Commented Oct 5, 2020 at 22:00
  • In order to avoid fallacies, we have to find a way to "translate" something without using the existential quantifier, otherwise the argument will be invalid in FOL: from ** Santa=Santa** by equality axioms we have ∃x(x=Santa). FOL is consistent, and thus we cannot derive: ¬∃x(x=Santa). Commented Oct 6, 2020 at 14:53
  • A possible way out mat be with a predicate RoundSquare(x); in this way we may express the fact that this predicate is not instantiated: ¬∃xRoundSquare(x). If we move to Second Order Logic, we may derive ∃P¬∃xP(x), that can be a "reasonable" symbolization of "Something does not exist". Commented Oct 6, 2020 at 14:54
  • 1
    The problem with your statement is that it is historically inaccurate. Santa Claus-(a.k.a. Saint Nicholas), was an actual historical figure who lived 1700-1800 years ago. Before reaching Sainthood, Nicholas was originally a Bishop-(of Greek origin) who lived on the Asia Minor Coast-(present-day Turkish coast). In fact, his tomb is located at a Cathedral in Bari, Italy.
    – Alex
    Commented May 16, 2022 at 18:10
  • I agree that, "Santa Claus"....the Germanic looking, older man with a long white beard wearing a red suit and sleigh riding through the snowy December skies is obviously a myth and yes, such a figure never existed in History. However, Nicholas, the Greek Bishop and Saint from Asia Minor...did exist nearly 2000 years ago. (The original Santa Claus...a.k.a. Saint Nicholas, in all likelihood, never saw a snowy day in his life. Every Christmas that Bishop/Saint Nicholas celebrated, was probably temperate and sunny...as is commonplace in the Mediterranean/Aegean region).
    – Alex
    Commented May 16, 2022 at 18:16

5 Answers 5


There is a rule of first-order predicate logic (FOPL) called existential generalization that allows you to go from "Fred is a mechanic" to "something is a mechanic". But in standard logic, there are two issues with your example. Firstly, you cannot name things that do not exist, so "Fred is a mechanic" fails to be a proposition if there is no Fred. Secondly, existence is not treated as a predicate. Existing is not a property that some things have and others don't. So under these assumptions, your P1 "Santa Claus does not exist" fails because there is no thing that has the name Santa Claus, and C fails because it attempts to predicate non-existence of some thing.

One approach to fixing this is to treat names as definite descriptions in disguise. So if we treat the name Santa Claus as meaning something like "the fat man with the white hair and beard who appears at Christmas time and gives presents to children" then we can write P in predicate logic as


That fixes P, but we cannot then get to C. Also, it is a contentious issue in the philosophy of language as to whether it is correct to treat names as definite descriptions. An important rival theory, the causal theory of names, is championed by Kripke among others.

Another approach to fixing it is to adopt one of the 'free' logics. These are logics that are similar to FOPL but have different rules for quantification. In one version, we distinguish between things that really exist and those that are fictional, and we have different rules for quantifying over each. In this logic, Santa Claus is a name, not a definite description, but it names a fictional entity. We can then read P1 as saying that Santa Claus is not a real thing, and C as saying there is at least one thing that is not real. Both would then be correct.

The problem with free logic is that it introduces a number of difficulties in specifying the semantics, compared with standard FOPL. For many logicians, the drawbacks outweigh the advantages. It is true to say, however, that standard logic imposes limitations that are not present in ordinary English usage. A canonical example is the sentence, "Sherlock Holmes is more famous than any real detective". This is perfectly understandable, and probably true, but it suffers the same problems as your example.

  • 2
    I do not think we need free logic for such elementary examples. We can simply have a domain of discourse that includes fictional entities with a reality predicate defined on it, and use the usual FOPL.
    – Conifold
    Commented Oct 6, 2020 at 0:34
  • @Jayjay45 For background, see What does Kant mean by “Existence is not a predicate”?.
    – J D
    Commented Oct 6, 2020 at 16:13
  • @Conifold It may be overkill but in my opinion it's the natural thing to do if we buy this as a compelling concern. Commented Oct 9, 2020 at 23:00

This is a reformulation of an ontological argument, resolved by Hume. Existence is not a property. It is a label applied to a vessel to which certain properties can be applied that either has been, is, or could be present in our world. By treating "existence" as a property, such arguments are based on absurdity and are nothing more than deception of language.

Think of it like this, rephrase the argument as follows: In our world, a vessel (being) that possesses all the properties that define "Santa Claus" (wears a red suit, delivers presents, overweight, etc) is impossible. Therefore, we can conceive of at least one vessel with a specific combination of properties (something) that can never be present in our world.

Such a statement is obviously sound and valid when phrased this way. By treating "existence" as a property (rather than the capability to possess properties), various confusing and incorrect arguments can be made (the most famous being the Ontological argument for proof of God's existence).


Presumably, good logic allows us to use language to assert meaningfully, and either truly or falsely, that God does not exist.

So, yes, it is obviously true that if Santa Claus doesn't exist, then something doesn't exist, namely, whatever I am talking about when I am talking about Santa Claus, which everybody proficient in English will easily understand.

You cannot substitute "a car" to "something", because it is not true that if something is F, then a car is F. This is simply because something is not necessarily a car.

You could substitute "something" to "a car", however, since if a car is F, then something is F, which is why it is also true to say that if Santa Claus doesn't exist, then something doesn't exist.

The reason is that both a car and Santa Claus are something.

So, this follows straightforwardly from the transitivity of the implication.


The question confuses identity with containment in a set.

P1: Santa Claus does not exist. P2: Santa Claus is something. C: Something does not exist.

Is ambiguous because it repurposes the word "something" as a placeholder pronoun for a specific something, much like a variable in a computer program can be reassigned to reference a particular object.

It could be rewritten as a logically valid statement as follows:

P1: Santa Claus does not exist [physically]. P2: Santa Claus is an element in the set of all concepts. C: There are concepts that do not exist physically.

In English, "A is something" is used to convey set containment, not identity. This is how it should be translated into logical statements. Another example is "A dog is an animal". This does not equate the word "animal" with "dog", but is an expression of containment of the item, category or subclass "dog" in the superset "animal".


The argument is valid

  1. All Santa Clauses are nonexistent things.
  2. Some things are Santa Clauses
  3. Some things are nonexistent things, equivalent to some things don't exist.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .