“I would accept that as an axiom.” ~Spock

x not xI would also accept this as an axiom. It’s obviously true, but I see no way to prove it. It is not what Spock was referencing in the above quotation, but the content of the quote still applies.

Amazingly, though, I have encountered people who think this is up for debate.

It isn’t.

About RobertLovesPi

I go by RobertLovesPi on-line, and am interested in many things. Welcome to my little slice of the Internet. The viewpoints and opinions expressed on this website are my own. They should not be confused with the views of my employer, nor any other organization, nor institution, of any kind.
This entry was posted in Mathematics, Quotations and tagged , , , , , , , . Bookmark the permalink.

2 Responses to “I would accept that as an axiom.” ~Spock

  1. humanizehumanity says:

    Logic is the only setting I know of where this has a strict enough definition to be examined with scrutiny. However, in that setting it is provable since x represents a statement that is either true or false and (not true)=false and (not false)=true. Now if we assumed the opposite of your statement true we would always end up with a contradiction and thus your initial statement is true.

    In other settings I don’t know of a strict enough definiton of “not x” to examine the statement. It could mean x\neq y\,\,\, \forall y: y\neq x which is kind of circular and trivially true. “not x” could also refer to the whole set of elements that have the property that they are not equal to x in which case your statement is also true, but still contains virtually no information because it is comparing single variables to sets of variables. Another interpretation is to just consider “not x” as a variable of its own leaving no thought to what “not” usually means. In this case the statement is equivalent to a statement of the type x\neq a and whether it is true or not depends completely on context.


  2. Seems like symbolic logic is the way to go. (But people can and will debate anything.) 🙂

    Liked by 1 person

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s