Math & Science ⇒ How to have textual sentences numbered as formulas?

[ks-zadeh]

Second thoughts:

Please excuse: Your definition is unobjectionable. It was may failure to get a wrong reference. I have just discovered that I had erroneously misplaced the \label command (and had placed it outside instead of inside the final brace). My sincere thanks once again! Everthing works best.

[ks-zadeh]

Hello:

The text enumeration commands function very well. One can also use math in the, or "as", text. Since the parbox is customizable, the facility provides a useful, adaptable tool. Not so flexible are the enumerate and itemize list environments. Is it in principle possible to also customize them to the effect that each item assumes an indent of a specified size, say 1 or 2 cm or so? All my attempts have been futile.

[frabjous]

Is it in principle possible to also customize them to the effect that each item assumes an indent of a specified size, say 1 or 2 cm or so? All my attempts have been futile.

Sure. Check out the enumitem package, and read its documentation.

Inconsistency IS in fact defined as implying a contradiction because from a contradiction you can derive every sentence, be it true, false, non-sensical, etc. Use simply the rule "Ex contradictione quodlibet". That is: "A and not-A /- B" where "/-" stands for "implies" and B is any sentence you like.

That inconsistency and implying a contradiction mean the same thing is the very point I was making. Because they mean the same thing, it begs the question to use one to establish the other. But the fact that in classical logic (though compare paraconsistent logic), you can derive everything from a contradiction is not the reason they are defined as the same, however. (And even in classical logic, you can't derive nonsensical results from contradictions.) Also, the premise you cite obviously doesn't entail a contradiction on its own, but only on conjunction with the other one. (I'm a logic professor, so I don't need a lecture on this.)

[ks-zadeh]

I am pleased to receive your reply. Good to know that the itemize and enumerate list environments are customizable. I am very grateful for this information on enumitem that I will download from CTAN.

I am sorry to have given a false impression. I would never dare to give you a lecture. This is not only because it would be presumptuous and impolite, but also because, as the history of our communication in our postings above shows, you are my teacher and I am only your student who would like to learn from you. What I have clumsily told above about inconsistency Blabla has been a justification of why I had used this term. It was not a defence of consistency. I know that all these things are logic-system relative. I am therefore neither an advocate of consistency and classical logic nor an opponent of inconsistency. I am actually an adherent of paraconsistent and fuzzy logic. Both, Newton da Costa and Lotfi Zadeh, are my best friends.

[localghost]

[...] I am very grateful for this information on enumitem that I will download from CTAN. [...]

Just install the package with the package manager of your LaTeX distribution.

[ks-zadeh]

Thanks!