# Restrict logical negation

Let be:

``````p: is A a rational number.

Not p: A is not a rational number.
``````

Hence, A can be a tree, the moon, etc...

But I would like to obtain something like this:

``````p: A is a rational number.
Not p: A is an irrational number.
``````

Now:

``````p: A is a number and A is a rational number
Not p: A is not a rational number or A is not a number.
``````

In this case A still can be a tree or the moon.

In general, does the negation of a sentence like "X is Y" always implies that "X" can be everything in the universe except Y?

How do we restrict a negation so it includes only a subset of the universe?

I mean in the sense expressed above. I know that the negation of "X is not Y" gives that "X is Y".

• You might find this useful: en.wikipedia.org/wiki/Many-sorted_logic Commented Mar 11, 2022 at 5:19
• There’s a bit of rhetorical trickery going on here. In terms of “restricting a logical negation”, it’s not too tricky to include an additional predicate domain and to define the outcome of an operation relative to that domain. However, you’re defining a new operation - what comes out doesn’t have the same logical force as Negation as such. This is important to appreciate when considering the application of logical methods, because it risks invoking distribution fallacies (en.m.wikipedia.org/wiki/Categorical_proposition#Distributivity) Commented Mar 11, 2022 at 8:51