Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For example, we have:

A SSL module is needed for Apache to be secured

A beautiful woman is needed to have a true love.

In these two example, how can we determine exactly a condition is necessity and/or sufficiency?

In the case of web server, an inexperience person may view it as necessity and sufficiency, while another very experienced person may view it as neither needed or sufficient to satisfy the condition of a secured web server.

Same for the beautiful woman example. Some people view it that way as being necessity and sufficiency, while others may not need either one.

So, how can necessity and sufficiency be correctly applied? The above examples are pretty subjective, so does it mean the necessary condition to apply is first and foremost, the situation must be objective?

share|cite|improve this question
You may want to read this thread and you should also make the title more informative. – Asaf Karagila Feb 23 '12 at 8:44
In both cases I would read needed as meaning necessary but not necessarily sufficient. – Henry Feb 23 '12 at 8:46
But is it really necessary also? Maybe a woman does not need to be beautiful to have true love. So, I think, to apply necessity and sufficiency in deduction, each of the conditions in a (P => Q) must be absolutely true, isn't it? – Amumu Feb 23 '12 at 9:04
It's just an example (as it is used in many other examples in this topic), to make thing simpler to read and comprehend without using Math notations. If you're about to encode such information for computer to deduce, how to make it not ambiguous? You can read more here: – Amumu Feb 23 '12 at 9:38
up vote 3 down vote accepted

Doxastic logic is a form of modal logic that deals with subjective beliefs. For instance, your first statement could be formalized as "secured (Apache) $\to\exists$ SSL module", and then the subjectivized version "Some people believe that an SSL module is needed for Apache to be secured" might be "$\exists p:B_p$(secured (Apache) $\to\exists$ SSL module), where $B_p$ is the operator for the beliefs of person $p$.

share|cite|improve this answer
Ah, thanks for that. Now I know such thing exist and will read on it later. Anyway, after reread the previous chapter on First Order Logic (FOL): upon thinking this question, I finally understand more about his ideas of ambiguity and misinterpretation apply to FOL. – Amumu Feb 23 '12 at 11:13

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.