Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
Community Proposals
Community Proposals
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »
Q&A

Why does “unless” mean “if not”?

+2
−4

Harry Gensler. Introduction to Logic (2017 3 ed). p 169.

“Unless” is also equivalent to “if not”; so we also could use “$({\sim}B \supset D)$ (“If you don’t breathe, then you’ll die”).”

Nicholas JJ Smith, Logic: The Laws of Truth (2012). p 115.

The statement “P unless Q” means that if Q is not true, P is true—so we translate it as $¬ , Q→P$.

Using solely the original meaning of "unless" below, please expound why? How does definition 1 below ≡ if not? I know that definition 1 is obsolete, but I'm interested in the etymology. OED Third Edition, June 2017. Screenshot.

A. adv. Only in conjunctional phrases followed by than or that.

  1. Forming a conjunctional phrase introducing a case in which an exception to a preceding negative statement (expressed or implied) will or may exist: (not) on a less or lower condition, requirement, etc., than (what is specified). Obsolete.
History
Why does this post require moderator attention?
You might want to add some details to your flag.
Why should this post be closed?

1 comment thread

General comments (1 comment)

2 answers

+6
−0

The quotes from the books are exactly the kind of ridiculously naive and over-simplified linguistics in introductions to logic that I criticize in this blog article. Particularly for everyday natural language expressions, you will find no shortage of ways where this "translation" provides only a clumsy interpretation, is inadequate, is outright wrong, or is just nonsensical. This also has nothing to do with how mathematicians/logicians use formal logic.

Even then, your question is strange. There's no reason to expect every definition of "unless" to be even clumsily equivalent to this "translation". There's also no reason to expect the etymology of "unless" or this obsolete form have anything at all to do with this logical interpretation. This is almost certainly not the form of "unless" the authors of these books were intending, especially as the given example doesn't use "than" or "that".

Either you're asking how the natural language meaning of "if not" relates to this obsolete form of "unless", in which case this is not a mathematics question; or you're unreasonably asking how this "translation" corresponds to a meaning of "unless" that is clearly not the meaning the authors intended. It would be like asking why "not" is "translated" to logical negation but under the condition that "not" is defined as "nothing" because "not" (allegedly) derives from "nought" which means (among other definitions) "nothing".

History
Why does this post require moderator attention?
You might want to add some details to your flag.

0 comment threads

+3
−0

According to the definition you quote, “unless” gives an exception to a preceding negative statement. An exception to a statement is a condition in which the statement does not apply. Therefore the statement does apply only if the condition is not fulfilled (because otherwise the exception applies, and therefore the statement does not). Therefore, as far as logic is concerned, “unless” translates into “if not”.

In describing an exception, the “unless” phrase also suggests that the condition is generally not fulfilled, but that part is irrelevant from a logical point of view (the logic only cares about the truth/falsehood of statements, not about the probability that they will be found to be true).

History
Why does this post require moderator attention?
You might want to add some details to your flag.

0 comment threads

Sign up to answer this question »